some changes in InstructionReader.l