Predicate CachedSteps::callsBound

Holds if invk may invoke a bound version of f with boundArgs already bound.

The receiver is assumed to be bound as well, and should not propagate into f.

Does not hold for context-dependent call sites, such as callback invocations.

Import path

import semmle.javascript.dataflow.internal.FlowSteps
predicate callsBound(InvokeNode invk, Function f, int boundArgs)