Predicate SsaDefinitions::SsaSource::attribute_assignment_refinement

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

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