Predicate SsaSource :: assignment_definition
Holds if v
is defined by assignment at defn
and given value
.
Import path
import python
predicate
assignment_definition
(
Variable
v
,
ControlFlowNode
defn
,
ControlFlowNode
value
)