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.