Member predicate TranslatedElement::getALastInstruction

Gets an instruction within this TranslatedElement (including its transitive children) which will be followed by an instruction outside the TranslatedElement.