Bug fix to simplification (negative constraints).