let is_multq = function
  | App(Arith(Multq(_)), _) -> true
  | _ -> false