overwrite_sm_state_stree_stack
overwrite_sm_state_stree_stack(stack, tmp);
void overwrite_sm_state_stree_stack(struct stree_stack **stack, struct sm_state *sm);
overwrite_sm_state_stree_stack(&fake_cur_stree_stack, sm);
overwrite_sm_state_stree_stack(&fake_cur_stree_stack, sm);
overwrite_sm_state_stree_stack(&fake_cur_stree_stack, sm);
overwrite_sm_state_stree_stack(&fake_cur_stree_stack, sm);
overwrite_sm_state_stree_stack(&cond_true_stack, true_sm);
overwrite_sm_state_stree_stack(&cond_false_stack, false_sm);