Predicate CachedSteps::exploratoryBoundInvokeStep

Holds if pred may flow to succ through an invocation of a bound function.

Should only be used for graph pruning, as the edge may lead to spurious flow.

Import path

import semmle.javascript.dataflow.internal.FlowSteps
predicate exploratoryBoundInvokeStep(Node pred, Node succ)