__copy_cond_true_states
struct stree *__copy_cond_true_states(void);
a_T = __copy_cond_true_states();