let fcmp_operator phi op x y =
match op with
| Eq -> R.f_cmp phi Formula.Ceq x y
| Ne -> R.f_cmp phi Formula.Cneq x y
| Lt -> R.f_cmp phi Formula.Clt x y
| Le -> R.f_cmp phi Formula.Cleq x y
| Ge -> R.f_cmp phi Formula.Cleq y x
| Gt -> R.f_cmp phi Formula.Clt y x
| _ -> assert false