Modify the propagation rule for 'x>=y' constraint using the widening
operator to widen the upper bound.