overwrite_stree
overwrite_stree(orig, &ret);
overwrite_stree(fake, &ret);
overwrite_stree(new, &ret);
overwrite_stree(a_T_b_fake, &a_T_b_T);
overwrite_stree(a_T_b_fake, &a_T_b_F);
overwrite_stree(a_F_c_fake, &a_F_c_T);
overwrite_stree(a_F_c_fake, &a_F_c_F);
overwrite_stree(extra_states, &true_states);
overwrite_stree(true_states, &ret);
overwrite_stree(old, &res);
overwrite_stree(new, &tmp_stree);
overwrite_stree(new, one);
overwrite_stree(new, two);
void overwrite_stree(struct stree *from, struct stree **to);
overwrite_stree(stree, &cur_stree);
overwrite_stree(true_states, &pre);
overwrite_stree(false_states, &pre_clone);