Member predicate IRGuardCondition::comparesLt
Holds if (determined by this guard) op < k evaluates to isLessThan if
this expression evaluates to value.
predicate comparesLt(Operand op, int k, boolean isLessThan, AbstractValue value)Holds if (determined by this guard) op < k evaluates to isLessThan if
this expression evaluates to value.
predicate comparesLt(Operand op, int k, boolean isLessThan, AbstractValue value)