let build_dot_file pdg =
  let kf = PdgTypes.Pdg.get_kf pdg in
  let fct_name = Kernel_function.get_name kf in
  let filename = (fct_name ^ ".dot"in
    build_dot filename pdg;
    filename