let
is_cst_zero e =
match
e
with
|
PCst
(
IntConstant
"0"
)
->
true
|
_
->
false