tests/sav/base_init_simple_alt1.sav

   1 alt/base_init_simple_alt1.nit:11,8--11: Error: No property B::init is inherited. Remove the redef keyword to define a new property.
   2 alt/base_init_simple_alt1.nit:12,8--11: Error: No property B::init2 is inherited. Remove the redef keyword to define a new property.
   3 alt/base_init_simple_alt1.nit:13,8--11: Error: No property B::init3 is inherited. Remove the redef keyword to define a new property.