let refresh_var (name : string) (var : string) (tag_number : int) : unit =
        let value_of_var = get_value_of_var name var in
        if((is_a_refresh_var var))
        then (          
                let value_of_var_tmp =         if(containStr "-" value_of_var) 
                                        then String.sub value_of_var 0 (indexStr "-" value_of_var) 
                                        else value_of_var in
                let value = ((value_of_var_tmp)^"-"^(string_of_int !id_refresh)) in
                id_refresh := 1 + !id_refresh;
                if ((get_type value)=""then add_type value [(get_type (get_name_of_var var))];
                add_var_value name value name var;
        )