CC_great_eq_u
.cond = {CC_great_u, CC_less_u, CC_great_eq_u}
.cond = {CC_great_s, CC_less_s, CC_great_eq_u}
[ARC_CC_UGE] = CC_great_eq_u,