abolish_incomplete_subgoals -> improved code and removed all the stuff about the old batched strategy