Predicate EJBRestrictions::ejbCalls

Holds if there exists a call chain from an EJB-Callable origin to a ForbiddenCallable target that does not contain any intermediate EJB-Callable or ForbiddenCallable, and where call is the direct call site of target.

predicate ejbCalls(Callable origin, ForbiddenCallable target, Call call)