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