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