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)