let expr_rec_spec_null mem e1 =
    if Cil.isZero e1 then
      let t = Cil.typeOf e1 in
      M.V_pointer(t, M.loc_of_pointer (object_of t) D.null) else (!expr_rec mem e1)