Add DFAState.isLexerTerminationState to allow the lexer to stop examining input symbols as early as possible