let build_dot filename pdg =
  let file = open_out filename in
  PrintG.output_graph file pdg;
    close_out file