tests/sav/base_attr5_alt12.sav

   1 alt/base_attr5_alt12.nit:42,12--14: Error: No property B::bar is inherited. Remove the redef keyword to define a new property.
   2 alt/base_attr5_alt12.nit:42,12--14: Redef error: B::bar= is an inherited property. To redefine it, add the redef keyword.