Constraint simplification, adding, and removal completed