base_isa_gen5.nit:39,8--15: Warning: Expression is already a A since it is a B[Canard].
base_isa_gen5.nit:41,8--22: Warning: Expression is already a B[Animal] since it is a B[Canard].
base_isa_gen5.nit:46,8--24: Warning: Expression is already a B[B[Canard]].
base_isa_gen5.nit:48,8--24: Warning: Expression is already a B[B[Animal]] since it is a B[B[Canard]].
true