Retain simplifications of implication constraints