Predicate ThrowInDestructor::bindEnclosingCatch

predicate bindEnclosingCatch(ReThrowExpr te, CatchBlock cb)