Symbol: regs_refine_cond_op