-base_isa_gen2.nit:39,8--21: Warning: Expression is already a A[Object].
-base_isa_gen2.nit:41,8--21: Warning: Expression is already a A[Object] since it is a B[Object].
-base_isa_gen2.nit:44,8--21: Warning: Expression is already a A[Object] since it is a C[Object].
-base_isa_gen2.nit:48,8--21: Warning: Expression is already a A[Object] since it is a D[Object, Object].
+base_isa_gen2.nit:39,8--21: Warning: expression is already a `A[Object]`.
+base_isa_gen2.nit:41,8--21: Warning: expression is already a `A[Object]` since it is a `B[Object]`.
+base_isa_gen2.nit:44,8--21: Warning: expression is already a `A[Object]` since it is a `C[Object]`.
+base_isa_gen2.nit:48,8--21: Warning: expression is already a `A[Object]` since it is a `D[Object, Object]`.
true