Predicate SsaSource::attribute_assignment_refinement

Holds if an attribute is assigned at def and use is the use of v for that assignment

Import path

import semmle.python.essa.SsaDefinitions

predicate attribute_assignment_refinement(Variable v, ControlFlowNode use, ControlFlowNode def)