let r_bool = function
  | Ceq  -> eq_real_bool
  | Cneq -> ne_real_bool
  | Clt  -> lt_real_bool
  | Cleq -> le_real_bool