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