Predicate Enclosing::Internal::enclosingCallable

INTERNAL: Do not use.

Holds if c is the enclosing callable of statement s.

predicate enclosingCallable(Stmt s, Callable c)