lexer verification finished