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