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