let cmp_binop_neg binop = match binop with
  | Eq -> Ne
  | Ne -> Eq
  | Ge -> Lt
  | Le -> Gt
  | Gt -> Le
  | Lt -> Ge
  | _ -> assert false