let is_zero = function
  | App(Arith(Num(q)), []) -> Q.is_zero q
  | _ -> false