Member predicate SSA::SsaSourceVariable::hasDefiningNode

Holds if def defines an ESSA variable for this variable.

predicate hasDefiningNode(ControlFlowNode def)