let
prop_of_integer z =
F
.p_icmp
Formula
.
Cneq
z (
F
.e_int 0)