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