Symbol: __use_cond_true_states