This function creates and returns a constraint equivalent to x <= y + c. That constraint is violated when the minimum of x is greater than the maximum of y + c.

When it is posted, this constraint reacts to the whenRange propagation event.