TEGIS or test-only CEGIS, using bonsai for tree generation