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