Member predicate SsaDefinitions::PythonSsaSourceVariable::hasDefiningNode

Holds if def defines an ESSA variable for this variable.

predicate hasDefiningNode(ControlFlowNode def)