Member predicate GuardedExpr::isGuardedBy
Holds if this expression is guarded by expression cond
, which must
evaluate to b
. The expression sub
is a sub expression of cond
that is structurally equal to this expression.
In case this expression or sub
accesses an SSA variable in its
left-most qualifier, then so must the other (accessing the same SSA
variable).
predicate isGuardedBy(Expr cond, Expr sub, boolean b)