It's possible to redefine a non-class feature into a class feature provided that the inherited assertions are instance-free.
