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.FlowStepspredicate exploratoryBoundInvokeStep(Node pred, Node succ)