let r_pred = function
  | Ceq  -> eq_real
  | Cneq -> ne_real
  | Clt  -> lt_real
  | Cleq -> le_real