Member predicate IRGuardCondition::comparesLt
Holds if (determined by this guard) left < right + k evaluates to isLessThan if this expression evaluates to testIsTrue.
Holds if (determined by this guard) left < right + k evaluates to isLessThan if this expression evaluates to testIsTrue.