Predicate SharedFlowStep::step
Holds if pred → succ should be considered a data flow edge.
Import path
import semmle.javascript.dataflow.ConfigurationHolds if pred → succ should be considered a data flow edge.
import semmle.javascript.dataflow.Configuration