full integration with dependency graph in ocamlwrap goal