[9514] Final polishing of the test suite
[9579] Many little fixes: now the only tests failing are about replacing a subsequence or splitting a nonterminal
[9580] Smaller fixes and adjustments: splitting now works, replace — not so much