let uninitialize_locals blocks state =
List.fold_left
(fun acc block ->
List.fold_left
(fun acc vi ->
let base = Base.create_varinfo vi in
remove_base base acc)
acc
block.Cil_types.blocals)
state
blocks