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