Add the constraint 'x >= y'.