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:=[]