let doEdge s succ d =
match REACH.blocks_closed_by_edge s succ with
[] -> d
| closed_blocks ->
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 }