let print_dot pdg filename = PdgTypes.Pdg.build_dot filename pdg; Pdg_parameters.result "dot file generated in %s" filename