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