Predicate SsaSource :: multi_assignment_definition
Holds if v is defined by multiple assignment at defn.
Import path
import python
predicate
multi_assignment_definition
(
Variable
v
,
ControlFlowNode
defn
,
int
n
,
SequenceNode
lhs
)