Member predicate Callable::Callable::calls

Holds if callee is potentially called from this callable. That is, callee is a potential run-time target of a call in the body of this callable.

predicate calls(Callable callee)