let
sym_is_mult =
function
Pp
(
Mult
)
->
true
|
_
->
false