let iter_edges_e f (_, graph) =
    let do_s ki postdom =
      let s = match ki with Kstmt s -> s | _  -> assert false in
      match postdom with None -> ()
      | Some postdom ->
        let do_edge p = f ((s, true), (p, true)) in
        Stmt.Hptset.iter do_edge postdom
    in
    Kinstr.Hashtbl.iter do_s graph