Add comments to SpecConstr