Added the propagation rule for the negated constraint ' !x = y' and the
test case testNegateRightNone.