backtracking/ocaml-hashcons