let conjdepgraph_int ?(transitive=false) graph univ id =
G.add_vertex graph id;
let p = CudfAdd.inttovar univ id in
List.iter (fun vpkgs ->
match CudfAdd.resolve_vpkgs_int univ vpkgs with
|[q] when q <> id -> add_edge transitive graph id q
|_ -> ()
) p.Cudf.depends