I don't see how that computes. We started from lax rules. Then we had somewhat stronger rules, and I personally saw no benefit. I fail to see how it follows that even stronger rules would help there.
That is not complicated. Lax property enforcement => property everywhere.
Then switching to stronger enforcement, property everywhere => bunch of extra annotation for no benefice.
The damage was already done.
