D3: test cases for YACC