let refresh_var_of_state (name : string) (state : string) (tag_number : int) : unit = 
         let decomp = cdr(decompose("x("^state^")")) in
        List.iter (fun v ->         if (is_a_var v) 
                                then refresh_var name v tag_number
                                else List.iter (fun v2 -> refresh_var name v2 tag_number) (decompose v)
                ) decomp