test_large_ground_subgoal
test_large_ground_answer
test_subgoal_abstraction
test_answer_abstraction
test_subgoal_answer_abstraction
test_var_limit_1_succeeded
test_var_limit_1_succeeded
test_a_var_succeeded
