RegexLexer refactoring
Use lex.unpop_token method in dimacs