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