let cfg_dot msg dotname ?pp_edge_fun cfg =
  let dir = Wp_parameters.get_output () in
  let file = Printf.sprintf "%s/wp_%s.dot" dir dotname in
  Wp_parameters.result "export %s in %s@." msg file ;
  export ~file ?pp_edge_fun cfg ;
  file