let remove_local_variable_change (() : unit) : unit =
List.iter
(fun v -> Hashtbl.remove var_value v ; variable_current_change:=(remove_one v (!variable_current_change)))
(!local_variable_change);
local_variable_change:=[]