let d_multq = function
    | Arith(Multq(q)), _ -> q
    | _ -> raise Not_found