let
is_null l =
F
.e_icmp
Formula
.
Ceq
(
Tint
.integer_of_xaddr l)
F
.i_zero