let iter_edges_e f pdg =
      try
        let graph = get_graph pdg in
        let f_static e = f (e, falsein
        G.iter_edges_e f_static graph;
      with Top | Bottom -> ()