clone_stree
struct stree *clone_stree(struct stree *orig);
old_stree = clone_stree(__get_cur_stree());
pre_stree = clone_stree(__get_cur_stree());
stree = clone_stree(sm->pool);
a_T_b_T = clone_stree(a_T);
a_T_b_F = clone_stree(a_T);
a_F_c_T = clone_stree(a_F);
a_F_c_F = clone_stree(a_F);
final_states = clone_stree(__get_cur_stree());
unmatched_stree = clone_stree(__get_cur_stree());
orig_states = clone_stree(__get_cur_stree());
struct stree *ret = clone_stree(*raw_stree);
pre_stree = clone_stree(__get_cur_stree());
true_stree = clone_stree(sm->pool);
false_stree = clone_stree(sm->pool);
pre_stree = clone_stree(__get_cur_stree());
pre_stree = clone_stree(__get_cur_stree());
pre_stree = clone_stree(__get_cur_stree());
start_states = clone_stree(__get_cur_stree());
stree = clone_stree(__get_cur_stree());
push_stree(pre_conds, clone_stree(pre_stree));
res = clone_stree(pre_stree);
tmp_stree = clone_stree(cur_stree);
*to = clone_stree(stree);
implied_one = clone_stree(*to);
implied_two = clone_stree(stree);
*to = clone_stree(stree);
one->base_stree = clone_stree(__get_cur_stree());
two->base_stree = clone_stree(__get_cur_stree());
start_states = clone_stree(__get_cur_stree());
stree = clone_stree(cur_stree);
stree = clone_stree(cur_stree);
stree = clone_stree(top_stree(fake_cur_stree_stack));
push_stree(&switch_stack, clone_stree(cur_stree));
clone = clone_stree(cur_stree);
push_stree(&cond_true_stack, clone_stree(ret));
push_stree(&cond_false_stack, clone_stree(ret));
push_stree(&pre_cond_stack, clone_stree(cur_stree));
push_stree(&pre_cond_stack, clone_stree(cur_stree));
return clone_stree(top_stree(cond_true_stack));
return clone_stree(top_stree(cond_false_stack));
pre_clone = clone_stree(pre);
push_stree(&true_stack, clone_stree(cur_stree));