Predicate ThrowInDestructor::canCatch

predicate canCatch(ThrowExpr te, CatchBlock cb)