let clear_state_from_locals fundec state =
let locals = List.map Base.create_varinfo fundec.Cil_types.slocals in
let formals = List.map Base.create_varinfo fundec.Cil_types.sformals in
let cleanup acc v = remove_base v acc in
let result = List.fold_left cleanup state locals in
List.fold_left cleanup result formals