all tests in tree-construction/tests7.dat pass