factored out Constraint.Simplification