Member predicate Guard :: controlsNode
cfn is guarded by this expression having value
a sub expression of this expression that is structurally equal to the expression
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 )