Member predicate GuardCondition::ensuresEq
Holds if (determined by this guard) e == k must be areEqual in block.
If areEqual = false then this implies e != k.
predicate ensuresEq(Expr e, int k, BasicBlock block, boolean areEqual)Holds if (determined by this guard) e == k must be areEqual in block.
If areEqual = false then this implies e != k.
predicate ensuresEq(Expr e, int k, BasicBlock block, boolean areEqual)