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