let
boolean_of_integer z =
F
.e_icmp
Formula
.
Cneq
z
F
.i_zero