Some refactoring of SpecConstr