let int_bool_cmp_binop_name op e1 e2 = 
  let op = match op with
  | Lt               
                  (** < (arithmetic comparison) *)
 -> "lt_int_bool"
  | Gt               
                  (** > (arithmetic comparison) *)
 -> "gt_int_bool"
  | Le               
                  (** <= (arithmetic comparison) *)
 -> "le_int_bool"
  | Ge               
                  (** >= (arithmetic comparison) *)
 -> "ge_int_bool"
  | Eq               
                  (** == (arithmetic comparison) *)
 -> "eq_int_bool"
  | Ne               
                  (** != (arithmetic comparison) *)
 -> "neq_int_bool"
  | _ -> assert false
  in Fol.Tapp (op, [e1; e2])