Improve warning for SpecConstr