-alt/base_prot2_alt1.nit:22,12--14: Error: No property B::pri is inherited. Remove the redef keyword to define a new property.
+alt/base_prot2_alt1.nit:22,12--14: Error: no property `B::pri` is inherited. Remove the `redef` keyword to define a new property.