It also would be broken by having snapshots, since, the space wouldn't actually be freed, so this space accounting is not the only possible issue.