t511a.add(204, a);
// t511 = t511a "." $x
t511.add(205, t511a, testcaseT511T511a);
t511.add(207, new Str(206, "."));
t511.add(209, new Variable(208, "t511", x_getT511a));
// t512 = a $true !$false
t512.add(210, a);
t512.add(212, new Variable(211, "t512", true_getTrue));
t512.add(214, new Variable(213, "t512", false_getFalse, NOT));
// testcase =
// "111. " t111 cr
// "112. " t112 cr
// "113. " t113 cr