ts         = ts:: !ws tests !ws
tests      =      test */ ws
test       =   tca::   "testcase" "{" input (o::(output +/ ws))   (grammaro::(grammar::Grammar)) "}" /ws
           |   tcb::   "testcase" "{" input                       (grammaro::(grammar::Grammar)) "}" /ws
output     =           "output" Quoted ";" /ws
input      =           "input"  Quoted ";" /ws