Symbol: COND_GT