Use the fetchedEOF field to often avoid an expensive LA(1) operation in BufferedTokenStream.consume