tests for new addConstraint