Add propagation rule for constraint 'X+Y=Z' and added the test case of
testLessThanRight to test the constraints 'x<y ^ y<z ' with given domain
D(Z)=[-10..10].