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.