Debugging tests, some problems with tree search