tests/sav/base_classid.sav

   1 base_classid.nit:47,2--8: Warning: Expression is already a A.
   2 base_classid.nit:48,2--9: Warning: Expression is already a A.
   3 base_classid.nit:49,2--8: Warning: Expression is already a A since it is a B.
   4 base_classid.nit:52,2--8: Warning: Expression is already a B.
   5 true
   6 true
   7 true
   8 true
   9 true
  10 true
  11 true
  12 true