tests/sav/error_redef_alt3.sav

   1 alt/error_redef_alt3.nit:28,15: Error: Untyped parameter.
   2 alt/error_redef_alt3.nit:26,2--28,15: Error: No property B::f1 is inherited. Remove the redef keyword to define a new property.