let conjdepgraph univ idlist = let graph = G.create ~size:(List.length idlist) () in List.iter (conjdepgraph_int graph univ) idlist; graph