Predicate signature simpleLocalSmallStep
Holds if there is a simple local flow step from nodeFrom to nodeTo.
A transitive closure of such steps is prepended to the non-simple
type-tracking steps.
Import path
import codeql.typetracking.TypeTrackingsignature predicate simpleLocalSmallStep(Node nodeFrom, Node nodeTo)