Member predicate TranslatedVariableInitialization::getInitializationSuccessor

Gets the Instruction to be executed immediately after the initialization.

Instruction getInitializationSuccessor()