Added the progapagtion rule for constraint 'x<y'