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