let module M = Main(struct let cmp (a,_) (b,_) = compare a b end) in
M.main goal hypotheses)
;
+(*
(fun () ->
let module M = Main(struct let cmp (a,_) (b,_) = compare b a end) in
M.main goal hypotheses)
+*)
];
let rec aux () =
if List.length !childs = 0 then