debug_print ~depth
(lazy ("alternatives = " ^ (string_of_int (List.length (l1@l@l2)))));
(* we order alternatives w.r.t the number of subgoals they open *)
- l1 @ (sort_new_elems l2) @ l), cache
+ l1 @ (sort_new_elems l2) @ l, cache
;;
let pp_goal = function