SpecConstr
specConstrProgram