-ts ::= !ws tests !ws => ts
-tests ::= test */ ws
-ws ::= w*
-test ::= ^"testcase" "{" input output +/ ws Grammar "}" /ws
- | ^"testcase" "{" input Grammar "}" /ws
- | ^"tibcase" "{" input output +/ ws Grammar "}" /ws
- | ^"tibcase" "{" input Grammar "}" /ws
-output ::= ^"output" Quoted ";" /ws
-input ::= "input" Quoted ";" /ws
+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