Member predicate TranslatedElement::getInstructionSuccessor

Gets the successor instruction of the instruction that was generated by this element for tag tag. The successor edge kind is specified by kind.