test cases for yacc spec