Member predicate TranslatedDestructorsAfterThrow::handlesDestructorsExplicitly

Holds if this TranslatedElement includes any destructor calls that must be performed after it in its getChildSuccessorInternal, getInstructionSuccessorInternal, and getALastInstructionInternal relations, rather than needing them inserted.