Member predicate Handler::Handler::isInScope

Holds if the instruction i is in the scope of this handler.

predicate isInScope(Instruction i)