Predicate simpleLocalFlowStep
This is the local flow predicate that is used as a building block in global data flow.
It includes flow steps from flow summaries.
Import path
import semmle.python.dataflow.new.internal.DataFlowPrivatepredicate simpleLocalFlowStep(Node nodeFrom, Node nodeTo, string model)