Member predicate SsaSourceVariable :: hasDefiningNode
Holds if def defines an ESSA variable for this variable.
predicate
hasDefiningNode
(
ControlFlowNode
def
)