Predicate localFlowStep
Holds if data can flow in one step from pred to succ, taking
additional steps from the configuration into account.
Import path
import semmle.javascript.dataflow.internal.FlowStepspredicate localFlowStep(Node pred, Node succ, Configuration configuration, FlowLabel predlbl, FlowLabel succlbl)