fixed serialization bug on reasoning about deallocation