-ts ::= ws Ts ws => ts
-Ts ::= Test*
-ws !::= w*
-Test ::= ^"testcase" "{" Input output+ Grammar "}"
- | ^"testcase" "{" Input Grammar "}"
-output ::= "output" quoted ";" / w*
-Input ::= "input" quoted ";"
+ts = ts:: ws! tests ws!
+tests = test */ ws
+test = tca:: "testcase" "{" input (o::(output +/ ws)) (grammaro::Grammar) "}" /ws
+ | tcb:: "testcase" "{" input (grammaro::Grammar) "}" /ws
+output = "output" Quoted ";" /ws
+input = "input" Quoted ";" /ws