__copy_cond_false_states
struct stree *__copy_cond_false_states(void);
a_F = __copy_cond_false_states();