let iter_vertex f (_, graph) =
let do_s ki postdom =
let s = match ki with Kstmt s -> s | _ -> assert false in
Postdominators_parameters.debug "iter_vertex %d : %a\n" s.sid V.pretty s;
let has_postdom = match postdom with None -> false | _ -> true in
f (s, has_postdom)
in
Kinstr.Hashtbl.iter do_s graph