base_isa_gen8.nit:49,8--17: Warning: Expression is already a A[X].
base_isa_gen8.nit:50,8--17: Warning: Expression is already a A[Y].
base_isa_gen8.nit:51,8--17: Warning: Expression is already a A[Z].
base_isa_gen8.nit:53,8--21: Warning: Expression is already a B[Object] since it is a B[X].
base_isa_gen8.nit:55,8--21: Warning: Expression is already a C[X, X].
base_isa_gen8.nit:56,8--21: Warning: Expression is already a C[X, Y].
base_isa_gen8.nit:57,8--21: Warning: Expression is already a C[X, Z].
base_isa_gen8.nit:59,8--22: Warning: Expression is already a D[X, Y, Z].
base_isa_gen8.nit:60,8--28: Warning: Expression is already a E[X, Y, Z, Bool].
true