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