That is why I said that the technique fails if the base class implements stubs. It must list, not define, the methods.

The direct defined check will work, but it means that every subclass must implement all of the methods. So if A is an abstract class, and B inherits from A and C inherits from B, then by default C has to define every one of the required methods.