Member predicate TranslatedAllocatorCall::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.
predicate handlesDestructorsExplicitly()