%% Straightforward goal-driven operation, like SETHEO, leanCoP, CM
%% Deepening on height

cdex_options([gen=inc_height1,
	      once=true,
	      goal=Goal,
	      proof=D,
	      pre_add_max=100000,
	      post_min=2]).