refine parser_of_symbols:fix
optimize parser_of_terminals