X-Git-Url: http://nitlanguage.org

diff --git a/c_src/typing.sep.1.c b/c_src/typing.sep.1.c
index 7599de8..3a78656 100644
--- a/c_src/typing.sep.1.c
+++ b/c_src/typing.sep.1.c
@@ -5,8 +5,9 @@ val* var /* : Phase */;
 val* var1 /* : Phase */;
 var1 = self->attrs[COLOR_typing__ToolContext___64dtyping_phase].val; /* @typing_phase on <self:ToolContext> */
 if (var1 == NULL) {
-fprintf(stderr, "Runtime error: %s (%s:%d)\n", "Uninitialized attribute @typing_phase", "src/typing.nit", 27);
-exit(1);
+fprintf(stderr, "Runtime error: %s", "Uninitialized attribute @typing_phase");
+fprintf(stderr, " (%s:%d)\n", "src/typing.nit", 27);
+show_backtrace(1);
 }
 var = var1;
 RET_LABEL:;
@@ -31,34 +32,6 @@ void VIRTUAL_typing__ToolContext__typing_phase_61d(val* self, val* p0) {
 typing__ToolContext__typing_phase_61d(self, p0);
 RET_LABEL:;
 }
-/* method typing#MPropDef#has_supercall for (self: MPropDef): Bool */
-short int typing__MPropDef__has_supercall(val* self) {
-short int var /* : Bool */;
-short int var1 /* : Bool */;
-var1 = self->attrs[COLOR_typing__MPropDef___64dhas_supercall].s; /* @has_supercall on <self:MPropDef> */
-var = var1;
-RET_LABEL:;
-return var;
-}
-/* method typing#MPropDef#has_supercall for (self: Object): Bool */
-short int VIRTUAL_typing__MPropDef__has_supercall(val* self) {
-short int var /* : Bool */;
-short int var1 /* : Bool */;
-var1 = typing__MPropDef__has_supercall(self);
-var = var1;
-RET_LABEL:;
-return var;
-}
-/* method typing#MPropDef#has_supercall= for (self: MPropDef, Bool) */
-void typing__MPropDef__has_supercall_61d(val* self, short int p0) {
-self->attrs[COLOR_typing__MPropDef___64dhas_supercall].s = p0; /* @has_supercall on <self:MPropDef> */
-RET_LABEL:;
-}
-/* method typing#MPropDef#has_supercall= for (self: Object, Bool) */
-void VIRTUAL_typing__MPropDef__has_supercall_61d(val* self, short int p0) {
-typing__MPropDef__has_supercall_61d(self, p0);
-RET_LABEL:;
-}
 /* method typing#TypingPhase#process_npropdef for (self: TypingPhase, APropdef) */
 void typing__TypingPhase__process_npropdef(val* self, val* p0) {
 val* var_npropdef /* var npropdef: APropdef */;
@@ -81,8 +54,9 @@ val* var /* : ModelBuilder */;
 val* var1 /* : ModelBuilder */;
 var1 = self->attrs[COLOR_typing__TypeVisitor___64dmodelbuilder].val; /* @modelbuilder on <self:TypeVisitor> */
 if (var1 == NULL) {
-fprintf(stderr, "Runtime error: %s (%s:%d)\n", "Uninitialized attribute @modelbuilder", "src/typing.nit", 41);
-exit(1);
+fprintf(stderr, "Runtime error: %s", "Uninitialized attribute @modelbuilder");
+fprintf(stderr, " (%s:%d)\n", "src/typing.nit", 36);
+show_backtrace(1);
 }
 var = var1;
 RET_LABEL:;
@@ -113,8 +87,9 @@ val* var /* : AClassdef */;
 val* var1 /* : AClassdef */;
 var1 = self->attrs[COLOR_typing__TypeVisitor___64dnclassdef].val; /* @nclassdef on <self:TypeVisitor> */
 if (var1 == NULL) {
-fprintf(stderr, "Runtime error: %s (%s:%d)\n", "Uninitialized attribute @nclassdef", "src/typing.nit", 42);
-exit(1);
+fprintf(stderr, "Runtime error: %s", "Uninitialized attribute @nclassdef");
+fprintf(stderr, " (%s:%d)\n", "src/typing.nit", 37);
+show_backtrace(1);
 }
 var = var1;
 RET_LABEL:;
@@ -145,8 +120,9 @@ val* var /* : MPropDef */;
 val* var1 /* : MPropDef */;
 var1 = self->attrs[COLOR_typing__TypeVisitor___64dmpropdef].val; /* @mpropdef on <self:TypeVisitor> */
 if (var1 == NULL) {
-fprintf(stderr, "Runtime error: %s (%s:%d)\n", "Uninitialized attribute @mpropdef", "src/typing.nit", 43);
-exit(1);
+fprintf(stderr, "Runtime error: %s", "Uninitialized attribute @mpropdef");
+fprintf(stderr, " (%s:%d)\n", "src/typing.nit", 38);
+show_backtrace(1);
 }
 var = var1;
 RET_LABEL:;
@@ -177,8 +153,9 @@ val* var /* : Variable */;
 val* var1 /* : Variable */;
 var1 = self->attrs[COLOR_typing__TypeVisitor___64dselfvariable].val; /* @selfvariable on <self:TypeVisitor> */
 if (var1 == NULL) {
-fprintf(stderr, "Runtime error: %s (%s:%d)\n", "Uninitialized attribute @selfvariable", "src/typing.nit", 45);
-exit(1);
+fprintf(stderr, "Runtime error: %s", "Uninitialized attribute @selfvariable");
+fprintf(stderr, " (%s:%d)\n", "src/typing.nit", 40);
+show_backtrace(1);
 }
 var = var1;
 RET_LABEL:;
@@ -227,8 +204,9 @@ var_mpropdef = p2;
 ((void (*)(val*, val*))(self->class->vft[COLOR_typing__TypeVisitor__mpropdef_61d]))(self, var_mpropdef) /* mpropdef= on <self:TypeVisitor>*/;
 var = ((val* (*)(val*))(var_nclassdef->class->vft[COLOR_modelize_class__AClassdef__mclassdef]))(var_nclassdef) /* mclassdef on <var_nclassdef:AClassdef>*/;
 if (var == NULL) {
-fprintf(stderr, "Runtime error: %s (%s:%d)\n", "Reciever is null", "src/typing.nit", 53);
-exit(1);
+fprintf(stderr, "Runtime error: %s", "Receiver is null");
+fprintf(stderr, " (%s:%d)\n", "src/typing.nit", 48);
+show_backtrace(1);
 } else {
 var1 = ((val* (*)(val*))(var->class->vft[COLOR_model__MClassDef__mclass]))(var) /* mclass on <var:nullable MClassDef>*/;
 }
@@ -244,7 +222,6 @@ var3 = var6;
 varonce = var3;
 }
 ((void (*)(val*, val*))(var2->class->vft[COLOR_scope__Variable__init]))(var2, var3) /* init on <var2:Variable>*/;
-CHECK_NEW_scope__Variable(var2);
 var_selfvariable = var2;
 ((void (*)(val*, val*))(self->class->vft[COLOR_typing__TypeVisitor__selfvariable_61d]))(self, var_selfvariable) /* selfvariable= on <self:TypeVisitor>*/;
 var7 = ((val* (*)(val*))(var_mclass->class->vft[COLOR_model__MClass__mclass_type]))(var_mclass) /* mclass_type on <var_mclass:MClass>*/;
@@ -265,8 +242,9 @@ val* var3 /* : MModule */;
 var1 = ((val* (*)(val*))(self->class->vft[COLOR_typing__TypeVisitor__nclassdef]))(self) /* nclassdef on <self:TypeVisitor>*/;
 var2 = ((val* (*)(val*))(var1->class->vft[COLOR_modelize_class__AClassdef__mclassdef]))(var1) /* mclassdef on <var1:AClassdef>*/;
 if (var2 == NULL) {
-fprintf(stderr, "Runtime error: %s (%s:%d)\n", "Reciever is null", "src/typing.nit", 60);
-exit(1);
+fprintf(stderr, "Runtime error: %s", "Receiver is null");
+fprintf(stderr, " (%s:%d)\n", "src/typing.nit", 55);
+show_backtrace(1);
 } else {
 var3 = ((val* (*)(val*))(var2->class->vft[COLOR_model__MClassDef__mmodule]))(var2) /* mmodule on <var2:nullable MClassDef>*/;
 }
@@ -293,8 +271,9 @@ val* var3 /* : MClassType */;
 var1 = ((val* (*)(val*))(self->class->vft[COLOR_typing__TypeVisitor__nclassdef]))(self) /* nclassdef on <self:TypeVisitor>*/;
 var2 = ((val* (*)(val*))(var1->class->vft[COLOR_modelize_class__AClassdef__mclassdef]))(var1) /* mclassdef on <var1:AClassdef>*/;
 if (var2 == NULL) {
-fprintf(stderr, "Runtime error: %s (%s:%d)\n", "Reciever is null", "src/typing.nit", 62);
-exit(1);
+fprintf(stderr, "Runtime error: %s", "Receiver is null");
+fprintf(stderr, " (%s:%d)\n", "src/typing.nit", 57);
+show_backtrace(1);
 } else {
 var3 = ((val* (*)(val*))(var2->class->vft[COLOR_model__MClassDef__bound_mtype]))(var2) /* bound_mtype on <var2:nullable MClassDef>*/;
 }
@@ -329,8 +308,9 @@ var_mtype = p0;
 var1 = ((val* (*)(val*))(self->class->vft[COLOR_typing__TypeVisitor__nclassdef]))(self) /* nclassdef on <self:TypeVisitor>*/;
 var2 = ((val* (*)(val*))(var1->class->vft[COLOR_modelize_class__AClassdef__mclassdef]))(var1) /* mclassdef on <var1:AClassdef>*/;
 if (var2 == NULL) {
-fprintf(stderr, "Runtime error: %s (%s:%d)\n", "Reciever is null", "src/typing.nit", 66);
-exit(1);
+fprintf(stderr, "Runtime error: %s", "Receiver is null");
+fprintf(stderr, " (%s:%d)\n", "src/typing.nit", 61);
+show_backtrace(1);
 } else {
 var3 = ((val* (*)(val*))(var2->class->vft[COLOR_model__MClassDef__mmodule]))(var2) /* mmodule on <var2:nullable MClassDef>*/;
 }
@@ -338,8 +318,9 @@ var_mmodule = var3;
 var4 = ((val* (*)(val*))(self->class->vft[COLOR_typing__TypeVisitor__nclassdef]))(self) /* nclassdef on <self:TypeVisitor>*/;
 var5 = ((val* (*)(val*))(var4->class->vft[COLOR_modelize_class__AClassdef__mclassdef]))(var4) /* mclassdef on <var4:AClassdef>*/;
 if (var5 == NULL) {
-fprintf(stderr, "Runtime error: %s (%s:%d)\n", "Reciever is null", "src/typing.nit", 67);
-exit(1);
+fprintf(stderr, "Runtime error: %s", "Receiver is null");
+fprintf(stderr, " (%s:%d)\n", "src/typing.nit", 62);
+show_backtrace(1);
 } else {
 var6 = ((val* (*)(val*))(var5->class->vft[COLOR_model__MClassDef__bound_mtype]))(var5) /* bound_mtype on <var5:nullable MClassDef>*/;
 }
@@ -378,8 +359,9 @@ var_sup = p1;
 var1 = ((val* (*)(val*))(self->class->vft[COLOR_typing__TypeVisitor__nclassdef]))(self) /* nclassdef on <self:TypeVisitor>*/;
 var2 = ((val* (*)(val*))(var1->class->vft[COLOR_modelize_class__AClassdef__mclassdef]))(var1) /* mclassdef on <var1:AClassdef>*/;
 if (var2 == NULL) {
-fprintf(stderr, "Runtime error: %s (%s:%d)\n", "Reciever is null", "src/typing.nit", 73);
-exit(1);
+fprintf(stderr, "Runtime error: %s", "Receiver is null");
+fprintf(stderr, " (%s:%d)\n", "src/typing.nit", 68);
+show_backtrace(1);
 } else {
 var3 = ((val* (*)(val*))(var2->class->vft[COLOR_model__MClassDef__mmodule]))(var2) /* mmodule on <var2:nullable MClassDef>*/;
 }
@@ -387,8 +369,9 @@ var_mmodule = var3;
 var4 = ((val* (*)(val*))(self->class->vft[COLOR_typing__TypeVisitor__nclassdef]))(self) /* nclassdef on <self:TypeVisitor>*/;
 var5 = ((val* (*)(val*))(var4->class->vft[COLOR_modelize_class__AClassdef__mclassdef]))(var4) /* mclassdef on <var4:AClassdef>*/;
 if (var5 == NULL) {
-fprintf(stderr, "Runtime error: %s (%s:%d)\n", "Reciever is null", "src/typing.nit", 74);
-exit(1);
+fprintf(stderr, "Runtime error: %s", "Receiver is null");
+fprintf(stderr, " (%s:%d)\n", "src/typing.nit", 69);
+show_backtrace(1);
 } else {
 var6 = ((val* (*)(val*))(var5->class->vft[COLOR_model__MClassDef__bound_mtype]))(var5) /* bound_mtype on <var5:nullable MClassDef>*/;
 }
@@ -431,8 +414,9 @@ var_for_self = p2;
 var1 = ((val* (*)(val*))(self->class->vft[COLOR_typing__TypeVisitor__nclassdef]))(self) /* nclassdef on <self:TypeVisitor>*/;
 var2 = ((val* (*)(val*))(var1->class->vft[COLOR_modelize_class__AClassdef__mclassdef]))(var1) /* mclassdef on <var1:AClassdef>*/;
 if (var2 == NULL) {
-fprintf(stderr, "Runtime error: %s (%s:%d)\n", "Reciever is null", "src/typing.nit", 80);
-exit(1);
+fprintf(stderr, "Runtime error: %s", "Receiver is null");
+fprintf(stderr, " (%s:%d)\n", "src/typing.nit", 75);
+show_backtrace(1);
 } else {
 var3 = ((val* (*)(val*))(var2->class->vft[COLOR_model__MClassDef__mmodule]))(var2) /* mmodule on <var2:nullable MClassDef>*/;
 }
@@ -440,8 +424,9 @@ var_mmodule = var3;
 var4 = ((val* (*)(val*))(self->class->vft[COLOR_typing__TypeVisitor__nclassdef]))(self) /* nclassdef on <self:TypeVisitor>*/;
 var5 = ((val* (*)(val*))(var4->class->vft[COLOR_modelize_class__AClassdef__mclassdef]))(var4) /* mclassdef on <var4:AClassdef>*/;
 if (var5 == NULL) {
-fprintf(stderr, "Runtime error: %s (%s:%d)\n", "Reciever is null", "src/typing.nit", 81);
-exit(1);
+fprintf(stderr, "Runtime error: %s", "Receiver is null");
+fprintf(stderr, " (%s:%d)\n", "src/typing.nit", 76);
+show_backtrace(1);
 } else {
 var6 = ((val* (*)(val*))(var5->class->vft[COLOR_model__MClassDef__bound_mtype]))(var5) /* bound_mtype on <var5:nullable MClassDef>*/;
 }
@@ -474,13 +459,15 @@ val* var2 /* : MType */;
 short int var3 /* : Bool */;
 int cltype;
 int idtype;
+const char* var_class_name;
 var_mmethoddef = p0;
 var_recv = p1;
 var_for_self = p2;
 var1 = ((val* (*)(val*))(var_mmethoddef->class->vft[COLOR_model__MMethodDef__msignature]))(var_mmethoddef) /* msignature on <var_mmethoddef:MMethodDef>*/;
 if (var1 == NULL) {
-fprintf(stderr, "Runtime error: %s (%s:%d)\n", "Cast failed", "src/typing.nit", 94);
-exit(1);
+fprintf(stderr, "Runtime error: %s", "Cast failed");
+fprintf(stderr, " (%s:%d)\n", "src/typing.nit", 89);
+show_backtrace(1);
 }
 var2 = ((val* (*)(val*, val*, val*, short int))(self->class->vft[COLOR_typing__TypeVisitor__resolve_for]))(self, var1, var_recv, var_for_self) /* resolve_for on <self:TypeVisitor>*/;
 /* <var2:MType> isa MSignature */
@@ -492,8 +479,10 @@ var3 = 0;
 var3 = var2->type->type_table[cltype] == idtype;
 }
 if (!var3) {
-fprintf(stderr, "Runtime error: %s (%s:%d)\n", "Cast failed", "src/typing.nit", 94);
-exit(1);
+var_class_name = var2 == NULL ? "null" : var2->type->name;
+fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "MSignature", var_class_name);
+fprintf(stderr, " (%s:%d)\n", "src/typing.nit", 89);
+show_backtrace(1);
 }
 var = var2;
 goto RET_LABEL;
@@ -578,7 +567,6 @@ var16 = NEW_array__NativeArray(var15, &type_array__NativeArraykernel__Object);
 ((struct instance_array__NativeArray*)var16)->values[2] = (val*) var10;
 ((struct instance_array__NativeArray*)var16)->values[3] = (val*) var_sub;
 ((void (*)(val*, val*, long))(var14->class->vft[COLOR_array__Array__with_native]))(var14, var16, var15) /* with_native on <var14:Array[Object]>*/;
-CHECK_NEW_array__Array(var14);
 }
 var17 = ((val* (*)(val*))(var14->class->vft[COLOR_string__Object__to_s]))(var14) /* to_s on <var14:Array[Object]>*/;
 ((void (*)(val*, val*, val*))(var4->class->vft[COLOR_modelbuilder__ModelBuilder__error]))(var4, var_node, var17) /* error on <var4:ModelBuilder>*/;
@@ -639,6 +627,7 @@ short int var10 /* : Bool */;
 short int var12 /* : Bool */;
 int cltype;
 int idtype;
+const char* var_class_name;
 short int var13 /* : Bool */;
 short int var14 /* : Bool */;
 val* var15 /* : ModelBuilder */;
@@ -649,19 +638,20 @@ short int var19 /* : Bool */;
 short int var21 /* : Bool */;
 int cltype22;
 int idtype23;
-short int var24 /* : Bool */;
+const char* var_class_name24;
+short int var25 /* : Bool */;
 static val* varonce;
-val* var25 /* : String */;
-char* var26 /* : NativeString */;
-long var27 /* : Int */;
-val* var28 /* : String */;
-val* var29 /* : null */;
-static val* varonce30;
-val* var31 /* : String */;
-char* var32 /* : NativeString */;
-long var33 /* : Int */;
-val* var34 /* : String */;
-val* var35 /* : null */;
+val* var26 /* : String */;
+char* var27 /* : NativeString */;
+long var28 /* : Int */;
+val* var29 /* : String */;
+val* var30 /* : null */;
+static val* varonce31;
+val* var32 /* : String */;
+char* var33 /* : NativeString */;
+long var34 /* : Int */;
+val* var35 /* : String */;
+val* var36 /* : null */;
 var_nexpr = p0;
 ((void (*)(val*, val*))(var_nexpr->class->vft[COLOR_typing__AExpr__accept_typing]))(var_nexpr, self) /* accept_typing on <var_nexpr:AExpr>*/;
 var1 = ((val* (*)(val*))(var_nexpr->class->vft[COLOR_typing__AExpr__mtype]))(var_nexpr) /* mtype on <var_nexpr:AExpr>*/;
@@ -689,8 +679,10 @@ var9 = 0;
 /* <var9:Int> isa OTHER */
 var12 = 1; /* easy <var9:Int> isa OTHER*/
 if (!var12) {
-fprintf(stderr, "Runtime error: %s (%s:%d)\n", "Cast failed", "lib/standard/kernel.nit", 259);
-exit(1);
+var_class_name = type_kernel__Int.name;
+fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name);
+fprintf(stderr, " (%s:%d)\n", "lib/standard/kernel.nit", 267);
+show_backtrace(1);
 }
 var13 = var8 > var9;
 var10 = var13;
@@ -708,46 +700,48 @@ var18 = 1;
 /* <var18:Int> isa OTHER */
 var21 = 1; /* easy <var18:Int> isa OTHER*/
 if (!var21) {
-fprintf(stderr, "Runtime error: %s (%s:%d)\n", "Cast failed", "lib/standard/kernel.nit", 259);
-exit(1);
+var_class_name24 = type_kernel__Int.name;
+fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name24);
+fprintf(stderr, " (%s:%d)\n", "lib/standard/kernel.nit", 267);
+show_backtrace(1);
 }
-var24 = var17 > var18;
-var19 = var24;
+var25 = var17 > var18;
+var19 = var25;
 goto RET_LABEL20;
 RET_LABEL20:(void)0;
 }
 if (var19){
 if (varonce) {
-var25 = varonce;
+var26 = varonce;
 } else {
-var26 = "No return type but no error.";
-var27 = 28;
-var28 = string__NativeString__to_s_with_length(var26, var27);
-var25 = var28;
-varonce = var25;
+var27 = "No return type but no error.";
+var28 = 28;
+var29 = string__NativeString__to_s_with_length(var27, var28);
+var26 = var29;
+varonce = var26;
 }
-((void (*)(val*, val*))(var_nexpr->class->vft[COLOR_parser_nodes__ANode__debug]))(var_nexpr, var25) /* debug on <var_nexpr:AExpr>*/;
+((void (*)(val*, val*))(var_nexpr->class->vft[COLOR_parser_nodes__ANode__debug]))(var_nexpr, var26) /* debug on <var_nexpr:AExpr>*/;
 } else {
 }
 } else {
 }
-var29 = NULL;
-var = var29;
+var30 = NULL;
+var = var30;
 goto RET_LABEL;
 } else {
 }
-if (varonce30) {
-var31 = varonce30;
+if (varonce31) {
+var32 = varonce31;
 } else {
-var32 = "Type error: expected expression.";
-var33 = 32;
-var34 = string__NativeString__to_s_with_length(var32, var33);
-var31 = var34;
-varonce30 = var31;
+var33 = "Type error: expected expression.";
+var34 = 32;
+var35 = string__NativeString__to_s_with_length(var33, var34);
+var32 = var35;
+varonce31 = var32;
 }
-((void (*)(val*, val*, val*))(self->class->vft[COLOR_typing__TypeVisitor__error]))(self, var_nexpr, var31) /* error on <self:TypeVisitor>*/;
-var35 = NULL;
-var = var35;
+((void (*)(val*, val*, val*))(self->class->vft[COLOR_typing__TypeVisitor__error]))(self, var_nexpr, var32) /* error on <self:TypeVisitor>*/;
+var36 = NULL;
+var = var36;
 goto RET_LABEL;
 RET_LABEL:;
 return var;
@@ -952,8 +946,9 @@ goto RET_LABEL;
 var9 = ((val* (*)(val*))(self->class->vft[COLOR_typing__TypeVisitor__nclassdef]))(self) /* nclassdef on <self:TypeVisitor>*/;
 var10 = ((val* (*)(val*))(var9->class->vft[COLOR_modelize_class__AClassdef__mclassdef]))(var9) /* mclassdef on <var9:AClassdef>*/;
 if (var10 == NULL) {
-fprintf(stderr, "Runtime error: %s (%s:%d)\n", "Reciever is null", "src/typing.nit", 184);
-exit(1);
+fprintf(stderr, "Runtime error: %s", "Receiver is null");
+fprintf(stderr, " (%s:%d)\n", "src/typing.nit", 179);
+show_backtrace(1);
 } else {
 var11 = ((val* (*)(val*))(var10->class->vft[COLOR_model__MClassDef__mmodule]))(var10) /* mmodule on <var10:nullable MClassDef>*/;
 }
@@ -961,8 +956,9 @@ var_mmodule = var11;
 var12 = ((val* (*)(val*))(self->class->vft[COLOR_typing__TypeVisitor__nclassdef]))(self) /* nclassdef on <self:TypeVisitor>*/;
 var13 = ((val* (*)(val*))(var12->class->vft[COLOR_modelize_class__AClassdef__mclassdef]))(var12) /* mclassdef on <var12:AClassdef>*/;
 if (var13 == NULL) {
-fprintf(stderr, "Runtime error: %s (%s:%d)\n", "Reciever is null", "src/typing.nit", 185);
-exit(1);
+fprintf(stderr, "Runtime error: %s", "Receiver is null");
+fprintf(stderr, " (%s:%d)\n", "src/typing.nit", 180);
+show_backtrace(1);
 } else {
 var14 = ((val* (*)(val*))(var13->class->vft[COLOR_model__MClassDef__bound_mtype]))(var13) /* bound_mtype on <var13:nullable MClassDef>*/;
 }
@@ -996,7 +992,6 @@ var28 = NEW_array__NativeArray(var27, &type_array__NativeArraykernel__Object);
 ((struct instance_array__NativeArray*)var28)->values[1] = (val*) var_sup;
 ((struct instance_array__NativeArray*)var28)->values[2] = (val*) var22;
 ((void (*)(val*, val*, long))(var26->class->vft[COLOR_array__Array__with_native]))(var26, var28, var27) /* with_native on <var26:Array[Object]>*/;
-CHECK_NEW_array__Array(var26);
 }
 var29 = ((val* (*)(val*))(var26->class->vft[COLOR_string__Object__to_s]))(var26) /* to_s on <var26:Array[Object]>*/;
 ((void (*)(val*, val*, val*))(var16->class->vft[COLOR_modelbuilder__ModelBuilder__warning]))(var16, var_node, var29) /* warning on <var16:ModelBuilder>*/;
@@ -1049,7 +1044,6 @@ var52 = NEW_array__NativeArray(var51, &type_array__NativeArraykernel__Object);
 ((struct instance_array__NativeArray*)var52)->values[3] = (val*) var_sub;
 ((struct instance_array__NativeArray*)var52)->values[4] = (val*) var46;
 ((void (*)(val*, val*, long))(var50->class->vft[COLOR_array__Array__with_native]))(var50, var52, var51) /* with_native on <var50:Array[Object]>*/;
-CHECK_NEW_array__Array(var50);
 }
 var53 = ((val* (*)(val*))(var50->class->vft[COLOR_string__Object__to_s]))(var50) /* to_s on <var50:Array[Object]>*/;
 ((void (*)(val*, val*, val*))(var34->class->vft[COLOR_modelbuilder__ModelBuilder__warning]))(var34, var_node, var53) /* warning on <var34:ModelBuilder>*/;
@@ -1088,8 +1082,9 @@ var1 = ((val* (*)(val*))(self->class->vft[COLOR_typing__TypeVisitor__modelbuilde
 var2 = ((val* (*)(val*))(self->class->vft[COLOR_typing__TypeVisitor__nclassdef]))(self) /* nclassdef on <self:TypeVisitor>*/;
 var3 = ((val* (*)(val*))(var2->class->vft[COLOR_modelize_class__AClassdef__mclassdef]))(var2) /* mclassdef on <var2:AClassdef>*/;
 if (var3 == NULL) {
-fprintf(stderr, "Runtime error: %s (%s:%d)\n", "Reciever is null", "src/typing.nit", 196);
-exit(1);
+fprintf(stderr, "Runtime error: %s", "Receiver is null");
+fprintf(stderr, " (%s:%d)\n", "src/typing.nit", 191);
+show_backtrace(1);
 } else {
 var4 = ((val* (*)(val*))(var3->class->vft[COLOR_model__MClassDef__mmodule]))(var3) /* mmodule on <var3:nullable MClassDef>*/;
 }
@@ -1150,8 +1145,9 @@ var_name = p1;
 var1 = ((val* (*)(val*))(self->class->vft[COLOR_typing__TypeVisitor__nclassdef]))(self) /* nclassdef on <self:TypeVisitor>*/;
 var2 = ((val* (*)(val*))(var1->class->vft[COLOR_modelize_class__AClassdef__mclassdef]))(var1) /* mclassdef on <var1:AClassdef>*/;
 if (var2 == NULL) {
-fprintf(stderr, "Runtime error: %s (%s:%d)\n", "Reciever is null", "src/typing.nit", 206);
-exit(1);
+fprintf(stderr, "Runtime error: %s", "Receiver is null");
+fprintf(stderr, " (%s:%d)\n", "src/typing.nit", 201);
+show_backtrace(1);
 } else {
 var3 = ((val* (*)(val*))(var2->class->vft[COLOR_model__MClassDef__mmodule]))(var2) /* mmodule on <var2:nullable MClassDef>*/;
 }
@@ -1207,8 +1203,9 @@ var_name = p1;
 var1 = ((val* (*)(val*))(self->class->vft[COLOR_typing__TypeVisitor__nclassdef]))(self) /* nclassdef on <self:TypeVisitor>*/;
 var2 = ((val* (*)(val*))(var1->class->vft[COLOR_modelize_class__AClassdef__mclassdef]))(var1) /* mclassdef on <var1:AClassdef>*/;
 if (var2 == NULL) {
-fprintf(stderr, "Runtime error: %s (%s:%d)\n", "Reciever is null", "src/typing.nit", 213);
-exit(1);
+fprintf(stderr, "Runtime error: %s", "Receiver is null");
+fprintf(stderr, " (%s:%d)\n", "src/typing.nit", 208);
+show_backtrace(1);
 } else {
 var3 = ((val* (*)(val*))(var2->class->vft[COLOR_model__MClassDef__mmodule]))(var2) /* mmodule on <var2:nullable MClassDef>*/;
 }
@@ -1250,7 +1247,6 @@ var20 = NEW_array__NativeArray(var19, &type_array__NativeArraykernel__Object);
 ((struct instance_array__NativeArray*)var20)->values[1] = (val*) var_name;
 ((struct instance_array__NativeArray*)var20)->values[2] = (val*) var14;
 ((void (*)(val*, val*, long))(var18->class->vft[COLOR_array__Array__with_native]))(var18, var20, var19) /* with_native on <var18:Array[Object]>*/;
-CHECK_NEW_array__Array(var18);
 }
 var21 = ((val* (*)(val*))(var18->class->vft[COLOR_string__Object__to_s]))(var18) /* to_s on <var18:Array[Object]>*/;
 ((void (*)(val*, val*, val*))(var8->class->vft[COLOR_modelbuilder__ModelBuilder__error]))(var8, var_node, var21) /* error on <var8:ModelBuilder>*/;
@@ -1556,7 +1552,6 @@ var14 = NEW_array__NativeArray(var13, &type_array__NativeArraykernel__Object);
 ((struct instance_array__NativeArray*)var14)->values[1] = (val*) var_name;
 ((struct instance_array__NativeArray*)var14)->values[2] = (val*) var8;
 ((void (*)(val*, val*, long))(var12->class->vft[COLOR_array__Array__with_native]))(var12, var14, var13) /* with_native on <var12:Array[Object]>*/;
-CHECK_NEW_array__Array(var12);
 }
 var15 = ((val* (*)(val*))(var12->class->vft[COLOR_string__Object__to_s]))(var12) /* to_s on <var12:Array[Object]>*/;
 ((void (*)(val*, val*, val*))(self->class->vft[COLOR_typing__TypeVisitor__error]))(self, var_node, var15) /* error on <self:TypeVisitor>*/;
@@ -1613,7 +1608,6 @@ var38 = NEW_array__NativeArray(var37, &type_array__NativeArraykernel__Object);
 ((struct instance_array__NativeArray*)var38)->values[3] = (val*) var_recvtype;
 ((struct instance_array__NativeArray*)var38)->values[4] = (val*) var32;
 ((void (*)(val*, val*, long))(var36->class->vft[COLOR_array__Array__with_native]))(var36, var38, var37) /* with_native on <var36:Array[Object]>*/;
-CHECK_NEW_array__Array(var36);
 }
 var39 = ((val* (*)(val*))(var36->class->vft[COLOR_string__Object__to_s]))(var36) /* to_s on <var36:Array[Object]>*/;
 ((void (*)(val*, val*, val*))(var20->class->vft[COLOR_modelbuilder__ModelBuilder__error]))(var20, var_node, var39) /* error on <var20:ModelBuilder>*/;
@@ -1656,7 +1650,6 @@ var58 = NEW_array__NativeArray(var57, &type_array__NativeArraykernel__Object);
 ((struct instance_array__NativeArray*)var58)->values[3] = (val*) var_recvtype;
 ((struct instance_array__NativeArray*)var58)->values[4] = (val*) var52;
 ((void (*)(val*, val*, long))(var56->class->vft[COLOR_array__Array__with_native]))(var56, var58, var57) /* with_native on <var56:Array[Object]>*/;
-CHECK_NEW_array__Array(var56);
 }
 var59 = ((val* (*)(val*))(var56->class->vft[COLOR_string__Object__to_s]))(var56) /* to_s on <var56:Array[Object]>*/;
 ((void (*)(val*, val*, val*))(var40->class->vft[COLOR_modelbuilder__ModelBuilder__error]))(var40, var_node, var59) /* error on <var40:ModelBuilder>*/;
@@ -1675,8 +1668,9 @@ var61 = 0;
 var61 = var_mproperty->type->type_table[cltype62] == idtype63;
 }
 if (!var61) {
-fprintf(stderr, "Runtime error: %s (%s:%d)\n", "Assert failed", "src/typing.nit", 249);
-exit(1);
+fprintf(stderr, "Runtime error: %s", "Assert failed");
+fprintf(stderr, " (%s:%d)\n", "src/typing.nit", 244);
+show_backtrace(1);
 }
 var66 = ((val* (*)(val*))(var_mproperty->class->vft[COLOR_model__MProperty__visibility]))(var_mproperty) /* visibility on <var_mproperty:nullable MProperty(MMethod)>*/;
 var67 = ((val* (*)(val*))(self->class->vft[COLOR_model_base__Object__protected_visibility]))(self) /* protected_visibility on <self:TypeVisitor>*/;
@@ -1693,7 +1687,7 @@ if (var65){
 var71 = ((val* (*)(val*))(self->class->vft[COLOR_typing__TypeVisitor__mmodule]))(self) /* mmodule on <self:TypeVisitor>*/;
 var72 = ((val* (*)(val*))(var_mproperty->class->vft[COLOR_model__MProperty__intro_mclassdef]))(var_mproperty) /* intro_mclassdef on <var_mproperty:nullable MProperty(MMethod)>*/;
 var73 = ((val* (*)(val*))(var72->class->vft[COLOR_model__MClassDef__mmodule]))(var72) /* mmodule on <var72:MClassDef>*/;
-var74 = ((val* (*)(val*, val*))(var71->class->vft[COLOR_model_base__MModule__visibility_for]))(var71, var73) /* visibility_for on <var71:MModule>*/;
+var74 = ((val* (*)(val*, val*))(var71->class->vft[COLOR_mmodule__MModule__visibility_for]))(var71, var73) /* visibility_for on <var71:MModule>*/;
 var75 = ((val* (*)(val*))(self->class->vft[COLOR_model_base__Object__intrude_visibility]))(self) /* intrude_visibility on <self:TypeVisitor>*/;
 var76 = ((short int (*)(val*, val*))(var74->class->vft[COLOR_kernel__Comparable___60d]))(var74, var75) /* < on <var74:MVisibility>*/;
 var64 = var76;
@@ -1723,7 +1717,7 @@ varonce83 = var84;
 var88 = ((val* (*)(val*))(var_mproperty->class->vft[COLOR_model__MProperty__intro_mclassdef]))(var_mproperty) /* intro_mclassdef on <var_mproperty:nullable MProperty(MMethod)>*/;
 var89 = ((val* (*)(val*))(var88->class->vft[COLOR_model__MClassDef__mmodule]))(var88) /* mmodule on <var88:MClassDef>*/;
 var90 = ((val* (*)(val*))(self->class->vft[COLOR_typing__TypeVisitor__mmodule]))(self) /* mmodule on <self:TypeVisitor>*/;
-var91 = ((val* (*)(val*, val*))(var89->class->vft[COLOR_model_base__MModule__visibility_for]))(var89, var90) /* visibility_for on <var89:MModule>*/;
+var91 = ((val* (*)(val*, val*))(var89->class->vft[COLOR_mmodule__MModule__visibility_for]))(var89, var90) /* visibility_for on <var89:MModule>*/;
 var92 = NEW_array__Array(&type_array__Arraykernel__Object);
 { /* var92 = array_instance Array[Object] */
 var93 = 4;
@@ -1733,7 +1727,6 @@ var94 = NEW_array__NativeArray(var93, &type_array__NativeArraykernel__Object);
 ((struct instance_array__NativeArray*)var94)->values[2] = (val*) var84;
 ((struct instance_array__NativeArray*)var94)->values[3] = (val*) var91;
 ((void (*)(val*, val*, long))(var92->class->vft[COLOR_array__Array__with_native]))(var92, var94, var93) /* with_native on <var92:Array[Object]>*/;
-CHECK_NEW_array__Array(var92);
 }
 var95 = ((val* (*)(val*))(var92->class->vft[COLOR_string__Object__to_s]))(var92) /* to_s on <var92:Array[Object]>*/;
 ((void (*)(val*, val*, val*))(var77->class->vft[COLOR_modelbuilder__ModelBuilder__error]))(var77, var_node, var95) /* error on <var77:ModelBuilder>*/;
@@ -1782,7 +1775,6 @@ var117 = NEW_array__NativeArray(var116, &type_array__NativeArraykernel__Object);
 ((struct instance_array__NativeArray*)var117)->values[2] = (val*) var111;
 ((struct instance_array__NativeArray*)var117)->values[3] = (val*) var_unsafe_type;
 ((void (*)(val*, val*, long))(var115->class->vft[COLOR_array__Array__with_native]))(var115, var117, var116) /* with_native on <var115:Array[Object]>*/;
-CHECK_NEW_array__Array(var115);
 }
 var118 = ((val* (*)(val*))(var115->class->vft[COLOR_string__Object__to_s]))(var115) /* to_s on <var115:Array[Object]>*/;
 ((void (*)(val*, val*, val*))(var104->class->vft[COLOR_modelbuilder__ModelBuilder__error]))(var104, var_node, var118) /* error on <var104:ModelBuilder>*/;
@@ -1851,7 +1843,6 @@ var150 = NEW_array__NativeArray(var149, &type_array__NativeArraykernel__Object);
 ((struct instance_array__NativeArray*)var150)->values[4] = (val*) var138;
 ((struct instance_array__NativeArray*)var150)->values[5] = (val*) var147;
 ((void (*)(val*, val*, long))(var148->class->vft[COLOR_array__Array__with_native]))(var148, var150, var149) /* with_native on <var148:Array[Object]>*/;
-CHECK_NEW_array__Array(var148);
 }
 var151 = ((val* (*)(val*))(var148->class->vft[COLOR_string__Object__to_s]))(var148) /* to_s on <var148:Array[Object]>*/;
 ((void (*)(val*, val*, val*))(var126->class->vft[COLOR_modelbuilder__ModelBuilder__warning]))(var126, var_node, var151) /* warning on <var126:ModelBuilder>*/;
@@ -1865,8 +1856,9 @@ var154 = 0;
 var_erasure_cast = var154;
 var155 = ((val* (*)(val*))(var_mpropdef->class->vft[COLOR_model__MMethodDef__msignature]))(var_mpropdef) /* msignature on <var_mpropdef:nullable Object(MMethodDef)>*/;
 if (var155 == NULL) {
-fprintf(stderr, "Runtime error: %s (%s:%d)\n", "Reciever is null", "src/typing.nit", 271);
-exit(1);
+fprintf(stderr, "Runtime error: %s", "Receiver is null");
+fprintf(stderr, " (%s:%d)\n", "src/typing.nit", 266);
+show_backtrace(1);
 } else {
 var156 = ((val* (*)(val*))(var155->class->vft[COLOR_model__MSignature__return_mtype]))(var155) /* return_mtype on <var155:nullable MSignature>*/;
 }
@@ -1916,8 +1908,9 @@ var171 = 0; /* is null */
 var171 = 1; /* arg is null and recv is not */
 }
 if (!var171) {
-fprintf(stderr, "Runtime error: %s (%s:%d)\n", "Assert failed", "src/typing.nit", 276);
-exit(1);
+fprintf(stderr, "Runtime error: %s", "Assert failed");
+fprintf(stderr, " (%s:%d)\n", "src/typing.nit", 271);
+show_backtrace(1);
 }
 var172 = 1;
 var_erasure_cast = var172;
@@ -1927,7 +1920,6 @@ var_erasure_cast = var172;
 }
 var173 = NEW_typing__CallSite(&type_typing__CallSite);
 ((void (*)(val*, val*, val*, short int, val*, val*, val*, short int))(var173->class->vft[COLOR_typing__CallSite__init]))(var173, var_node, var_recvtype, var_recv_is_self, var_mproperty, var_mpropdef, var_msignature, var_erasure_cast) /* init on <var173:CallSite>*/;
-CHECK_NEW_typing__CallSite(var173);
 var_callsite = var173;
 var = var_callsite;
 goto RET_LABEL;
@@ -1957,6 +1949,7 @@ short int var3 /* : Bool */;
 short int var5 /* : Bool */;
 int cltype;
 int idtype;
+const char* var_class_name;
 short int var6 /* : Bool */;
 long var7 /* : Int */;
 long var8 /* : Int */;
@@ -1964,110 +1957,113 @@ short int var9 /* : Bool */;
 short int var11 /* : Bool */;
 int cltype12;
 int idtype13;
-short int var14 /* : Bool */;
-val* var15 /* : ModelBuilder */;
+const char* var_class_name14;
+short int var15 /* : Bool */;
+val* var16 /* : ModelBuilder */;
 static val* varonce;
-val* var16 /* : String */;
-char* var17 /* : NativeString */;
-long var18 /* : Int */;
-val* var19 /* : String */;
-static val* varonce20;
-val* var21 /* : String */;
-char* var22 /* : NativeString */;
-long var23 /* : Int */;
-val* var24 /* : String */;
-val* var25 /* : Array[Object] */;
-long var26 /* : Int */;
-val* var27 /* : NativeArray[Object] */;
-val* var28 /* : String */;
-short int var29 /* : Bool */;
-long var30 /* : Int */;
+val* var17 /* : String */;
+char* var18 /* : NativeString */;
+long var19 /* : Int */;
+val* var20 /* : String */;
+static val* varonce21;
+val* var22 /* : String */;
+char* var23 /* : NativeString */;
+long var24 /* : Int */;
+val* var25 /* : String */;
+val* var26 /* : Array[Object] */;
+long var27 /* : Int */;
+val* var28 /* : NativeArray[Object] */;
+val* var29 /* : String */;
+short int var30 /* : Bool */;
 long var31 /* : Int */;
-short int var32 /* : Bool */;
-short int var34 /* : Bool */;
+long var32 /* : Int */;
+short int var33 /* : Bool */;
 short int var35 /* : Bool */;
-val* var36 /* : ModelBuilder */;
-static val* varonce37;
-val* var38 /* : String */;
-char* var39 /* : NativeString */;
-long var40 /* : Int */;
-val* var41 /* : String */;
-long var42 /* : Int */;
-static val* varonce43;
-val* var44 /* : String */;
-char* var45 /* : NativeString */;
-long var46 /* : Int */;
-val* var47 /* : String */;
-long var48 /* : Int */;
-static val* varonce49;
-val* var50 /* : String */;
-char* var51 /* : NativeString */;
-long var52 /* : Int */;
-val* var53 /* : String */;
-val* var54 /* : Array[Object] */;
-long var55 /* : Int */;
-val* var56 /* : NativeArray[Object] */;
-val* var57 /* : Object */;
+short int var36 /* : Bool */;
+val* var37 /* : ModelBuilder */;
+static val* varonce38;
+val* var39 /* : String */;
+char* var40 /* : NativeString */;
+long var41 /* : Int */;
+val* var42 /* : String */;
+long var43 /* : Int */;
+static val* varonce44;
+val* var45 /* : String */;
+char* var46 /* : NativeString */;
+long var47 /* : Int */;
+val* var48 /* : String */;
+long var49 /* : Int */;
+static val* varonce50;
+val* var51 /* : String */;
+char* var52 /* : NativeString */;
+long var53 /* : Int */;
+val* var54 /* : String */;
+val* var55 /* : Array[Object] */;
+long var56 /* : Int */;
+val* var57 /* : NativeArray[Object] */;
 val* var58 /* : Object */;
-val* var59 /* : String */;
-short int var60 /* : Bool */;
-long var61 /* : Int */;
+val* var59 /* : Object */;
+val* var60 /* : String */;
+short int var61 /* : Bool */;
 long var62 /* : Int */;
 long var63 /* : Int */;
-long var65 /* : Int */;
+long var64 /* : Int */;
+long var66 /* : Int */;
 long var_vararg_decl /* var vararg_decl: Int */;
-val* var66 /* : Range[Int] */;
-long var67 /* : Int */;
+val* var67 /* : Range[Int] */;
 long var68 /* : Int */;
-val* var69 /* : Discrete */;
+long var69 /* : Int */;
 val* var70 /* : Discrete */;
-val* var71 /* : Iterator[nullable Object] */;
-short int var72 /* : Bool */;
-val* var73 /* : nullable Object */;
+val* var71 /* : Discrete */;
+val* var72 /* : Iterator[nullable Object] */;
+short int var73 /* : Bool */;
+val* var74 /* : nullable Object */;
 long var_i /* var i: Int */;
-long var74 /* : Int */;
+long var75 /* : Int */;
 long var_j /* var j: Int */;
-short int var75 /* : Bool */;
-short int var77 /* : Bool */;
+short int var76 /* : Bool */;
 short int var78 /* : Bool */;
-short int var80 /* : Bool */;
-int cltype81;
-int idtype82;
-short int var83 /* : Bool */;
-long var84 /* : Int */;
+short int var79 /* : Bool */;
+short int var81 /* : Bool */;
+int cltype82;
+int idtype83;
+const char* var_class_name84;
+short int var85 /* : Bool */;
 long var86 /* : Int */;
-val* var87 /* : Array[MParameter] */;
-val* var88 /* : nullable Object */;
-val* var89 /* : MType */;
-val* var_paramtype /* var paramtype: MType */;
+long var88 /* : Int */;
+val* var89 /* : Array[MParameter] */;
 val* var90 /* : nullable Object */;
-val* var91 /* : nullable MType */;
-long var92 /* : Int */;
-short int var93 /* : Bool */;
+val* var91 /* : MType */;
+val* var_paramtype /* var paramtype: MType */;
+val* var92 /* : nullable Object */;
+val* var93 /* : nullable MType */;
+long var94 /* : Int */;
 short int var95 /* : Bool */;
-int cltype96;
-int idtype97;
-short int var98 /* : Bool */;
-val* var99 /* : Array[AExpr] */;
+short int var97 /* : Bool */;
+int cltype98;
+int idtype99;
+const char* var_class_name100;
+short int var101 /* : Bool */;
+val* var102 /* : Array[AExpr] */;
 val* var_varargs /* var varargs: Array[AExpr] */;
-val* var100 /* : Array[MParameter] */;
-val* var101 /* : nullable Object */;
-val* var102 /* : MType */;
-val* var_paramtype103 /* var paramtype: MType */;
-val* var104 /* : Range[Int] */;
-long var105 /* : Int */;
-long var107 /* : Int */;
-val* var108 /* : Discrete */;
-val* var109 /* : Discrete */;
-val* var110 /* : Iterator[nullable Object] */;
-short int var111 /* : Bool */;
-val* var112 /* : nullable Object */;
-long var_j113 /* var j: Int */;
-long var114 /* : Int */;
+val* var103 /* : Array[MParameter] */;
+val* var104 /* : nullable Object */;
+val* var105 /* : MType */;
+val* var_paramtype106 /* var paramtype: MType */;
+val* var107 /* : Range[Int] */;
+long var108 /* : Int */;
+long var110 /* : Int */;
+val* var111 /* : Discrete */;
+val* var112 /* : Discrete */;
+val* var113 /* : Iterator[nullable Object] */;
+short int var114 /* : Bool */;
 val* var115 /* : nullable Object */;
-val* var116 /* : nullable Object */;
-val* var117 /* : nullable MType */;
-short int var119 /* : Bool */;
+long var_j116 /* var j: Int */;
+long var117 /* : Int */;
+val* var118 /* : nullable Object */;
+val* var119 /* : nullable Object */;
+val* var120 /* : nullable MType */;
+short int var122 /* : Bool */;
 var_node = p0;
 var_args = p1;
 var_name = p2;
@@ -2080,8 +2076,10 @@ var2 = 0;
 /* <var2:Int> isa OTHER */
 var5 = 1; /* easy <var2:Int> isa OTHER*/
 if (!var5) {
-fprintf(stderr, "Runtime error: %s (%s:%d)\n", "Cast failed", "lib/standard/kernel.nit", 258);
-exit(1);
+var_class_name = type_kernel__Int.name;
+fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name);
+fprintf(stderr, " (%s:%d)\n", "lib/standard/kernel.nit", 266);
+show_backtrace(1);
 }
 var6 = var_vararg_rank >= var2;
 var3 = var6;
@@ -2096,238 +2094,239 @@ var8 = ((long (*)(val*))(var_msignature->class->vft[COLOR_model__MSignature__ari
 /* <var8:Int> isa OTHER */
 var11 = 1; /* easy <var8:Int> isa OTHER*/
 if (!var11) {
-fprintf(stderr, "Runtime error: %s (%s:%d)\n", "Cast failed", "lib/standard/kernel.nit", 257);
-exit(1);
+var_class_name14 = type_kernel__Int.name;
+fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name14);
+fprintf(stderr, " (%s:%d)\n", "lib/standard/kernel.nit", 265);
+show_backtrace(1);
 }
-var14 = var7 < var8;
-var9 = var14;
+var15 = var7 < var8;
+var9 = var15;
 goto RET_LABEL10;
 RET_LABEL10:(void)0;
 }
 if (var9){
-var15 = ((val* (*)(val*))(self->class->vft[COLOR_typing__TypeVisitor__modelbuilder]))(self) /* modelbuilder on <self:TypeVisitor>*/;
+var16 = ((val* (*)(val*))(self->class->vft[COLOR_typing__TypeVisitor__modelbuilder]))(self) /* modelbuilder on <self:TypeVisitor>*/;
 if (varonce) {
-var16 = varonce;
+var17 = varonce;
 } else {
-var17 = "Error: arity mismatch; prototype is \'";
-var18 = 37;
-var19 = string__NativeString__to_s_with_length(var17, var18);
-var16 = var19;
-varonce = var16;
+var18 = "Error: arity mismatch; prototype is \'";
+var19 = 37;
+var20 = string__NativeString__to_s_with_length(var18, var19);
+var17 = var20;
+varonce = var17;
 }
-if (varonce20) {
-var21 = varonce20;
-} else {
-var22 = "\'";
-var23 = 1;
-var24 = string__NativeString__to_s_with_length(var22, var23);
-var21 = var24;
-varonce20 = var21;
-}
-var25 = NEW_array__Array(&type_array__Arraykernel__Object);
-{ /* var25 = array_instance Array[Object] */
-var26 = 4;
-var27 = NEW_array__NativeArray(var26, &type_array__NativeArraykernel__Object);
-((struct instance_array__NativeArray*)var27)->values[0] = (val*) var16;
-((struct instance_array__NativeArray*)var27)->values[1] = (val*) var_name;
-((struct instance_array__NativeArray*)var27)->values[2] = (val*) var_msignature;
-((struct instance_array__NativeArray*)var27)->values[3] = (val*) var21;
-((void (*)(val*, val*, long))(var25->class->vft[COLOR_array__Array__with_native]))(var25, var27, var26) /* with_native on <var25:Array[Object]>*/;
-CHECK_NEW_array__Array(var25);
-}
-var28 = ((val* (*)(val*))(var25->class->vft[COLOR_string__Object__to_s]))(var25) /* to_s on <var25:Array[Object]>*/;
-((void (*)(val*, val*, val*))(var15->class->vft[COLOR_modelbuilder__ModelBuilder__error]))(var15, var_node, var28) /* error on <var15:ModelBuilder>*/;
-var29 = 0;
-var = var29;
-goto RET_LABEL;
+if (varonce21) {
+var22 = varonce21;
 } else {
+var23 = "\'";
+var24 = 1;
+var25 = string__NativeString__to_s_with_length(var23, var24);
+var22 = var25;
+varonce21 = var22;
 }
+var26 = NEW_array__Array(&type_array__Arraykernel__Object);
+{ /* var26 = array_instance Array[Object] */
+var27 = 4;
+var28 = NEW_array__NativeArray(var27, &type_array__NativeArraykernel__Object);
+((struct instance_array__NativeArray*)var28)->values[0] = (val*) var17;
+((struct instance_array__NativeArray*)var28)->values[1] = (val*) var_name;
+((struct instance_array__NativeArray*)var28)->values[2] = (val*) var_msignature;
+((struct instance_array__NativeArray*)var28)->values[3] = (val*) var22;
+((void (*)(val*, val*, long))(var26->class->vft[COLOR_array__Array__with_native]))(var26, var28, var27) /* with_native on <var26:Array[Object]>*/;
+}
+var29 = ((val* (*)(val*))(var26->class->vft[COLOR_string__Object__to_s]))(var26) /* to_s on <var26:Array[Object]>*/;
+((void (*)(val*, val*, val*))(var16->class->vft[COLOR_modelbuilder__ModelBuilder__error]))(var16, var_node, var29) /* error on <var16:ModelBuilder>*/;
+var30 = 0;
+var = var30;
+goto RET_LABEL;
 } else {
-var30 = ((long (*)(val*))(var_args->class->vft[COLOR_abstract_collection__Collection__length]))(var_args) /* length on <var_args:Array[AExpr]>*/;
-var31 = ((long (*)(val*))(var_msignature->class->vft[COLOR_model__MSignature__arity]))(var_msignature) /* arity on <var_msignature:MSignature>*/;
-{ /* Inline kernel#Int#!= (var30,var31) */
-var34 = var30 == var31;
-var35 = !var34;
-var32 = var35;
-goto RET_LABEL33;
-RET_LABEL33:(void)0;
 }
-if (var32){
-var36 = ((val* (*)(val*))(self->class->vft[COLOR_typing__TypeVisitor__modelbuilder]))(self) /* modelbuilder on <self:TypeVisitor>*/;
-if (varonce37) {
-var38 = varonce37;
 } else {
-var39 = "Error: Incorrect number of parameters. Got ";
-var40 = 43;
-var41 = string__NativeString__to_s_with_length(var39, var40);
-var38 = var41;
-varonce37 = var38;
+var31 = ((long (*)(val*))(var_args->class->vft[COLOR_abstract_collection__Collection__length]))(var_args) /* length on <var_args:Array[AExpr]>*/;
+var32 = ((long (*)(val*))(var_msignature->class->vft[COLOR_model__MSignature__arity]))(var_msignature) /* arity on <var_msignature:MSignature>*/;
+{ /* Inline kernel#Int#!= (var31,var32) */
+var35 = var31 == var32;
+var36 = !var35;
+var33 = var36;
+goto RET_LABEL34;
+RET_LABEL34:(void)0;
 }
-var42 = ((long (*)(val*))(var_args->class->vft[COLOR_abstract_collection__Collection__length]))(var_args) /* length on <var_args:Array[AExpr]>*/;
-if (varonce43) {
-var44 = varonce43;
-} else {
-var45 = ", expected ";
-var46 = 11;
-var47 = string__NativeString__to_s_with_length(var45, var46);
-var44 = var47;
-varonce43 = var44;
-}
-var48 = ((long (*)(val*))(var_msignature->class->vft[COLOR_model__MSignature__arity]))(var_msignature) /* arity on <var_msignature:MSignature>*/;
-if (varonce49) {
-var50 = varonce49;
-} else {
-var51 = ". Signature is ";
-var52 = 15;
-var53 = string__NativeString__to_s_with_length(var51, var52);
-var50 = var53;
-varonce49 = var50;
-}
-var54 = NEW_array__Array(&type_array__Arraykernel__Object);
-{ /* var54 = array_instance Array[Object] */
-var55 = 6;
-var56 = NEW_array__NativeArray(var55, &type_array__NativeArraykernel__Object);
-((struct instance_array__NativeArray*)var56)->values[0] = (val*) var38;
-var57 = BOX_kernel__Int(var42); /* autobox from Int to Object */
-((struct instance_array__NativeArray*)var56)->values[1] = (val*) var57;
-((struct instance_array__NativeArray*)var56)->values[2] = (val*) var44;
-var58 = BOX_kernel__Int(var48); /* autobox from Int to Object */
-((struct instance_array__NativeArray*)var56)->values[3] = (val*) var58;
-((struct instance_array__NativeArray*)var56)->values[4] = (val*) var50;
-((struct instance_array__NativeArray*)var56)->values[5] = (val*) var_msignature;
-((void (*)(val*, val*, long))(var54->class->vft[COLOR_array__Array__with_native]))(var54, var56, var55) /* with_native on <var54:Array[Object]>*/;
-CHECK_NEW_array__Array(var54);
-}
-var59 = ((val* (*)(val*))(var54->class->vft[COLOR_string__Object__to_s]))(var54) /* to_s on <var54:Array[Object]>*/;
-((void (*)(val*, val*, val*))(var36->class->vft[COLOR_modelbuilder__ModelBuilder__error]))(var36, var_node, var59) /* error on <var36:ModelBuilder>*/;
-var60 = 0;
-var = var60;
+if (var33){
+var37 = ((val* (*)(val*))(self->class->vft[COLOR_typing__TypeVisitor__modelbuilder]))(self) /* modelbuilder on <self:TypeVisitor>*/;
+if (varonce38) {
+var39 = varonce38;
+} else {
+var40 = "Error: Incorrect number of parameters. Got ";
+var41 = 43;
+var42 = string__NativeString__to_s_with_length(var40, var41);
+var39 = var42;
+varonce38 = var39;
+}
+var43 = ((long (*)(val*))(var_args->class->vft[COLOR_abstract_collection__Collection__length]))(var_args) /* length on <var_args:Array[AExpr]>*/;
+if (varonce44) {
+var45 = varonce44;
+} else {
+var46 = ", expected ";
+var47 = 11;
+var48 = string__NativeString__to_s_with_length(var46, var47);
+var45 = var48;
+varonce44 = var45;
+}
+var49 = ((long (*)(val*))(var_msignature->class->vft[COLOR_model__MSignature__arity]))(var_msignature) /* arity on <var_msignature:MSignature>*/;
+if (varonce50) {
+var51 = varonce50;
+} else {
+var52 = ". Signature is ";
+var53 = 15;
+var54 = string__NativeString__to_s_with_length(var52, var53);
+var51 = var54;
+varonce50 = var51;
+}
+var55 = NEW_array__Array(&type_array__Arraykernel__Object);
+{ /* var55 = array_instance Array[Object] */
+var56 = 6;
+var57 = NEW_array__NativeArray(var56, &type_array__NativeArraykernel__Object);
+((struct instance_array__NativeArray*)var57)->values[0] = (val*) var39;
+var58 = BOX_kernel__Int(var43); /* autobox from Int to Object */
+((struct instance_array__NativeArray*)var57)->values[1] = (val*) var58;
+((struct instance_array__NativeArray*)var57)->values[2] = (val*) var45;
+var59 = BOX_kernel__Int(var49); /* autobox from Int to Object */
+((struct instance_array__NativeArray*)var57)->values[3] = (val*) var59;
+((struct instance_array__NativeArray*)var57)->values[4] = (val*) var51;
+((struct instance_array__NativeArray*)var57)->values[5] = (val*) var_msignature;
+((void (*)(val*, val*, long))(var55->class->vft[COLOR_array__Array__with_native]))(var55, var57, var56) /* with_native on <var55:Array[Object]>*/;
+}
+var60 = ((val* (*)(val*))(var55->class->vft[COLOR_string__Object__to_s]))(var55) /* to_s on <var55:Array[Object]>*/;
+((void (*)(val*, val*, val*))(var37->class->vft[COLOR_modelbuilder__ModelBuilder__error]))(var37, var_node, var60) /* error on <var37:ModelBuilder>*/;
+var61 = 0;
+var = var61;
 goto RET_LABEL;
 } else {
 }
 }
-var61 = ((long (*)(val*))(var_args->class->vft[COLOR_abstract_collection__Collection__length]))(var_args) /* length on <var_args:Array[AExpr]>*/;
-var62 = ((long (*)(val*))(var_msignature->class->vft[COLOR_model__MSignature__arity]))(var_msignature) /* arity on <var_msignature:MSignature>*/;
-{ /* Inline kernel#Int#- (var61,var62) */
-var65 = var61 - var62;
-var63 = var65;
-goto RET_LABEL64;
-RET_LABEL64:(void)0;
+var62 = ((long (*)(val*))(var_args->class->vft[COLOR_abstract_collection__Collection__length]))(var_args) /* length on <var_args:Array[AExpr]>*/;
+var63 = ((long (*)(val*))(var_msignature->class->vft[COLOR_model__MSignature__arity]))(var_msignature) /* arity on <var_msignature:MSignature>*/;
+{ /* Inline kernel#Int#- (var62,var63) */
+var66 = var62 - var63;
+var64 = var66;
+goto RET_LABEL65;
+RET_LABEL65:(void)0;
 }
-var_vararg_decl = var63;
-var66 = NEW_range__Range(&type_range__Rangekernel__Int);
-var67 = 0;
-var68 = ((long (*)(val*))(var_msignature->class->vft[COLOR_model__MSignature__arity]))(var_msignature) /* arity on <var_msignature:MSignature>*/;
-var69 = BOX_kernel__Int(var67); /* autobox from Int to Discrete */
+var_vararg_decl = var64;
+var67 = NEW_range__Range(&type_range__Rangekernel__Int);
+var68 = 0;
+var69 = ((long (*)(val*))(var_msignature->class->vft[COLOR_model__MSignature__arity]))(var_msignature) /* arity on <var_msignature:MSignature>*/;
 var70 = BOX_kernel__Int(var68); /* autobox from Int to Discrete */
-((void (*)(val*, val*, val*))(var66->class->vft[COLOR_range__Range__without_last]))(var66, var69, var70) /* without_last on <var66:Range[Int]>*/;
-CHECK_NEW_range__Range(var66);
-var71 = ((val* (*)(val*))(var66->class->vft[COLOR_abstract_collection__Collection__iterator]))(var66) /* iterator on <var66:Range[Int]>*/;
+var71 = BOX_kernel__Int(var69); /* autobox from Int to Discrete */
+((void (*)(val*, val*, val*))(var67->class->vft[COLOR_range__Range__without_last]))(var67, var70, var71) /* without_last on <var67:Range[Int]>*/;
+var72 = ((val* (*)(val*))(var67->class->vft[COLOR_abstract_collection__Collection__iterator]))(var67) /* iterator on <var67:Range[Int]>*/;
 for(;;) {
-var72 = ((short int (*)(val*))(var71->class->vft[COLOR_abstract_collection__Iterator__is_ok]))(var71) /* is_ok on <var71:Iterator[nullable Object]>*/;
-if(!var72) break;
-var73 = ((val* (*)(val*))(var71->class->vft[COLOR_abstract_collection__Iterator__item]))(var71) /* item on <var71:Iterator[nullable Object]>*/;
-var74 = ((struct instance_kernel__Int*)var73)->value; /* autounbox from nullable Object to Int */;
-var_i = var74;
+var73 = ((short int (*)(val*))(var72->class->vft[COLOR_abstract_collection__Iterator__is_ok]))(var72) /* is_ok on <var72:Iterator[nullable Object]>*/;
+if(!var73) break;
+var74 = ((val* (*)(val*))(var72->class->vft[COLOR_abstract_collection__Iterator__item]))(var72) /* item on <var72:Iterator[nullable Object]>*/;
+var75 = ((struct instance_kernel__Int*)var74)->value; /* autounbox from nullable Object to Int */;
+var_i = var75;
 var_j = var_i;
 { /* Inline kernel#Int#== (var_i,var_vararg_rank) */
-var77 = var_i == var_vararg_rank;
-var75 = var77;
-goto RET_LABEL76;
-RET_LABEL76:(void)0;
+var78 = var_i == var_vararg_rank;
+var76 = var78;
+goto RET_LABEL77;
+RET_LABEL77:(void)0;
 }
-if (var75){
+if (var76){
 goto CONTINUE_label;
 } else {
 }
 { /* Inline kernel#Int#> (var_i,var_vararg_rank) */
 /* Covariant cast for argument 0 (i) <var_vararg_rank:Int> isa OTHER */
 /* <var_vararg_rank:Int> isa OTHER */
-var80 = 1; /* easy <var_vararg_rank:Int> isa OTHER*/
-if (!var80) {
-fprintf(stderr, "Runtime error: %s (%s:%d)\n", "Cast failed", "lib/standard/kernel.nit", 259);
-exit(1);
-}
-var83 = var_i > var_vararg_rank;
-var78 = var83;
-goto RET_LABEL79;
-RET_LABEL79:(void)0;
-}
-if (var78){
+var81 = 1; /* easy <var_vararg_rank:Int> isa OTHER*/
+if (!var81) {
+var_class_name84 = type_kernel__Int.name;
+fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name84);
+fprintf(stderr, " (%s:%d)\n", "lib/standard/kernel.nit", 267);
+show_backtrace(1);
+}
+var85 = var_i > var_vararg_rank;
+var79 = var85;
+goto RET_LABEL80;
+RET_LABEL80:(void)0;
+}
+if (var79){
 { /* Inline kernel#Int#+ (var_i,var_vararg_decl) */
-var86 = var_i + var_vararg_decl;
-var84 = var86;
-goto RET_LABEL85;
-RET_LABEL85:(void)0;
+var88 = var_i + var_vararg_decl;
+var86 = var88;
+goto RET_LABEL87;
+RET_LABEL87:(void)0;
 }
-var_j = var84;
+var_j = var86;
 } else {
 }
-var87 = ((val* (*)(val*))(var_msignature->class->vft[COLOR_model__MSignature__mparameters]))(var_msignature) /* mparameters on <var_msignature:MSignature>*/;
-var88 = ((val* (*)(val*, long))(var87->class->vft[COLOR_abstract_collection__SequenceRead___91d_93d]))(var87, var_i) /* [] on <var87:Array[MParameter]>*/;
-var89 = ((val* (*)(val*))(var88->class->vft[COLOR_model__MParameter__mtype]))(var88) /* mtype on <var88:nullable Object(MParameter)>*/;
-var_paramtype = var89;
-var90 = ((val* (*)(val*, long))(var_args->class->vft[COLOR_abstract_collection__SequenceRead___91d_93d]))(var_args, var_j) /* [] on <var_args:Array[AExpr]>*/;
-var91 = ((val* (*)(val*, val*, val*))(self->class->vft[COLOR_typing__TypeVisitor__visit_expr_subtype]))(self, var90, var_paramtype) /* visit_expr_subtype on <self:TypeVisitor>*/;
-var91;
+var89 = ((val* (*)(val*))(var_msignature->class->vft[COLOR_model__MSignature__mparameters]))(var_msignature) /* mparameters on <var_msignature:MSignature>*/;
+var90 = ((val* (*)(val*, long))(var89->class->vft[COLOR_abstract_collection__SequenceRead___91d_93d]))(var89, var_i) /* [] on <var89:Array[MParameter]>*/;
+var91 = ((val* (*)(val*))(var90->class->vft[COLOR_model__MParameter__mtype]))(var90) /* mtype on <var90:nullable Object(MParameter)>*/;
+var_paramtype = var91;
+var92 = ((val* (*)(val*, long))(var_args->class->vft[COLOR_abstract_collection__SequenceRead___91d_93d]))(var_args, var_j) /* [] on <var_args:Array[AExpr]>*/;
+var93 = ((val* (*)(val*, val*, val*))(self->class->vft[COLOR_typing__TypeVisitor__visit_expr_subtype]))(self, var92, var_paramtype) /* visit_expr_subtype on <self:TypeVisitor>*/;
+var93;
 CONTINUE_label: (void)0;
-((void (*)(val*))(var71->class->vft[COLOR_abstract_collection__Iterator__next]))(var71) /* next on <var71:Iterator[nullable Object]>*/;
+((void (*)(val*))(var72->class->vft[COLOR_abstract_collection__Iterator__next]))(var72) /* next on <var72:Iterator[nullable Object]>*/;
 }
 BREAK_label: (void)0;
-var92 = 0;
-{ /* Inline kernel#Int#>= (var_vararg_rank,var92) */
-/* Covariant cast for argument 0 (i) <var92:Int> isa OTHER */
-/* <var92:Int> isa OTHER */
-var95 = 1; /* easy <var92:Int> isa OTHER*/
-if (!var95) {
-fprintf(stderr, "Runtime error: %s (%s:%d)\n", "Cast failed", "lib/standard/kernel.nit", 258);
-exit(1);
-}
-var98 = var_vararg_rank >= var92;
-var93 = var98;
-goto RET_LABEL94;
-RET_LABEL94:(void)0;
-}
-if (var93){
-var99 = NEW_array__Array(&type_array__Arrayparser_nodes__AExpr);
-((void (*)(val*))(var99->class->vft[COLOR_array__Array__init]))(var99) /* init on <var99:Array[AExpr]>*/;
-CHECK_NEW_array__Array(var99);
-var_varargs = var99;
-var100 = ((val* (*)(val*))(var_msignature->class->vft[COLOR_model__MSignature__mparameters]))(var_msignature) /* mparameters on <var_msignature:MSignature>*/;
-var101 = ((val* (*)(val*, long))(var100->class->vft[COLOR_abstract_collection__SequenceRead___91d_93d]))(var100, var_vararg_rank) /* [] on <var100:Array[MParameter]>*/;
-var102 = ((val* (*)(val*))(var101->class->vft[COLOR_model__MParameter__mtype]))(var101) /* mtype on <var101:nullable Object(MParameter)>*/;
-var_paramtype103 = var102;
-var104 = NEW_range__Range(&type_range__Rangekernel__Int);
+var94 = 0;
+{ /* Inline kernel#Int#>= (var_vararg_rank,var94) */
+/* Covariant cast for argument 0 (i) <var94:Int> isa OTHER */
+/* <var94:Int> isa OTHER */
+var97 = 1; /* easy <var94:Int> isa OTHER*/
+if (!var97) {
+var_class_name100 = type_kernel__Int.name;
+fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name100);
+fprintf(stderr, " (%s:%d)\n", "lib/standard/kernel.nit", 266);
+show_backtrace(1);
+}
+var101 = var_vararg_rank >= var94;
+var95 = var101;
+goto RET_LABEL96;
+RET_LABEL96:(void)0;
+}
+if (var95){
+var102 = NEW_array__Array(&type_array__Arrayparser_nodes__AExpr);
+((void (*)(val*))(var102->class->vft[COLOR_array__Array__init]))(var102) /* init on <var102:Array[AExpr]>*/;
+var_varargs = var102;
+var103 = ((val* (*)(val*))(var_msignature->class->vft[COLOR_model__MSignature__mparameters]))(var_msignature) /* mparameters on <var_msignature:MSignature>*/;
+var104 = ((val* (*)(val*, long))(var103->class->vft[COLOR_abstract_collection__SequenceRead___91d_93d]))(var103, var_vararg_rank) /* [] on <var103:Array[MParameter]>*/;
+var105 = ((val* (*)(val*))(var104->class->vft[COLOR_model__MParameter__mtype]))(var104) /* mtype on <var104:nullable Object(MParameter)>*/;
+var_paramtype106 = var105;
+var107 = NEW_range__Range(&type_range__Rangekernel__Int);
 { /* Inline kernel#Int#+ (var_vararg_rank,var_vararg_decl) */
-var107 = var_vararg_rank + var_vararg_decl;
-var105 = var107;
-goto RET_LABEL106;
-RET_LABEL106:(void)0;
-}
-var108 = BOX_kernel__Int(var_vararg_rank); /* autobox from Int to Discrete */
-var109 = BOX_kernel__Int(var105); /* autobox from Int to Discrete */
-((void (*)(val*, val*, val*))(var104->class->vft[COLOR_range__Range__init]))(var104, var108, var109) /* init on <var104:Range[Int]>*/;
-CHECK_NEW_range__Range(var104);
-var110 = ((val* (*)(val*))(var104->class->vft[COLOR_abstract_collection__Collection__iterator]))(var104) /* iterator on <var104:Range[Int]>*/;
+var110 = var_vararg_rank + var_vararg_decl;
+var108 = var110;
+goto RET_LABEL109;
+RET_LABEL109:(void)0;
+}
+var111 = BOX_kernel__Int(var_vararg_rank); /* autobox from Int to Discrete */
+var112 = BOX_kernel__Int(var108); /* autobox from Int to Discrete */
+((void (*)(val*, val*, val*))(var107->class->vft[COLOR_range__Range__init]))(var107, var111, var112) /* init on <var107:Range[Int]>*/;
+var113 = ((val* (*)(val*))(var107->class->vft[COLOR_abstract_collection__Collection__iterator]))(var107) /* iterator on <var107:Range[Int]>*/;
 for(;;) {
-var111 = ((short int (*)(val*))(var110->class->vft[COLOR_abstract_collection__Iterator__is_ok]))(var110) /* is_ok on <var110:Iterator[nullable Object]>*/;
-if(!var111) break;
-var112 = ((val* (*)(val*))(var110->class->vft[COLOR_abstract_collection__Iterator__item]))(var110) /* item on <var110:Iterator[nullable Object]>*/;
-var114 = ((struct instance_kernel__Int*)var112)->value; /* autounbox from nullable Object to Int */;
-var_j113 = var114;
-var115 = ((val* (*)(val*, long))(var_args->class->vft[COLOR_abstract_collection__SequenceRead___91d_93d]))(var_args, var_j113) /* [] on <var_args:Array[AExpr]>*/;
-((void (*)(val*, val*))(var_varargs->class->vft[COLOR_abstract_collection__SimpleCollection__add]))(var_varargs, var115) /* add on <var_varargs:Array[AExpr]>*/;
-var116 = ((val* (*)(val*, long))(var_args->class->vft[COLOR_abstract_collection__SequenceRead___91d_93d]))(var_args, var_j113) /* [] on <var_args:Array[AExpr]>*/;
-var117 = ((val* (*)(val*, val*, val*))(self->class->vft[COLOR_typing__TypeVisitor__visit_expr_subtype]))(self, var116, var_paramtype103) /* visit_expr_subtype on <self:TypeVisitor>*/;
-var117;
-CONTINUE_label118: (void)0;
-((void (*)(val*))(var110->class->vft[COLOR_abstract_collection__Iterator__next]))(var110) /* next on <var110:Iterator[nullable Object]>*/;
-}
-BREAK_label118: (void)0;
-} else {
-}
-var119 = 1;
-var = var119;
+var114 = ((short int (*)(val*))(var113->class->vft[COLOR_abstract_collection__Iterator__is_ok]))(var113) /* is_ok on <var113:Iterator[nullable Object]>*/;
+if(!var114) break;
+var115 = ((val* (*)(val*))(var113->class->vft[COLOR_abstract_collection__Iterator__item]))(var113) /* item on <var113:Iterator[nullable Object]>*/;
+var117 = ((struct instance_kernel__Int*)var115)->value; /* autounbox from nullable Object to Int */;
+var_j116 = var117;
+var118 = ((val* (*)(val*, long))(var_args->class->vft[COLOR_abstract_collection__SequenceRead___91d_93d]))(var_args, var_j116) /* [] on <var_args:Array[AExpr]>*/;
+((void (*)(val*, val*))(var_varargs->class->vft[COLOR_abstract_collection__SimpleCollection__add]))(var_varargs, var118) /* add on <var_varargs:Array[AExpr]>*/;
+var119 = ((val* (*)(val*, long))(var_args->class->vft[COLOR_abstract_collection__SequenceRead___91d_93d]))(var_args, var_j116) /* [] on <var_args:Array[AExpr]>*/;
+var120 = ((val* (*)(val*, val*, val*))(self->class->vft[COLOR_typing__TypeVisitor__visit_expr_subtype]))(self, var119, var_paramtype106) /* visit_expr_subtype on <self:TypeVisitor>*/;
+var120;
+CONTINUE_label121: (void)0;
+((void (*)(val*))(var113->class->vft[COLOR_abstract_collection__Iterator__next]))(var113) /* next on <var113:Iterator[nullable Object]>*/;
+}
+BREAK_label121: (void)0;
+} else {
+}
+var122 = 1;
+var = var122;
 goto RET_LABEL;
 RET_LABEL:;
 return var;
@@ -2526,8 +2525,9 @@ var2 = 0; /* is null */
 var2 = 1; /* arg is null and recv is not */
 }
 if (!var2) {
-fprintf(stderr, "Runtime error: %s (%s:%d)\n", "Assert failed", "src/typing.nit", 360);
-exit(1);
+fprintf(stderr, "Runtime error: %s", "Assert failed");
+fprintf(stderr, " (%s:%d)\n", "src/typing.nit", 355);
+show_backtrace(1);
 }
 ((void (*)(val*, val*, val*))(var_flow->class->vft[COLOR_typing__FlowContext__set_var]))(var_flow, var_variable, var_mtype) /* set_var on <var_flow:nullable FlowContext(FlowContext)>*/;
 RET_LABEL:;
@@ -2594,7 +2594,6 @@ goto RET_LABEL;
 }
 var7 = NEW_array__Array(&type_array__Arraynullable_model__MType);
 ((void (*)(val*))(var7->class->vft[COLOR_array__Array__init]))(var7) /* init on <var7:Array[nullable MType]>*/;
-CHECK_NEW_array__Array(var7);
 var_res = var7;
 var8 = ((val* (*)(val*))(var_col->class->vft[COLOR_abstract_collection__Collection__iterator]))(var_col) /* iterator on <var_col:Array[nullable MType]>*/;
 for(;;) {
@@ -2698,8 +2697,9 @@ val* var /* : ANode */;
 val* var1 /* : ANode */;
 var1 = self->attrs[COLOR_typing__CallSite___64dnode].val; /* @node on <self:CallSite> */
 if (var1 == NULL) {
-fprintf(stderr, "Runtime error: %s (%s:%d)\n", "Uninitialized attribute @node", "src/typing.nit", 391);
-exit(1);
+fprintf(stderr, "Runtime error: %s", "Uninitialized attribute @node");
+fprintf(stderr, " (%s:%d)\n", "src/typing.nit", 386);
+show_backtrace(1);
 }
 var = var1;
 RET_LABEL:;
@@ -2730,8 +2730,9 @@ val* var /* : MType */;
 val* var1 /* : MType */;
 var1 = self->attrs[COLOR_typing__CallSite___64drecv].val; /* @recv on <self:CallSite> */
 if (var1 == NULL) {
-fprintf(stderr, "Runtime error: %s (%s:%d)\n", "Uninitialized attribute @recv", "src/typing.nit", 394);
-exit(1);
+fprintf(stderr, "Runtime error: %s", "Uninitialized attribute @recv");
+fprintf(stderr, " (%s:%d)\n", "src/typing.nit", 389);
+show_backtrace(1);
 }
 var = var1;
 RET_LABEL:;
@@ -2790,8 +2791,9 @@ val* var /* : MMethod */;
 val* var1 /* : MMethod */;
 var1 = self->attrs[COLOR_typing__CallSite___64dmproperty].val; /* @mproperty on <self:CallSite> */
 if (var1 == NULL) {
-fprintf(stderr, "Runtime error: %s (%s:%d)\n", "Uninitialized attribute @mproperty", "src/typing.nit", 402);
-exit(1);
+fprintf(stderr, "Runtime error: %s", "Uninitialized attribute @mproperty");
+fprintf(stderr, " (%s:%d)\n", "src/typing.nit", 397);
+show_backtrace(1);
 }
 var = var1;
 RET_LABEL:;
@@ -2822,8 +2824,9 @@ val* var /* : MMethodDef */;
 val* var1 /* : MMethodDef */;
 var1 = self->attrs[COLOR_typing__CallSite___64dmpropdef].val; /* @mpropdef on <self:CallSite> */
 if (var1 == NULL) {
-fprintf(stderr, "Runtime error: %s (%s:%d)\n", "Uninitialized attribute @mpropdef", "src/typing.nit", 405);
-exit(1);
+fprintf(stderr, "Runtime error: %s", "Uninitialized attribute @mpropdef");
+fprintf(stderr, " (%s:%d)\n", "src/typing.nit", 400);
+show_backtrace(1);
 }
 var = var1;
 RET_LABEL:;
@@ -2854,8 +2857,9 @@ val* var /* : MSignature */;
 val* var1 /* : MSignature */;
 var1 = self->attrs[COLOR_typing__CallSite___64dmsignature].val; /* @msignature on <self:CallSite> */
 if (var1 == NULL) {
-fprintf(stderr, "Runtime error: %s (%s:%d)\n", "Uninitialized attribute @msignature", "src/typing.nit", 409);
-exit(1);
+fprintf(stderr, "Runtime error: %s", "Uninitialized attribute @msignature");
+fprintf(stderr, " (%s:%d)\n", "src/typing.nit", 404);
+show_backtrace(1);
 }
 var = var1;
 RET_LABEL:;
@@ -2989,8 +2993,9 @@ val* var /* : HashMap[Variable, nullable MType] */;
 val* var1 /* : HashMap[Variable, nullable MType] */;
 var1 = self->attrs[COLOR_typing__FlowContext___64dvars].val; /* @vars on <self:FlowContext> */
 if (var1 == NULL) {
-fprintf(stderr, "Runtime error: %s (%s:%d)\n", "Uninitialized attribute @vars", "src/typing.nit", 427);
-exit(1);
+fprintf(stderr, "Runtime error: %s", "Uninitialized attribute @vars");
+fprintf(stderr, " (%s:%d)\n", "src/typing.nit", 422);
+show_backtrace(1);
 }
 var = var1;
 RET_LABEL:;
@@ -3021,8 +3026,9 @@ val* var /* : HashMap[Variable, nullable Array[nullable MType]] */;
 val* var1 /* : HashMap[Variable, nullable Array[nullable MType]] */;
 var1 = self->attrs[COLOR_typing__FlowContext___64dcache].val; /* @cache on <self:FlowContext> */
 if (var1 == NULL) {
-fprintf(stderr, "Runtime error: %s (%s:%d)\n", "Uninitialized attribute @cache", "src/typing.nit", 429);
-exit(1);
+fprintf(stderr, "Runtime error: %s", "Uninitialized attribute @cache");
+fprintf(stderr, " (%s:%d)\n", "src/typing.nit", 424);
+show_backtrace(1);
 }
 var = var1;
 RET_LABEL:;
@@ -3133,7 +3139,6 @@ var_mtype = var9;
 var10 = NEW_array__Array(&type_array__Arraynullable_model__MType);
 var11 = 1;
 ((void (*)(val*, long))(var10->class->vft[COLOR_array__Array__with_capacity]))(var10, var11) /* with_capacity on <var10:Array[nullable MType]>*/;
-CHECK_NEW_array__Array(var10);
 var_ = var10;
 ((void (*)(val*, val*))(var_->class->vft[COLOR_abstract_collection__Sequence__push]))(var_, var_mtype) /* push on <var_:Array[nullable MType]>*/;
 var_res = var_;
@@ -3144,7 +3149,6 @@ if (var13){
 var14 = NEW_array__Array(&type_array__Arraynullable_model__MType);
 var15 = 1;
 ((void (*)(val*, long))(var14->class->vft[COLOR_array__Array__with_capacity]))(var14, var15) /* with_capacity on <var14:Array[nullable MType]>*/;
-CHECK_NEW_array__Array(var14);
 var_16 = var14;
 var17 = ((val* (*)(val*))(var_variable->class->vft[COLOR_typing__Variable__declared_type]))(var_variable) /* declared_type on <var_variable:Variable>*/;
 ((void (*)(val*, val*))(var_16->class->vft[COLOR_abstract_collection__Sequence__push]))(var_16, var17) /* push on <var_16:Array[nullable MType]>*/;
@@ -3269,6 +3273,7 @@ val* var /* : nullable ANode */;
 short int var1 /* : Bool */;
 int cltype;
 int idtype;
+const char* var_class_name;
 val* var_nclassdef /* var nclassdef: AClassdef */;
 val* var2 /* : nullable MPropDef */;
 val* var_mpropdef /* var mpropdef: MMethodDef */;
@@ -3324,44 +3329,20 @@ val* var45 /* : nullable Variable */;
 val* var_variable /* var variable: nullable Variable */;
 val* var46 /* : null */;
 short int var47 /* : Bool */;
-val* var48 /* : Range[Int] */;
-long var49 /* : Int */;
-val* var50 /* : nullable MSignature */;
-val* var51 /* : Array[MParameter] */;
-long var52 /* : Int */;
-val* var53 /* : Discrete */;
-val* var54 /* : Discrete */;
-val* var55 /* : Iterator[nullable Object] */;
-short int var56 /* : Bool */;
-val* var57 /* : nullable Object */;
-long var_i58 /* var i: Int */;
-long var59 /* : Int */;
-val* var60 /* : nullable MSignature */;
-val* var61 /* : Array[MParameter] */;
-val* var62 /* : nullable Object */;
-val* var_mclosure /* var mclosure: MParameter */;
-val* var63 /* : nullable ASignature */;
-val* var64 /* : ANodes[AClosureDecl] */;
-val* var65 /* : nullable Object */;
-val* var66 /* : nullable ClosureVariable */;
-val* var_variable67 /* var variable: nullable ClosureVariable */;
-val* var68 /* : null */;
-short int var69 /* : Bool */;
-val* var70 /* : MType */;
-short int var72 /* : Bool */;
-val* var73 /* : nullable FlowContext */;
-short int var74 /* : Bool */;
-short int var75 /* : Bool */;
+short int var48 /* : Bool */;
+val* var49 /* : nullable FlowContext */;
+short int var50 /* : Bool */;
+short int var51 /* : Bool */;
 short int var_ /* var : Bool */;
-val* var76 /* : nullable MSignature */;
-val* var77 /* : nullable MType */;
-val* var78 /* : null */;
-short int var79 /* : Bool */;
-static val* varonce80;
-val* var81 /* : String */;
-char* var82 /* : NativeString */;
-long var83 /* : Int */;
-val* var84 /* : String */;
+val* var52 /* : nullable MSignature */;
+val* var53 /* : nullable MType */;
+val* var54 /* : null */;
+short int var55 /* : Bool */;
+static val* varonce56;
+val* var57 /* : String */;
+char* var58 /* : NativeString */;
+long var59 /* : Int */;
+val* var60 /* : String */;
 var_modelbuilder = p0;
 var = ((val* (*)(val*))(self->class->vft[COLOR_parser_nodes__ANode__parent]))(self) /* parent on <self:AConcreteMethPropdef>*/;
 /* <var:nullable ANode> isa AClassdef */
@@ -3377,19 +3358,21 @@ var1 = var->type->type_table[cltype] == idtype;
 }
 }
 if (!var1) {
-fprintf(stderr, "Runtime error: %s (%s:%d)\n", "Cast failed", "src/typing.nit", 484);
-exit(1);
+var_class_name = var == NULL ? "null" : var->type->name;
+fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "AClassdef", var_class_name);
+fprintf(stderr, " (%s:%d)\n", "src/typing.nit", 479);
+show_backtrace(1);
 }
 var_nclassdef = var;
 var2 = ((val* (*)(val*))(self->class->vft[COLOR_modelize_property__APropdef__mpropdef]))(self) /* mpropdef on <self:AConcreteMethPropdef>*/;
 if (var2 == NULL) {
-fprintf(stderr, "Runtime error: %s (%s:%d)\n", "Cast failed", "src/typing.nit", 485);
-exit(1);
+fprintf(stderr, "Runtime error: %s", "Cast failed");
+fprintf(stderr, " (%s:%d)\n", "src/typing.nit", 480);
+show_backtrace(1);
 }
 var_mpropdef = var2;
 var3 = NEW_typing__TypeVisitor(&type_typing__TypeVisitor);
 ((void (*)(val*, val*, val*, val*))(var3->class->vft[COLOR_typing__TypeVisitor__init]))(var3, var_modelbuilder, var_nclassdef, var_mpropdef) /* init on <var3:TypeVisitor>*/;
-CHECK_NEW_typing__TypeVisitor(var3);
 var_v = var3;
 var4 = ((val* (*)(val*))(var_v->class->vft[COLOR_typing__TypeVisitor__selfvariable]))(var_v) /* selfvariable on <var_v:TypeVisitor>*/;
 ((void (*)(val*, val*))(self->class->vft[COLOR_typing__APropdef__selfvariable_61d]))(self, var4) /* selfvariable= on <self:AConcreteMethPropdef>*/;
@@ -3407,23 +3390,24 @@ goto RET_LABEL;
 }
 var8 = ((val* (*)(val*))(self->class->vft[COLOR_modelize_property__APropdef__mpropdef]))(self) /* mpropdef on <self:AConcreteMethPropdef>*/;
 if (var8 == NULL) {
-fprintf(stderr, "Runtime error: %s (%s:%d)\n", "Cast failed", "src/typing.nit", 492);
-exit(1);
+fprintf(stderr, "Runtime error: %s", "Cast failed");
+fprintf(stderr, " (%s:%d)\n", "src/typing.nit", 487);
+show_backtrace(1);
 }
 var_mmethoddef = var8;
 var9 = NEW_range__Range(&type_range__Rangekernel__Int);
 var10 = 0;
 var11 = ((val* (*)(val*))(var_mmethoddef->class->vft[COLOR_model__MMethodDef__msignature]))(var_mmethoddef) /* msignature on <var_mmethoddef:MMethodDef>*/;
 if (var11 == NULL) {
-fprintf(stderr, "Runtime error: %s (%s:%d)\n", "Reciever is null", "src/typing.nit", 493);
-exit(1);
+fprintf(stderr, "Runtime error: %s", "Receiver is null");
+fprintf(stderr, " (%s:%d)\n", "src/typing.nit", 488);
+show_backtrace(1);
 } else {
 var12 = ((long (*)(val*))(var11->class->vft[COLOR_model__MSignature__arity]))(var11) /* arity on <var11:nullable MSignature>*/;
 }
 var13 = BOX_kernel__Int(var10); /* autobox from Int to Discrete */
 var14 = BOX_kernel__Int(var12); /* autobox from Int to Discrete */
 ((void (*)(val*, val*, val*))(var9->class->vft[COLOR_range__Range__without_last]))(var9, var13, var14) /* without_last on <var9:Range[Int]>*/;
-CHECK_NEW_range__Range(var9);
 var15 = ((val* (*)(val*))(var9->class->vft[COLOR_abstract_collection__Collection__iterator]))(var9) /* iterator on <var9:Range[Int]>*/;
 for(;;) {
 var16 = ((short int (*)(val*))(var15->class->vft[COLOR_abstract_collection__Iterator__is_ok]))(var15) /* is_ok on <var15:Iterator[nullable Object]>*/;
@@ -3433,8 +3417,9 @@ var18 = ((struct instance_kernel__Int*)var17)->value; /* autounbox from nullable
 var_i = var18;
 var19 = ((val* (*)(val*))(var_mmethoddef->class->vft[COLOR_model__MMethodDef__msignature]))(var_mmethoddef) /* msignature on <var_mmethoddef:MMethodDef>*/;
 if (var19 == NULL) {
-fprintf(stderr, "Runtime error: %s (%s:%d)\n", "Reciever is null", "src/typing.nit", 494);
-exit(1);
+fprintf(stderr, "Runtime error: %s", "Receiver is null");
+fprintf(stderr, " (%s:%d)\n", "src/typing.nit", 489);
+show_backtrace(1);
 } else {
 var20 = ((val* (*)(val*))(var19->class->vft[COLOR_model__MSignature__mparameters]))(var19) /* mparameters on <var19:nullable MSignature>*/;
 }
@@ -3443,8 +3428,9 @@ var22 = ((val* (*)(val*))(var21->class->vft[COLOR_model__MParameter__mtype]))(va
 var_mtype = var22;
 var23 = ((val* (*)(val*))(var_mmethoddef->class->vft[COLOR_model__MMethodDef__msignature]))(var_mmethoddef) /* msignature on <var_mmethoddef:MMethodDef>*/;
 if (var23 == NULL) {
-fprintf(stderr, "Runtime error: %s (%s:%d)\n", "Reciever is null", "src/typing.nit", 495);
-exit(1);
+fprintf(stderr, "Runtime error: %s", "Receiver is null");
+fprintf(stderr, " (%s:%d)\n", "src/typing.nit", 490);
+show_backtrace(1);
 } else {
 var24 = ((long (*)(val*))(var23->class->vft[COLOR_model__MSignature__vararg_rank]))(var23) /* vararg_rank on <var23:nullable MSignature>*/;
 }
@@ -3457,8 +3443,9 @@ RET_LABEL26:(void)0;
 if (var25){
 var28 = ((val* (*)(val*))(self->class->vft[COLOR_parser_nodes__AMethPropdef__n_signature]))(self) /* n_signature on <self:AConcreteMethPropdef>*/;
 if (var28 == NULL) {
-fprintf(stderr, "Runtime error: %s (%s:%d)\n", "Reciever is null", "src/typing.nit", 496);
-exit(1);
+fprintf(stderr, "Runtime error: %s", "Receiver is null");
+fprintf(stderr, " (%s:%d)\n", "src/typing.nit", 491);
+show_backtrace(1);
 } else {
 var29 = ((val* (*)(val*))(var28->class->vft[COLOR_parser_nodes__ASignature__n_params]))(var28) /* n_params on <var28:nullable ASignature>*/;
 }
@@ -3490,7 +3477,6 @@ var39 = 1;
 var40 = NEW_array__NativeArray(var39, &type_array__NativeArraymodel__MType);
 ((struct instance_array__NativeArray*)var40)->values[0] = (val*) var_mtype;
 ((void (*)(val*, val*, long))(var38->class->vft[COLOR_array__Array__with_native]))(var38, var40, var39) /* with_native on <var38:Array[MType]>*/;
-CHECK_NEW_array__Array(var38);
 }
 var41 = ((val* (*)(val*, val*))(var_arrayclass->class->vft[COLOR_model__MClass__get_mtype]))(var_arrayclass, var38) /* get_mtype on <var_arrayclass:nullable MClass(MClass)>*/;
 var_mtype = var41;
@@ -3498,8 +3484,9 @@ var_mtype = var41;
 }
 var42 = ((val* (*)(val*))(self->class->vft[COLOR_parser_nodes__AMethPropdef__n_signature]))(self) /* n_signature on <self:AConcreteMethPropdef>*/;
 if (var42 == NULL) {
-fprintf(stderr, "Runtime error: %s (%s:%d)\n", "Reciever is null", "src/typing.nit", 500);
-exit(1);
+fprintf(stderr, "Runtime error: %s", "Receiver is null");
+fprintf(stderr, " (%s:%d)\n", "src/typing.nit", 495);
+show_backtrace(1);
 } else {
 var43 = ((val* (*)(val*))(var42->class->vft[COLOR_parser_nodes__ASignature__n_params]))(var42) /* n_params on <var42:nullable ASignature>*/;
 }
@@ -3513,109 +3500,56 @@ var47 = 0; /* is null */
 var47 = 1; /* arg is null and recv is not */
 }
 if (!var47) {
-fprintf(stderr, "Runtime error: %s (%s:%d)\n", "Assert failed", "src/typing.nit", 501);
-exit(1);
+fprintf(stderr, "Runtime error: %s", "Assert failed");
+fprintf(stderr, " (%s:%d)\n", "src/typing.nit", 496);
+show_backtrace(1);
 }
 ((void (*)(val*, val*))(var_variable->class->vft[COLOR_typing__Variable__declared_type_61d]))(var_variable, var_mtype) /* declared_type= on <var_variable:nullable Variable(Variable)>*/;
 CONTINUE_label: (void)0;
 ((void (*)(val*))(var15->class->vft[COLOR_abstract_collection__Iterator__next]))(var15) /* next on <var15:Iterator[nullable Object]>*/;
 }
 BREAK_label: (void)0;
-var48 = NEW_range__Range(&type_range__Rangekernel__Int);
-var49 = 0;
-var50 = ((val* (*)(val*))(var_mmethoddef->class->vft[COLOR_model__MMethodDef__msignature]))(var_mmethoddef) /* msignature on <var_mmethoddef:MMethodDef>*/;
-if (var50 == NULL) {
-fprintf(stderr, "Runtime error: %s (%s:%d)\n", "Reciever is null", "src/typing.nit", 504);
-exit(1);
-} else {
-var51 = ((val* (*)(val*))(var50->class->vft[COLOR_model__MSignature__mclosures]))(var50) /* mclosures on <var50:nullable MSignature>*/;
-}
-var52 = ((long (*)(val*))(var51->class->vft[COLOR_abstract_collection__Collection__length]))(var51) /* length on <var51:Array[MParameter]>*/;
-var53 = BOX_kernel__Int(var49); /* autobox from Int to Discrete */
-var54 = BOX_kernel__Int(var52); /* autobox from Int to Discrete */
-((void (*)(val*, val*, val*))(var48->class->vft[COLOR_range__Range__without_last]))(var48, var53, var54) /* without_last on <var48:Range[Int]>*/;
-CHECK_NEW_range__Range(var48);
-var55 = ((val* (*)(val*))(var48->class->vft[COLOR_abstract_collection__Collection__iterator]))(var48) /* iterator on <var48:Range[Int]>*/;
-for(;;) {
-var56 = ((short int (*)(val*))(var55->class->vft[COLOR_abstract_collection__Iterator__is_ok]))(var55) /* is_ok on <var55:Iterator[nullable Object]>*/;
-if(!var56) break;
-var57 = ((val* (*)(val*))(var55->class->vft[COLOR_abstract_collection__Iterator__item]))(var55) /* item on <var55:Iterator[nullable Object]>*/;
-var59 = ((struct instance_kernel__Int*)var57)->value; /* autounbox from nullable Object to Int */;
-var_i58 = var59;
-var60 = ((val* (*)(val*))(var_mmethoddef->class->vft[COLOR_model__MMethodDef__msignature]))(var_mmethoddef) /* msignature on <var_mmethoddef:MMethodDef>*/;
-if (var60 == NULL) {
-fprintf(stderr, "Runtime error: %s (%s:%d)\n", "Reciever is null", "src/typing.nit", 505);
-exit(1);
-} else {
-var61 = ((val* (*)(val*))(var60->class->vft[COLOR_model__MSignature__mclosures]))(var60) /* mclosures on <var60:nullable MSignature>*/;
-}
-var62 = ((val* (*)(val*, long))(var61->class->vft[COLOR_abstract_collection__SequenceRead___91d_93d]))(var61, var_i58) /* [] on <var61:Array[MParameter]>*/;
-var_mclosure = var62;
-var63 = ((val* (*)(val*))(self->class->vft[COLOR_parser_nodes__AMethPropdef__n_signature]))(self) /* n_signature on <self:AConcreteMethPropdef>*/;
-if (var63 == NULL) {
-fprintf(stderr, "Runtime error: %s (%s:%d)\n", "Reciever is null", "src/typing.nit", 506);
-exit(1);
-} else {
-var64 = ((val* (*)(val*))(var63->class->vft[COLOR_parser_nodes__ASignature__n_closure_decls]))(var63) /* n_closure_decls on <var63:nullable ASignature>*/;
-}
-var65 = ((val* (*)(val*, long))(var64->class->vft[COLOR_abstract_collection__SequenceRead___91d_93d]))(var64, var_i58) /* [] on <var64:ANodes[AClosureDecl]>*/;
-var66 = ((val* (*)(val*))(var65->class->vft[COLOR_scope__AClosureDecl__variable]))(var65) /* variable on <var65:nullable Object(AClosureDecl)>*/;
-var_variable67 = var66;
-var68 = NULL;
-if (var_variable67 == NULL) {
-var69 = 0; /* is null */
-} else {
-var69 = 1; /* arg is null and recv is not */
-}
-if (!var69) {
-fprintf(stderr, "Runtime error: %s (%s:%d)\n", "Assert failed", "src/typing.nit", 507);
-exit(1);
-}
-var70 = ((val* (*)(val*))(var_mclosure->class->vft[COLOR_model__MParameter__mtype]))(var_mclosure) /* mtype on <var_mclosure:MParameter>*/;
-((void (*)(val*, val*))(var_variable67->class->vft[COLOR_typing__Variable__declared_type_61d]))(var_variable67, var70) /* declared_type= on <var_variable67:nullable ClosureVariable(ClosureVariable)>*/;
-CONTINUE_label71: (void)0;
-((void (*)(val*))(var55->class->vft[COLOR_abstract_collection__Iterator__next]))(var55) /* next on <var55:Iterator[nullable Object]>*/;
-}
-BREAK_label71: (void)0;
 ((void (*)(val*, val*))(var_v->class->vft[COLOR_typing__TypeVisitor__visit_stmt]))(var_v, var_nblock) /* visit_stmt on <var_v:TypeVisitor>*/;
-var73 = ((val* (*)(val*))(var_nblock->class->vft[COLOR_flow__AExpr__after_flow_context]))(var_nblock) /* after_flow_context on <var_nblock:nullable AExpr(AExpr)>*/;
-if (var73 == NULL) {
-fprintf(stderr, "Runtime error: %s (%s:%d)\n", "Reciever is null", "src/typing.nit", 512);
-exit(1);
+var49 = ((val* (*)(val*))(var_nblock->class->vft[COLOR_flow__AExpr__after_flow_context]))(var_nblock) /* after_flow_context on <var_nblock:nullable AExpr(AExpr)>*/;
+if (var49 == NULL) {
+fprintf(stderr, "Runtime error: %s", "Receiver is null");
+fprintf(stderr, " (%s:%d)\n", "src/typing.nit", 501);
+show_backtrace(1);
 } else {
-var74 = ((short int (*)(val*))(var73->class->vft[COLOR_flow__FlowContext__is_unreachable]))(var73) /* is_unreachable on <var73:nullable FlowContext>*/;
+var50 = ((short int (*)(val*))(var49->class->vft[COLOR_flow__FlowContext__is_unreachable]))(var49) /* is_unreachable on <var49:nullable FlowContext>*/;
 }
-var75 = !var74;
-var_ = var75;
-if (var75){
-var76 = ((val* (*)(val*))(var_mmethoddef->class->vft[COLOR_model__MMethodDef__msignature]))(var_mmethoddef) /* msignature on <var_mmethoddef:MMethodDef>*/;
-if (var76 == NULL) {
-fprintf(stderr, "Runtime error: %s (%s:%d)\n", "Reciever is null", "src/typing.nit", 512);
-exit(1);
+var51 = !var50;
+var_ = var51;
+if (var51){
+var52 = ((val* (*)(val*))(var_mmethoddef->class->vft[COLOR_model__MMethodDef__msignature]))(var_mmethoddef) /* msignature on <var_mmethoddef:MMethodDef>*/;
+if (var52 == NULL) {
+fprintf(stderr, "Runtime error: %s", "Receiver is null");
+fprintf(stderr, " (%s:%d)\n", "src/typing.nit", 501);
+show_backtrace(1);
 } else {
-var77 = ((val* (*)(val*))(var76->class->vft[COLOR_model__MSignature__return_mtype]))(var76) /* return_mtype on <var76:nullable MSignature>*/;
+var53 = ((val* (*)(val*))(var52->class->vft[COLOR_model__MSignature__return_mtype]))(var52) /* return_mtype on <var52:nullable MSignature>*/;
 }
-var78 = NULL;
-if (var77 == NULL) {
-var79 = 0; /* is null */
+var54 = NULL;
+if (var53 == NULL) {
+var55 = 0; /* is null */
 } else {
-var79 = 1; /* arg is null and recv is not */
+var55 = 1; /* arg is null and recv is not */
 }
-var72 = var79;
+var48 = var55;
 } else {
-var72 = var_;
+var48 = var_;
 }
-if (var72){
-if (varonce80) {
-var81 = varonce80;
+if (var48){
+if (varonce56) {
+var57 = varonce56;
 } else {
-var82 = "Control error: Reached end of function (a \'return\' with a value was expected).";
-var83 = 78;
-var84 = string__NativeString__to_s_with_length(var82, var83);
-var81 = var84;
-varonce80 = var81;
+var58 = "Control error: Reached end of function (a \'return\' with a value was expected).";
+var59 = 78;
+var60 = string__NativeString__to_s_with_length(var58, var59);
+var57 = var60;
+varonce56 = var57;
 }
-((void (*)(val*, val*, val*))(var_v->class->vft[COLOR_typing__TypeVisitor__error]))(var_v, self, var81) /* error on <var_v:TypeVisitor>*/;
+((void (*)(val*, val*, val*))(var_v->class->vft[COLOR_typing__TypeVisitor__error]))(var_v, self, var57) /* error on <var_v:TypeVisitor>*/;
 } else {
 }
 RET_LABEL:;
@@ -3632,6 +3566,7 @@ val* var /* : nullable ANode */;
 short int var1 /* : Bool */;
 int cltype;
 int idtype;
+const char* var_class_name;
 val* var_nclassdef /* var nclassdef: AClassdef */;
 val* var2 /* : TypeVisitor */;
 val* var3 /* : nullable MPropDef */;
@@ -3660,18 +3595,20 @@ var1 = var->type->type_table[cltype] == idtype;
 }
 }
 if (!var1) {
-fprintf(stderr, "Runtime error: %s (%s:%d)\n", "Cast failed", "src/typing.nit", 522);
-exit(1);
+var_class_name = var == NULL ? "null" : var->type->name;
+fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "AClassdef", var_class_name);
+fprintf(stderr, " (%s:%d)\n", "src/typing.nit", 511);
+show_backtrace(1);
 }
 var_nclassdef = var;
 var2 = NEW_typing__TypeVisitor(&type_typing__TypeVisitor);
 var3 = ((val* (*)(val*))(self->class->vft[COLOR_modelize_property__APropdef__mpropdef]))(self) /* mpropdef on <self:AAttrPropdef>*/;
 if (var3 == NULL) {
-fprintf(stderr, "Runtime error: %s (%s:%d)\n", "Cast failed", "src/typing.nit", 523);
-exit(1);
+fprintf(stderr, "Runtime error: %s", "Cast failed");
+fprintf(stderr, " (%s:%d)\n", "src/typing.nit", 512);
+show_backtrace(1);
 }
 ((void (*)(val*, val*, val*, val*))(var2->class->vft[COLOR_typing__TypeVisitor__init]))(var2, var_modelbuilder, var_nclassdef, var3) /* init on <var2:TypeVisitor>*/;
-CHECK_NEW_typing__TypeVisitor(var2);
 var_v = var2;
 var4 = ((val* (*)(val*))(var_v->class->vft[COLOR_typing__TypeVisitor__selfvariable]))(var_v) /* selfvariable on <var_v:TypeVisitor>*/;
 ((void (*)(val*, val*))(self->class->vft[COLOR_typing__APropdef__selfvariable_61d]))(self, var4) /* selfvariable= on <self:AAttrPropdef>*/;
@@ -3686,8 +3623,9 @@ var7 = 1; /* arg is null and recv is not */
 if (var7){
 var8 = ((val* (*)(val*))(self->class->vft[COLOR_modelize_property__APropdef__mpropdef]))(self) /* mpropdef on <self:AAttrPropdef>*/;
 if (var8 == NULL) {
-fprintf(stderr, "Runtime error: %s (%s:%d)\n", "Reciever is null", "src/typing.nit", 528);
-exit(1);
+fprintf(stderr, "Runtime error: %s", "Receiver is null");
+fprintf(stderr, " (%s:%d)\n", "src/typing.nit", 517);
+show_backtrace(1);
 } else {
 var9 = ((val* (*)(val*))(var8->class->vft[COLOR_model__MAttributeDef__static_mtype]))(var8) /* static_mtype on <var8:nullable MPropDef(nullable MAttributeDef)>*/;
 }
@@ -3837,7 +3775,6 @@ var7 = NEW_array__NativeArray(var6, &type_array__NativeArraykernel__Object);
 ((struct instance_array__NativeArray*)var7)->values[0] = (val*) var;
 ((struct instance_array__NativeArray*)var7)->values[1] = (val*) var4;
 ((void (*)(val*, val*, long))(var5->class->vft[COLOR_array__Array__with_native]))(var5, var7, var6) /* with_native on <var5:Array[Object]>*/;
-CHECK_NEW_array__Array(var5);
 }
 var8 = ((val* (*)(val*))(var5->class->vft[COLOR_string__Object__to_s]))(var5) /* to_s on <var5:Array[Object]>*/;
 ((void (*)(val*, val*, val*))(var_v->class->vft[COLOR_typing__TypeVisitor__error]))(var_v, self, var8) /* error on <var_v:TypeVisitor>*/;
@@ -4063,8 +4000,9 @@ varonce = var23;
 }
 var27 = ((val* (*)(val*, val*, val*))(var_v->class->vft[COLOR_typing__TypeVisitor__get_mclass]))(var_v, self, var23) /* get_mclass on <var_v:TypeVisitor>*/;
 if (var27 == NULL) {
-fprintf(stderr, "Runtime error: %s (%s:%d)\n", "Reciever is null", "src/typing.nit", 603);
-exit(1);
+fprintf(stderr, "Runtime error: %s", "Receiver is null");
+fprintf(stderr, " (%s:%d)\n", "src/typing.nit", 592);
+show_backtrace(1);
 } else {
 var28 = ((val* (*)(val*))(var27->class->vft[COLOR_model__MClass__mclass_type]))(var27) /* mclass_type on <var27:nullable MClass>*/;
 }
@@ -4177,8 +4115,9 @@ var2 = 0; /* is null */
 var2 = 1; /* arg is null and recv is not */
 }
 if (!var2) {
-fprintf(stderr, "Runtime error: %s (%s:%d)\n", "Assert failed", "src/typing.nit", 638);
-exit(1);
+fprintf(stderr, "Runtime error: %s", "Assert failed");
+fprintf(stderr, " (%s:%d)\n", "src/typing.nit", 627);
+show_backtrace(1);
 }
 var3 = ((val* (*)(val*))(self->class->vft[COLOR_parser_nodes__AAssignFormExpr__n_value]))(self) /* n_value on <self:AVarAssignExpr>*/;
 var4 = ((val* (*)(val*))(var_variable->class->vft[COLOR_typing__Variable__declared_type]))(var_variable) /* declared_type on <var_variable:nullable Variable(Variable)>*/;
@@ -4194,32 +4133,6 @@ void VIRTUAL_typing__AVarAssignExpr__accept_typing(val* self, val* p0) {
 typing__AVarAssignExpr__accept_typing(self, p0);
 RET_LABEL:;
 }
-/* method typing#AReassignFormExpr#reassign_property for (self: AReassignFormExpr): nullable MMethodDef */
-val* typing__AReassignFormExpr__reassign_property(val* self) {
-val* var /* : nullable MMethodDef */;
-val* var1 /* : nullable CallSite */;
-val* var2 /* : MMethodDef */;
-var1 = ((val* (*)(val*))(self->class->vft[COLOR_typing__AReassignFormExpr__reassign_callsite]))(self) /* reassign_callsite on <self:AReassignFormExpr>*/;
-if (var1 == NULL) {
-fprintf(stderr, "Runtime error: %s (%s:%d)\n", "Reciever is null", "src/typing.nit", 650);
-exit(1);
-} else {
-var2 = ((val* (*)(val*))(var1->class->vft[COLOR_typing__CallSite__mpropdef]))(var1) /* mpropdef on <var1:nullable CallSite>*/;
-}
-var = var2;
-goto RET_LABEL;
-RET_LABEL:;
-return var;
-}
-/* method typing#AReassignFormExpr#reassign_property for (self: Object): nullable MMethodDef */
-val* VIRTUAL_typing__AReassignFormExpr__reassign_property(val* self) {
-val* var /* : nullable MMethodDef */;
-val* var1 /* : nullable MMethodDef */;
-var1 = typing__AReassignFormExpr__reassign_property(self);
-var = var1;
-RET_LABEL:;
-return var;
-}
 /* method typing#AReassignFormExpr#reassign_callsite for (self: AReassignFormExpr): nullable CallSite */
 val* typing__AReassignFormExpr__reassign_callsite(val* self) {
 val* var /* : nullable CallSite */;
@@ -4392,8 +4305,9 @@ varonce11 = var12;
 }
 var_reassign_name = var12;
 } else {
-fprintf(stderr, "Runtime error: %s (%s:%d)\n", "Aborted", "src/typing.nit", 670);
-exit(1);
+fprintf(stderr, "Runtime error: %s", "Aborted");
+fprintf(stderr, " (%s:%d)\n", "src/typing.nit", 656);
+show_backtrace(1);
 }
 }
 ((void (*)(val*, val*))(self->class->vft[COLOR_typing__AReassignFormExpr__read_type_61d]))(self, var_readtype) /* read_type= on <self:AReassignFormExpr>*/;
@@ -4432,7 +4346,6 @@ var31 = NEW_array__NativeArray(var30, &type_array__NativeArraykernel__Object);
 ((struct instance_array__NativeArray*)var31)->values[1] = (val*) var_reassign_name;
 ((struct instance_array__NativeArray*)var31)->values[2] = (val*) var25;
 ((void (*)(val*, val*, long))(var29->class->vft[COLOR_array__Array__with_native]))(var29, var31, var30) /* with_native on <var29:Array[Object]>*/;
-CHECK_NEW_array__Array(var29);
 }
 var32 = ((val* (*)(val*))(var29->class->vft[COLOR_string__Object__to_s]))(var29) /* to_s on <var29:Array[Object]>*/;
 ((void (*)(val*, val*, val*))(var_v->class->vft[COLOR_typing__TypeVisitor__error]))(var_v, self, var32) /* error on <var_v:TypeVisitor>*/;
@@ -4482,8 +4395,9 @@ var41 = var48;
 var41 = var_;
 }
 if (!var41) {
-fprintf(stderr, "Runtime error: %s (%s:%d)\n", "Assert failed", "src/typing.nit", 686);
-exit(1);
+fprintf(stderr, "Runtime error: %s", "Assert failed");
+fprintf(stderr, " (%s:%d)\n", "src/typing.nit", 672);
+show_backtrace(1);
 }
 var49 = ((val* (*)(val*))(self->class->vft[COLOR_parser_nodes__AReassignFormExpr__n_value]))(self) /* n_value on <self:AReassignFormExpr>*/;
 var50 = ((val* (*)(val*))(var_msignature->class->vft[COLOR_model__MSignature__mparameters]))(var_msignature) /* mparameters on <var_msignature:MSignature>*/;
@@ -4547,8 +4461,9 @@ var2 = 0; /* is null */
 var2 = 1; /* arg is null and recv is not */
 }
 if (!var2) {
-fprintf(stderr, "Runtime error: %s (%s:%d)\n", "Assert failed", "src/typing.nit", 700);
-exit(1);
+fprintf(stderr, "Runtime error: %s", "Assert failed");
+fprintf(stderr, " (%s:%d)\n", "src/typing.nit", 686);
+show_backtrace(1);
 }
 var3 = ((val* (*)(val*, val*, val*))(var_v->class->vft[COLOR_typing__TypeVisitor__get_variable]))(var_v, self, var_variable) /* get_variable on <var_v:TypeVisitor>*/;
 var_readtype = var3;
@@ -4562,6 +4477,7 @@ if (var5){
 goto RET_LABEL;
 } else {
 }
+((void (*)(val*, val*))(self->class->vft[COLOR_typing__AReassignFormExpr__read_type_61d]))(self, var_readtype) /* read_type= on <self:AVarReassignExpr>*/;
 var6 = ((val* (*)(val*))(var_variable->class->vft[COLOR_typing__Variable__declared_type]))(var_variable) /* declared_type on <var_variable:nullable Variable(Variable)>*/;
 var_writetype = var6;
 var7 = NULL;
@@ -4661,6 +4577,7 @@ val* var1 /* : MPropDef */;
 short int var2 /* : Bool */;
 int cltype;
 int idtype;
+const char* var_class_name;
 val* var3 /* : nullable MSignature */;
 val* var4 /* : nullable MType */;
 val* var_ret_type /* var ret_type: nullable MType */;
@@ -4698,13 +4615,16 @@ var2 = 0;
 var2 = var1->type->type_table[cltype] == idtype;
 }
 if (!var2) {
-fprintf(stderr, "Runtime error: %s (%s:%d)\n", "Cast failed", "src/typing.nit", 743);
-exit(1);
+var_class_name = var1 == NULL ? "null" : var1->type->name;
+fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "MMethodDef", var_class_name);
+fprintf(stderr, " (%s:%d)\n", "src/typing.nit", 731);
+show_backtrace(1);
 }
 var3 = ((val* (*)(val*))(var1->class->vft[COLOR_model__MMethodDef__msignature]))(var1) /* msignature on <var1:MPropDef(MMethodDef)>*/;
 if (var3 == NULL) {
-fprintf(stderr, "Runtime error: %s (%s:%d)\n", "Reciever is null", "src/typing.nit", 743);
-exit(1);
+fprintf(stderr, "Runtime error: %s", "Receiver is null");
+fprintf(stderr, " (%s:%d)\n", "src/typing.nit", 731);
+show_backtrace(1);
 } else {
 var4 = ((val* (*)(val*))(var3->class->vft[COLOR_model__MSignature__return_mtype]))(var3) /* return_mtype on <var3:nullable MSignature>*/;
 }
@@ -4885,7 +4805,6 @@ var13 = NEW_array__NativeArray(var12, &type_array__NativeArraymodel__MType);
 ((struct instance_array__NativeArray*)var13)->values[0] = (val*) var_t1;
 ((struct instance_array__NativeArray*)var13)->values[1] = (val*) var_t2;
 ((void (*)(val*, val*, long))(var11->class->vft[COLOR_array__Array__with_native]))(var11, var13, var12) /* with_native on <var11:Array[MType]>*/;
-CHECK_NEW_array__Array(var11);
 }
 var14 = ((val* (*)(val*, val*, val*))(var_v->class->vft[COLOR_typing__TypeVisitor__merge_types]))(var_v, self, var11) /* merge_types on <var_v:TypeVisitor>*/;
 var_t = var14;
@@ -4923,7 +4842,6 @@ var28 = NEW_array__NativeArray(var27, &type_array__NativeArraykernel__Object);
 ((struct instance_array__NativeArray*)var28)->values[2] = (val*) var22;
 ((struct instance_array__NativeArray*)var28)->values[3] = (val*) var_t2;
 ((void (*)(val*, val*, long))(var26->class->vft[COLOR_array__Array__with_native]))(var26, var28, var27) /* with_native on <var26:Array[Object]>*/;
-CHECK_NEW_array__Array(var26);
 }
 var29 = ((val* (*)(val*))(var26->class->vft[COLOR_string__Object__to_s]))(var26) /* to_s on <var26:Array[Object]>*/;
 ((void (*)(val*, val*, val*))(var_v->class->vft[COLOR_typing__TypeVisitor__error]))(var_v, self, var29) /* error on <var_v:TypeVisitor>*/;
@@ -5165,837 +5083,973 @@ RET_LABEL:;
 void typing__AForExpr__do_type_iterator(val* self, val* p0, val* p1) {
 val* var_v /* var v: TypeVisitor */;
 val* var_mtype /* var mtype: MType */;
+short int var /* : Bool */;
+int cltype;
+int idtype;
 static val* varonce;
-val* var /* : String */;
-char* var1 /* : NativeString */;
-long var2 /* : Int */;
-val* var3 /* : String */;
-val* var4 /* : nullable MClass */;
+val* var1 /* : String */;
+char* var2 /* : NativeString */;
+long var3 /* : Int */;
+val* var4 /* : String */;
+static val* varonce5;
+val* var6 /* : String */;
+char* var7 /* : NativeString */;
+long var8 /* : Int */;
+val* var9 /* : String */;
+val* var10 /* : nullable MClass */;
 val* var_objcla /* var objcla: nullable MClass */;
-val* var5 /* : null */;
-short int var6 /* : Bool */;
-val* var7 /* : MType */;
+val* var11 /* : null */;
+short int var12 /* : Bool */;
+val* var13 /* : MType */;
 val* var_unsafe_type /* var unsafe_type: MType */;
-static val* varonce8;
-val* var9 /* : String */;
-char* var10 /* : NativeString */;
-long var11 /* : Int */;
-val* var12 /* : String */;
-val* var13 /* : nullable MProperty */;
-val* var14 /* : null */;
-short int var15 /* : Bool */;
-static val* varonce16;
-val* var17 /* : String */;
-char* var18 /* : NativeString */;
-long var19 /* : Int */;
-val* var20 /* : String */;
-val* var21 /* : nullable MProperty */;
-val* var22 /* : null */;
-short int var23 /* : Bool */;
-static val* varonce24;
-val* var25 /* : String */;
-char* var26 /* : NativeString */;
-long var27 /* : Int */;
-val* var28 /* : String */;
-val* var29 /* : Array[Object] */;
-long var30 /* : Int */;
-val* var31 /* : NativeArray[Object] */;
-val* var32 /* : String */;
-val* var33 /* : ModelBuilder */;
-static val* varonce34;
-val* var35 /* : String */;
-char* var36 /* : NativeString */;
-long var37 /* : Int */;
-val* var38 /* : String */;
-val* var39 /* : Array[Object] */;
-long var40 /* : Int */;
-val* var41 /* : NativeArray[Object] */;
-val* var42 /* : String */;
-static val* varonce43;
-val* var44 /* : String */;
-char* var45 /* : NativeString */;
-long var46 /* : Int */;
-val* var47 /* : String */;
-short int var48 /* : Bool */;
-val* var49 /* : nullable CallSite */;
-val* var_itdef /* var itdef: nullable CallSite */;
-val* var50 /* : null */;
-short int var51 /* : Bool */;
-static val* varonce52;
-val* var53 /* : String */;
-char* var54 /* : NativeString */;
-long var55 /* : Int */;
-val* var56 /* : String */;
-val* var57 /* : Array[Object] */;
-long var58 /* : Int */;
-val* var59 /* : NativeArray[Object] */;
-val* var60 /* : String */;
-val* var61 /* : MMethod */;
-val* var62 /* : MSignature */;
-val* var63 /* : nullable MType */;
-val* var_ittype /* var ittype: nullable MType */;
-val* var64 /* : null */;
-short int var65 /* : Bool */;
-static val* varonce66;
-val* var67 /* : String */;
-char* var68 /* : NativeString */;
-long var69 /* : Int */;
-val* var70 /* : String */;
-static val* varonce71;
-val* var72 /* : String */;
-char* var73 /* : NativeString */;
-long var74 /* : Int */;
-val* var75 /* : String */;
-val* var76 /* : nullable MClass */;
+static val* varonce14;
+val* var15 /* : String */;
+char* var16 /* : NativeString */;
+long var17 /* : Int */;
+val* var18 /* : String */;
+val* var19 /* : nullable MProperty */;
+val* var20 /* : null */;
+short int var21 /* : Bool */;
+static val* varonce22;
+val* var23 /* : String */;
+char* var24 /* : NativeString */;
+long var25 /* : Int */;
+val* var26 /* : String */;
+val* var27 /* : nullable MProperty */;
+val* var28 /* : null */;
+short int var29 /* : Bool */;
+static val* varonce30;
+val* var31 /* : String */;
+char* var32 /* : NativeString */;
+long var33 /* : Int */;
+val* var34 /* : String */;
+static val* varonce35;
+val* var36 /* : String */;
+char* var37 /* : NativeString */;
+long var38 /* : Int */;
+val* var39 /* : String */;
+val* var40 /* : Array[Object] */;
+long var41 /* : Int */;
+val* var42 /* : NativeArray[Object] */;
+val* var43 /* : String */;
+val* var44 /* : ModelBuilder */;
+static val* varonce45;
+val* var46 /* : String */;
+char* var47 /* : NativeString */;
+long var48 /* : Int */;
+val* var49 /* : String */;
+val* var50 /* : Array[Object] */;
+long var51 /* : Int */;
+val* var52 /* : NativeArray[Object] */;
+val* var53 /* : String */;
+static val* varonce54;
+val* var55 /* : String */;
+char* var56 /* : NativeString */;
+long var57 /* : Int */;
+val* var58 /* : String */;
+short int var59 /* : Bool */;
+val* var60 /* : nullable CallSite */;
+val* var_itdef /* var itdef: nullable CallSite */;
+val* var61 /* : null */;
+short int var62 /* : Bool */;
+static val* varonce63;
+val* var64 /* : String */;
+char* var65 /* : NativeString */;
+long var66 /* : Int */;
+val* var67 /* : String */;
+static val* varonce68;
+val* var69 /* : String */;
+char* var70 /* : NativeString */;
+long var71 /* : Int */;
+val* var72 /* : String */;
+val* var73 /* : Array[Object] */;
+long var74 /* : Int */;
+val* var75 /* : NativeArray[Object] */;
+val* var76 /* : String */;
+val* var77 /* : MMethod */;
+val* var78 /* : MSignature */;
+val* var79 /* : nullable MType */;
+val* var_ittype /* var ittype: nullable MType */;
+val* var80 /* : null */;
+short int var81 /* : Bool */;
+static val* varonce82;
+val* var83 /* : String */;
+char* var84 /* : NativeString */;
+long var85 /* : Int */;
+val* var86 /* : String */;
+static val* varonce87;
+val* var88 /* : String */;
+char* var89 /* : NativeString */;
+long var90 /* : Int */;
+val* var91 /* : String */;
+val* var92 /* : nullable MClass */;
 val* var_colit_cla /* var colit_cla: nullable MClass */;
-static val* varonce77;
-val* var78 /* : String */;
-char* var79 /* : NativeString */;
-long var80 /* : Int */;
-val* var81 /* : String */;
-val* var82 /* : nullable MClass */;
+static val* varonce93;
+val* var94 /* : String */;
+char* var95 /* : NativeString */;
+long var96 /* : Int */;
+val* var97 /* : String */;
+val* var98 /* : nullable MClass */;
 val* var_mapit_cla /* var mapit_cla: nullable MClass */;
-short int var83 /* : Bool */;
+short int var99 /* : Bool */;
 short int var_is_col /* var is_col: Bool */;
-short int var84 /* : Bool */;
+short int var100 /* : Bool */;
 short int var_is_map /* var is_map: Bool */;
-short int var85 /* : Bool */;
-val* var86 /* : null */;
-short int var87 /* : Bool */;
+short int var101 /* : Bool */;
+val* var102 /* : null */;
+short int var103 /* : Bool */;
 short int var_ /* var : Bool */;
-val* var88 /* : MClassType */;
-val* var89 /* : MType */;
-val* var90 /* : Array[MType] */;
-long var91 /* : Int */;
-val* var92 /* : NativeArray[MType] */;
-val* var93 /* : MClassType */;
-short int var94 /* : Bool */;
-val* var95 /* : MModule */;
-val* var96 /* : MClassType */;
-val* var97 /* : MClassType */;
+val* var104 /* : MClassType */;
+val* var105 /* : MType */;
+val* var106 /* : Array[MType] */;
+long var107 /* : Int */;
+val* var108 /* : NativeArray[MType] */;
+val* var109 /* : MClassType */;
+short int var110 /* : Bool */;
+val* var111 /* : MModule */;
+val* var112 /* : MClassType */;
+val* var113 /* : MClassType */;
 val* var_coltype /* var coltype: MClassType */;
-val* var98 /* : nullable Array[Variable] */;
+val* var114 /* : nullable Array[Variable] */;
 val* var_variables /* var variables: nullable Array[Variable] */;
-long var99 /* : Int */;
-long var100 /* : Int */;
-short int var101 /* : Bool */;
-short int var103 /* : Bool */;
-short int var104 /* : Bool */;
-static val* varonce105;
-val* var106 /* : String */;
-char* var107 /* : NativeString */;
-long var108 /* : Int */;
-val* var109 /* : String */;
-val* var110 /* : nullable Object */;
-val* var111 /* : Array[MType] */;
-val* var112 /* : nullable Object */;
-short int var113 /* : Bool */;
-short int var114 /* : Bool */;
-val* var115 /* : null */;
-short int var116 /* : Bool */;
-short int var_117 /* var : Bool */;
-val* var118 /* : MClassType */;
-val* var119 /* : MClassType */;
-val* var120 /* : MType */;
-val* var121 /* : Array[MType] */;
-long var122 /* : Int */;
-val* var123 /* : NativeArray[MType] */;
-val* var124 /* : MClassType */;
-short int var125 /* : Bool */;
-val* var126 /* : MModule */;
-val* var127 /* : MClassType */;
-val* var128 /* : MClassType */;
-val* var_coltype129 /* var coltype: MClassType */;
-val* var130 /* : nullable Array[Variable] */;
-val* var_variables131 /* var variables: nullable Array[Variable] */;
-long var132 /* : Int */;
-long var133 /* : Int */;
-short int var134 /* : Bool */;
-short int var136 /* : Bool */;
-short int var137 /* : Bool */;
-static val* varonce138;
-val* var139 /* : String */;
-char* var140 /* : NativeString */;
-long var141 /* : Int */;
-val* var142 /* : String */;
-long var143 /* : Int */;
-val* var144 /* : nullable Object */;
-val* var145 /* : Array[MType] */;
-long var146 /* : Int */;
-val* var147 /* : nullable Object */;
+long var115 /* : Int */;
+long var116 /* : Int */;
+short int var117 /* : Bool */;
+short int var119 /* : Bool */;
+short int var120 /* : Bool */;
+static val* varonce121;
+val* var122 /* : String */;
+char* var123 /* : NativeString */;
+long var124 /* : Int */;
+val* var125 /* : String */;
+val* var126 /* : nullable Object */;
+val* var127 /* : Array[MType] */;
+val* var128 /* : nullable Object */;
+short int var129 /* : Bool */;
+short int var130 /* : Bool */;
+val* var131 /* : null */;
+short int var132 /* : Bool */;
+short int var_133 /* var : Bool */;
+val* var134 /* : MClassType */;
+val* var135 /* : MClassType */;
+val* var136 /* : MType */;
+val* var137 /* : Array[MType] */;
+long var138 /* : Int */;
+val* var139 /* : NativeArray[MType] */;
+val* var140 /* : MClassType */;
+short int var141 /* : Bool */;
+val* var142 /* : MModule */;
+val* var143 /* : MClassType */;
+val* var144 /* : MClassType */;
+val* var_coltype145 /* var coltype: MClassType */;
+val* var146 /* : nullable Array[Variable] */;
+val* var_variables147 /* var variables: nullable Array[Variable] */;
 long var148 /* : Int */;
-val* var149 /* : nullable Object */;
-val* var150 /* : Array[MType] */;
-long var151 /* : Int */;
-val* var152 /* : nullable Object */;
+long var149 /* : Int */;
+short int var150 /* : Bool */;
+short int var152 /* : Bool */;
 short int var153 /* : Bool */;
-short int var154 /* : Bool */;
-short int var155 /* : Bool */;
-short int var_156 /* var : Bool */;
-short int var157 /* : Bool */;
-static val* varonce158;
-val* var159 /* : String */;
-char* var160 /* : NativeString */;
-long var161 /* : Int */;
-val* var162 /* : String */;
-short int var163 /* : Bool */;
-val* var164 /* : MType */;
-short int var165 /* : Bool */;
-int cltype;
-int idtype;
-static val* varonce166;
-val* var167 /* : String */;
-char* var168 /* : NativeString */;
-long var169 /* : Int */;
-val* var170 /* : String */;
+static val* varonce154;
+val* var155 /* : String */;
+char* var156 /* : NativeString */;
+long var157 /* : Int */;
+val* var158 /* : String */;
+long var159 /* : Int */;
+val* var160 /* : nullable Object */;
+val* var161 /* : Array[MType] */;
+long var162 /* : Int */;
+val* var163 /* : nullable Object */;
+long var164 /* : Int */;
+val* var165 /* : nullable Object */;
+val* var166 /* : Array[MType] */;
+long var167 /* : Int */;
+val* var168 /* : nullable Object */;
+short int var169 /* : Bool */;
+short int var170 /* : Bool */;
 short int var171 /* : Bool */;
-val* var172 /* : nullable CallSite */;
-val* var_ikdef /* var ikdef: nullable CallSite */;
-val* var173 /* : null */;
-short int var174 /* : Bool */;
-static val* varonce175;
-val* var176 /* : String */;
-char* var177 /* : NativeString */;
-long var178 /* : Int */;
-val* var179 /* : String */;
-val* var180 /* : Array[Object] */;
-long var181 /* : Int */;
-val* var182 /* : NativeArray[Object] */;
-val* var183 /* : String */;
-val* var184 /* : MMethod */;
-static val* varonce185;
-val* var186 /* : String */;
-char* var187 /* : NativeString */;
-long var188 /* : Int */;
+short int var_172 /* var : Bool */;
+short int var173 /* : Bool */;
+static val* varonce174;
+val* var175 /* : String */;
+char* var176 /* : NativeString */;
+long var177 /* : Int */;
+val* var178 /* : String */;
+short int var179 /* : Bool */;
+val* var180 /* : MType */;
+short int var181 /* : Bool */;
+int cltype182;
+int idtype183;
+val* var184 /* : MType */;
+short int var185 /* : Bool */;
+int cltype186;
+int idtype187;
+const char* var_class_name;
+static val* varonce188;
 val* var189 /* : String */;
-short int var190 /* : Bool */;
-val* var191 /* : nullable CallSite */;
-val* var_itemdef /* var itemdef: nullable CallSite */;
-val* var192 /* : null */;
+char* var190 /* : NativeString */;
+long var191 /* : Int */;
+val* var192 /* : String */;
 short int var193 /* : Bool */;
-static val* varonce194;
-val* var195 /* : String */;
-char* var196 /* : NativeString */;
-long var197 /* : Int */;
+val* var194 /* : nullable CallSite */;
+val* var_ikdef /* var ikdef: nullable CallSite */;
+val* var195 /* : null */;
+short int var196 /* : Bool */;
+static val* varonce197;
 val* var198 /* : String */;
-val* var199 /* : Array[Object] */;
+char* var199 /* : NativeString */;
 long var200 /* : Int */;
-val* var201 /* : NativeArray[Object] */;
-val* var202 /* : String */;
-val* var203 /* : MMethod */;
-static val* varonce204;
-val* var205 /* : String */;
-char* var206 /* : NativeString */;
-long var207 /* : Int */;
-val* var208 /* : String */;
-short int var209 /* : Bool */;
-val* var210 /* : nullable CallSite */;
-val* var_nextdef /* var nextdef: nullable CallSite */;
-val* var211 /* : null */;
-short int var212 /* : Bool */;
-static val* varonce213;
-val* var214 /* : String */;
-char* var215 /* : NativeString */;
-long var216 /* : Int */;
-val* var217 /* : String */;
-val* var218 /* : Array[Object] */;
-long var219 /* : Int */;
-val* var220 /* : NativeArray[Object] */;
-val* var221 /* : String */;
-val* var222 /* : MMethod */;
-static val* varonce223;
-val* var224 /* : String */;
-char* var225 /* : NativeString */;
-long var226 /* : Int */;
+val* var201 /* : String */;
+static val* varonce202;
+val* var203 /* : String */;
+char* var204 /* : NativeString */;
+long var205 /* : Int */;
+val* var206 /* : String */;
+val* var207 /* : Array[Object] */;
+long var208 /* : Int */;
+val* var209 /* : NativeArray[Object] */;
+val* var210 /* : String */;
+val* var211 /* : MMethod */;
+static val* varonce212;
+val* var213 /* : String */;
+char* var214 /* : NativeString */;
+long var215 /* : Int */;
+val* var216 /* : String */;
+short int var217 /* : Bool */;
+val* var218 /* : nullable CallSite */;
+val* var_itemdef /* var itemdef: nullable CallSite */;
+val* var219 /* : null */;
+short int var220 /* : Bool */;
+static val* varonce221;
+val* var222 /* : String */;
+char* var223 /* : NativeString */;
+long var224 /* : Int */;
+val* var225 /* : String */;
+static val* varonce226;
 val* var227 /* : String */;
-short int var228 /* : Bool */;
-val* var229 /* : nullable CallSite */;
-val* var_keydef /* var keydef: nullable CallSite */;
-val* var230 /* : null */;
-short int var231 /* : Bool */;
-static val* varonce232;
-val* var233 /* : String */;
-char* var234 /* : NativeString */;
-long var235 /* : Int */;
-val* var236 /* : String */;
-val* var237 /* : Array[Object] */;
-long var238 /* : Int */;
-val* var239 /* : NativeArray[Object] */;
+char* var228 /* : NativeString */;
+long var229 /* : Int */;
+val* var230 /* : String */;
+val* var231 /* : Array[Object] */;
+long var232 /* : Int */;
+val* var233 /* : NativeArray[Object] */;
+val* var234 /* : String */;
+val* var235 /* : MMethod */;
+static val* varonce236;
+val* var237 /* : String */;
+char* var238 /* : NativeString */;
+long var239 /* : Int */;
 val* var240 /* : String */;
-val* var241 /* : MMethod */;
+short int var241 /* : Bool */;
+val* var242 /* : nullable CallSite */;
+val* var_nextdef /* var nextdef: nullable CallSite */;
+val* var243 /* : null */;
+short int var244 /* : Bool */;
+static val* varonce245;
+val* var246 /* : String */;
+char* var247 /* : NativeString */;
+long var248 /* : Int */;
+val* var249 /* : String */;
+static val* varonce250;
+val* var251 /* : String */;
+char* var252 /* : NativeString */;
+long var253 /* : Int */;
+val* var254 /* : String */;
+val* var255 /* : Array[Object] */;
+long var256 /* : Int */;
+val* var257 /* : NativeArray[Object] */;
+val* var258 /* : String */;
+val* var259 /* : MMethod */;
+static val* varonce260;
+val* var261 /* : String */;
+char* var262 /* : NativeString */;
+long var263 /* : Int */;
+val* var264 /* : String */;
+short int var265 /* : Bool */;
+val* var266 /* : nullable CallSite */;
+val* var_keydef /* var keydef: nullable CallSite */;
+val* var267 /* : null */;
+short int var268 /* : Bool */;
+static val* varonce269;
+val* var270 /* : String */;
+char* var271 /* : NativeString */;
+long var272 /* : Int */;
+val* var273 /* : String */;
+static val* varonce274;
+val* var275 /* : String */;
+char* var276 /* : NativeString */;
+long var277 /* : Int */;
+val* var278 /* : String */;
+val* var279 /* : Array[Object] */;
+long var280 /* : Int */;
+val* var281 /* : NativeArray[Object] */;
+val* var282 /* : String */;
+val* var283 /* : MMethod */;
 var_v = p0;
 var_mtype = p1;
+/* <var_mtype:MType> isa MNullType */
+cltype = type_model__MNullType.color;
+idtype = type_model__MNullType.id;
+if(cltype >= var_mtype->type->table_size) {
+var = 0;
+} else {
+var = var_mtype->type->type_table[cltype] == idtype;
+}
+if (var){
 if (varonce) {
-var = varonce;
+var1 = varonce;
 } else {
-var1 = "Object";
-var2 = 6;
-var3 = string__NativeString__to_s_with_length(var1, var2);
-var = var3;
-varonce = var;
+var2 = "Type error: \'for\' cannot iterate over \'null\'";
+var3 = 44;
+var4 = string__NativeString__to_s_with_length(var2, var3);
+var1 = var4;
+varonce = var1;
 }
-var4 = ((val* (*)(val*, val*, val*))(var_v->class->vft[COLOR_typing__TypeVisitor__get_mclass]))(var_v, self, var) /* get_mclass on <var_v:TypeVisitor>*/;
-var_objcla = var4;
-var5 = NULL;
+((void (*)(val*, val*, val*))(var_v->class->vft[COLOR_typing__TypeVisitor__error]))(var_v, self, var1) /* error on <var_v:TypeVisitor>*/;
+goto RET_LABEL;
+} else {
+}
+if (varonce5) {
+var6 = varonce5;
+} else {
+var7 = "Object";
+var8 = 6;
+var9 = string__NativeString__to_s_with_length(var7, var8);
+var6 = var9;
+varonce5 = var6;
+}
+var10 = ((val* (*)(val*, val*, val*))(var_v->class->vft[COLOR_typing__TypeVisitor__get_mclass]))(var_v, self, var6) /* get_mclass on <var_v:TypeVisitor>*/;
+var_objcla = var10;
+var11 = NULL;
 if (var_objcla == NULL) {
-var6 = 1; /* is null */
+var12 = 1; /* is null */
 } else {
-var6 = 0; /* arg is null but recv is not */
+var12 = 0; /* arg is null but recv is not */
 }
-if (var6){
+if (var12){
 goto RET_LABEL;
 } else {
 }
-var7 = ((val* (*)(val*, val*))(var_v->class->vft[COLOR_typing__TypeVisitor__anchor_to]))(var_v, var_mtype) /* anchor_to on <var_v:TypeVisitor>*/;
-var_unsafe_type = var7;
-if (varonce8) {
-var9 = varonce8;
+var13 = ((val* (*)(val*, val*))(var_v->class->vft[COLOR_typing__TypeVisitor__anchor_to]))(var_v, var_mtype) /* anchor_to on <var_v:TypeVisitor>*/;
+var_unsafe_type = var13;
+if (varonce14) {
+var15 = varonce14;
 } else {
-var10 = "iterator";
-var11 = 8;
-var12 = string__NativeString__to_s_with_length(var10, var11);
-var9 = var12;
-varonce8 = var9;
+var16 = "iterator";
+var17 = 8;
+var18 = string__NativeString__to_s_with_length(var16, var17);
+var15 = var18;
+varonce14 = var15;
 }
-var13 = ((val* (*)(val*, val*, val*, val*))(var_v->class->vft[COLOR_typing__TypeVisitor__try_get_mproperty_by_name2]))(var_v, self, var_unsafe_type, var9) /* try_get_mproperty_by_name2 on <var_v:TypeVisitor>*/;
-var14 = NULL;
-if (var13 == NULL) {
-var15 = 1; /* is null */
+var19 = ((val* (*)(val*, val*, val*, val*))(var_v->class->vft[COLOR_typing__TypeVisitor__try_get_mproperty_by_name2]))(var_v, self, var_unsafe_type, var15) /* try_get_mproperty_by_name2 on <var_v:TypeVisitor>*/;
+var20 = NULL;
+if (var19 == NULL) {
+var21 = 1; /* is null */
 } else {
-var15 = 0; /* arg is null but recv is not */
+var21 = 0; /* arg is null but recv is not */
 }
-if (var15){
-if (varonce16) {
-var17 = varonce16;
+if (var21){
+if (varonce22) {
+var23 = varonce22;
 } else {
-var18 = "iterate";
-var19 = 7;
-var20 = string__NativeString__to_s_with_length(var18, var19);
-var17 = var20;
-varonce16 = var17;
+var24 = "iterate";
+var25 = 7;
+var26 = string__NativeString__to_s_with_length(var24, var25);
+var23 = var26;
+varonce22 = var23;
 }
-var21 = ((val* (*)(val*, val*, val*, val*))(var_v->class->vft[COLOR_typing__TypeVisitor__try_get_mproperty_by_name2]))(var_v, self, var_unsafe_type, var17) /* try_get_mproperty_by_name2 on <var_v:TypeVisitor>*/;
-var22 = NULL;
-if (var21 == NULL) {
-var23 = 1; /* is null */
+var27 = ((val* (*)(val*, val*, val*, val*))(var_v->class->vft[COLOR_typing__TypeVisitor__try_get_mproperty_by_name2]))(var_v, self, var_unsafe_type, var23) /* try_get_mproperty_by_name2 on <var_v:TypeVisitor>*/;
+var28 = NULL;
+if (var27 == NULL) {
+var29 = 1; /* is null */
 } else {
-var23 = 0; /* arg is null but recv is not */
+var29 = 0; /* arg is null but recv is not */
 }
-if (var23){
-if (varonce24) {
-var25 = varonce24;
+if (var29){
+if (varonce30) {
+var31 = varonce30;
 } else {
-var26 = "Type Error: Expected method \'iterator\' in type ";
-var27 = 47;
-var28 = string__NativeString__to_s_with_length(var26, var27);
-var25 = var28;
-varonce24 = var25;
+var32 = "Type Error: \'for\' expects a type providing \'iterator\' method, got \'";
+var33 = 67;
+var34 = string__NativeString__to_s_with_length(var32, var33);
+var31 = var34;
+varonce30 = var31;
 }
-var29 = NEW_array__Array(&type_array__Arraykernel__Object);
-{ /* var29 = array_instance Array[Object] */
-var30 = 2;
-var31 = NEW_array__NativeArray(var30, &type_array__NativeArraykernel__Object);
-((struct instance_array__NativeArray*)var31)->values[0] = (val*) var25;
-((struct instance_array__NativeArray*)var31)->values[1] = (val*) var_mtype;
-((void (*)(val*, val*, long))(var29->class->vft[COLOR_array__Array__with_native]))(var29, var31, var30) /* with_native on <var29:Array[Object]>*/;
-CHECK_NEW_array__Array(var29);
+if (varonce35) {
+var36 = varonce35;
+} else {
+var37 = "\'.";
+var38 = 2;
+var39 = string__NativeString__to_s_with_length(var37, var38);
+var36 = var39;
+varonce35 = var36;
 }
-var32 = ((val* (*)(val*))(var29->class->vft[COLOR_string__Object__to_s]))(var29) /* to_s on <var29:Array[Object]>*/;
-((void (*)(val*, val*, val*))(var_v->class->vft[COLOR_typing__TypeVisitor__error]))(var_v, self, var32) /* error on <var_v:TypeVisitor>*/;
+var40 = NEW_array__Array(&type_array__Arraykernel__Object);
+{ /* var40 = array_instance Array[Object] */
+var41 = 3;
+var42 = NEW_array__NativeArray(var41, &type_array__NativeArraykernel__Object);
+((struct instance_array__NativeArray*)var42)->values[0] = (val*) var31;
+((struct instance_array__NativeArray*)var42)->values[1] = (val*) var_mtype;
+((struct instance_array__NativeArray*)var42)->values[2] = (val*) var36;
+((void (*)(val*, val*, long))(var40->class->vft[COLOR_array__Array__with_native]))(var40, var42, var41) /* with_native on <var40:Array[Object]>*/;
+}
+var43 = ((val* (*)(val*))(var40->class->vft[COLOR_string__Object__to_s]))(var40) /* to_s on <var40:Array[Object]>*/;
+((void (*)(val*, val*, val*))(var_v->class->vft[COLOR_typing__TypeVisitor__error]))(var_v, self, var43) /* error on <var_v:TypeVisitor>*/;
 } else {
-var33 = ((val* (*)(val*))(var_v->class->vft[COLOR_typing__TypeVisitor__modelbuilder]))(var_v) /* modelbuilder on <var_v:TypeVisitor>*/;
-if (varonce34) {
-var35 = varonce34;
+var44 = ((val* (*)(val*))(var_v->class->vft[COLOR_typing__TypeVisitor__modelbuilder]))(var_v) /* modelbuilder on <var_v:TypeVisitor>*/;
+if (varonce45) {
+var46 = varonce45;
 } else {
-var36 = "NOT YET IMPLEMENTED: Do \'for\' on ";
-var37 = 33;
-var38 = string__NativeString__to_s_with_length(var36, var37);
-var35 = var38;
-varonce34 = var35;
+var47 = "NOT YET IMPLEMENTED: Do \'for\' on ";
+var48 = 33;
+var49 = string__NativeString__to_s_with_length(var47, var48);
+var46 = var49;
+varonce45 = var46;
 }
-var39 = NEW_array__Array(&type_array__Arraykernel__Object);
-{ /* var39 = array_instance Array[Object] */
-var40 = 2;
-var41 = NEW_array__NativeArray(var40, &type_array__NativeArraykernel__Object);
-((struct instance_array__NativeArray*)var41)->values[0] = (val*) var35;
-((struct instance_array__NativeArray*)var41)->values[1] = (val*) var_mtype;
-((void (*)(val*, val*, long))(var39->class->vft[COLOR_array__Array__with_native]))(var39, var41, var40) /* with_native on <var39:Array[Object]>*/;
-CHECK_NEW_array__Array(var39);
+var50 = NEW_array__Array(&type_array__Arraykernel__Object);
+{ /* var50 = array_instance Array[Object] */
+var51 = 2;
+var52 = NEW_array__NativeArray(var51, &type_array__NativeArraykernel__Object);
+((struct instance_array__NativeArray*)var52)->values[0] = (val*) var46;
+((struct instance_array__NativeArray*)var52)->values[1] = (val*) var_mtype;
+((void (*)(val*, val*, long))(var50->class->vft[COLOR_array__Array__with_native]))(var50, var52, var51) /* with_native on <var50:Array[Object]>*/;
 }
-var42 = ((val* (*)(val*))(var39->class->vft[COLOR_string__Object__to_s]))(var39) /* to_s on <var39:Array[Object]>*/;
-((void (*)(val*, val*, val*))(var33->class->vft[COLOR_modelbuilder__ModelBuilder__error]))(var33, self, var42) /* error on <var33:ModelBuilder>*/;
+var53 = ((val* (*)(val*))(var50->class->vft[COLOR_string__Object__to_s]))(var50) /* to_s on <var50:Array[Object]>*/;
+((void (*)(val*, val*, val*))(var44->class->vft[COLOR_modelbuilder__ModelBuilder__error]))(var44, self, var53) /* error on <var44:ModelBuilder>*/;
 }
 goto RET_LABEL;
 } else {
 }
-if (varonce43) {
-var44 = varonce43;
+if (varonce54) {
+var55 = varonce54;
 } else {
-var45 = "iterator";
-var46 = 8;
-var47 = string__NativeString__to_s_with_length(var45, var46);
-var44 = var47;
-varonce43 = var44;
+var56 = "iterator";
+var57 = 8;
+var58 = string__NativeString__to_s_with_length(var56, var57);
+var55 = var58;
+varonce54 = var55;
 }
-var48 = 1;
-var49 = ((val* (*)(val*, val*, val*, val*, short int))(var_v->class->vft[COLOR_typing__TypeVisitor__get_method]))(var_v, self, var_mtype, var44, var48) /* get_method on <var_v:TypeVisitor>*/;
-var_itdef = var49;
-var50 = NULL;
+var59 = 1;
+var60 = ((val* (*)(val*, val*, val*, val*, short int))(var_v->class->vft[COLOR_typing__TypeVisitor__get_method]))(var_v, self, var_mtype, var55, var59) /* get_method on <var_v:TypeVisitor>*/;
+var_itdef = var60;
+var61 = NULL;
 if (var_itdef == NULL) {
-var51 = 1; /* is null */
+var62 = 1; /* is null */
 } else {
-var51 = 0; /* arg is null but recv is not */
+var62 = 0; /* arg is null but recv is not */
 }
-if (var51){
-if (varonce52) {
-var53 = varonce52;
-} else {
-var54 = "Type Error: Expected method \'iterator\' in type ";
-var55 = 47;
-var56 = string__NativeString__to_s_with_length(var54, var55);
-var53 = var56;
-varonce52 = var53;
-}
-var57 = NEW_array__Array(&type_array__Arraykernel__Object);
-{ /* var57 = array_instance Array[Object] */
-var58 = 2;
-var59 = NEW_array__NativeArray(var58, &type_array__NativeArraykernel__Object);
-((struct instance_array__NativeArray*)var59)->values[0] = (val*) var53;
-((struct instance_array__NativeArray*)var59)->values[1] = (val*) var_mtype;
-((void (*)(val*, val*, long))(var57->class->vft[COLOR_array__Array__with_native]))(var57, var59, var58) /* with_native on <var57:Array[Object]>*/;
-CHECK_NEW_array__Array(var57);
-}
-var60 = ((val* (*)(val*))(var57->class->vft[COLOR_string__Object__to_s]))(var57) /* to_s on <var57:Array[Object]>*/;
-((void (*)(val*, val*, val*))(var_v->class->vft[COLOR_typing__TypeVisitor__error]))(var_v, self, var60) /* error on <var_v:TypeVisitor>*/;
-goto RET_LABEL;
-} else {
-}
-var61 = ((val* (*)(val*))(var_itdef->class->vft[COLOR_typing__CallSite__mproperty]))(var_itdef) /* mproperty on <var_itdef:nullable CallSite(CallSite)>*/;
-((void (*)(val*, val*))(self->class->vft[COLOR_typing__AForExpr__method_iterator_61d]))(self, var61) /* method_iterator= on <self:AForExpr>*/;
-var62 = ((val* (*)(val*))(var_itdef->class->vft[COLOR_typing__CallSite__msignature]))(var_itdef) /* msignature on <var_itdef:nullable CallSite(CallSite)>*/;
-var63 = ((val* (*)(val*))(var62->class->vft[COLOR_model__MSignature__return_mtype]))(var62) /* return_mtype on <var62:MSignature>*/;
-var_ittype = var63;
-var64 = NULL;
+if (var62){
+if (varonce63) {
+var64 = varonce63;
+} else {
+var65 = "Type Error: \'for\' expects a type providing \'iterator\' method, got \'";
+var66 = 67;
+var67 = string__NativeString__to_s_with_length(var65, var66);
+var64 = var67;
+varonce63 = var64;
+}
+if (varonce68) {
+var69 = varonce68;
+} else {
+var70 = "\'.";
+var71 = 2;
+var72 = string__NativeString__to_s_with_length(var70, var71);
+var69 = var72;
+varonce68 = var69;
+}
+var73 = NEW_array__Array(&type_array__Arraykernel__Object);
+{ /* var73 = array_instance Array[Object] */
+var74 = 3;
+var75 = NEW_array__NativeArray(var74, &type_array__NativeArraykernel__Object);
+((struct instance_array__NativeArray*)var75)->values[0] = (val*) var64;
+((struct instance_array__NativeArray*)var75)->values[1] = (val*) var_mtype;
+((struct instance_array__NativeArray*)var75)->values[2] = (val*) var69;
+((void (*)(val*, val*, long))(var73->class->vft[COLOR_array__Array__with_native]))(var73, var75, var74) /* with_native on <var73:Array[Object]>*/;
+}
+var76 = ((val* (*)(val*))(var73->class->vft[COLOR_string__Object__to_s]))(var73) /* to_s on <var73:Array[Object]>*/;
+((void (*)(val*, val*, val*))(var_v->class->vft[COLOR_typing__TypeVisitor__error]))(var_v, self, var76) /* error on <var_v:TypeVisitor>*/;
+goto RET_LABEL;
+} else {
+}
+var77 = ((val* (*)(val*))(var_itdef->class->vft[COLOR_typing__CallSite__mproperty]))(var_itdef) /* mproperty on <var_itdef:nullable CallSite(CallSite)>*/;
+((void (*)(val*, val*))(self->class->vft[COLOR_typing__AForExpr__method_iterator_61d]))(self, var77) /* method_iterator= on <self:AForExpr>*/;
+var78 = ((val* (*)(val*))(var_itdef->class->vft[COLOR_typing__CallSite__msignature]))(var_itdef) /* msignature on <var_itdef:nullable CallSite(CallSite)>*/;
+var79 = ((val* (*)(val*))(var78->class->vft[COLOR_model__MSignature__return_mtype]))(var78) /* return_mtype on <var78:MSignature>*/;
+var_ittype = var79;
+var80 = NULL;
 if (var_ittype == NULL) {
-var65 = 1; /* is null */
+var81 = 1; /* is null */
 } else {
-var65 = 0; /* arg is null but recv is not */
+var81 = 0; /* arg is null but recv is not */
 }
-if (var65){
-if (varonce66) {
-var67 = varonce66;
-} else {
-var68 = "Type Error: Expected method \'iterator\' to return an Iterator or MapIterator type";
-var69 = 80;
-var70 = string__NativeString__to_s_with_length(var68, var69);
-var67 = var70;
-varonce66 = var67;
-}
-((void (*)(val*, val*, val*))(var_v->class->vft[COLOR_typing__TypeVisitor__error]))(var_v, self, var67) /* error on <var_v:TypeVisitor>*/;
-goto RET_LABEL;
-} else {
-}
-if (varonce71) {
-var72 = varonce71;
-} else {
-var73 = "Iterator";
-var74 = 8;
-var75 = string__NativeString__to_s_with_length(var73, var74);
-var72 = var75;
-varonce71 = var72;
-}
-var76 = ((val* (*)(val*, val*, val*))(var_v->class->vft[COLOR_typing__TypeVisitor__try_get_mclass]))(var_v, self, var72) /* try_get_mclass on <var_v:TypeVisitor>*/;
-var_colit_cla = var76;
-if (varonce77) {
-var78 = varonce77;
-} else {
-var79 = "MapIterator";
-var80 = 11;
-var81 = string__NativeString__to_s_with_length(var79, var80);
-var78 = var81;
-varonce77 = var78;
-}
-var82 = ((val* (*)(val*, val*, val*))(var_v->class->vft[COLOR_typing__TypeVisitor__try_get_mclass]))(var_v, self, var78) /* try_get_mclass on <var_v:TypeVisitor>*/;
-var_mapit_cla = var82;
-var83 = 0;
-var_is_col = var83;
-var84 = 0;
-var_is_map = var84;
-var86 = NULL;
-if (var_colit_cla == NULL) {
-var87 = 0; /* is null */
-} else {
-var87 = 1; /* arg is null and recv is not */
-}
-var_ = var87;
-if (var87){
-var88 = ((val* (*)(val*))(var_objcla->class->vft[COLOR_model__MClass__mclass_type]))(var_objcla) /* mclass_type on <var_objcla:nullable MClass(MClass)>*/;
-var89 = ((val* (*)(val*))(var88->class->vft[COLOR_model__MType__as_nullable]))(var88) /* as_nullable on <var88:MClassType>*/;
-var90 = NEW_array__Array(&type_array__Arraymodel__MType);
-{ /* var90 = array_instance Array[MType] */
-var91 = 1;
-var92 = NEW_array__NativeArray(var91, &type_array__NativeArraymodel__MType);
-((struct instance_array__NativeArray*)var92)->values[0] = (val*) var89;
-((void (*)(val*, val*, long))(var90->class->vft[COLOR_array__Array__with_native]))(var90, var92, var91) /* with_native on <var90:Array[MType]>*/;
-CHECK_NEW_array__Array(var90);
-}
-var93 = ((val* (*)(val*, val*))(var_colit_cla->class->vft[COLOR_model__MClass__get_mtype]))(var_colit_cla, var90) /* get_mtype on <var_colit_cla:nullable MClass(MClass)>*/;
-var94 = ((short int (*)(val*, val*, val*))(var_v->class->vft[COLOR_typing__TypeVisitor__is_subtype]))(var_v, var_ittype, var93) /* is_subtype on <var_v:TypeVisitor>*/;
-var85 = var94;
-} else {
-var85 = var_;
-}
-if (var85){
-var95 = ((val* (*)(val*))(var_v->class->vft[COLOR_typing__TypeVisitor__mmodule]))(var_v) /* mmodule on <var_v:TypeVisitor>*/;
-var96 = ((val* (*)(val*))(var_v->class->vft[COLOR_typing__TypeVisitor__anchor]))(var_v) /* anchor on <var_v:TypeVisitor>*/;
-var97 = ((val* (*)(val*, val*, val*, val*))(var_ittype->class->vft[COLOR_model__MType__supertype_to]))(var_ittype, var95, var96, var_colit_cla) /* supertype_to on <var_ittype:nullable MType(MType)>*/;
-var_coltype = var97;
-var98 = ((val* (*)(val*))(self->class->vft[COLOR_scope__AForExpr__variables]))(self) /* variables on <self:AForExpr>*/;
-var_variables = var98;
-if (var_variables == NULL) {
-fprintf(stderr, "Runtime error: %s (%s:%d)\n", "Reciever is null", "src/typing.nit", 872);
-exit(1);
+if (var81){
+if (varonce82) {
+var83 = varonce82;
 } else {
-var99 = ((long (*)(val*))(var_variables->class->vft[COLOR_abstract_collection__Collection__length]))(var_variables) /* length on <var_variables:nullable Array[Variable]>*/;
+var84 = "Type Error: \'for\' expects method \'iterator\' to return an \'Iterator\' or \'MapIterator\' type\'.";
+var85 = 91;
+var86 = string__NativeString__to_s_with_length(var84, var85);
+var83 = var86;
+varonce82 = var83;
 }
-var100 = 1;
-{ /* Inline kernel#Int#!= (var99,var100) */
-var103 = var99 == var100;
-var104 = !var103;
-var101 = var104;
-goto RET_LABEL102;
-RET_LABEL102:(void)0;
+((void (*)(val*, val*, val*))(var_v->class->vft[COLOR_typing__TypeVisitor__error]))(var_v, self, var83) /* error on <var_v:TypeVisitor>*/;
+goto RET_LABEL;
+} else {
 }
-if (var101){
-if (varonce105) {
-var106 = varonce105;
+if (varonce87) {
+var88 = varonce87;
 } else {
-var107 = "Type Error: Expected one variable";
-var108 = 33;
-var109 = string__NativeString__to_s_with_length(var107, var108);
-var106 = var109;
-varonce105 = var106;
+var89 = "Iterator";
+var90 = 8;
+var91 = string__NativeString__to_s_with_length(var89, var90);
+var88 = var91;
+varonce87 = var88;
 }
-((void (*)(val*, val*, val*))(var_v->class->vft[COLOR_typing__TypeVisitor__error]))(var_v, self, var106) /* error on <var_v:TypeVisitor>*/;
+var92 = ((val* (*)(val*, val*, val*))(var_v->class->vft[COLOR_typing__TypeVisitor__try_get_mclass]))(var_v, self, var88) /* try_get_mclass on <var_v:TypeVisitor>*/;
+var_colit_cla = var92;
+if (varonce93) {
+var94 = varonce93;
 } else {
-if (var_variables == NULL) {
-fprintf(stderr, "Runtime error: %s (%s:%d)\n", "Reciever is null", "src/typing.nit", 875);
-exit(1);
+var95 = "MapIterator";
+var96 = 11;
+var97 = string__NativeString__to_s_with_length(var95, var96);
+var94 = var97;
+varonce93 = var94;
+}
+var98 = ((val* (*)(val*, val*, val*))(var_v->class->vft[COLOR_typing__TypeVisitor__try_get_mclass]))(var_v, self, var94) /* try_get_mclass on <var_v:TypeVisitor>*/;
+var_mapit_cla = var98;
+var99 = 0;
+var_is_col = var99;
+var100 = 0;
+var_is_map = var100;
+var102 = NULL;
+if (var_colit_cla == NULL) {
+var103 = 0; /* is null */
 } else {
-var110 = ((val* (*)(val*))(var_variables->class->vft[COLOR_abstract_collection__Collection__first]))(var_variables) /* first on <var_variables:nullable Array[Variable]>*/;
+var103 = 1; /* arg is null and recv is not */
 }
-var111 = ((val* (*)(val*))(var_coltype->class->vft[COLOR_model__MClassType__arguments]))(var_coltype) /* arguments on <var_coltype:MClassType>*/;
-var112 = ((val* (*)(val*))(var111->class->vft[COLOR_abstract_collection__Collection__first]))(var111) /* first on <var111:Array[MType]>*/;
-((void (*)(val*, val*))(var110->class->vft[COLOR_typing__Variable__declared_type_61d]))(var110, var112) /* declared_type= on <var110:nullable Object(Variable)>*/;
+var_ = var103;
+if (var103){
+var104 = ((val* (*)(val*))(var_objcla->class->vft[COLOR_model__MClass__mclass_type]))(var_objcla) /* mclass_type on <var_objcla:nullable MClass(MClass)>*/;
+var105 = ((val* (*)(val*))(var104->class->vft[COLOR_model__MType__as_nullable]))(var104) /* as_nullable on <var104:MClassType>*/;
+var106 = NEW_array__Array(&type_array__Arraymodel__MType);
+{ /* var106 = array_instance Array[MType] */
+var107 = 1;
+var108 = NEW_array__NativeArray(var107, &type_array__NativeArraymodel__MType);
+((struct instance_array__NativeArray*)var108)->values[0] = (val*) var105;
+((void (*)(val*, val*, long))(var106->class->vft[COLOR_array__Array__with_native]))(var106, var108, var107) /* with_native on <var106:Array[MType]>*/;
 }
-var113 = 1;
-var_is_col = var113;
+var109 = ((val* (*)(val*, val*))(var_colit_cla->class->vft[COLOR_model__MClass__get_mtype]))(var_colit_cla, var106) /* get_mtype on <var_colit_cla:nullable MClass(MClass)>*/;
+var110 = ((short int (*)(val*, val*, val*))(var_v->class->vft[COLOR_typing__TypeVisitor__is_subtype]))(var_v, var_ittype, var109) /* is_subtype on <var_v:TypeVisitor>*/;
+var101 = var110;
 } else {
+var101 = var_;
 }
-var115 = NULL;
-if (var_mapit_cla == NULL) {
-var116 = 0; /* is null */
-} else {
-var116 = 1; /* arg is null and recv is not */
-}
-var_117 = var116;
-if (var116){
-var118 = ((val* (*)(val*))(var_objcla->class->vft[COLOR_model__MClass__mclass_type]))(var_objcla) /* mclass_type on <var_objcla:nullable MClass(MClass)>*/;
-var119 = ((val* (*)(val*))(var_objcla->class->vft[COLOR_model__MClass__mclass_type]))(var_objcla) /* mclass_type on <var_objcla:nullable MClass(MClass)>*/;
-var120 = ((val* (*)(val*))(var119->class->vft[COLOR_model__MType__as_nullable]))(var119) /* as_nullable on <var119:MClassType>*/;
-var121 = NEW_array__Array(&type_array__Arraymodel__MType);
-{ /* var121 = array_instance Array[MType] */
-var122 = 2;
-var123 = NEW_array__NativeArray(var122, &type_array__NativeArraymodel__MType);
-((struct instance_array__NativeArray*)var123)->values[0] = (val*) var118;
-((struct instance_array__NativeArray*)var123)->values[1] = (val*) var120;
-((void (*)(val*, val*, long))(var121->class->vft[COLOR_array__Array__with_native]))(var121, var123, var122) /* with_native on <var121:Array[MType]>*/;
-CHECK_NEW_array__Array(var121);
-}
-var124 = ((val* (*)(val*, val*))(var_mapit_cla->class->vft[COLOR_model__MClass__get_mtype]))(var_mapit_cla, var121) /* get_mtype on <var_mapit_cla:nullable MClass(MClass)>*/;
-var125 = ((short int (*)(val*, val*, val*))(var_v->class->vft[COLOR_typing__TypeVisitor__is_subtype]))(var_v, var_ittype, var124) /* is_subtype on <var_v:TypeVisitor>*/;
-var114 = var125;
-} else {
-var114 = var_117;
-}
-if (var114){
-var126 = ((val* (*)(val*))(var_v->class->vft[COLOR_typing__TypeVisitor__mmodule]))(var_v) /* mmodule on <var_v:TypeVisitor>*/;
-var127 = ((val* (*)(val*))(var_v->class->vft[COLOR_typing__TypeVisitor__anchor]))(var_v) /* anchor on <var_v:TypeVisitor>*/;
-var128 = ((val* (*)(val*, val*, val*, val*))(var_ittype->class->vft[COLOR_model__MType__supertype_to]))(var_ittype, var126, var127, var_mapit_cla) /* supertype_to on <var_ittype:nullable MType(MType)>*/;
-var_coltype129 = var128;
-var130 = ((val* (*)(val*))(self->class->vft[COLOR_scope__AForExpr__variables]))(self) /* variables on <self:AForExpr>*/;
-var_variables131 = var130;
-if (var_variables131 == NULL) {
-fprintf(stderr, "Runtime error: %s (%s:%d)\n", "Reciever is null", "src/typing.nit", 884);
-exit(1);
-} else {
-var132 = ((long (*)(val*))(var_variables131->class->vft[COLOR_abstract_collection__Collection__length]))(var_variables131) /* length on <var_variables131:nullable Array[Variable]>*/;
-}
-var133 = 2;
-{ /* Inline kernel#Int#!= (var132,var133) */
-var136 = var132 == var133;
-var137 = !var136;
-var134 = var137;
-goto RET_LABEL135;
-RET_LABEL135:(void)0;
-}
-if (var134){
-if (varonce138) {
-var139 = varonce138;
-} else {
-var140 = "Type Error: Expected two variables";
-var141 = 34;
-var142 = string__NativeString__to_s_with_length(var140, var141);
-var139 = var142;
-varonce138 = var139;
-}
-((void (*)(val*, val*, val*))(var_v->class->vft[COLOR_typing__TypeVisitor__error]))(var_v, self, var139) /* error on <var_v:TypeVisitor>*/;
-} else {
-var143 = 0;
-if (var_variables131 == NULL) {
-fprintf(stderr, "Runtime error: %s (%s:%d)\n", "Reciever is null", "src/typing.nit", 887);
-exit(1);
-} else {
-var144 = ((val* (*)(val*, long))(var_variables131->class->vft[COLOR_abstract_collection__SequenceRead___91d_93d]))(var_variables131, var143) /* [] on <var_variables131:nullable Array[Variable]>*/;
-}
-var145 = ((val* (*)(val*))(var_coltype129->class->vft[COLOR_model__MClassType__arguments]))(var_coltype129) /* arguments on <var_coltype129:MClassType>*/;
-var146 = 0;
-var147 = ((val* (*)(val*, long))(var145->class->vft[COLOR_abstract_collection__SequenceRead___91d_93d]))(var145, var146) /* [] on <var145:Array[MType]>*/;
-((void (*)(val*, val*))(var144->class->vft[COLOR_typing__Variable__declared_type_61d]))(var144, var147) /* declared_type= on <var144:nullable Object(Variable)>*/;
-var148 = 1;
-if (var_variables131 == NULL) {
-fprintf(stderr, "Runtime error: %s (%s:%d)\n", "Reciever is null", "src/typing.nit", 888);
-exit(1);
-} else {
-var149 = ((val* (*)(val*, long))(var_variables131->class->vft[COLOR_abstract_collection__SequenceRead___91d_93d]))(var_variables131, var148) /* [] on <var_variables131:nullable Array[Variable]>*/;
-}
-var150 = ((val* (*)(val*))(var_coltype129->class->vft[COLOR_model__MClassType__arguments]))(var_coltype129) /* arguments on <var_coltype129:MClassType>*/;
-var151 = 1;
-var152 = ((val* (*)(val*, long))(var150->class->vft[COLOR_abstract_collection__SequenceRead___91d_93d]))(var150, var151) /* [] on <var150:Array[MType]>*/;
-((void (*)(val*, val*))(var149->class->vft[COLOR_typing__Variable__declared_type_61d]))(var149, var152) /* declared_type= on <var149:nullable Object(Variable)>*/;
-}
-var153 = 1;
-var_is_map = var153;
-} else {
-}
-var155 = !var_is_col;
-var_156 = var155;
-if (var155){
-var157 = !var_is_map;
-var154 = var157;
-} else {
-var154 = var_156;
-}
-if (var154){
-if (varonce158) {
-var159 = varonce158;
-} else {
-var160 = "Type Error: Expected method \'iterator\' to return an Iterator of MapIterator type";
-var161 = 80;
-var162 = string__NativeString__to_s_with_length(var160, var161);
-var159 = var162;
-varonce158 = var159;
+if (var101){
+var111 = ((val* (*)(val*))(var_v->class->vft[COLOR_typing__TypeVisitor__mmodule]))(var_v) /* mmodule on <var_v:TypeVisitor>*/;
+var112 = ((val* (*)(val*))(var_v->class->vft[COLOR_typing__TypeVisitor__anchor]))(var_v) /* anchor on <var_v:TypeVisitor>*/;
+var113 = ((val* (*)(val*, val*, val*, val*))(var_ittype->class->vft[COLOR_model__MType__supertype_to]))(var_ittype, var111, var112, var_colit_cla) /* supertype_to on <var_ittype:nullable MType(MType)>*/;
+var_coltype = var113;
+var114 = ((val* (*)(val*))(self->class->vft[COLOR_scope__AForExpr__variables]))(self) /* variables on <self:AForExpr>*/;
+var_variables = var114;
+if (var_variables == NULL) {
+fprintf(stderr, "Runtime error: %s", "Receiver is null");
+fprintf(stderr, " (%s:%d)\n", "src/typing.nit", 865);
+show_backtrace(1);
+} else {
+var115 = ((long (*)(val*))(var_variables->class->vft[COLOR_abstract_collection__Collection__length]))(var_variables) /* length on <var_variables:nullable Array[Variable]>*/;
+}
+var116 = 1;
+{ /* Inline kernel#Int#!= (var115,var116) */
+var119 = var115 == var116;
+var120 = !var119;
+var117 = var120;
+goto RET_LABEL118;
+RET_LABEL118:(void)0;
 }
-((void (*)(val*, val*, val*))(var_v->class->vft[COLOR_typing__TypeVisitor__error]))(var_v, self, var159) /* error on <var_v:TypeVisitor>*/;
-goto RET_LABEL;
-} else {
-}
-var163 = ((short int (*)(val*))(var_mtype->class->vft[COLOR_model__MType__need_anchor]))(var_mtype) /* need_anchor on <var_mtype:MType>*/;
-if (var163){
-var164 = ((val* (*)(val*, val*))(var_v->class->vft[COLOR_typing__TypeVisitor__anchor_to]))(var_v, var_mtype) /* anchor_to on <var_v:TypeVisitor>*/;
-var_mtype = var164;
+if (var117){
+if (varonce121) {
+var122 = varonce121;
 } else {
+var123 = "Type Error: \'for\' expects only one variable when using \'Iterator\'.";
+var124 = 66;
+var125 = string__NativeString__to_s_with_length(var123, var124);
+var122 = var125;
+varonce121 = var122;
 }
-/* <var_mtype:MType> isa MClassType */
-cltype = type_model__MClassType.color;
-idtype = type_model__MClassType.id;
-if(cltype >= var_mtype->type->table_size) {
-var165 = 0;
+((void (*)(val*, val*, val*))(var_v->class->vft[COLOR_typing__TypeVisitor__error]))(var_v, self, var122) /* error on <var_v:TypeVisitor>*/;
+} else {
+if (var_variables == NULL) {
+fprintf(stderr, "Runtime error: %s", "Receiver is null");
+fprintf(stderr, " (%s:%d)\n", "src/typing.nit", 868);
+show_backtrace(1);
 } else {
-var165 = var_mtype->type->type_table[cltype] == idtype;
+var126 = ((val* (*)(val*))(var_variables->class->vft[COLOR_abstract_collection__Collection__first]))(var_variables) /* first on <var_variables:nullable Array[Variable]>*/;
 }
-if (!var165) {
-fprintf(stderr, "Runtime error: %s (%s:%d)\n", "Cast failed", "src/typing.nit", 901);
-exit(1);
+var127 = ((val* (*)(val*))(var_coltype->class->vft[COLOR_model__MClassType__arguments]))(var_coltype) /* arguments on <var_coltype:MClassType>*/;
+var128 = ((val* (*)(val*))(var127->class->vft[COLOR_abstract_collection__Collection__first]))(var127) /* first on <var127:Array[MType]>*/;
+((void (*)(val*, val*))(var126->class->vft[COLOR_typing__Variable__declared_type_61d]))(var126, var128) /* declared_type= on <var126:nullable Object(Variable)>*/;
 }
-((void (*)(val*, val*))(self->class->vft[COLOR_typing__AForExpr__coltype_61d]))(self, var_mtype) /* coltype= on <self:AForExpr>*/;
-if (varonce166) {
-var167 = varonce166;
-} else {
-var168 = "is_ok";
-var169 = 5;
-var170 = string__NativeString__to_s_with_length(var168, var169);
-var167 = var170;
-varonce166 = var167;
-}
-var171 = 0;
-var172 = ((val* (*)(val*, val*, val*, val*, short int))(var_v->class->vft[COLOR_typing__TypeVisitor__get_method]))(var_v, self, var_ittype, var167, var171) /* get_method on <var_v:TypeVisitor>*/;
-var_ikdef = var172;
-var173 = NULL;
-if (var_ikdef == NULL) {
-var174 = 1; /* is null */
+var129 = 1;
+var_is_col = var129;
 } else {
-var174 = 0; /* arg is null but recv is not */
 }
-if (var174){
-if (varonce175) {
-var176 = varonce175;
+var131 = NULL;
+if (var_mapit_cla == NULL) {
+var132 = 0; /* is null */
+} else {
+var132 = 1; /* arg is null and recv is not */
+}
+var_133 = var132;
+if (var132){
+var134 = ((val* (*)(val*))(var_objcla->class->vft[COLOR_model__MClass__mclass_type]))(var_objcla) /* mclass_type on <var_objcla:nullable MClass(MClass)>*/;
+var135 = ((val* (*)(val*))(var_objcla->class->vft[COLOR_model__MClass__mclass_type]))(var_objcla) /* mclass_type on <var_objcla:nullable MClass(MClass)>*/;
+var136 = ((val* (*)(val*))(var135->class->vft[COLOR_model__MType__as_nullable]))(var135) /* as_nullable on <var135:MClassType>*/;
+var137 = NEW_array__Array(&type_array__Arraymodel__MType);
+{ /* var137 = array_instance Array[MType] */
+var138 = 2;
+var139 = NEW_array__NativeArray(var138, &type_array__NativeArraymodel__MType);
+((struct instance_array__NativeArray*)var139)->values[0] = (val*) var134;
+((struct instance_array__NativeArray*)var139)->values[1] = (val*) var136;
+((void (*)(val*, val*, long))(var137->class->vft[COLOR_array__Array__with_native]))(var137, var139, var138) /* with_native on <var137:Array[MType]>*/;
+}
+var140 = ((val* (*)(val*, val*))(var_mapit_cla->class->vft[COLOR_model__MClass__get_mtype]))(var_mapit_cla, var137) /* get_mtype on <var_mapit_cla:nullable MClass(MClass)>*/;
+var141 = ((short int (*)(val*, val*, val*))(var_v->class->vft[COLOR_typing__TypeVisitor__is_subtype]))(var_v, var_ittype, var140) /* is_subtype on <var_v:TypeVisitor>*/;
+var130 = var141;
+} else {
+var130 = var_133;
+}
+if (var130){
+var142 = ((val* (*)(val*))(var_v->class->vft[COLOR_typing__TypeVisitor__mmodule]))(var_v) /* mmodule on <var_v:TypeVisitor>*/;
+var143 = ((val* (*)(val*))(var_v->class->vft[COLOR_typing__TypeVisitor__anchor]))(var_v) /* anchor on <var_v:TypeVisitor>*/;
+var144 = ((val* (*)(val*, val*, val*, val*))(var_ittype->class->vft[COLOR_model__MType__supertype_to]))(var_ittype, var142, var143, var_mapit_cla) /* supertype_to on <var_ittype:nullable MType(MType)>*/;
+var_coltype145 = var144;
+var146 = ((val* (*)(val*))(self->class->vft[COLOR_scope__AForExpr__variables]))(self) /* variables on <self:AForExpr>*/;
+var_variables147 = var146;
+if (var_variables147 == NULL) {
+fprintf(stderr, "Runtime error: %s", "Receiver is null");
+fprintf(stderr, " (%s:%d)\n", "src/typing.nit", 877);
+show_backtrace(1);
+} else {
+var148 = ((long (*)(val*))(var_variables147->class->vft[COLOR_abstract_collection__Collection__length]))(var_variables147) /* length on <var_variables147:nullable Array[Variable]>*/;
+}
+var149 = 2;
+{ /* Inline kernel#Int#!= (var148,var149) */
+var152 = var148 == var149;
+var153 = !var152;
+var150 = var153;
+goto RET_LABEL151;
+RET_LABEL151:(void)0;
+}
+if (var150){
+if (varonce154) {
+var155 = varonce154;
+} else {
+var156 = "Type Error: \'for\' expects two variables when using \'MapIterator\'.";
+var157 = 65;
+var158 = string__NativeString__to_s_with_length(var156, var157);
+var155 = var158;
+varonce154 = var155;
+}
+((void (*)(val*, val*, val*))(var_v->class->vft[COLOR_typing__TypeVisitor__error]))(var_v, self, var155) /* error on <var_v:TypeVisitor>*/;
+} else {
+var159 = 0;
+if (var_variables147 == NULL) {
+fprintf(stderr, "Runtime error: %s", "Receiver is null");
+fprintf(stderr, " (%s:%d)\n", "src/typing.nit", 880);
+show_backtrace(1);
+} else {
+var160 = ((val* (*)(val*, long))(var_variables147->class->vft[COLOR_abstract_collection__SequenceRead___91d_93d]))(var_variables147, var159) /* [] on <var_variables147:nullable Array[Variable]>*/;
+}
+var161 = ((val* (*)(val*))(var_coltype145->class->vft[COLOR_model__MClassType__arguments]))(var_coltype145) /* arguments on <var_coltype145:MClassType>*/;
+var162 = 0;
+var163 = ((val* (*)(val*, long))(var161->class->vft[COLOR_abstract_collection__SequenceRead___91d_93d]))(var161, var162) /* [] on <var161:Array[MType]>*/;
+((void (*)(val*, val*))(var160->class->vft[COLOR_typing__Variable__declared_type_61d]))(var160, var163) /* declared_type= on <var160:nullable Object(Variable)>*/;
+var164 = 1;
+if (var_variables147 == NULL) {
+fprintf(stderr, "Runtime error: %s", "Receiver is null");
+fprintf(stderr, " (%s:%d)\n", "src/typing.nit", 881);
+show_backtrace(1);
 } else {
-var177 = "Type Error: Expected method \'is_ok\' in Iterator type ";
-var178 = 53;
-var179 = string__NativeString__to_s_with_length(var177, var178);
-var176 = var179;
-varonce175 = var176;
+var165 = ((val* (*)(val*, long))(var_variables147->class->vft[COLOR_abstract_collection__SequenceRead___91d_93d]))(var_variables147, var164) /* [] on <var_variables147:nullable Array[Variable]>*/;
 }
-var180 = NEW_array__Array(&type_array__Arraykernel__Object);
-{ /* var180 = array_instance Array[Object] */
-var181 = 2;
-var182 = NEW_array__NativeArray(var181, &type_array__NativeArraykernel__Object);
-((struct instance_array__NativeArray*)var182)->values[0] = (val*) var176;
-((struct instance_array__NativeArray*)var182)->values[1] = (val*) var_ittype;
-((void (*)(val*, val*, long))(var180->class->vft[COLOR_array__Array__with_native]))(var180, var182, var181) /* with_native on <var180:Array[Object]>*/;
-CHECK_NEW_array__Array(var180);
+var166 = ((val* (*)(val*))(var_coltype145->class->vft[COLOR_model__MClassType__arguments]))(var_coltype145) /* arguments on <var_coltype145:MClassType>*/;
+var167 = 1;
+var168 = ((val* (*)(val*, long))(var166->class->vft[COLOR_abstract_collection__SequenceRead___91d_93d]))(var166, var167) /* [] on <var166:Array[MType]>*/;
+((void (*)(val*, val*))(var165->class->vft[COLOR_typing__Variable__declared_type_61d]))(var165, var168) /* declared_type= on <var165:nullable Object(Variable)>*/;
 }
-var183 = ((val* (*)(val*))(var180->class->vft[COLOR_string__Object__to_s]))(var180) /* to_s on <var180:Array[Object]>*/;
-((void (*)(val*, val*, val*))(var_v->class->vft[COLOR_typing__TypeVisitor__error]))(var_v, self, var183) /* error on <var_v:TypeVisitor>*/;
-goto RET_LABEL;
+var169 = 1;
+var_is_map = var169;
 } else {
 }
-var184 = ((val* (*)(val*))(var_ikdef->class->vft[COLOR_typing__CallSite__mproperty]))(var_ikdef) /* mproperty on <var_ikdef:nullable CallSite(CallSite)>*/;
-((void (*)(val*, val*))(self->class->vft[COLOR_typing__AForExpr__method_is_ok_61d]))(self, var184) /* method_is_ok= on <self:AForExpr>*/;
-if (varonce185) {
-var186 = varonce185;
+var171 = !var_is_col;
+var_172 = var171;
+if (var171){
+var173 = !var_is_map;
+var170 = var173;
 } else {
-var187 = "item";
-var188 = 4;
-var189 = string__NativeString__to_s_with_length(var187, var188);
-var186 = var189;
-varonce185 = var186;
+var170 = var_172;
 }
-var190 = 0;
-var191 = ((val* (*)(val*, val*, val*, val*, short int))(var_v->class->vft[COLOR_typing__TypeVisitor__get_method]))(var_v, self, var_ittype, var186, var190) /* get_method on <var_v:TypeVisitor>*/;
-var_itemdef = var191;
-var192 = NULL;
-if (var_itemdef == NULL) {
-var193 = 1; /* is null */
+if (var170){
+if (varonce174) {
+var175 = varonce174;
+} else {
+var176 = "Type Error: \'for\' expects method \'iterator\' to return an \'Iterator\' or \'MapIterator\' type\'.";
+var177 = 91;
+var178 = string__NativeString__to_s_with_length(var176, var177);
+var175 = var178;
+varonce174 = var175;
+}
+((void (*)(val*, val*, val*))(var_v->class->vft[COLOR_typing__TypeVisitor__error]))(var_v, self, var175) /* error on <var_v:TypeVisitor>*/;
+goto RET_LABEL;
 } else {
-var193 = 0; /* arg is null but recv is not */
 }
-if (var193){
-if (varonce194) {
-var195 = varonce194;
+var179 = ((short int (*)(val*))(var_mtype->class->vft[COLOR_model__MType__need_anchor]))(var_mtype) /* need_anchor on <var_mtype:MType>*/;
+if (var179){
+var180 = ((val* (*)(val*, val*))(var_v->class->vft[COLOR_typing__TypeVisitor__anchor_to]))(var_v, var_mtype) /* anchor_to on <var_v:TypeVisitor>*/;
+var_mtype = var180;
 } else {
-var196 = "Type Error: Expected method \'item\' in Iterator type ";
-var197 = 52;
-var198 = string__NativeString__to_s_with_length(var196, var197);
-var195 = var198;
-varonce194 = var195;
 }
-var199 = NEW_array__Array(&type_array__Arraykernel__Object);
-{ /* var199 = array_instance Array[Object] */
-var200 = 2;
-var201 = NEW_array__NativeArray(var200, &type_array__NativeArraykernel__Object);
-((struct instance_array__NativeArray*)var201)->values[0] = (val*) var195;
-((struct instance_array__NativeArray*)var201)->values[1] = (val*) var_ittype;
-((void (*)(val*, val*, long))(var199->class->vft[COLOR_array__Array__with_native]))(var199, var201, var200) /* with_native on <var199:Array[Object]>*/;
-CHECK_NEW_array__Array(var199);
+/* <var_mtype:MType> isa MNullableType */
+cltype182 = type_model__MNullableType.color;
+idtype183 = type_model__MNullableType.id;
+if(cltype182 >= var_mtype->type->table_size) {
+var181 = 0;
+} else {
+var181 = var_mtype->type->type_table[cltype182] == idtype183;
 }
-var202 = ((val* (*)(val*))(var199->class->vft[COLOR_string__Object__to_s]))(var199) /* to_s on <var199:Array[Object]>*/;
-((void (*)(val*, val*, val*))(var_v->class->vft[COLOR_typing__TypeVisitor__error]))(var_v, self, var202) /* error on <var_v:TypeVisitor>*/;
-goto RET_LABEL;
+if (var181){
+var184 = ((val* (*)(val*))(var_mtype->class->vft[COLOR_model__MNullableType__mtype]))(var_mtype) /* mtype on <var_mtype:MType(MNullableType)>*/;
+var_mtype = var184;
 } else {
 }
-var203 = ((val* (*)(val*))(var_itemdef->class->vft[COLOR_typing__CallSite__mproperty]))(var_itemdef) /* mproperty on <var_itemdef:nullable CallSite(CallSite)>*/;
-((void (*)(val*, val*))(self->class->vft[COLOR_typing__AForExpr__method_item_61d]))(self, var203) /* method_item= on <self:AForExpr>*/;
-if (varonce204) {
-var205 = varonce204;
+/* <var_mtype:MType> isa MClassType */
+cltype186 = type_model__MClassType.color;
+idtype187 = type_model__MClassType.id;
+if(cltype186 >= var_mtype->type->table_size) {
+var185 = 0;
 } else {
-var206 = "next";
-var207 = 4;
-var208 = string__NativeString__to_s_with_length(var206, var207);
-var205 = var208;
-varonce204 = var205;
+var185 = var_mtype->type->type_table[cltype186] == idtype187;
 }
-var209 = 0;
-var210 = ((val* (*)(val*, val*, val*, val*, short int))(var_v->class->vft[COLOR_typing__TypeVisitor__get_method]))(var_v, self, var_ittype, var205, var209) /* get_method on <var_v:TypeVisitor>*/;
-var_nextdef = var210;
-var211 = NULL;
+if (!var185) {
+var_class_name = var_mtype == NULL ? "null" : var_mtype->type->name;
+fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "MClassType", var_class_name);
+fprintf(stderr, " (%s:%d)\n", "src/typing.nit", 895);
+show_backtrace(1);
+}
+((void (*)(val*, val*))(self->class->vft[COLOR_typing__AForExpr__coltype_61d]))(self, var_mtype) /* coltype= on <self:AForExpr>*/;
+if (varonce188) {
+var189 = varonce188;
+} else {
+var190 = "is_ok";
+var191 = 5;
+var192 = string__NativeString__to_s_with_length(var190, var191);
+var189 = var192;
+varonce188 = var189;
+}
+var193 = 0;
+var194 = ((val* (*)(val*, val*, val*, val*, short int))(var_v->class->vft[COLOR_typing__TypeVisitor__get_method]))(var_v, self, var_ittype, var189, var193) /* get_method on <var_v:TypeVisitor>*/;
+var_ikdef = var194;
+var195 = NULL;
+if (var_ikdef == NULL) {
+var196 = 1; /* is null */
+} else {
+var196 = 0; /* arg is null but recv is not */
+}
+if (var196){
+if (varonce197) {
+var198 = varonce197;
+} else {
+var199 = "Type Error: \'for\' expects a method \'is_ok\' in \'Iterator\' type ";
+var200 = 62;
+var201 = string__NativeString__to_s_with_length(var199, var200);
+var198 = var201;
+varonce197 = var198;
+}
+if (varonce202) {
+var203 = varonce202;
+} else {
+var204 = ".";
+var205 = 1;
+var206 = string__NativeString__to_s_with_length(var204, var205);
+var203 = var206;
+varonce202 = var203;
+}
+var207 = NEW_array__Array(&type_array__Arraykernel__Object);
+{ /* var207 = array_instance Array[Object] */
+var208 = 3;
+var209 = NEW_array__NativeArray(var208, &type_array__NativeArraykernel__Object);
+((struct instance_array__NativeArray*)var209)->values[0] = (val*) var198;
+((struct instance_array__NativeArray*)var209)->values[1] = (val*) var_ittype;
+((struct instance_array__NativeArray*)var209)->values[2] = (val*) var203;
+((void (*)(val*, val*, long))(var207->class->vft[COLOR_array__Array__with_native]))(var207, var209, var208) /* with_native on <var207:Array[Object]>*/;
+}
+var210 = ((val* (*)(val*))(var207->class->vft[COLOR_string__Object__to_s]))(var207) /* to_s on <var207:Array[Object]>*/;
+((void (*)(val*, val*, val*))(var_v->class->vft[COLOR_typing__TypeVisitor__error]))(var_v, self, var210) /* error on <var_v:TypeVisitor>*/;
+goto RET_LABEL;
+} else {
+}
+var211 = ((val* (*)(val*))(var_ikdef->class->vft[COLOR_typing__CallSite__mproperty]))(var_ikdef) /* mproperty on <var_ikdef:nullable CallSite(CallSite)>*/;
+((void (*)(val*, val*))(self->class->vft[COLOR_typing__AForExpr__method_is_ok_61d]))(self, var211) /* method_is_ok= on <self:AForExpr>*/;
+if (varonce212) {
+var213 = varonce212;
+} else {
+var214 = "item";
+var215 = 4;
+var216 = string__NativeString__to_s_with_length(var214, var215);
+var213 = var216;
+varonce212 = var213;
+}
+var217 = 0;
+var218 = ((val* (*)(val*, val*, val*, val*, short int))(var_v->class->vft[COLOR_typing__TypeVisitor__get_method]))(var_v, self, var_ittype, var213, var217) /* get_method on <var_v:TypeVisitor>*/;
+var_itemdef = var218;
+var219 = NULL;
+if (var_itemdef == NULL) {
+var220 = 1; /* is null */
+} else {
+var220 = 0; /* arg is null but recv is not */
+}
+if (var220){
+if (varonce221) {
+var222 = varonce221;
+} else {
+var223 = "Type Error: \'for\' expects a method \'item\' in \'Iterator\' type ";
+var224 = 61;
+var225 = string__NativeString__to_s_with_length(var223, var224);
+var222 = var225;
+varonce221 = var222;
+}
+if (varonce226) {
+var227 = varonce226;
+} else {
+var228 = ".";
+var229 = 1;
+var230 = string__NativeString__to_s_with_length(var228, var229);
+var227 = var230;
+varonce226 = var227;
+}
+var231 = NEW_array__Array(&type_array__Arraykernel__Object);
+{ /* var231 = array_instance Array[Object] */
+var232 = 3;
+var233 = NEW_array__NativeArray(var232, &type_array__NativeArraykernel__Object);
+((struct instance_array__NativeArray*)var233)->values[0] = (val*) var222;
+((struct instance_array__NativeArray*)var233)->values[1] = (val*) var_ittype;
+((struct instance_array__NativeArray*)var233)->values[2] = (val*) var227;
+((void (*)(val*, val*, long))(var231->class->vft[COLOR_array__Array__with_native]))(var231, var233, var232) /* with_native on <var231:Array[Object]>*/;
+}
+var234 = ((val* (*)(val*))(var231->class->vft[COLOR_string__Object__to_s]))(var231) /* to_s on <var231:Array[Object]>*/;
+((void (*)(val*, val*, val*))(var_v->class->vft[COLOR_typing__TypeVisitor__error]))(var_v, self, var234) /* error on <var_v:TypeVisitor>*/;
+goto RET_LABEL;
+} else {
+}
+var235 = ((val* (*)(val*))(var_itemdef->class->vft[COLOR_typing__CallSite__mproperty]))(var_itemdef) /* mproperty on <var_itemdef:nullable CallSite(CallSite)>*/;
+((void (*)(val*, val*))(self->class->vft[COLOR_typing__AForExpr__method_item_61d]))(self, var235) /* method_item= on <self:AForExpr>*/;
+if (varonce236) {
+var237 = varonce236;
+} else {
+var238 = "next";
+var239 = 4;
+var240 = string__NativeString__to_s_with_length(var238, var239);
+var237 = var240;
+varonce236 = var237;
+}
+var241 = 0;
+var242 = ((val* (*)(val*, val*, val*, val*, short int))(var_v->class->vft[COLOR_typing__TypeVisitor__get_method]))(var_v, self, var_ittype, var237, var241) /* get_method on <var_v:TypeVisitor>*/;
+var_nextdef = var242;
+var243 = NULL;
 if (var_nextdef == NULL) {
-var212 = 1; /* is null */
+var244 = 1; /* is null */
 } else {
-var212 = 0; /* arg is null but recv is not */
+var244 = 0; /* arg is null but recv is not */
 }
-if (var212){
-if (varonce213) {
-var214 = varonce213;
+if (var244){
+if (varonce245) {
+var246 = varonce245;
 } else {
-var215 = "Type Error: Expected method \'next\' in Iterator type ";
-var216 = 52;
-var217 = string__NativeString__to_s_with_length(var215, var216);
-var214 = var217;
-varonce213 = var214;
+var247 = "Type Error: \'for\' expects a method \'next\' in \'Iterator\' type ";
+var248 = 61;
+var249 = string__NativeString__to_s_with_length(var247, var248);
+var246 = var249;
+varonce245 = var246;
 }
-var218 = NEW_array__Array(&type_array__Arraykernel__Object);
-{ /* var218 = array_instance Array[Object] */
-var219 = 2;
-var220 = NEW_array__NativeArray(var219, &type_array__NativeArraykernel__Object);
-((struct instance_array__NativeArray*)var220)->values[0] = (val*) var214;
-((struct instance_array__NativeArray*)var220)->values[1] = (val*) var_ittype;
-((void (*)(val*, val*, long))(var218->class->vft[COLOR_array__Array__with_native]))(var218, var220, var219) /* with_native on <var218:Array[Object]>*/;
-CHECK_NEW_array__Array(var218);
+if (varonce250) {
+var251 = varonce250;
+} else {
+var252 = ".";
+var253 = 1;
+var254 = string__NativeString__to_s_with_length(var252, var253);
+var251 = var254;
+varonce250 = var251;
+}
+var255 = NEW_array__Array(&type_array__Arraykernel__Object);
+{ /* var255 = array_instance Array[Object] */
+var256 = 3;
+var257 = NEW_array__NativeArray(var256, &type_array__NativeArraykernel__Object);
+((struct instance_array__NativeArray*)var257)->values[0] = (val*) var246;
+((struct instance_array__NativeArray*)var257)->values[1] = (val*) var_ittype;
+((struct instance_array__NativeArray*)var257)->values[2] = (val*) var251;
+((void (*)(val*, val*, long))(var255->class->vft[COLOR_array__Array__with_native]))(var255, var257, var256) /* with_native on <var255:Array[Object]>*/;
 }
-var221 = ((val* (*)(val*))(var218->class->vft[COLOR_string__Object__to_s]))(var218) /* to_s on <var218:Array[Object]>*/;
-((void (*)(val*, val*, val*))(var_v->class->vft[COLOR_typing__TypeVisitor__error]))(var_v, self, var221) /* error on <var_v:TypeVisitor>*/;
+var258 = ((val* (*)(val*))(var255->class->vft[COLOR_string__Object__to_s]))(var255) /* to_s on <var255:Array[Object]>*/;
+((void (*)(val*, val*, val*))(var_v->class->vft[COLOR_typing__TypeVisitor__error]))(var_v, self, var258) /* error on <var_v:TypeVisitor>*/;
 goto RET_LABEL;
 } else {
 }
-var222 = ((val* (*)(val*))(var_nextdef->class->vft[COLOR_typing__CallSite__mproperty]))(var_nextdef) /* mproperty on <var_nextdef:nullable CallSite(CallSite)>*/;
-((void (*)(val*, val*))(self->class->vft[COLOR_typing__AForExpr__method_next_61d]))(self, var222) /* method_next= on <self:AForExpr>*/;
+var259 = ((val* (*)(val*))(var_nextdef->class->vft[COLOR_typing__CallSite__mproperty]))(var_nextdef) /* mproperty on <var_nextdef:nullable CallSite(CallSite)>*/;
+((void (*)(val*, val*))(self->class->vft[COLOR_typing__AForExpr__method_next_61d]))(self, var259) /* method_next= on <self:AForExpr>*/;
 if (var_is_map){
-if (varonce223) {
-var224 = varonce223;
-} else {
-var225 = "key";
-var226 = 3;
-var227 = string__NativeString__to_s_with_length(var225, var226);
-var224 = var227;
-varonce223 = var224;
-}
-var228 = 0;
-var229 = ((val* (*)(val*, val*, val*, val*, short int))(var_v->class->vft[COLOR_typing__TypeVisitor__get_method]))(var_v, self, var_ittype, var224, var228) /* get_method on <var_v:TypeVisitor>*/;
-var_keydef = var229;
-var230 = NULL;
+if (varonce260) {
+var261 = varonce260;
+} else {
+var262 = "key";
+var263 = 3;
+var264 = string__NativeString__to_s_with_length(var262, var263);
+var261 = var264;
+varonce260 = var261;
+}
+var265 = 0;
+var266 = ((val* (*)(val*, val*, val*, val*, short int))(var_v->class->vft[COLOR_typing__TypeVisitor__get_method]))(var_v, self, var_ittype, var261, var265) /* get_method on <var_v:TypeVisitor>*/;
+var_keydef = var266;
+var267 = NULL;
 if (var_keydef == NULL) {
-var231 = 1; /* is null */
+var268 = 1; /* is null */
+} else {
+var268 = 0; /* arg is null but recv is not */
+}
+if (var268){
+if (varonce269) {
+var270 = varonce269;
 } else {
-var231 = 0; /* arg is null but recv is not */
+var271 = "Type Error: \'for\' expects a method \'key\' in \'Iterator\' type ";
+var272 = 60;
+var273 = string__NativeString__to_s_with_length(var271, var272);
+var270 = var273;
+varonce269 = var270;
 }
-if (var231){
-if (varonce232) {
-var233 = varonce232;
+if (varonce274) {
+var275 = varonce274;
 } else {
-var234 = "Type Error: Expected method \'key\' in Iterator type ";
-var235 = 51;
-var236 = string__NativeString__to_s_with_length(var234, var235);
-var233 = var236;
-varonce232 = var233;
+var276 = ".";
+var277 = 1;
+var278 = string__NativeString__to_s_with_length(var276, var277);
+var275 = var278;
+varonce274 = var275;
 }
-var237 = NEW_array__Array(&type_array__Arraykernel__Object);
-{ /* var237 = array_instance Array[Object] */
-var238 = 2;
-var239 = NEW_array__NativeArray(var238, &type_array__NativeArraykernel__Object);
-((struct instance_array__NativeArray*)var239)->values[0] = (val*) var233;
-((struct instance_array__NativeArray*)var239)->values[1] = (val*) var_ittype;
-((void (*)(val*, val*, long))(var237->class->vft[COLOR_array__Array__with_native]))(var237, var239, var238) /* with_native on <var237:Array[Object]>*/;
-CHECK_NEW_array__Array(var237);
+var279 = NEW_array__Array(&type_array__Arraykernel__Object);
+{ /* var279 = array_instance Array[Object] */
+var280 = 3;
+var281 = NEW_array__NativeArray(var280, &type_array__NativeArraykernel__Object);
+((struct instance_array__NativeArray*)var281)->values[0] = (val*) var270;
+((struct instance_array__NativeArray*)var281)->values[1] = (val*) var_ittype;
+((struct instance_array__NativeArray*)var281)->values[2] = (val*) var275;
+((void (*)(val*, val*, long))(var279->class->vft[COLOR_array__Array__with_native]))(var279, var281, var280) /* with_native on <var279:Array[Object]>*/;
 }
-var240 = ((val* (*)(val*))(var237->class->vft[COLOR_string__Object__to_s]))(var237) /* to_s on <var237:Array[Object]>*/;
-((void (*)(val*, val*, val*))(var_v->class->vft[COLOR_typing__TypeVisitor__error]))(var_v, self, var240) /* error on <var_v:TypeVisitor>*/;
+var282 = ((val* (*)(val*))(var279->class->vft[COLOR_string__Object__to_s]))(var279) /* to_s on <var279:Array[Object]>*/;
+((void (*)(val*, val*, val*))(var_v->class->vft[COLOR_typing__TypeVisitor__error]))(var_v, self, var282) /* error on <var_v:TypeVisitor>*/;
 goto RET_LABEL;
 } else {
 }
-var241 = ((val* (*)(val*))(var_keydef->class->vft[COLOR_typing__CallSite__mproperty]))(var_keydef) /* mproperty on <var_keydef:nullable CallSite(CallSite)>*/;
-((void (*)(val*, val*))(self->class->vft[COLOR_typing__AForExpr__method_key_61d]))(self, var241) /* method_key= on <self:AForExpr>*/;
+var283 = ((val* (*)(val*))(var_keydef->class->vft[COLOR_typing__CallSite__mproperty]))(var_keydef) /* mproperty on <var_keydef:nullable CallSite(CallSite)>*/;
+((void (*)(val*, val*))(self->class->vft[COLOR_typing__AForExpr__method_key_61d]))(self, var283) /* method_key= on <self:AForExpr>*/;
 } else {
 }
 RET_LABEL:;
@@ -6235,7 +6289,6 @@ var13 = NEW_array__NativeArray(var12, &type_array__NativeArraymodel__MType);
 ((struct instance_array__NativeArray*)var13)->values[0] = (val*) var_t1;
 ((struct instance_array__NativeArray*)var13)->values[1] = (val*) var_t2;
 ((void (*)(val*, val*, long))(var11->class->vft[COLOR_array__Array__with_native]))(var11, var13, var12) /* with_native on <var11:Array[MType]>*/;
-CHECK_NEW_array__Array(var11);
 }
 var14 = ((val* (*)(val*, val*, val*))(var_v->class->vft[COLOR_typing__TypeVisitor__merge_types]))(var_v, self, var11) /* merge_types on <var_v:TypeVisitor>*/;
 var_t = var14;
@@ -6272,30 +6325,6 @@ void VIRTUAL_typing__AOrElseExpr__accept_typing(val* self, val* p0) {
 typing__AOrElseExpr__accept_typing(self, p0);
 RET_LABEL:;
 }
-/* method typing#AEeExpr#accept_typing for (self: AEeExpr, TypeVisitor) */
-void typing__AEeExpr__accept_typing(val* self, val* p0) {
-val* var_v /* var v: TypeVisitor */;
-val* var /* : AExpr */;
-val* var1 /* : nullable MType */;
-val* var2 /* : AExpr */;
-val* var3 /* : nullable MType */;
-val* var4 /* : nullable MType */;
-var_v = p0;
-var = ((val* (*)(val*))(self->class->vft[COLOR_parser_nodes__AEeExpr__n_expr]))(self) /* n_expr on <self:AEeExpr>*/;
-var1 = ((val* (*)(val*, val*))(var_v->class->vft[COLOR_typing__TypeVisitor__visit_expr]))(var_v, var) /* visit_expr on <var_v:TypeVisitor>*/;
-var1;
-var2 = ((val* (*)(val*))(self->class->vft[COLOR_parser_nodes__AEeExpr__n_expr2]))(self) /* n_expr2 on <self:AEeExpr>*/;
-var3 = ((val* (*)(val*, val*))(var_v->class->vft[COLOR_typing__TypeVisitor__visit_expr]))(var_v, var2) /* visit_expr on <var_v:TypeVisitor>*/;
-var3;
-var4 = ((val* (*)(val*, val*))(var_v->class->vft[COLOR_typing__TypeVisitor__type_bool]))(var_v, self) /* type_bool on <var_v:TypeVisitor>*/;
-((void (*)(val*, val*))(self->class->vft[COLOR_typing__AExpr__mtype_61d]))(self, var4) /* mtype= on <self:AEeExpr>*/;
-RET_LABEL:;
-}
-/* method typing#AEeExpr#accept_typing for (self: Object, TypeVisitor) */
-void VIRTUAL_typing__AEeExpr__accept_typing(val* self, val* p0) {
-typing__AEeExpr__accept_typing(self, p0);
-RET_LABEL:;
-}
 /* method typing#ATrueExpr#accept_typing for (self: ATrueExpr, TypeVisitor) */
 void typing__ATrueExpr__accept_typing(val* self, val* p0) {
 val* var_v /* var v: TypeVisitor */;
@@ -6614,7 +6643,6 @@ val* var37 /* : MClassType */;
 var_v = p0;
 var = NEW_array__Array(&type_array__Arraynullable_model__MType);
 ((void (*)(val*))(var->class->vft[COLOR_array__Array__init]))(var) /* init on <var:Array[nullable MType]>*/;
-CHECK_NEW_array__Array(var);
 var_mtypes = var;
 var1 = ((val* (*)(val*))(self->class->vft[COLOR_parser_nodes__AArrayExpr__n_exprs]))(self) /* n_exprs on <self:AArrayExpr>*/;
 var2 = ((val* (*)(val*))(var1->class->vft[COLOR_parser_nodes__AExprs__n_exprs]))(var1) /* n_exprs on <var1:AExprs>*/;
@@ -6676,7 +6704,6 @@ var24 = NEW_array__NativeArray(var23, &type_array__NativeArraykernel__Object);
 ((struct instance_array__NativeArray*)var24)->values[0] = (val*) var12;
 ((struct instance_array__NativeArray*)var24)->values[1] = (val*) var21;
 ((void (*)(val*, val*, long))(var22->class->vft[COLOR_array__Array__with_native]))(var22, var24, var23) /* with_native on <var22:Array[Object]>*/;
-CHECK_NEW_array__Array(var22);
 }
 var25 = ((val* (*)(val*))(var22->class->vft[COLOR_string__Object__to_s]))(var22) /* to_s on <var22:Array[Object]>*/;
 ((void (*)(val*, val*, val*))(var_v->class->vft[COLOR_typing__TypeVisitor__error]))(var_v, self, var25) /* error on <var_v:TypeVisitor>*/;
@@ -6710,7 +6737,6 @@ var35 = 1;
 var36 = NEW_array__NativeArray(var35, &type_array__NativeArraymodel__MType);
 ((struct instance_array__NativeArray*)var36)->values[0] = (val*) var_mtype;
 ((void (*)(val*, val*, long))(var34->class->vft[COLOR_array__Array__with_native]))(var34, var36, var35) /* with_native on <var34:Array[MType]>*/;
-CHECK_NEW_array__Array(var34);
 }
 var37 = ((val* (*)(val*, val*))(var_mclass->class->vft[COLOR_model__MClass__get_mtype]))(var_mclass, var34) /* get_mtype on <var_mclass:nullable MClass(MClass)>*/;
 ((void (*)(val*, val*))(self->class->vft[COLOR_typing__AExpr__mtype_61d]))(self, var37) /* mtype= on <self:AArrayExpr>*/;
@@ -6863,7 +6889,6 @@ var28 = 1;
 var29 = NEW_array__NativeArray(var28, &type_array__NativeArraymodel__MType);
 ((struct instance_array__NativeArray*)var29)->values[0] = (val*) var_t2;
 ((void (*)(val*, val*, long))(var27->class->vft[COLOR_array__Array__with_native]))(var27, var29, var28) /* with_native on <var27:Array[MType]>*/;
-CHECK_NEW_array__Array(var27);
 }
 var30 = ((val* (*)(val*, val*))(var_mclass->class->vft[COLOR_model__MClass__get_mtype]))(var_mclass, var27) /* get_mtype on <var_mclass:nullable MClass(MClass)>*/;
 ((void (*)(val*, val*))(self->class->vft[COLOR_typing__AExpr__mtype_61d]))(self, var30) /* mtype= on <self:ARangeExpr>*/;
@@ -6876,7 +6901,6 @@ var33 = 1;
 var34 = NEW_array__NativeArray(var33, &type_array__NativeArraymodel__MType);
 ((struct instance_array__NativeArray*)var34)->values[0] = (val*) var_t1;
 ((void (*)(val*, val*, long))(var32->class->vft[COLOR_array__Array__with_native]))(var32, var34, var33) /* with_native on <var32:Array[MType]>*/;
-CHECK_NEW_array__Array(var32);
 }
 var35 = ((val* (*)(val*, val*))(var_mclass->class->vft[COLOR_model__MClass__get_mtype]))(var_mclass, var32) /* get_mtype on <var_mclass:nullable MClass(MClass)>*/;
 ((void (*)(val*, val*))(self->class->vft[COLOR_typing__AExpr__mtype_61d]))(self, var35) /* mtype= on <self:ARangeExpr>*/;
@@ -6908,7 +6932,6 @@ var48 = NEW_array__NativeArray(var47, &type_array__NativeArraykernel__Object);
 ((struct instance_array__NativeArray*)var48)->values[2] = (val*) var42;
 ((struct instance_array__NativeArray*)var48)->values[3] = (val*) var_t2;
 ((void (*)(val*, val*, long))(var46->class->vft[COLOR_array__Array__with_native]))(var46, var48, var47) /* with_native on <var46:Array[Object]>*/;
-CHECK_NEW_array__Array(var46);
 }
 var49 = ((val* (*)(val*))(var46->class->vft[COLOR_string__Object__to_s]))(var46) /* to_s on <var46:Array[Object]>*/;
 ((void (*)(val*, val*, val*))(var_v->class->vft[COLOR_typing__TypeVisitor__error]))(var_v, self, var49) /* error on <var_v:TypeVisitor>*/;
@@ -6929,7 +6952,7 @@ val* var1 /* : Model */;
 val* var2 /* : MNullType */;
 var_v = p0;
 var = ((val* (*)(val*))(var_v->class->vft[COLOR_typing__TypeVisitor__mmodule]))(var_v) /* mmodule on <var_v:TypeVisitor>*/;
-var1 = ((val* (*)(val*))(var->class->vft[COLOR_model_base__MModule__model]))(var) /* model on <var:MModule>*/;
+var1 = ((val* (*)(val*))(var->class->vft[COLOR_mmodule__MModule__model]))(var) /* model on <var:MModule>*/;
 var2 = ((val* (*)(val*))(var1->class->vft[COLOR_model__Model__null_type]))(var1) /* null_type on <var1:Model>*/;
 ((void (*)(val*, val*))(self->class->vft[COLOR_typing__AExpr__mtype_61d]))(self, var2) /* mtype= on <self:ANullExpr>*/;
 RET_LABEL:;
@@ -7070,8 +7093,9 @@ var17 = var22;
 var_to = var17;
 var26 = ((val* (*)(val*))(self->class->vft[COLOR_flow__AExpr__after_flow_context]))(self) /* after_flow_context on <self:AIsaExpr>*/;
 if (var26 == NULL) {
-fprintf(stderr, "Runtime error: %s (%s:%d)\n", "Reciever is null", "src/typing.nit", 1155);
-exit(1);
+fprintf(stderr, "Runtime error: %s", "Receiver is null");
+fprintf(stderr, " (%s:%d)\n", "src/typing.nit", 1140);
+show_backtrace(1);
 } else {
 var27 = ((val* (*)(val*))(var26->class->vft[COLOR_flow__FlowContext__when_true]))(var26) /* when_true on <var26:nullable FlowContext>*/;
 }
@@ -7242,32 +7266,6 @@ void VIRTUAL_typing__ASelfExpr__accept_typing(val* self, val* p0) {
 typing__ASelfExpr__accept_typing(self, p0);
 RET_LABEL:;
 }
-/* method typing#ASendExpr#mproperty for (self: ASendExpr): nullable MMethod */
-val* typing__ASendExpr__mproperty(val* self) {
-val* var /* : nullable MMethod */;
-val* var1 /* : nullable CallSite */;
-val* var2 /* : MMethod */;
-var1 = ((val* (*)(val*))(self->class->vft[COLOR_typing__ASendExpr__callsite]))(self) /* callsite on <self:ASendExpr>*/;
-if (var1 == NULL) {
-fprintf(stderr, "Runtime error: %s (%s:%d)\n", "Reciever is null", "src/typing.nit", 1207);
-exit(1);
-} else {
-var2 = ((val* (*)(val*))(var1->class->vft[COLOR_typing__CallSite__mproperty]))(var1) /* mproperty on <var1:nullable CallSite>*/;
-}
-var = var2;
-goto RET_LABEL;
-RET_LABEL:;
-return var;
-}
-/* method typing#ASendExpr#mproperty for (self: Object): nullable MMethod */
-val* VIRTUAL_typing__ASendExpr__mproperty(val* self) {
-val* var /* : nullable MMethod */;
-val* var1 /* : nullable MMethod */;
-var1 = typing__ASendExpr__mproperty(self);
-var = var1;
-RET_LABEL:;
-return var;
-}
 /* method typing#ASendExpr#callsite for (self: ASendExpr): nullable CallSite */
 val* typing__ASendExpr__callsite(val* self) {
 val* var /* : nullable CallSite */;
@@ -7358,47 +7356,6 @@ val* var_ret /* var ret: nullable MType */;
 val* var45 /* : null */;
 short int var46 /* : Bool */;
 short int var47 /* : Bool */;
-val* var48 /* : ANodes[AClosureDef] */;
-long var49 /* : Int */;
-val* var50 /* : Array[MParameter] */;
-long var51 /* : Int */;
-short int var52 /* : Bool */;
-short int var54 /* : Bool */;
-val* var55 /* : Range[Int] */;
-long var56 /* : Int */;
-val* var57 /* : ANodes[AClosureDef] */;
-long var58 /* : Int */;
-val* var59 /* : Discrete */;
-val* var60 /* : Discrete */;
-val* var61 /* : Iterator[nullable Object] */;
-short int var62 /* : Bool */;
-val* var63 /* : nullable Object */;
-long var_i /* var i: Int */;
-long var64 /* : Int */;
-val* var65 /* : ANodes[AClosureDef] */;
-val* var66 /* : nullable Object */;
-val* var67 /* : Array[MParameter] */;
-val* var68 /* : nullable Object */;
-static val* varonce69;
-val* var70 /* : String */;
-char* var71 /* : NativeString */;
-long var72 /* : Int */;
-val* var73 /* : String */;
-val* var74 /* : ANodes[AClosureDef] */;
-long var75 /* : Int */;
-static val* varonce76;
-val* var77 /* : String */;
-char* var78 /* : NativeString */;
-long var79 /* : Int */;
-val* var80 /* : String */;
-val* var81 /* : Array[MParameter] */;
-long var82 /* : Int */;
-val* var83 /* : Array[Object] */;
-long var84 /* : Int */;
-val* var85 /* : NativeArray[Object] */;
-val* var86 /* : Object */;
-val* var87 /* : Object */;
-val* var88 /* : String */;
 var_v = p0;
 var = ((val* (*)(val*))(self->class->vft[COLOR_parser_nodes__ASendExpr__n_expr]))(self) /* n_expr on <self:ASendExpr>*/;
 var1 = ((val* (*)(val*, val*))(var_v->class->vft[COLOR_typing__TypeVisitor__visit_expr]))(var_v, var) /* visit_expr on <var_v:TypeVisitor>*/;
@@ -7450,7 +7407,6 @@ var17 = NEW_array__NativeArray(var16, &type_array__NativeArraykernel__Object);
 ((struct instance_array__NativeArray*)var17)->values[1] = (val*) var_name;
 ((struct instance_array__NativeArray*)var17)->values[2] = (val*) var11;
 ((void (*)(val*, val*, long))(var15->class->vft[COLOR_array__Array__with_native]))(var15, var17, var16) /* with_native on <var15:Array[Object]>*/;
-CHECK_NEW_array__Array(var15);
 }
 var18 = ((val* (*)(val*))(var15->class->vft[COLOR_string__Object__to_s]))(var15) /* to_s on <var15:Array[Object]>*/;
 ((void (*)(val*, val*, val*))(var_v->class->vft[COLOR_typing__TypeVisitor__error]))(var_v, self, var18) /* error on <var_v:TypeVisitor>*/;
@@ -7537,80 +7493,6 @@ if (var46){
 var47 = 1;
 ((void (*)(val*, short int))(self->class->vft[COLOR_typing__AExpr__is_typed_61d]))(self, var47) /* is_typed= on <self:ASendExpr>*/;
 }
-var48 = ((val* (*)(val*))(self->class->vft[COLOR_parser_nodes__ASendExpr__n_closure_defs]))(self) /* n_closure_defs on <self:ASendExpr>*/;
-var49 = ((long (*)(val*))(var48->class->vft[COLOR_abstract_collection__Collection__length]))(var48) /* length on <var48:ANodes[AClosureDef]>*/;
-var50 = ((val* (*)(val*))(var_msignature->class->vft[COLOR_model__MSignature__mclosures]))(var_msignature) /* mclosures on <var_msignature:MSignature>*/;
-var51 = ((long (*)(val*))(var50->class->vft[COLOR_abstract_collection__Collection__length]))(var50) /* length on <var50:Array[MParameter]>*/;
-{ /* Inline kernel#Int#== (var49,var51) */
-var54 = var49 == var51;
-var52 = var54;
-goto RET_LABEL53;
-RET_LABEL53:(void)0;
-}
-if (var52){
-var55 = NEW_range__Range(&type_range__Rangekernel__Int);
-var56 = 0;
-var57 = ((val* (*)(val*))(self->class->vft[COLOR_parser_nodes__ASendExpr__n_closure_defs]))(self) /* n_closure_defs on <self:ASendExpr>*/;
-var58 = ((long (*)(val*))(var57->class->vft[COLOR_abstract_collection__Collection__length]))(var57) /* length on <var57:ANodes[AClosureDef]>*/;
-var59 = BOX_kernel__Int(var56); /* autobox from Int to Discrete */
-var60 = BOX_kernel__Int(var58); /* autobox from Int to Discrete */
-((void (*)(val*, val*, val*))(var55->class->vft[COLOR_range__Range__without_last]))(var55, var59, var60) /* without_last on <var55:Range[Int]>*/;
-CHECK_NEW_range__Range(var55);
-var61 = ((val* (*)(val*))(var55->class->vft[COLOR_abstract_collection__Collection__iterator]))(var55) /* iterator on <var55:Range[Int]>*/;
-for(;;) {
-var62 = ((short int (*)(val*))(var61->class->vft[COLOR_abstract_collection__Iterator__is_ok]))(var61) /* is_ok on <var61:Iterator[nullable Object]>*/;
-if(!var62) break;
-var63 = ((val* (*)(val*))(var61->class->vft[COLOR_abstract_collection__Iterator__item]))(var61) /* item on <var61:Iterator[nullable Object]>*/;
-var64 = ((struct instance_kernel__Int*)var63)->value; /* autounbox from nullable Object to Int */;
-var_i = var64;
-var65 = ((val* (*)(val*))(self->class->vft[COLOR_parser_nodes__ASendExpr__n_closure_defs]))(self) /* n_closure_defs on <self:ASendExpr>*/;
-var66 = ((val* (*)(val*, long))(var65->class->vft[COLOR_abstract_collection__SequenceRead___91d_93d]))(var65, var_i) /* [] on <var65:ANodes[AClosureDef]>*/;
-var67 = ((val* (*)(val*))(var_msignature->class->vft[COLOR_model__MSignature__mclosures]))(var_msignature) /* mclosures on <var_msignature:MSignature>*/;
-var68 = ((val* (*)(val*, long))(var67->class->vft[COLOR_abstract_collection__SequenceRead___91d_93d]))(var67, var_i) /* [] on <var67:Array[MParameter]>*/;
-((void (*)(val*, val*, val*))(var66->class->vft[COLOR_typing__AClosureDef__accept_typing]))(var66, var_v, var68) /* accept_typing on <var66:nullable Object(AClosureDef)>*/;
-CONTINUE_label: (void)0;
-((void (*)(val*))(var61->class->vft[COLOR_abstract_collection__Iterator__next]))(var61) /* next on <var61:Iterator[nullable Object]>*/;
-}
-BREAK_label: (void)0;
-} else {
-if (varonce69) {
-var70 = varonce69;
-} else {
-var71 = "closure: got ";
-var72 = 13;
-var73 = string__NativeString__to_s_with_length(var71, var72);
-var70 = var73;
-varonce69 = var70;
-}
-var74 = ((val* (*)(val*))(self->class->vft[COLOR_parser_nodes__ASendExpr__n_closure_defs]))(self) /* n_closure_defs on <self:ASendExpr>*/;
-var75 = ((long (*)(val*))(var74->class->vft[COLOR_abstract_collection__Collection__length]))(var74) /* length on <var74:ANodes[AClosureDef]>*/;
-if (varonce76) {
-var77 = varonce76;
-} else {
-var78 = ", want ";
-var79 = 7;
-var80 = string__NativeString__to_s_with_length(var78, var79);
-var77 = var80;
-varonce76 = var77;
-}
-var81 = ((val* (*)(val*))(var_msignature->class->vft[COLOR_model__MSignature__mclosures]))(var_msignature) /* mclosures on <var_msignature:MSignature>*/;
-var82 = ((long (*)(val*))(var81->class->vft[COLOR_abstract_collection__Collection__length]))(var81) /* length on <var81:Array[MParameter]>*/;
-var83 = NEW_array__Array(&type_array__Arraykernel__Object);
-{ /* var83 = array_instance Array[Object] */
-var84 = 4;
-var85 = NEW_array__NativeArray(var84, &type_array__NativeArraykernel__Object);
-((struct instance_array__NativeArray*)var85)->values[0] = (val*) var70;
-var86 = BOX_kernel__Int(var75); /* autobox from Int to Object */
-((struct instance_array__NativeArray*)var85)->values[1] = (val*) var86;
-((struct instance_array__NativeArray*)var85)->values[2] = (val*) var77;
-var87 = BOX_kernel__Int(var82); /* autobox from Int to Object */
-((struct instance_array__NativeArray*)var85)->values[3] = (val*) var87;
-((void (*)(val*, val*, long))(var83->class->vft[COLOR_array__Array__with_native]))(var83, var85, var84) /* with_native on <var83:Array[Object]>*/;
-CHECK_NEW_array__Array(var83);
-}
-var88 = ((val* (*)(val*))(var83->class->vft[COLOR_string__Object__to_s]))(var83) /* to_s on <var83:Array[Object]>*/;
-((void (*)(val*, val*))(self->class->vft[COLOR_parser_nodes__ANode__debug]))(self, var88) /* debug on <self:ASendExpr>*/;
-}
 RET_LABEL:;
 }
 /* method typing#ASendExpr#accept_typing for (self: Object, TypeVisitor) */
@@ -7621,8 +7503,11 @@ RET_LABEL:;
 /* method typing#ASendExpr#property_name for (self: ASendExpr): String */
 val* typing__ASendExpr__property_name(val* self) {
 val* var /* : String */;
-fprintf(stderr, "Runtime error: %s (%s:%d)\n", "Deferred method called", "src/typing.nit", 1256);
-exit(1);
+const char* var_class_name;
+var_class_name = self == NULL ? "null" : self->type->name;
+fprintf(stderr, "Runtime error: Abstract method `%s` called on `%s`", "property_name", var_class_name);
+fprintf(stderr, " (%s:%d)\n", "src/typing.nit", 1230);
+show_backtrace(1);
 RET_LABEL:;
 return var;
 }
@@ -7666,8 +7551,11 @@ RET_LABEL:;
 /* method typing#ASendExpr#compute_raw_arguments for (self: ASendExpr): Array[AExpr] */
 val* typing__ASendExpr__compute_raw_arguments(val* self) {
 val* var /* : Array[AExpr] */;
-fprintf(stderr, "Runtime error: %s (%s:%d)\n", "Deferred method called", "src/typing.nit", 1263);
-exit(1);
+const char* var_class_name;
+var_class_name = self == NULL ? "null" : self->type->name;
+fprintf(stderr, "Runtime error: Abstract method `%s` called on `%s`", "compute_raw_arguments", var_class_name);
+fprintf(stderr, " (%s:%d)\n", "src/typing.nit", 1237);
+show_backtrace(1);
 RET_LABEL:;
 return var;
 }
@@ -7690,7 +7578,6 @@ val* var3 /* : AExpr */;
 var1 = NEW_array__Array(&type_array__Arrayparser_nodes__AExpr);
 var2 = 1;
 ((void (*)(val*, long))(var1->class->vft[COLOR_array__Array__with_capacity]))(var1, var2) /* with_capacity on <var1:Array[AExpr]>*/;
-CHECK_NEW_array__Array(var1);
 var_ = var1;
 var3 = ((val* (*)(val*))(self->class->vft[COLOR_parser_nodes__ABinopExpr__n_expr2]))(self) /* n_expr2 on <self:ABinopExpr>*/;
 ((void (*)(val*, val*))(var_->class->vft[COLOR_abstract_collection__Sequence__push]))(var_, var3) /* push on <var_:Array[AExpr]>*/;
@@ -7821,16 +7708,18 @@ goto RET_LABEL;
 }
 var13 = ((val* (*)(val*))(self->class->vft[COLOR_flow__AExpr__after_flow_context]))(self) /* after_flow_context on <self:AEqExpr>*/;
 if (var13 == NULL) {
-fprintf(stderr, "Runtime error: %s (%s:%d)\n", "Reciever is null", "src/typing.nit", 1281);
-exit(1);
+fprintf(stderr, "Runtime error: %s", "Receiver is null");
+fprintf(stderr, " (%s:%d)\n", "src/typing.nit", 1255);
+show_backtrace(1);
 } else {
 var14 = ((val* (*)(val*))(var13->class->vft[COLOR_flow__FlowContext__when_true]))(var13) /* when_true on <var13:nullable FlowContext>*/;
 }
 ((void (*)(val*, val*, val*))(var14->class->vft[COLOR_typing__FlowContext__set_var]))(var14, var_variable, var_mtype) /* set_var on <var14:FlowContext>*/;
 var15 = ((val* (*)(val*))(self->class->vft[COLOR_flow__AExpr__after_flow_context]))(self) /* after_flow_context on <self:AEqExpr>*/;
 if (var15 == NULL) {
-fprintf(stderr, "Runtime error: %s (%s:%d)\n", "Reciever is null", "src/typing.nit", 1282);
-exit(1);
+fprintf(stderr, "Runtime error: %s", "Receiver is null");
+fprintf(stderr, " (%s:%d)\n", "src/typing.nit", 1256);
+show_backtrace(1);
 } else {
 var16 = ((val* (*)(val*))(var15->class->vft[COLOR_flow__FlowContext__when_false]))(var15) /* when_false on <var15:nullable FlowContext>*/;
 }
@@ -7956,16 +7845,18 @@ goto RET_LABEL;
 }
 var13 = ((val* (*)(val*))(self->class->vft[COLOR_flow__AExpr__after_flow_context]))(self) /* after_flow_context on <self:ANeExpr>*/;
 if (var13 == NULL) {
-fprintf(stderr, "Runtime error: %s (%s:%d)\n", "Reciever is null", "src/typing.nit", 1298);
-exit(1);
+fprintf(stderr, "Runtime error: %s", "Receiver is null");
+fprintf(stderr, " (%s:%d)\n", "src/typing.nit", 1272);
+show_backtrace(1);
 } else {
 var14 = ((val* (*)(val*))(var13->class->vft[COLOR_flow__FlowContext__when_false]))(var13) /* when_false on <var13:nullable FlowContext>*/;
 }
 ((void (*)(val*, val*, val*))(var14->class->vft[COLOR_typing__FlowContext__set_var]))(var14, var_variable, var_mtype) /* set_var on <var14:FlowContext>*/;
 var15 = ((val* (*)(val*))(self->class->vft[COLOR_flow__AExpr__after_flow_context]))(self) /* after_flow_context on <self:ANeExpr>*/;
 if (var15 == NULL) {
-fprintf(stderr, "Runtime error: %s (%s:%d)\n", "Reciever is null", "src/typing.nit", 1299);
-exit(1);
+fprintf(stderr, "Runtime error: %s", "Receiver is null");
+fprintf(stderr, " (%s:%d)\n", "src/typing.nit", 1273);
+show_backtrace(1);
 } else {
 var16 = ((val* (*)(val*))(var15->class->vft[COLOR_flow__FlowContext__when_true]))(var15) /* when_true on <var15:nullable FlowContext>*/;
 }
@@ -8387,7 +8278,6 @@ val* var /* : Array[AExpr] */;
 val* var1 /* : Array[AExpr] */;
 var1 = NEW_array__Array(&type_array__Arrayparser_nodes__AExpr);
 ((void (*)(val*))(var1->class->vft[COLOR_array__Array__init]))(var1) /* init on <var1:Array[AExpr]>*/;
-CHECK_NEW_array__Array(var1);
 var = var1;
 goto RET_LABEL;
 RET_LABEL:;
@@ -8616,32 +8506,6 @@ var = var1;
 RET_LABEL:;
 return var;
 }
-/* method typing#ASendReassignFormExpr#write_mproperty for (self: ASendReassignFormExpr): nullable MMethod */
-val* typing__ASendReassignFormExpr__write_mproperty(val* self) {
-val* var /* : nullable MMethod */;
-val* var1 /* : nullable CallSite */;
-val* var2 /* : MMethod */;
-var1 = ((val* (*)(val*))(self->class->vft[COLOR_typing__ASendReassignFormExpr__write_callsite]))(self) /* write_callsite on <self:ASendReassignFormExpr>*/;
-if (var1 == NULL) {
-fprintf(stderr, "Runtime error: %s (%s:%d)\n", "Reciever is null", "src/typing.nit", 1378);
-exit(1);
-} else {
-var2 = ((val* (*)(val*))(var1->class->vft[COLOR_typing__CallSite__mproperty]))(var1) /* mproperty on <var1:nullable CallSite>*/;
-}
-var = var2;
-goto RET_LABEL;
-RET_LABEL:;
-return var;
-}
-/* method typing#ASendReassignFormExpr#write_mproperty for (self: Object): nullable MMethod */
-val* VIRTUAL_typing__ASendReassignFormExpr__write_mproperty(val* self) {
-val* var /* : nullable MMethod */;
-val* var1 /* : nullable MMethod */;
-var1 = typing__ASendReassignFormExpr__write_mproperty(self);
-var = var1;
-RET_LABEL:;
-return var;
-}
 /* method typing#ASendReassignFormExpr#write_callsite for (self: ASendReassignFormExpr): nullable CallSite */
 val* typing__ASendReassignFormExpr__write_callsite(val* self) {
 val* var /* : nullable CallSite */;
@@ -8805,7 +8669,6 @@ var17 = NEW_array__NativeArray(var16, &type_array__NativeArraykernel__Object);
 ((struct instance_array__NativeArray*)var17)->values[1] = (val*) var_name;
 ((struct instance_array__NativeArray*)var17)->values[2] = (val*) var11;
 ((void (*)(val*, val*, long))(var15->class->vft[COLOR_array__Array__with_native]))(var15, var17, var16) /* with_native on <var15:Array[Object]>*/;
-CHECK_NEW_array__Array(var15);
 }
 var18 = ((val* (*)(val*))(var15->class->vft[COLOR_string__Object__to_s]))(var15) /* to_s on <var15:Array[Object]>*/;
 ((void (*)(val*, val*, val*))(var_v->class->vft[COLOR_typing__TypeVisitor__error]))(var_v, self, var18) /* error on <var_v:TypeVisitor>*/;
@@ -8876,7 +8739,6 @@ var44 = NEW_array__NativeArray(var43, &type_array__NativeArraykernel__Object);
 ((struct instance_array__NativeArray*)var44)->values[1] = (val*) var_name;
 ((struct instance_array__NativeArray*)var44)->values[2] = (val*) var38;
 ((void (*)(val*, val*, long))(var42->class->vft[COLOR_array__Array__with_native]))(var42, var44, var43) /* with_native on <var42:Array[Object]>*/;
-CHECK_NEW_array__Array(var42);
 }
 var45 = ((val* (*)(val*))(var42->class->vft[COLOR_string__Object__to_s]))(var42) /* to_s on <var42:Array[Object]>*/;
 ((void (*)(val*, val*, val*))(var_v->class->vft[COLOR_typing__TypeVisitor__error]))(var_v, self, var45) /* error on <var_v:TypeVisitor>*/;
@@ -9113,32 +8975,60 @@ var = var1;
 RET_LABEL:;
 return var;
 }
-/* method typing#ASuperExpr#mproperty for (self: ASuperExpr): nullable MMethod */
-val* typing__ASuperExpr__mproperty(val* self) {
-val* var /* : nullable MMethod */;
-val* var1 /* : nullable MMethod */;
-var1 = self->attrs[COLOR_typing__ASuperExpr___64dmproperty].val; /* @mproperty on <self:ASuperExpr> */
+/* method typing#ASuperExpr#callsite for (self: ASuperExpr): nullable CallSite */
+val* typing__ASuperExpr__callsite(val* self) {
+val* var /* : nullable CallSite */;
+val* var1 /* : nullable CallSite */;
+var1 = self->attrs[COLOR_typing__ASuperExpr___64dcallsite].val; /* @callsite on <self:ASuperExpr> */
 var = var1;
 RET_LABEL:;
 return var;
 }
-/* method typing#ASuperExpr#mproperty for (self: Object): nullable MMethod */
-val* VIRTUAL_typing__ASuperExpr__mproperty(val* self) {
-val* var /* : nullable MMethod */;
-val* var1 /* : nullable MMethod */;
-var1 = typing__ASuperExpr__mproperty(self);
+/* method typing#ASuperExpr#callsite for (self: Object): nullable CallSite */
+val* VIRTUAL_typing__ASuperExpr__callsite(val* self) {
+val* var /* : nullable CallSite */;
+val* var1 /* : nullable CallSite */;
+var1 = typing__ASuperExpr__callsite(self);
+var = var1;
+RET_LABEL:;
+return var;
+}
+/* method typing#ASuperExpr#callsite= for (self: ASuperExpr, nullable CallSite) */
+void typing__ASuperExpr__callsite_61d(val* self, val* p0) {
+self->attrs[COLOR_typing__ASuperExpr___64dcallsite].val = p0; /* @callsite on <self:ASuperExpr> */
+RET_LABEL:;
+}
+/* method typing#ASuperExpr#callsite= for (self: Object, nullable CallSite) */
+void VIRTUAL_typing__ASuperExpr__callsite_61d(val* self, val* p0) {
+typing__ASuperExpr__callsite_61d(self, p0);
+RET_LABEL:;
+}
+/* method typing#ASuperExpr#mpropdef for (self: ASuperExpr): nullable MMethodDef */
+val* typing__ASuperExpr__mpropdef(val* self) {
+val* var /* : nullable MMethodDef */;
+val* var1 /* : nullable MMethodDef */;
+var1 = self->attrs[COLOR_typing__ASuperExpr___64dmpropdef].val; /* @mpropdef on <self:ASuperExpr> */
 var = var1;
 RET_LABEL:;
 return var;
 }
-/* method typing#ASuperExpr#mproperty= for (self: ASuperExpr, nullable MMethod) */
-void typing__ASuperExpr__mproperty_61d(val* self, val* p0) {
-self->attrs[COLOR_typing__ASuperExpr___64dmproperty].val = p0; /* @mproperty on <self:ASuperExpr> */
+/* method typing#ASuperExpr#mpropdef for (self: Object): nullable MMethodDef */
+val* VIRTUAL_typing__ASuperExpr__mpropdef(val* self) {
+val* var /* : nullable MMethodDef */;
+val* var1 /* : nullable MMethodDef */;
+var1 = typing__ASuperExpr__mpropdef(self);
+var = var1;
+RET_LABEL:;
+return var;
+}
+/* method typing#ASuperExpr#mpropdef= for (self: ASuperExpr, nullable MMethodDef) */
+void typing__ASuperExpr__mpropdef_61d(val* self, val* p0) {
+self->attrs[COLOR_typing__ASuperExpr___64dmpropdef].val = p0; /* @mpropdef on <self:ASuperExpr> */
 RET_LABEL:;
 }
-/* method typing#ASuperExpr#mproperty= for (self: Object, nullable MMethod) */
-void VIRTUAL_typing__ASuperExpr__mproperty_61d(val* self, val* p0) {
-typing__ASuperExpr__mproperty_61d(self, p0);
+/* method typing#ASuperExpr#mpropdef= for (self: Object, nullable MMethodDef) */
+void VIRTUAL_typing__ASuperExpr__mpropdef_61d(val* self, val* p0) {
+typing__ASuperExpr__mpropdef_61d(self, p0);
 RET_LABEL:;
 }
 /* method typing#ASuperExpr#accept_typing for (self: ASuperExpr, TypeVisitor) */
@@ -9162,7 +9052,7 @@ long var9 /* : Int */;
 val* var10 /* : String */;
 val* var11 /* : MModule */;
 val* var12 /* : Array[MPropDef] */;
-val* var_superprops /* var superprops: Array[MPropDef] */;
+val* var_superprops /* var superprops: Array[MMethodDef] */;
 long var13 /* : Int */;
 long var14 /* : Int */;
 short int var15 /* : Bool */;
@@ -9187,35 +9077,39 @@ long var33 /* : Int */;
 val* var34 /* : NativeArray[Object] */;
 val* var35 /* : String */;
 val* var36 /* : nullable Object */;
-val* var_superprop /* var superprop: MPropDef */;
+val* var_superprop /* var superprop: MMethodDef */;
 short int var37 /* : Bool */;
-int cltype38;
-int idtype39;
-short int var40 /* : Bool */;
-val* var41 /* : MSignature */;
+val* var38 /* : MSignature */;
 val* var_msignature /* var msignature: MSignature */;
-val* var42 /* : AExprs */;
-val* var43 /* : Array[AExpr] */;
+val* var39 /* : AExprs */;
+val* var40 /* : Array[AExpr] */;
 val* var_args /* var args: Array[AExpr] */;
-long var44 /* : Int */;
-long var45 /* : Int */;
-short int var46 /* : Bool */;
+long var41 /* : Int */;
+long var42 /* : Int */;
+short int var43 /* : Bool */;
+short int var45 /* : Bool */;
+int cltype46;
+int idtype47;
+const char* var_class_name;
 short int var48 /* : Bool */;
-int cltype49;
-int idtype50;
-short int var51 /* : Bool */;
-val* var52 /* : String */;
-short int var53 /* : Bool */;
-val* var54 /* : nullable MType */;
-short int var55 /* : Bool */;
-val* var56 /* : MPropDef */;
-short int var57 /* : Bool */;
+val* var49 /* : String */;
+short int var50 /* : Bool */;
+val* var51 /* : nullable MType */;
+short int var52 /* : Bool */;
+val* var53 /* : MPropDef */;
+short int var54 /* : Bool */;
+val* var55 /* : MPropDef */;
+short int var56 /* : Bool */;
+int cltype57;
+int idtype58;
+const char* var_class_name59;
 var_v = p0;
 var = ((val* (*)(val*))(var_v->class->vft[COLOR_typing__TypeVisitor__nclassdef]))(var_v) /* nclassdef on <var_v:TypeVisitor>*/;
 var1 = ((val* (*)(val*))(var->class->vft[COLOR_modelize_class__AClassdef__mclassdef]))(var) /* mclassdef on <var:AClassdef>*/;
 if (var1 == NULL) {
-fprintf(stderr, "Runtime error: %s (%s:%d)\n", "Reciever is null", "src/typing.nit", 1454);
-exit(1);
+fprintf(stderr, "Runtime error: %s", "Receiver is null");
+fprintf(stderr, " (%s:%d)\n", "src/typing.nit", 1429);
+show_backtrace(1);
 } else {
 var2 = ((val* (*)(val*))(var1->class->vft[COLOR_model__MClassDef__bound_mtype]))(var1) /* bound_mtype on <var1:nullable MClassDef>*/;
 }
@@ -9249,7 +9143,7 @@ goto RET_LABEL;
 var11 = ((val* (*)(val*))(var_v->class->vft[COLOR_typing__TypeVisitor__mmodule]))(var_v) /* mmodule on <var_v:TypeVisitor>*/;
 var12 = ((val* (*)(val*, val*, val*))(var_mproperty->class->vft[COLOR_model__MProperty__lookup_super_definitions]))(var_mproperty, var11, var_recvtype) /* lookup_super_definitions on <var_mproperty:MProperty(MMethod)>*/;
 var_superprops = var12;
-var13 = ((long (*)(val*))(var_superprops->class->vft[COLOR_abstract_collection__Collection__length]))(var_superprops) /* length on <var_superprops:Array[MPropDef]>*/;
+var13 = ((long (*)(val*))(var_superprops->class->vft[COLOR_abstract_collection__Collection__length]))(var_superprops) /* length on <var_superprops:Array[MMethodDef]>*/;
 var14 = 0;
 { /* Inline kernel#Int#== (var13,var14) */
 var17 = var13 == var14;
@@ -9298,61 +9192,66 @@ var34 = NEW_array__NativeArray(var33, &type_array__NativeArraykernel__Object);
 ((struct instance_array__NativeArray*)var34)->values[1] = (val*) var_mproperty;
 ((struct instance_array__NativeArray*)var34)->values[2] = (val*) var28;
 ((void (*)(val*, val*, long))(var32->class->vft[COLOR_array__Array__with_native]))(var32, var34, var33) /* with_native on <var32:Array[Object]>*/;
-CHECK_NEW_array__Array(var32);
 }
 var35 = ((val* (*)(val*))(var32->class->vft[COLOR_string__Object__to_s]))(var32) /* to_s on <var32:Array[Object]>*/;
 ((void (*)(val*, val*, val*))(var_v->class->vft[COLOR_typing__TypeVisitor__error]))(var_v, self, var35) /* error on <var_v:TypeVisitor>*/;
 goto RET_LABEL;
 } else {
 }
-var36 = ((val* (*)(val*))(var_superprops->class->vft[COLOR_abstract_collection__Collection__first]))(var_superprops) /* first on <var_superprops:Array[MPropDef]>*/;
+var36 = ((val* (*)(val*))(var_superprops->class->vft[COLOR_abstract_collection__Collection__first]))(var_superprops) /* first on <var_superprops:Array[MMethodDef]>*/;
 var_superprop = var36;
-/* <var_superprop:MPropDef> isa MMethodDef */
-cltype38 = type_model__MMethodDef.color;
-idtype39 = type_model__MMethodDef.id;
-if(cltype38 >= var_superprop->type->table_size) {
-var37 = 0;
-} else {
-var37 = var_superprop->type->type_table[cltype38] == idtype39;
-}
-if (!var37) {
-fprintf(stderr, "Runtime error: %s (%s:%d)\n", "Assert failed", "src/typing.nit", 1471);
-exit(1);
-}
-var40 = 1;
-var41 = ((val* (*)(val*, val*, val*, short int))(var_v->class->vft[COLOR_typing__TypeVisitor__resolve_signature_for]))(var_v, var_superprop, var_recvtype, var40) /* resolve_signature_for on <var_v:TypeVisitor>*/;
-var_msignature = var41;
-var42 = ((val* (*)(val*))(self->class->vft[COLOR_parser_nodes__ASuperExpr__n_args]))(self) /* n_args on <self:ASuperExpr>*/;
-var43 = ((val* (*)(val*))(var42->class->vft[COLOR_typing__AExprs__to_a]))(var42) /* to_a on <var42:AExprs>*/;
-var_args = var43;
-var44 = ((long (*)(val*))(var_args->class->vft[COLOR_abstract_collection__Collection__length]))(var_args) /* length on <var_args:Array[AExpr]>*/;
-var45 = 0;
-{ /* Inline kernel#Int#> (var44,var45) */
-/* Covariant cast for argument 0 (i) <var45:Int> isa OTHER */
-/* <var45:Int> isa OTHER */
-var48 = 1; /* easy <var45:Int> isa OTHER*/
-if (!var48) {
-fprintf(stderr, "Runtime error: %s (%s:%d)\n", "Cast failed", "lib/standard/kernel.nit", 259);
-exit(1);
-}
-var51 = var44 > var45;
-var46 = var51;
-goto RET_LABEL47;
-RET_LABEL47:(void)0;
-}
-if (var46){
-var52 = ((val* (*)(val*))(var_mproperty->class->vft[COLOR_model__MProperty__name]))(var_mproperty) /* name on <var_mproperty:MProperty(MMethod)>*/;
-var53 = ((short int (*)(val*, val*, val*, val*, val*))(var_v->class->vft[COLOR_typing__TypeVisitor__check_signature]))(var_v, self, var_args, var52, var_msignature) /* check_signature on <var_v:TypeVisitor>*/;
-var53;
+var37 = 1;
+var38 = ((val* (*)(val*, val*, val*, short int))(var_v->class->vft[COLOR_typing__TypeVisitor__resolve_signature_for]))(var_v, var_superprop, var_recvtype, var37) /* resolve_signature_for on <var_v:TypeVisitor>*/;
+var_msignature = var38;
+var39 = ((val* (*)(val*))(self->class->vft[COLOR_parser_nodes__ASuperExpr__n_args]))(self) /* n_args on <self:ASuperExpr>*/;
+var40 = ((val* (*)(val*))(var39->class->vft[COLOR_typing__AExprs__to_a]))(var39) /* to_a on <var39:AExprs>*/;
+var_args = var40;
+var41 = ((long (*)(val*))(var_args->class->vft[COLOR_abstract_collection__Collection__length]))(var_args) /* length on <var_args:Array[AExpr]>*/;
+var42 = 0;
+{ /* Inline kernel#Int#> (var41,var42) */
+/* Covariant cast for argument 0 (i) <var42:Int> isa OTHER */
+/* <var42:Int> isa OTHER */
+var45 = 1; /* easy <var42:Int> isa OTHER*/
+if (!var45) {
+var_class_name = type_kernel__Int.name;
+fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name);
+fprintf(stderr, " (%s:%d)\n", "lib/standard/kernel.nit", 267);
+show_backtrace(1);
+}
+var48 = var41 > var42;
+var43 = var48;
+goto RET_LABEL44;
+RET_LABEL44:(void)0;
+}
+if (var43){
+var49 = ((val* (*)(val*))(var_mproperty->class->vft[COLOR_model__MProperty__name]))(var_mproperty) /* name on <var_mproperty:MProperty(MMethod)>*/;
+var50 = ((short int (*)(val*, val*, val*, val*, val*))(var_v->class->vft[COLOR_typing__TypeVisitor__check_signature]))(var_v, self, var_args, var49, var_msignature) /* check_signature on <var_v:TypeVisitor>*/;
+var50;
+} else {
+}
+var51 = ((val* (*)(val*))(var_msignature->class->vft[COLOR_model__MSignature__return_mtype]))(var_msignature) /* return_mtype on <var_msignature:MSignature>*/;
+((void (*)(val*, val*))(self->class->vft[COLOR_typing__AExpr__mtype_61d]))(self, var51) /* mtype= on <self:ASuperExpr>*/;
+var52 = 1;
+((void (*)(val*, short int))(self->class->vft[COLOR_typing__AExpr__is_typed_61d]))(self, var52) /* is_typed= on <self:ASuperExpr>*/;
+var53 = ((val* (*)(val*))(var_v->class->vft[COLOR_typing__TypeVisitor__mpropdef]))(var_v) /* mpropdef on <var_v:TypeVisitor>*/;
+var54 = 1;
+((void (*)(val*, short int))(var53->class->vft[COLOR_modelize_property__MPropDef__has_supercall_61d]))(var53, var54) /* has_supercall= on <var53:MPropDef>*/;
+var55 = ((val* (*)(val*))(var_v->class->vft[COLOR_typing__TypeVisitor__mpropdef]))(var_v) /* mpropdef on <var_v:TypeVisitor>*/;
+/* <var55:MPropDef> isa MMethodDef */
+cltype57 = type_model__MMethodDef.color;
+idtype58 = type_model__MMethodDef.id;
+if(cltype57 >= var55->type->table_size) {
+var56 = 0;
 } else {
+var56 = var55->type->type_table[cltype57] == idtype58;
+}
+if (!var56) {
+var_class_name59 = var55 == NULL ? "null" : var55->type->name;
+fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "MMethodDef", var_class_name59);
+fprintf(stderr, " (%s:%d)\n", "src/typing.nit", 1455);
+show_backtrace(1);
 }
-var54 = ((val* (*)(val*))(var_msignature->class->vft[COLOR_model__MSignature__return_mtype]))(var_msignature) /* return_mtype on <var_msignature:MSignature>*/;
-((void (*)(val*, val*))(self->class->vft[COLOR_typing__AExpr__mtype_61d]))(self, var54) /* mtype= on <self:ASuperExpr>*/;
-var55 = 1;
-((void (*)(val*, short int))(self->class->vft[COLOR_typing__AExpr__is_typed_61d]))(self, var55) /* is_typed= on <self:ASuperExpr>*/;
-var56 = ((val* (*)(val*))(var_v->class->vft[COLOR_typing__TypeVisitor__mpropdef]))(var_v) /* mpropdef on <var_v:TypeVisitor>*/;
-var57 = 1;
-((void (*)(val*, short int))(var56->class->vft[COLOR_typing__MPropDef__has_supercall_61d]))(var56, var57) /* has_supercall= on <var56:MPropDef>*/;
+((void (*)(val*, val*))(self->class->vft[COLOR_typing__ASuperExpr__mpropdef_61d]))(self, var55) /* mpropdef= on <self:ASuperExpr>*/;
 RET_LABEL:;
 }
 /* method typing#ASuperExpr#accept_typing for (self: Object, TypeVisitor) */
@@ -9360,521 +9259,3 @@ void VIRTUAL_typing__ASuperExpr__accept_typing(val* self, val* p0) {
 typing__ASuperExpr__accept_typing(self, p0);
 RET_LABEL:;
 }
-/* method typing#ASuperExpr#process_superinit for (self: ASuperExpr, TypeVisitor) */
-void typing__ASuperExpr__process_superinit(val* self, val* p0) {
-val* var_v /* var v: TypeVisitor */;
-val* var /* : AClassdef */;
-val* var1 /* : nullable MClassDef */;
-val* var2 /* : MClassType */;
-val* var_recvtype /* var recvtype: MClassType */;
-val* var3 /* : MPropDef */;
-val* var4 /* : MProperty */;
-val* var_mproperty /* var mproperty: MProperty */;
-val* var5 /* : null */;
-val* var_superprop /* var superprop: nullable MMethodDef */;
-val* var6 /* : AClassdef */;
-val* var7 /* : nullable MClassDef */;
-val* var8 /* : Array[MClassType] */;
-val* var9 /* : Iterator[nullable Object] */;
-short int var10 /* : Bool */;
-val* var11 /* : nullable Object */;
-val* var_msupertype /* var msupertype: MClassType */;
-val* var12 /* : MModule */;
-val* var13 /* : MType */;
-val* var14 /* : ModelBuilder */;
-val* var15 /* : ToolContext */;
-long var16 /* : Int */;
-long var_errcount /* var errcount: Int */;
-val* var17 /* : String */;
-val* var18 /* : nullable MProperty */;
-short int var19 /* : Bool */;
-int cltype;
-int idtype;
-val* var_candidate /* var candidate: nullable MMethod */;
-val* var20 /* : null */;
-short int var21 /* : Bool */;
-val* var22 /* : ModelBuilder */;
-val* var23 /* : ToolContext */;
-long var24 /* : Int */;
-short int var25 /* : Bool */;
-short int var27 /* : Bool */;
-int cltype28;
-int idtype29;
-short int var30 /* : Bool */;
-short int var31 /* : Bool */;
-val* var32 /* : null */;
-short int var33 /* : Bool */;
-short int var_ /* var : Bool */;
-val* var34 /* : MProperty */;
-short int var35 /* : Bool */;
-static val* varonce;
-val* var36 /* : String */;
-char* var37 /* : NativeString */;
-long var38 /* : Int */;
-val* var39 /* : String */;
-static val* varonce40;
-val* var41 /* : String */;
-char* var42 /* : NativeString */;
-long var43 /* : Int */;
-val* var44 /* : String */;
-val* var45 /* : String */;
-static val* varonce46;
-val* var47 /* : String */;
-char* var48 /* : NativeString */;
-long var49 /* : Int */;
-val* var50 /* : String */;
-val* var51 /* : MProperty */;
-val* var52 /* : String */;
-val* var53 /* : Array[Object] */;
-long var54 /* : Int */;
-val* var55 /* : NativeArray[Object] */;
-val* var56 /* : String */;
-val* var57 /* : MModule */;
-val* var58 /* : Array[MPropDef] */;
-val* var_candidatedefs /* var candidatedefs: Array[MMethodDef] */;
-val* var59 /* : null */;
-short int var60 /* : Bool */;
-val* var61 /* : nullable Object */;
-short int var62 /* : Bool */;
-long var63 /* : Int */;
-long var64 /* : Int */;
-short int var65 /* : Bool */;
-short int var67 /* : Bool */;
-int cltype68;
-int idtype69;
-short int var70 /* : Bool */;
-static val* varonce71;
-val* var72 /* : String */;
-char* var73 /* : NativeString */;
-long var74 /* : Int */;
-val* var75 /* : String */;
-static val* varonce76;
-val* var77 /* : String */;
-char* var78 /* : NativeString */;
-long var79 /* : Int */;
-val* var80 /* : String */;
-static val* varonce81;
-val* var82 /* : String */;
-char* var83 /* : NativeString */;
-long var84 /* : Int */;
-val* var85 /* : String */;
-static val* varonce86;
-val* var87 /* : String */;
-char* var88 /* : NativeString */;
-long var89 /* : Int */;
-val* var90 /* : String */;
-val* var91 /* : String */;
-val* var92 /* : Array[Object] */;
-long var93 /* : Int */;
-val* var94 /* : NativeArray[Object] */;
-val* var95 /* : String */;
-val* var96 /* : nullable Object */;
-val* var97 /* : null */;
-short int var98 /* : Bool */;
-static val* varonce99;
-val* var100 /* : String */;
-char* var101 /* : NativeString */;
-long var102 /* : Int */;
-val* var103 /* : String */;
-static val* varonce104;
-val* var105 /* : String */;
-char* var106 /* : NativeString */;
-long var107 /* : Int */;
-val* var108 /* : String */;
-val* var109 /* : Array[Object] */;
-long var110 /* : Int */;
-val* var111 /* : NativeArray[Object] */;
-val* var112 /* : String */;
-val* var113 /* : MProperty */;
-val* var114 /* : AExprs */;
-val* var115 /* : Array[AExpr] */;
-val* var_args /* var args: Array[AExpr] */;
-short int var116 /* : Bool */;
-val* var117 /* : MSignature */;
-val* var_msignature /* var msignature: MSignature */;
-long var118 /* : Int */;
-long var119 /* : Int */;
-short int var120 /* : Bool */;
-short int var122 /* : Bool */;
-int cltype123;
-int idtype124;
-short int var125 /* : Bool */;
-val* var126 /* : String */;
-short int var127 /* : Bool */;
-short int var128 /* : Bool */;
-var_v = p0;
-var = ((val* (*)(val*))(var_v->class->vft[COLOR_typing__TypeVisitor__nclassdef]))(var_v) /* nclassdef on <var_v:TypeVisitor>*/;
-var1 = ((val* (*)(val*))(var->class->vft[COLOR_modelize_class__AClassdef__mclassdef]))(var) /* mclassdef on <var:AClassdef>*/;
-if (var1 == NULL) {
-fprintf(stderr, "Runtime error: %s (%s:%d)\n", "Reciever is null", "src/typing.nit", 1485);
-exit(1);
-} else {
-var2 = ((val* (*)(val*))(var1->class->vft[COLOR_model__MClassDef__bound_mtype]))(var1) /* bound_mtype on <var1:nullable MClassDef>*/;
-}
-var_recvtype = var2;
-var3 = ((val* (*)(val*))(var_v->class->vft[COLOR_typing__TypeVisitor__mpropdef]))(var_v) /* mpropdef on <var_v:TypeVisitor>*/;
-var4 = ((val* (*)(val*))(var3->class->vft[COLOR_model__MPropDef__mproperty]))(var3) /* mproperty on <var3:MPropDef>*/;
-var_mproperty = var4;
-var5 = NULL;
-var_superprop = var5;
-var6 = ((val* (*)(val*))(var_v->class->vft[COLOR_typing__TypeVisitor__nclassdef]))(var_v) /* nclassdef on <var_v:TypeVisitor>*/;
-var7 = ((val* (*)(val*))(var6->class->vft[COLOR_modelize_class__AClassdef__mclassdef]))(var6) /* mclassdef on <var6:AClassdef>*/;
-if (var7 == NULL) {
-fprintf(stderr, "Runtime error: %s (%s:%d)\n", "Reciever is null", "src/typing.nit", 1488);
-exit(1);
-} else {
-var8 = ((val* (*)(val*))(var7->class->vft[COLOR_model__MClassDef__supertypes]))(var7) /* supertypes on <var7:nullable MClassDef>*/;
-}
-var9 = ((val* (*)(val*))(var8->class->vft[COLOR_abstract_collection__Collection__iterator]))(var8) /* iterator on <var8:Array[MClassType]>*/;
-for(;;) {
-var10 = ((short int (*)(val*))(var9->class->vft[COLOR_abstract_collection__Iterator__is_ok]))(var9) /* is_ok on <var9:Iterator[nullable Object]>*/;
-if(!var10) break;
-var11 = ((val* (*)(val*))(var9->class->vft[COLOR_abstract_collection__Iterator__item]))(var9) /* item on <var9:Iterator[nullable Object]>*/;
-var_msupertype = var11;
-var12 = ((val* (*)(val*))(var_v->class->vft[COLOR_typing__TypeVisitor__mmodule]))(var_v) /* mmodule on <var_v:TypeVisitor>*/;
-var13 = ((val* (*)(val*, val*, val*))(var_msupertype->class->vft[COLOR_model__MType__anchor_to]))(var_msupertype, var12, var_recvtype) /* anchor_to on <var_msupertype:MClassType>*/;
-var_msupertype = var13;
-var14 = ((val* (*)(val*))(var_v->class->vft[COLOR_typing__TypeVisitor__modelbuilder]))(var_v) /* modelbuilder on <var_v:TypeVisitor>*/;
-var15 = ((val* (*)(val*))(var14->class->vft[COLOR_modelbuilder__ModelBuilder__toolcontext]))(var14) /* toolcontext on <var14:ModelBuilder>*/;
-var16 = ((long (*)(val*))(var15->class->vft[COLOR_toolcontext__ToolContext__error_count]))(var15) /* error_count on <var15:ToolContext>*/;
-var_errcount = var16;
-var17 = ((val* (*)(val*))(var_mproperty->class->vft[COLOR_model__MProperty__name]))(var_mproperty) /* name on <var_mproperty:MProperty>*/;
-var18 = ((val* (*)(val*, val*, val*, val*))(var_v->class->vft[COLOR_typing__TypeVisitor__try_get_mproperty_by_name2]))(var_v, self, var_msupertype, var17) /* try_get_mproperty_by_name2 on <var_v:TypeVisitor>*/;
-/* <var18:nullable MProperty> isa nullable MMethod */
-cltype = type_nullable_model__MMethod.color;
-idtype = type_nullable_model__MMethod.id;
-if(var18 == NULL) {
-var19 = 1;
-} else {
-if(cltype >= var18->type->table_size) {
-var19 = 0;
-} else {
-var19 = var18->type->type_table[cltype] == idtype;
-}
-}
-if (!var19) {
-fprintf(stderr, "Runtime error: %s (%s:%d)\n", "Cast failed", "src/typing.nit", 1491);
-exit(1);
-}
-var_candidate = var18;
-var20 = NULL;
-if (var_candidate == NULL) {
-var21 = 1; /* is null */
-} else {
-var21 = 0; /* arg is null but recv is not */
-}
-if (var21){
-var22 = ((val* (*)(val*))(var_v->class->vft[COLOR_typing__TypeVisitor__modelbuilder]))(var_v) /* modelbuilder on <var_v:TypeVisitor>*/;
-var23 = ((val* (*)(val*))(var22->class->vft[COLOR_modelbuilder__ModelBuilder__toolcontext]))(var22) /* toolcontext on <var22:ModelBuilder>*/;
-var24 = ((long (*)(val*))(var23->class->vft[COLOR_toolcontext__ToolContext__error_count]))(var23) /* error_count on <var23:ToolContext>*/;
-{ /* Inline kernel#Int#> (var24,var_errcount) */
-/* Covariant cast for argument 0 (i) <var_errcount:Int> isa OTHER */
-/* <var_errcount:Int> isa OTHER */
-var27 = 1; /* easy <var_errcount:Int> isa OTHER*/
-if (!var27) {
-fprintf(stderr, "Runtime error: %s (%s:%d)\n", "Cast failed", "lib/standard/kernel.nit", 259);
-exit(1);
-}
-var30 = var24 > var_errcount;
-var25 = var30;
-goto RET_LABEL26;
-RET_LABEL26:(void)0;
-}
-if (var25){
-goto RET_LABEL;
-} else {
-}
-goto CONTINUE_label;
-} else {
-}
-var32 = NULL;
-if (var_superprop == NULL) {
-var33 = 0; /* is null */
-} else {
-var33 = 1; /* arg is null and recv is not */
-}
-var_ = var33;
-if (var33){
-var34 = ((val* (*)(val*))(var_superprop->class->vft[COLOR_model__MPropDef__mproperty]))(var_superprop) /* mproperty on <var_superprop:nullable MMethodDef(MMethodDef)>*/;
-var35 = ((short int (*)(val*, val*))(var34->class->vft[COLOR_kernel__Object___33d_61d]))(var34, var_candidate) /* != on <var34:MProperty(MMethod)>*/;
-var31 = var35;
-} else {
-var31 = var_;
-}
-if (var31){
-if (varonce) {
-var36 = varonce;
-} else {
-var37 = "Error: conflicting super constructor to call for ";
-var38 = 49;
-var39 = string__NativeString__to_s_with_length(var37, var38);
-var36 = var39;
-varonce = var36;
-}
-if (varonce40) {
-var41 = varonce40;
-} else {
-var42 = ": ";
-var43 = 2;
-var44 = string__NativeString__to_s_with_length(var42, var43);
-var41 = var44;
-varonce40 = var41;
-}
-var45 = ((val* (*)(val*))(var_candidate->class->vft[COLOR_model__MProperty__full_name]))(var_candidate) /* full_name on <var_candidate:nullable MMethod(MMethod)>*/;
-if (varonce46) {
-var47 = varonce46;
-} else {
-var48 = ", ";
-var49 = 2;
-var50 = string__NativeString__to_s_with_length(var48, var49);
-var47 = var50;
-varonce46 = var47;
-}
-var51 = ((val* (*)(val*))(var_superprop->class->vft[COLOR_model__MPropDef__mproperty]))(var_superprop) /* mproperty on <var_superprop:nullable MMethodDef(MMethodDef)>*/;
-var52 = ((val* (*)(val*))(var51->class->vft[COLOR_model__MProperty__full_name]))(var51) /* full_name on <var51:MProperty(MMethod)>*/;
-var53 = NEW_array__Array(&type_array__Arraykernel__Object);
-{ /* var53 = array_instance Array[Object] */
-var54 = 6;
-var55 = NEW_array__NativeArray(var54, &type_array__NativeArraykernel__Object);
-((struct instance_array__NativeArray*)var55)->values[0] = (val*) var36;
-((struct instance_array__NativeArray*)var55)->values[1] = (val*) var_mproperty;
-((struct instance_array__NativeArray*)var55)->values[2] = (val*) var41;
-((struct instance_array__NativeArray*)var55)->values[3] = (val*) var45;
-((struct instance_array__NativeArray*)var55)->values[4] = (val*) var47;
-((struct instance_array__NativeArray*)var55)->values[5] = (val*) var52;
-((void (*)(val*, val*, long))(var53->class->vft[COLOR_array__Array__with_native]))(var53, var55, var54) /* with_native on <var53:Array[Object]>*/;
-CHECK_NEW_array__Array(var53);
-}
-var56 = ((val* (*)(val*))(var53->class->vft[COLOR_string__Object__to_s]))(var53) /* to_s on <var53:Array[Object]>*/;
-((void (*)(val*, val*, val*))(var_v->class->vft[COLOR_typing__TypeVisitor__error]))(var_v, self, var56) /* error on <var_v:TypeVisitor>*/;
-goto RET_LABEL;
-} else {
-}
-var57 = ((val* (*)(val*))(var_v->class->vft[COLOR_typing__TypeVisitor__mmodule]))(var_v) /* mmodule on <var_v:TypeVisitor>*/;
-var58 = ((val* (*)(val*, val*, val*))(var_candidate->class->vft[COLOR_model__MProperty__lookup_definitions]))(var_candidate, var57, var_recvtype) /* lookup_definitions on <var_candidate:nullable MMethod(MMethod)>*/;
-var_candidatedefs = var58;
-var59 = NULL;
-if (var_superprop == NULL) {
-var60 = 0; /* is null */
-} else {
-var60 = 1; /* arg is null and recv is not */
-}
-if (var60){
-var61 = ((val* (*)(val*))(var_candidatedefs->class->vft[COLOR_abstract_collection__Collection__first]))(var_candidatedefs) /* first on <var_candidatedefs:Array[MMethodDef]>*/;
-var62 = ((short int (*)(val*, val*))(var_superprop->class->vft[COLOR_kernel__Object___61d_61d]))(var_superprop, var61) /* == on <var_superprop:nullable MMethodDef(MMethodDef)>*/;
-if (var62){
-goto CONTINUE_label;
-} else {
-}
-((void (*)(val*, val*))(var_candidatedefs->class->vft[COLOR_abstract_collection__SimpleCollection__add]))(var_candidatedefs, var_superprop) /* add on <var_candidatedefs:Array[MMethodDef]>*/;
-} else {
-}
-var63 = ((long (*)(val*))(var_candidatedefs->class->vft[COLOR_abstract_collection__Collection__length]))(var_candidatedefs) /* length on <var_candidatedefs:Array[MMethodDef]>*/;
-var64 = 1;
-{ /* Inline kernel#Int#> (var63,var64) */
-/* Covariant cast for argument 0 (i) <var64:Int> isa OTHER */
-/* <var64:Int> isa OTHER */
-var67 = 1; /* easy <var64:Int> isa OTHER*/
-if (!var67) {
-fprintf(stderr, "Runtime error: %s (%s:%d)\n", "Cast failed", "lib/standard/kernel.nit", 259);
-exit(1);
-}
-var70 = var63 > var64;
-var65 = var70;
-goto RET_LABEL66;
-RET_LABEL66:(void)0;
-}
-if (var65){
-if (varonce71) {
-var72 = varonce71;
-} else {
-var73 = "Error: confliting property definitions for property ";
-var74 = 52;
-var75 = string__NativeString__to_s_with_length(var73, var74);
-var72 = var75;
-varonce71 = var72;
-}
-if (varonce76) {
-var77 = varonce76;
-} else {
-var78 = " in ";
-var79 = 4;
-var80 = string__NativeString__to_s_with_length(var78, var79);
-var77 = var80;
-varonce76 = var77;
-}
-if (varonce81) {
-var82 = varonce81;
-} else {
-var83 = ": ";
-var84 = 2;
-var85 = string__NativeString__to_s_with_length(var83, var84);
-var82 = var85;
-varonce81 = var82;
-}
-if (varonce86) {
-var87 = varonce86;
-} else {
-var88 = ", ";
-var89 = 2;
-var90 = string__NativeString__to_s_with_length(var88, var89);
-var87 = var90;
-varonce86 = var87;
-}
-var91 = ((val* (*)(val*, val*))(var_candidatedefs->class->vft[COLOR_string__Collection__join]))(var_candidatedefs, var87) /* join on <var_candidatedefs:Array[MMethodDef]>*/;
-var92 = NEW_array__Array(&type_array__Arraykernel__Object);
-{ /* var92 = array_instance Array[Object] */
-var93 = 6;
-var94 = NEW_array__NativeArray(var93, &type_array__NativeArraykernel__Object);
-((struct instance_array__NativeArray*)var94)->values[0] = (val*) var72;
-((struct instance_array__NativeArray*)var94)->values[1] = (val*) var_mproperty;
-((struct instance_array__NativeArray*)var94)->values[2] = (val*) var77;
-((struct instance_array__NativeArray*)var94)->values[3] = (val*) var_recvtype;
-((struct instance_array__NativeArray*)var94)->values[4] = (val*) var82;
-((struct instance_array__NativeArray*)var94)->values[5] = (val*) var91;
-((void (*)(val*, val*, long))(var92->class->vft[COLOR_array__Array__with_native]))(var92, var94, var93) /* with_native on <var92:Array[Object]>*/;
-CHECK_NEW_array__Array(var92);
-}
-var95 = ((val* (*)(val*))(var92->class->vft[COLOR_string__Object__to_s]))(var92) /* to_s on <var92:Array[Object]>*/;
-((void (*)(val*, val*, val*))(var_v->class->vft[COLOR_typing__TypeVisitor__error]))(var_v, self, var95) /* error on <var_v:TypeVisitor>*/;
-goto RET_LABEL;
-} else {
-}
-var96 = ((val* (*)(val*))(var_candidatedefs->class->vft[COLOR_abstract_collection__Collection__first]))(var_candidatedefs) /* first on <var_candidatedefs:Array[MMethodDef]>*/;
-var_superprop = var96;
-CONTINUE_label: (void)0;
-((void (*)(val*))(var9->class->vft[COLOR_abstract_collection__Iterator__next]))(var9) /* next on <var9:Iterator[nullable Object]>*/;
-}
-BREAK_label: (void)0;
-var97 = NULL;
-if (var_superprop == NULL) {
-var98 = 1; /* is null */
-} else {
-var98 = 0; /* arg is null but recv is not */
-}
-if (var98){
-if (varonce99) {
-var100 = varonce99;
-} else {
-var101 = "Error: No super method to call for ";
-var102 = 35;
-var103 = string__NativeString__to_s_with_length(var101, var102);
-var100 = var103;
-varonce99 = var100;
-}
-if (varonce104) {
-var105 = varonce104;
-} else {
-var106 = ".";
-var107 = 1;
-var108 = string__NativeString__to_s_with_length(var106, var107);
-var105 = var108;
-varonce104 = var105;
-}
-var109 = NEW_array__Array(&type_array__Arraykernel__Object);
-{ /* var109 = array_instance Array[Object] */
-var110 = 3;
-var111 = NEW_array__NativeArray(var110, &type_array__NativeArraykernel__Object);
-((struct instance_array__NativeArray*)var111)->values[0] = (val*) var100;
-((struct instance_array__NativeArray*)var111)->values[1] = (val*) var_mproperty;
-((struct instance_array__NativeArray*)var111)->values[2] = (val*) var105;
-((void (*)(val*, val*, long))(var109->class->vft[COLOR_array__Array__with_native]))(var109, var111, var110) /* with_native on <var109:Array[Object]>*/;
-CHECK_NEW_array__Array(var109);
-}
-var112 = ((val* (*)(val*))(var109->class->vft[COLOR_string__Object__to_s]))(var109) /* to_s on <var109:Array[Object]>*/;
-((void (*)(val*, val*, val*))(var_v->class->vft[COLOR_typing__TypeVisitor__error]))(var_v, self, var112) /* error on <var_v:TypeVisitor>*/;
-goto RET_LABEL;
-} else {
-}
-var113 = ((val* (*)(val*))(var_superprop->class->vft[COLOR_model__MPropDef__mproperty]))(var_superprop) /* mproperty on <var_superprop:nullable MMethodDef(MMethodDef)>*/;
-((void (*)(val*, val*))(self->class->vft[COLOR_typing__ASuperExpr__mproperty_61d]))(self, var113) /* mproperty= on <self:ASuperExpr>*/;
-var114 = ((val* (*)(val*))(self->class->vft[COLOR_parser_nodes__ASuperExpr__n_args]))(self) /* n_args on <self:ASuperExpr>*/;
-var115 = ((val* (*)(val*))(var114->class->vft[COLOR_typing__AExprs__to_a]))(var114) /* to_a on <var114:AExprs>*/;
-var_args = var115;
-var116 = 1;
-var117 = ((val* (*)(val*, val*, val*, short int))(var_v->class->vft[COLOR_typing__TypeVisitor__resolve_signature_for]))(var_v, var_superprop, var_recvtype, var116) /* resolve_signature_for on <var_v:TypeVisitor>*/;
-var_msignature = var117;
-var118 = ((long (*)(val*))(var_args->class->vft[COLOR_abstract_collection__Collection__length]))(var_args) /* length on <var_args:Array[AExpr]>*/;
-var119 = 0;
-{ /* Inline kernel#Int#> (var118,var119) */
-/* Covariant cast for argument 0 (i) <var119:Int> isa OTHER */
-/* <var119:Int> isa OTHER */
-var122 = 1; /* easy <var119:Int> isa OTHER*/
-if (!var122) {
-fprintf(stderr, "Runtime error: %s (%s:%d)\n", "Cast failed", "lib/standard/kernel.nit", 259);
-exit(1);
-}
-var125 = var118 > var119;
-var120 = var125;
-goto RET_LABEL121;
-RET_LABEL121:(void)0;
-}
-if (var120){
-var126 = ((val* (*)(val*))(var_mproperty->class->vft[COLOR_model__MProperty__name]))(var_mproperty) /* name on <var_mproperty:MProperty>*/;
-var127 = ((short int (*)(val*, val*, val*, val*, val*))(var_v->class->vft[COLOR_typing__TypeVisitor__check_signature]))(var_v, self, var_args, var126, var_msignature) /* check_signature on <var_v:TypeVisitor>*/;
-var127;
-} else {
-}
-var128 = 1;
-((void (*)(val*, short int))(self->class->vft[COLOR_typing__AExpr__is_typed_61d]))(self, var128) /* is_typed= on <self:ASuperExpr>*/;
-RET_LABEL:;
-}
-/* method typing#ASuperExpr#process_superinit for (self: Object, TypeVisitor) */
-void VIRTUAL_typing__ASuperExpr__process_superinit(val* self, val* p0) {
-typing__ASuperExpr__process_superinit(self, p0);
-RET_LABEL:;
-}
-/* method typing#ANewExpr#mproperty for (self: ANewExpr): nullable MMethod */
-val* typing__ANewExpr__mproperty(val* self) {
-val* var /* : nullable MMethod */;
-val* var1 /* : nullable CallSite */;
-val* var2 /* : MMethod */;
-var1 = ((val* (*)(val*))(self->class->vft[COLOR_typing__ANewExpr__callsite]))(self) /* callsite on <self:ANewExpr>*/;
-if (var1 == NULL) {
-fprintf(stderr, "Runtime error: %s (%s:%d)\n", "Reciever is null", "src/typing.nit", 1533);
-exit(1);
-} else {
-var2 = ((val* (*)(val*))(var1->class->vft[COLOR_typing__CallSite__mproperty]))(var1) /* mproperty on <var1:nullable CallSite>*/;
-}
-var = var2;
-goto RET_LABEL;
-RET_LABEL:;
-return var;
-}
-/* method typing#ANewExpr#mproperty for (self: Object): nullable MMethod */
-val* VIRTUAL_typing__ANewExpr__mproperty(val* self) {
-val* var /* : nullable MMethod */;
-val* var1 /* : nullable MMethod */;
-var1 = typing__ANewExpr__mproperty(self);
-var = var1;
-RET_LABEL:;
-return var;
-}
-/* method typing#ANewExpr#callsite for (self: ANewExpr): nullable CallSite */
-val* typing__ANewExpr__callsite(val* self) {
-val* var /* : nullable CallSite */;
-val* var1 /* : nullable CallSite */;
-var1 = self->attrs[COLOR_typing__ANewExpr___64dcallsite].val; /* @callsite on <self:ANewExpr> */
-var = var1;
-RET_LABEL:;
-return var;
-}
-/* method typing#ANewExpr#callsite for (self: Object): nullable CallSite */
-val* VIRTUAL_typing__ANewExpr__callsite(val* self) {
-val* var /* : nullable CallSite */;
-val* var1 /* : nullable CallSite */;
-var1 = typing__ANewExpr__callsite(self);
-var = var1;
-RET_LABEL:;
-return var;
-}
-/* method typing#ANewExpr#callsite= for (self: ANewExpr, nullable CallSite) */
-void typing__ANewExpr__callsite_61d(val* self, val* p0) {
-self->attrs[COLOR_typing__ANewExpr___64dcallsite].val = p0; /* @callsite on <self:ANewExpr> */
-RET_LABEL:;
-}
-/* method typing#ANewExpr#callsite= for (self: Object, nullable CallSite) */
-void VIRTUAL_typing__ANewExpr__callsite_61d(val* self, val* p0) {
-typing__ANewExpr__callsite_61d(self, p0);
-RET_LABEL:;
-}