Improving contracts for 'ILexer'