This is implemented in a new method of apply_simple_constraint!, which is now called throughout the code.