let
not_of_integer z =
F
.p_icmp
Formula
.
Ceq
z
F
.i_zero