Predicate SharedTypeTrackingStep::step
Holds if type-tracking should step from pred to succ.
Import path
import semmle.javascript.dataflow.TypeTrackingHolds if type-tracking should step from pred to succ.
import semmle.javascript.dataflow.TypeTracking