let
sym_is_add =
function
Arith
(
Add
)
->
true
|
_
->
false