Predicate EmptyExcept::focussed_handler

Holds if this exception handler is sufficiently small in scope to not need a comment as to what it is doing.

predicate focussed_handler(ExceptStmt ex)