alt/base_prot3_alt5.nit:20,12--14: Error: no property `C::pub` is inherited. Remove the `redef` keyword to define a new property.