let doEdge s succ d =
    match REACH.blocks_closed_by_edge s succ with
        [] -> d
      | closed_blocks ->
          let kinstr = Kstmt s in
          current_stmt:= kinstr;
          let deps_table =
            Lmap_bitwise.From_Model.uninitialize_locals
              (List.fold_left (fun x y -> y.blocals @ x) [] closed_blocks)
              d.deps_table
          in { d with deps_table = deps_table }