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