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