Added verification of redefinition of superclass member