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