Holds if SSA variable (v, def)
reaches result
, where result
is an
access of v
.
VariableAccess
getAUse
(
ControlFlowNode
def
,
StackVariable
v
)