let previous_variable_state (() : unit) : unit =
match (!variable_story) with [] -> ()
|(x::ls) -> ((List.iter (fun t -> (Hashtbl.remove var_value t)) (!variable_current_change));
variable_current_change:=x;
variable_story:=ls)