Added the testNegateRightTight test for the negated constraint '!x=y'
with stronger bounds of y.