-ts ::= ws Ts ws => ts
-Ts ::= Test*
-ws !::= w*
-Test ::= ^"testcase" "{" Input Output+ Grammar "}"
- | ^"testcase" "{" Input Grammar "}"
-Output ::= "output" quoted ";"
-Input ::= "input" quoted ";"
+ts ::= ws tests ws => ts
+tests ::= test %% ws
+ws !::= w*
+test ::= ^"testcase" "{" input output $$ ws grammar "}" /ws
+ | ^"testcase" "{" input grammar "}" /ws
+output ::= "output" quoted ";" /ws
+input ::= "input" quoted ";" /ws