Symbol: SMT_COND_BASE