let
sym_d_multq =
function
Arith
(
Multq
(q))
->
q
|
_
->
assert
false