Symbol: CONDITION_CHK