let iter_vertex f (_, graph) = 
    let do_s ki postdom = 
      let s = match ki with Kstmt s -> s | _  -> assert false in
      if debug then Cil.log "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 
    InstrHashtbl.iter do_s graph