Member predicate SsaDefinitions::PythonSsaSourceVariable::hasRefinement

Holds if def defines an ESSA variable for this variable in such a way that the new variable is a refinement in some way of the variable used at use.

predicate hasRefinement(ControlFlowNode use, ControlFlowNode def)