Should Memory Unmapping Action Always Be Recorded?

[michael-hahn]

provenance_mmap_munmap might not record memory unmapping activity if the memory to be unmapped is private. But should it actually be recorded regardless of the ownership status (public or private)?