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
)