Class SequenceInstr.SequenceInstrElaborator