Predicate comparesEq
Holds if left = right + k evaluates to isLt given that some guard
evaluates to value.
To find the specific guard that performs the comparison
use IRGuards.comparesEq.
Import path
import semmle.code.cpp.controlflow.IRGuardspredicate comparesEq(Operand left, Operand right, int k, boolean isLt, AbstractValue value)