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