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