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