let export_and_clear_globs acc =
let build _id lv =
let ty = Types.mk_ltype lv.lv_type in
let name = Fol.var_name (Fol.mk_lvar_variable lv ty) in
Fol.Function (name, [], ty)
in
(* no need to export anything in 'var_addr' *) Hashtbl.clear var_addr;
export_and_clear globals_table build acc