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)