Member predicate SsaDefinitions::PythonSsaSourceVariable::hasDefiningEdge

Holds if the edge pred->succ defines an ESSA variable for this variable.

predicate hasDefiningEdge(BasicBlock pred, BasicBlock succ)