Predicate SsaSource::multi_assignment_definition

Holds if v is defined by multiple assignment at defn.

Import path

import semmle.python.essa.SsaDefinitions

predicate multi_assignment_definition(Variable v, ControlFlowNode defn, int n, SequenceNode lhs)