let
sym_is_multq =
function
Arith
(
Multq
_)
->
true
|
_
->
false