Added solver diagnostics in OCaml