In large scale projects this will become a big problem as you can't assume that every developer knows about all the contracts of a superclass.
That's the beauty of `override in(false)` - you don't have to know about the superclass. You can use it and it works in all cases.
Though that's also a possible argument for the language change.
