Cosmetics in SpecConstr