let d_multq = function
  | App(Arith(Multq(q)), [x]) -> Some(q, x)
  | _ -> None