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