Predicate TypeTrackingInput::simpleLocalSmallStep
Holds if there is a simple local flow step from nodeFrom to nodeTo
Import path
import semmle.python.dataflow.new.internal.TypeTrackingImplpredicate simpleLocalSmallStep(Node nodeFrom, Node nodeTo)