let add_dpd_in_g graph v1 dpd_kind part_opt v2 =
(* let part_opt = match part_opt with Some _ | None -> None in *)
debug "add_dpd : %a -%a-> %a@."
PdgTypes.Node.pretty v1 Dpd.pretty_td dpd_kind
PdgTypes.Node.pretty v2;
G.add_dpd graph v1 dpd_kind part_opt v2