-alt/error_defs_alt8.nit:25,6--8: Redef error: A::foo is an inherited property. To redefine it, add the redef keyword.
-alt/error_defs_alt8.nit:42,11--13: Error: No property A::foo is inherited. Remove the redef keyword to define a new property.
+alt/error_defs_alt8.nit:41,13: Error: a class `A` is already defined at line 24.