Predicate simpleLocalFlowStepForTypetracking
This is the local flow predicate that is used as a building block in type tracking, it does not include steps from flow summaries.
Local flow can happen either at import time, when the module is initialised or at runtime when callables in the module are called.
Import path
import semmle.python.dataflow.new.internal.DataFlowPrivate
predicate simpleLocalFlowStepForTypetracking(Node nodeFrom, Node nodeTo)