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