test case for yaccing and traverse