backtracking/ocamlgraph