let is_null l = F.e_app2 "addr_eq" (addr l) (F.i_zero)