Some changes in InstructionReader.l