Some refactoring of SpecConstr

No match.