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)