let
cst_zero =
PCst
(
Logic_ptree
.
IntConstant
"0"
)