I see at least two possible reasons why it happened: 1. "Don't do something counterproductive" or "Don't get your priorities wrong" do not usually need to be sa

I see at least two possible reasons why it happened: 1. "Don't do something counterproductive" or "Don't get your priorities wrong" do not usually need to be said explicitly, 2. Standards "culture" values precision so much that they'd balk at writing fuzzy things like "Do typical null pointer things when trying to deref a null pointer". Then later 3. "But we implemented it that way for the benchmarks, can't regress there!"