Currently works only with variable inequalities against constants.

• 当前仅适用于变量与常量不相等的情况。