let real_bool_cmp_binop_name op e1 e2 = 
  let op = match op with
  | Lt               
                  (** < (arithmetic comparison) *)
 -> "lt_real_bool"
  | Gt               
                  (** > (arithmetic comparison) *)
 -> "gt_real_bool"
  | Le               
                  (** <= (arithmetic comparison) *)
 -> "le_real_bool"
  | Ge               
                  (** >= (arithmetic comparison) *)
 -> "ge_real_bool"
  | Eq               
                  (** == (arithmetic comparison) *)
 -> "eq_real_bool"
  | Ne               
                  (** != (arithmetic comparison) *)
 -> "neq_real_bool"
  | _ -> assert false
  in Fol.Tapp (op, [e1; e2])