E2: Added E:constraintBreak(s, e), for more precise removal