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)