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 python

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