lex_yacc: add test and resolve an important problem of yacc