let
int_zero =
Fol
.
Tconst
(
Fol
.
ConstInt
"0"
)