Safe Memory Deallocation -- Ownership Downgrading for Ownership Types -- Separation