该函数创建并返回与 "x <= y + c等价的约束条件。 当 "x的最小值大于 "y + c的最大值时，就违反了这一约束条件。
x <= y + c
x
y + c
张贴时，该约束会对 "whenRange传播事件作出反应。
whenRange
另请参阅：
限制条件, IlcIntExp, 操作符===, 操作符<=, 运算符>=, 操作符<, 操作者
