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
)