Predicate LocalFlow::definitionFlowStep
Holds if nodeFrom is the expression defining the value for the variable nodeTo.
Import path
import semmle.python.dataflow.new.internal.DataFlowPrivatepredicate definitionFlowStep(Node nodeFrom, Node nodeTo)