Member predicate Guard::controlsNode
Holds if cfn
is guarded by this expression having value v
, where sub
is
a sub expression of this expression that is structurally equal to the expression
belonging to cfn
.
In case cfn
or sub
access an SSA variable in their left-most qualifier, then
so must the other (accessing the same SSA variable).
predicate controlsNode(ElementNode cfn, AccessOrCallExpr sub, AbstractValue v)