Simplify a constraint rule.