I'm wondering whether also overridden superclass methods must be taken into account here?