let vertex_name v = match G.V.label v with |PkgV.Pkg i -> Printf.sprintf "\"%s\"" (CudfAdd.string_of_package i) |PkgV.Or (i,c) -> Printf.sprintf "\"Or%s-%d\"" (CudfAdd.string_of_package i) c