let assert_depends x =
let c = String.sub (Lambda4.label_of_problem x) 0 1 in
- prerr_endline(Lambda4.label_of_problem x); assert (c = "!" || c="?");
- let q = c = "!" in
- (if q then assert_separable else assert_unseparable) x
+ if c = "!" then assert_separable x
+ else if c = "?" then assert_unseparable x
+ else (solve x; ())
;;
let main () =