remove support for commutativity in @addConstraint (#99).