new test-grammar (simplified--no errors when computing with this one)