c_src: update
[nit.git] / c_src / hash_collection.sep.1.c
index 1bb34fe..c2f4854 100644 (file)
@@ -1,22 +1,4 @@
 #include "hash_collection.sep.0.h"
-/* method hash_collection#HashCollection#first_item for (self: HashCollection[Object, HashNode[Object]]): nullable HashNode[Object] */
-val* hash_collection__HashCollection__first_item(val* self) {
-val* var /* : nullable HashNode[Object] */;
-val* var1 /* : nullable HashNode[Object] */;
-var1 = self->attrs[COLOR_hash_collection__HashCollection___first_item].val; /* _first_item on <self:HashCollection[Object, HashNode[Object]]> */
-var = var1;
-RET_LABEL:;
-return var;
-}
-/* method hash_collection#HashCollection#first_item for (self: Object): nullable HashNode[Object] */
-val* VIRTUAL_hash_collection__HashCollection__first_item(val* self) {
-val* var /* : nullable HashNode[Object] */;
-val* var1 /* : nullable HashNode[Object] */;
-var1 = hash_collection__HashCollection__first_item(self);
-var = var1;
-RET_LABEL:;
-return var;
-}
 /* method hash_collection#HashCollection#index_at for (self: HashCollection[Object, HashNode[Object]], Object): Int */
 long hash_collection__HashCollection__index_at(val* self, val* p0) {
 long var /* : Int */;
@@ -50,31 +32,36 @@ var1 = 0;
 } else {
 var1 = p0->type->type_table[cltype] == idtype;
 }
-if (!var1) {
+if (unlikely(!var1)) {
 var_class_name = p0 == NULL ? "null" : p0->type->name;
-fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "HashCollection#0", var_class_name);
-fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 35);
+PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "HashCollection#0", var_class_name);
+PRINT_ERROR(" (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 35);
 show_backtrace(1);
 }
 var_k = p0;
+{
 var2 = ((long (*)(val*))(var_k->class->vft[COLOR_kernel__Object__hash]))(var_k) /* hash on <var_k:Object>*/;
+}
 var3 = self->attrs[COLOR_hash_collection__HashCollection___capacity].l; /* _capacity on <self:HashCollection[Object, HashNode[Object]]> */
-{ /* Inline kernel#Int#% (var2,var3) */
+{
+{ /* Inline kernel#Int#% (var2,var3) on <var2:Int> */
 var6 = var2 % var3;
 var4 = var6;
 goto RET_LABEL5;
 RET_LABEL5:(void)0;
 }
+}
 var_i = var4;
 var7 = 0;
-{ /* Inline kernel#Int#< (var_i,var7) */
+{
+{ /* Inline kernel#Int#< (var_i,var7) on <var_i:Int> */
 /* Covariant cast for argument 0 (i) <var7:Int> isa OTHER */
 /* <var7:Int> isa OTHER */
 var10 = 1; /* easy <var7:Int> isa OTHER*/
-if (!var10) {
+if (unlikely(!var10)) {
 var_class_name13 = type_kernel__Int.name;
-fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name13);
-fprintf(stderr, " (%s:%d)\n", "lib/standard/kernel.nit", 265);
+PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name13);
+PRINT_ERROR(" (%s:%d)\n", "lib/standard/kernel.nit", 325);
 show_backtrace(1);
 }
 var14 = var_i < var7;
@@ -82,13 +69,16 @@ var8 = var14;
 goto RET_LABEL9;
 RET_LABEL9:(void)0;
 }
+}
 if (var8){
-{ /* Inline kernel#Int#unary - (var_i) */
+{
+{ /* Inline kernel#Int#unary - (var_i) on <var_i:Int> */
 var17 = -var_i;
 var15 = var17;
 goto RET_LABEL16;
 RET_LABEL16:(void)0;
 }
+}
 var_i = var15;
 } else {
 }
@@ -117,9 +107,10 @@ const char* var_class_name;
 val* var_k /* var k: Object */;
 val* var2 /* : nullable Object */;
 short int var3 /* : Bool */;
-val* var4 /* : nullable HashNode[Object] */;
-long var5 /* : Int */;
+short int var5 /* : Bool */;
 val* var6 /* : nullable HashNode[Object] */;
+long var7 /* : Int */;
+val* var8 /* : nullable HashNode[Object] */;
 val* var_res /* var res: nullable HashNode[Object] */;
 /* Covariant cast for argument 0 (k) <p0:Object> isa HashCollection#0 */
 /* <p0:Object> isa HashCollection#0 */
@@ -131,24 +122,35 @@ var1 = 0;
 } else {
 var1 = p0->type->type_table[cltype] == idtype;
 }
-if (!var1) {
+if (unlikely(!var1)) {
 var_class_name = p0 == NULL ? "null" : p0->type->name;
-fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "HashCollection#0", var_class_name);
-fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 43);
+PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "HashCollection#0", var_class_name);
+PRINT_ERROR(" (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 43);
 show_backtrace(1);
 }
 var_k = p0;
 var2 = self->attrs[COLOR_hash_collection__HashCollection___last_accessed_key].val; /* _last_accessed_key on <self:HashCollection[Object, HashNode[Object]]> */
-var3 = ((short int (*)(val*, val*))(var_k->class->vft[COLOR_kernel__Object__is_same_instance]))(var_k, var2) /* is_same_instance on <var_k:Object>*/;
+{
+{ /* Inline kernel#Object#is_same_instance (var_k,var2) on <var_k:Object> */
+var5 = var_k == var2 || (var2 != NULL && var_k->class == var2->class && ((var_k->class->box_kind == 1 && ((struct instance_kernel__Int*)var_k)->value == ((struct instance_kernel__Int*)var2)->value) || (var_k->class->box_kind == 2 && ((struct instance_kernel__Bool*)var_k)->value == ((struct instance_kernel__Bool*)var2)->value) || (var_k->class->box_kind == 3 && ((struct instance_kernel__Char*)var_k)->value == ((struct instance_kernel__Char*)var2)->value) || (var_k->class->box_kind == 4 && ((struct instance_kernel__Float*)var_k)->value == ((struct instance_kernel__Float*)var2)->value) || (var_k->class->box_kind == 5 && ((struct instance_kernel__Pointer*)var_k)->value == ((struct instance_kernel__Pointer*)var2)->value) || (var_k->class->box_kind == 6 && ((struct instance_kernel__Pointer*)var_k)->value == ((struct instance_kernel__Pointer*)var2)->value)));
+var3 = var5;
+goto RET_LABEL4;
+RET_LABEL4:(void)0;
+}
+}
 if (var3){
-var4 = self->attrs[COLOR_hash_collection__HashCollection___last_accessed_node].val; /* _last_accessed_node on <self:HashCollection[Object, HashNode[Object]]> */
-var = var4;
+var6 = self->attrs[COLOR_hash_collection__HashCollection___last_accessed_node].val; /* _last_accessed_node on <self:HashCollection[Object, HashNode[Object]]> */
+var = var6;
 goto RET_LABEL;
 } else {
 }
-var5 = ((long (*)(val*, val*))(self->class->vft[COLOR_hash_collection__HashCollection__index_at]))(self, var_k) /* index_at on <self:HashCollection[Object, HashNode[Object]]>*/;
-var6 = ((val* (*)(val*, long, val*))(self->class->vft[COLOR_hash_collection__HashCollection__node_at_idx]))(self, var5, var_k) /* node_at_idx on <self:HashCollection[Object, HashNode[Object]]>*/;
-var_res = var6;
+{
+var7 = hash_collection__HashCollection__index_at(self, var_k);
+}
+{
+var8 = hash_collection__HashCollection__node_at_idx(self, var7, var_k);
+}
+var_res = var8;
 self->attrs[COLOR_hash_collection__HashCollection___last_accessed_key].val = var_k; /* _last_accessed_key on <self:HashCollection[Object, HashNode[Object]]> */
 self->attrs[COLOR_hash_collection__HashCollection___last_accessed_node].val = var_res; /* _last_accessed_node on <self:HashCollection[Object, HashNode[Object]]> */
 var = var_res;
@@ -177,21 +179,29 @@ long var_i /* var i: Int */;
 val* var_k /* var k: Object */;
 val* var2 /* : nullable NativeArray[nullable HashNode[Object]] */;
 val* var3 /* : nullable Object */;
+val* var5 /* : nullable HashNode[Object] */;
 val* var_c /* var c: nullable HashNode[Object] */;
-val* var4 /* : null */;
-short int var5 /* : Bool */;
-val* var6 /* : Object */;
-val* var_ck /* var ck: Object */;
+val* var6 /* : null */;
 short int var7 /* : Bool */;
 short int var8 /* : Bool */;
-short int var_ /* var : Bool */;
-short int var9 /* : Bool */;
-val* var10 /* : nullable HashNode[Object] */;
+val* var_other /* var other: nullable Object */;
+short int var10 /* : Bool */;
 short int var11 /* : Bool */;
-int cltype12;
-int idtype13;
-const struct type* type_struct14;
-const char* var_class_name15;
+short int var12 /* : Bool */;
+val* var13 /* : Object */;
+val* var_ck /* var ck: Object */;
+short int var14 /* : Bool */;
+short int var15 /* : Bool */;
+short int var17 /* : Bool */;
+short int var_ /* var : Bool */;
+short int var18 /* : Bool */;
+short int var19 /* : Bool */;
+val* var20 /* : nullable HashNode[Object] */;
+short int var21 /* : Bool */;
+int cltype22;
+int idtype23;
+const struct type* type_struct24;
+const char* var_class_name25;
 /* Covariant cast for argument 1 (k) <p1:Object> isa HashCollection#0 */
 /* <p1:Object> isa HashCollection#0 */
 type_struct = self->type->resolution_table->types[COLOR_hash_collection__HashCollection_FT0];
@@ -202,71 +212,100 @@ var1 = 0;
 } else {
 var1 = p1->type->type_table[cltype] == idtype;
 }
-if (!var1) {
+if (unlikely(!var1)) {
 var_class_name = p1 == NULL ? "null" : p1->type->name;
-fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "HashCollection#0", var_class_name);
-fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 55);
+PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "HashCollection#0", var_class_name);
+PRINT_ERROR(" (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 55);
 show_backtrace(1);
 }
 var_i = p0;
 var_k = p1;
 var2 = self->attrs[COLOR_hash_collection__HashCollection___array].val; /* _array on <self:HashCollection[Object, HashNode[Object]]> */
 if (var2 == NULL) {
-fprintf(stderr, "Runtime error: %s", "Receiver is null");
-fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 58);
+PRINT_ERROR("Runtime error: %s", "Receiver is null");
+PRINT_ERROR(" (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 58);
 show_backtrace(1);
 } else {
-var3 = ((val* (*)(val*, long))(var2->class->vft[COLOR_array__NativeArray___91d_93d]))(var2, var_i) /* [] on <var2:nullable NativeArray[nullable HashNode[Object]]>*/;
+{ /* Inline array#NativeArray#[] (var2,var_i) on <var2:nullable NativeArray[nullable HashNode[Object]]> */
+var5 = ((struct instance_array__NativeArray*)var2)->values[var_i];
+var3 = var5;
+goto RET_LABEL4;
+RET_LABEL4:(void)0;
+}
 }
 var_c = var3;
 for(;;) {
-var4 = NULL;
+var6 = NULL;
 if (var_c == NULL) {
-var5 = 0; /* is null */
+var7 = 0; /* is null */
 } else {
-var5 = 1; /* arg is null and recv is not */
+var7 = 1; /* arg is null and recv is not */
+}
+if (0) {
+{ /* Inline kernel#Object#!= (var_c,var6) on <var_c:nullable HashNode[Object]> */
+var_other = var6;
+{
+var11 = ((short int (*)(val*, val*))(var_c->class->vft[COLOR_kernel__Object___61d_61d]))(var_c, var_other) /* == on <var_c:nullable HashNode[Object](HashNode[Object])>*/;
+var10 = var11;
+}
+var12 = !var10;
+var8 = var12;
+goto RET_LABEL9;
+RET_LABEL9:(void)0;
+}
+var7 = var8;
 }
-if (!var5) break;
-var6 = var_c->attrs[COLOR_hash_collection__HashNode___key].val; /* _key on <var_c:nullable HashNode[Object](HashNode[Object])> */
-if (var6 == NULL) {
-fprintf(stderr, "Runtime error: %s", "Uninitialized attribute _key");
-fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 60);
+if (!var7) break;
+var13 = var_c->attrs[COLOR_hash_collection__HashNode___key].val; /* _key on <var_c:nullable HashNode[Object](HashNode[Object])> */
+if (unlikely(var13 == NULL)) {
+PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _key");
+PRINT_ERROR(" (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 60);
 show_backtrace(1);
 }
-var_ck = var6;
-var8 = ((short int (*)(val*, val*))(var_ck->class->vft[COLOR_kernel__Object__is_same_instance]))(var_ck, var_k) /* is_same_instance on <var_ck:Object>*/;
-var_ = var8;
-if (var8){
-var7 = var_;
+var_ck = var13;
+{
+{ /* Inline kernel#Object#is_same_instance (var_ck,var_k) on <var_ck:Object> */
+var17 = var_ck == var_k || (var_ck->class == var_k->class && ((var_ck->class->box_kind == 1 && ((struct instance_kernel__Int*)var_ck)->value == ((struct instance_kernel__Int*)var_k)->value) || (var_ck->class->box_kind == 2 && ((struct instance_kernel__Bool*)var_ck)->value == ((struct instance_kernel__Bool*)var_k)->value) || (var_ck->class->box_kind == 3 && ((struct instance_kernel__Char*)var_ck)->value == ((struct instance_kernel__Char*)var_k)->value) || (var_ck->class->box_kind == 4 && ((struct instance_kernel__Float*)var_ck)->value == ((struct instance_kernel__Float*)var_k)->value) || (var_ck->class->box_kind == 5 && ((struct instance_kernel__Pointer*)var_ck)->value == ((struct instance_kernel__Pointer*)var_k)->value) || (var_ck->class->box_kind == 6 && ((struct instance_kernel__Pointer*)var_ck)->value == ((struct instance_kernel__Pointer*)var_k)->value)));
+var15 = var17;
+goto RET_LABEL16;
+RET_LABEL16:(void)0;
+}
+}
+var_ = var15;
+if (var15){
+var14 = var_;
 } else {
-var9 = ((short int (*)(val*, val*))(var_ck->class->vft[COLOR_kernel__Object___61d_61d]))(var_ck, var_k) /* == on <var_ck:Object>*/;
-var7 = var9;
+{
+var19 = ((short int (*)(val*, val*))(var_ck->class->vft[COLOR_kernel__Object___61d_61d]))(var_ck, var_k) /* == on <var_ck:Object>*/;
+var18 = var19;
 }
-if (var7){
+var14 = var18;
+}
+if (var14){
 goto BREAK_label;
 } else {
 }
-var10 = var_c->attrs[COLOR_hash_collection__HashNode___next_in_bucklet].val; /* _next_in_bucklet on <var_c:nullable HashNode[Object](HashNode[Object])> */
-/* <var10:nullable HashNode[Object]> isa nullable HashCollection#1 */
-type_struct14 = self->type->resolution_table->types[COLOR_nullable_hash_collection__HashCollection_FT1];
-cltype12 = type_struct14->color;
-idtype13 = type_struct14->id;
-if(var10 == NULL) {
-var11 = 1;
+var20 = var_c->attrs[COLOR_hash_collection__HashNode___next_in_bucklet].val; /* _next_in_bucklet on <var_c:nullable HashNode[Object](HashNode[Object])> */
+/* <var20:nullable HashNode[Object]> isa nullable HashCollection#1 */
+type_struct24 = self->type->resolution_table->types[COLOR_nullable_hash_collection__HashCollection_FT1];
+cltype22 = type_struct24->color;
+idtype23 = type_struct24->id;
+if(var20 == NULL) {
+var21 = 1;
 } else {
-if(cltype12 >= var10->type->table_size) {
-var11 = 0;
+if(cltype22 >= var20->type->table_size) {
+var21 = 0;
 } else {
-var11 = var10->type->type_table[cltype12] == idtype13;
+var21 = var20->type->type_table[cltype22] == idtype23;
 }
 }
-if (!var11) {
-var_class_name15 = var10 == NULL ? "null" : var10->type->name;
-fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "nullable HashCollection#1", var_class_name15);
-fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 64);
+if (unlikely(!var21)) {
+var_class_name25 = var20 == NULL ? "null" : var20->type->name;
+PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "nullable HashCollection#1", var_class_name25);
+PRINT_ERROR(" (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 64);
 show_backtrace(1);
 }
-var_c = var10;
+var_c = var20;
 CONTINUE_label: (void)0;
 }
 BREAK_label: (void)0;
@@ -296,45 +335,80 @@ val* var_node /* var node: HashNode[Object] */;
 val* var1 /* : nullable HashNode[Object] */;
 val* var2 /* : null */;
 short int var3 /* : Bool */;
-val* var4 /* : nullable HashNode[Object] */;
-val* var5 /* : nullable HashNode[Object] */;
-val* var6 /* : null */;
-val* var7 /* : nullable NativeArray[nullable HashNode[Object]] */;
-val* var8 /* : nullable Object */;
+short int var4 /* : Bool */;
+val* var_other /* var other: nullable Object */;
+short int var6 /* : Bool */;
+short int var8 /* : Bool */;
+val* var9 /* : nullable HashNode[Object] */;
+val* var10 /* : nullable HashNode[Object] */;
+val* var11 /* : null */;
+val* var12 /* : nullable NativeArray[nullable HashNode[Object]] */;
+val* var13 /* : nullable Object */;
+val* var15 /* : nullable HashNode[Object] */;
 val* var_next /* var next: nullable HashNode[Object] */;
-val* var9 /* : nullable NativeArray[nullable HashNode[Object]] */;
-val* var10 /* : null */;
-short int var11 /* : Bool */;
-val* var12 /* : Object */;
-short int var13 /* : Bool */;
-int cltype14;
-int idtype15;
-const struct type* type_struct16;
-const char* var_class_name17;
-long var18 /* : Int */;
+val* var16 /* : nullable NativeArray[nullable HashNode[Object]] */;
+short int var18 /* : Bool */;
+int cltype19;
+int idtype20;
+const struct type* type_struct21;
+const char* var_class_name22;
+val* var23 /* : null */;
+short int var24 /* : Bool */;
+short int var25 /* : Bool */;
+val* var_other27 /* var other: nullable Object */;
+short int var28 /* : Bool */;
+short int var29 /* : Bool */;
+short int var30 /* : Bool */;
+val* var31 /* : Object */;
+short int var32 /* : Bool */;
+int cltype33;
+int idtype34;
+const struct type* type_struct35;
+const char* var_class_name36;
+long var37 /* : Int */;
 long var_l /* var l: Int */;
-long var19 /* : Int */;
-long var20 /* : Int */;
-long var22 /* : Int */;
-long var23 /* : Int */;
-long var24 /* : Int */;
-long var26 /* : Int */;
-long var27 /* : Int */;
-long var28 /* : Int */;
-long var30 /* : Int */;
-long var31 /* : Int */;
-long var32 /* : Int */;
-long var34 /* : Int */;
-long var35 /* : Int */;
-short int var36 /* : Bool */;
-short int var38 /* : Bool */;
-int cltype39;
-int idtype40;
-const char* var_class_name41;
-short int var42 /* : Bool */;
-long var43 /* : Int */;
-long var44 /* : Int */;
+long var38 /* : Int */;
+long var39 /* : Int */;
+short int var41 /* : Bool */;
+int cltype42;
+int idtype43;
+const char* var_class_name44;
+long var45 /* : Int */;
 long var46 /* : Int */;
+long var47 /* : Int */;
+short int var49 /* : Bool */;
+int cltype50;
+int idtype51;
+const char* var_class_name52;
+long var53 /* : Int */;
+long var54 /* : Int */;
+long var55 /* : Int */;
+short int var57 /* : Bool */;
+int cltype58;
+int idtype59;
+const char* var_class_name60;
+long var61 /* : Int */;
+long var62 /* : Int */;
+long var63 /* : Int */;
+short int var65 /* : Bool */;
+int cltype66;
+int idtype67;
+const char* var_class_name68;
+long var69 /* : Int */;
+long var70 /* : Int */;
+short int var71 /* : Bool */;
+short int var73 /* : Bool */;
+int cltype74;
+int idtype75;
+const char* var_class_name76;
+short int var77 /* : Bool */;
+long var78 /* : Int */;
+long var79 /* : Int */;
+short int var81 /* : Bool */;
+int cltype82;
+int idtype83;
+const char* var_class_name84;
+long var85 /* : Int */;
 /* Covariant cast for argument 1 (node) <p1:HashNode[Object]> isa HashCollection#1 */
 /* <p1:HashNode[Object]> isa HashCollection#1 */
 type_struct = self->type->resolution_table->types[COLOR_hash_collection__HashCollection_FT1];
@@ -345,10 +419,10 @@ var = 0;
 } else {
 var = p1->type->type_table[cltype] == idtype;
 }
-if (!var) {
+if (unlikely(!var)) {
 var_class_name = p1 == NULL ? "null" : p1->type->name;
-fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "HashCollection#1", var_class_name);
-fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 69);
+PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "HashCollection#1", var_class_name);
+PRINT_ERROR(" (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 69);
 show_backtrace(1);
 }
 var_index = p0;
@@ -360,137 +434,251 @@ var3 = 1; /* is null */
 } else {
 var3 = 0; /* arg is null but recv is not */
 }
+if (0) {
+{ /* Inline kernel#Object#== (var1,var2) on <var1:nullable HashNode[Object]> */
+var_other = var2;
+{
+{ /* Inline kernel#Object#is_same_instance (var1,var_other) on <var1:nullable HashNode[Object](HashNode[Object])> */
+var8 = var1 == var_other;
+var6 = var8;
+goto RET_LABEL7;
+RET_LABEL7:(void)0;
+}
+}
+var4 = var6;
+goto RET_LABEL5;
+RET_LABEL5:(void)0;
+}
+var3 = var4;
+}
 if (var3){
 self->attrs[COLOR_hash_collection__HashCollection___first_item].val = var_node; /* _first_item on <self:HashCollection[Object, HashNode[Object]]> */
 } else {
-var4 = self->attrs[COLOR_hash_collection__HashCollection___last_item].val; /* _last_item on <self:HashCollection[Object, HashNode[Object]]> */
-if (var4 == NULL) {
-fprintf(stderr, "Runtime error: %s", "Receiver is null");
-fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 76);
+var9 = self->attrs[COLOR_hash_collection__HashCollection___last_item].val; /* _last_item on <self:HashCollection[Object, HashNode[Object]]> */
+if (unlikely(var9 == NULL)) {
+PRINT_ERROR("Runtime error: %s", "Receiver is null");
+PRINT_ERROR(" (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 76);
 show_backtrace(1);
 }
-var4->attrs[COLOR_hash_collection__HashNode___next_item].val = var_node; /* _next_item on <var4:nullable HashNode[Object]> */
+var9->attrs[COLOR_hash_collection__HashNode___next_item].val = var_node; /* _next_item on <var9:nullable HashNode[Object]> */
 }
-var5 = self->attrs[COLOR_hash_collection__HashCollection___last_item].val; /* _last_item on <self:HashCollection[Object, HashNode[Object]]> */
-var_node->attrs[COLOR_hash_collection__HashNode___prev_item].val = var5; /* _prev_item on <var_node:HashNode[Object]> */
-var6 = NULL;
-var_node->attrs[COLOR_hash_collection__HashNode___next_item].val = var6; /* _next_item on <var_node:HashNode[Object]> */
+var10 = self->attrs[COLOR_hash_collection__HashCollection___last_item].val; /* _last_item on <self:HashCollection[Object, HashNode[Object]]> */
+var_node->attrs[COLOR_hash_collection__HashNode___prev_item].val = var10; /* _prev_item on <var_node:HashNode[Object]> */
+var11 = NULL;
+var_node->attrs[COLOR_hash_collection__HashNode___next_item].val = var11; /* _next_item on <var_node:HashNode[Object]> */
 self->attrs[COLOR_hash_collection__HashCollection___last_item].val = var_node; /* _last_item on <self:HashCollection[Object, HashNode[Object]]> */
-var7 = self->attrs[COLOR_hash_collection__HashCollection___array].val; /* _array on <self:HashCollection[Object, HashNode[Object]]> */
-if (var7 == NULL) {
-fprintf(stderr, "Runtime error: %s", "Receiver is null");
-fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 83);
+var12 = self->attrs[COLOR_hash_collection__HashCollection___array].val; /* _array on <self:HashCollection[Object, HashNode[Object]]> */
+if (var12 == NULL) {
+PRINT_ERROR("Runtime error: %s", "Receiver is null");
+PRINT_ERROR(" (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 83);
 show_backtrace(1);
 } else {
-var8 = ((val* (*)(val*, long))(var7->class->vft[COLOR_array__NativeArray___91d_93d]))(var7, var_index) /* [] on <var7:nullable NativeArray[nullable HashNode[Object]]>*/;
+{ /* Inline array#NativeArray#[] (var12,var_index) on <var12:nullable NativeArray[nullable HashNode[Object]]> */
+var15 = ((struct instance_array__NativeArray*)var12)->values[var_index];
+var13 = var15;
+goto RET_LABEL14;
+RET_LABEL14:(void)0;
 }
-var_next = var8;
-var9 = self->attrs[COLOR_hash_collection__HashCollection___array].val; /* _array on <self:HashCollection[Object, HashNode[Object]]> */
-if (var9 == NULL) {
-fprintf(stderr, "Runtime error: %s", "Receiver is null");
-fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 84);
+}
+var_next = var13;
+var16 = self->attrs[COLOR_hash_collection__HashCollection___array].val; /* _array on <self:HashCollection[Object, HashNode[Object]]> */
+if (var16 == NULL) {
+PRINT_ERROR("Runtime error: %s", "Receiver is null");
+PRINT_ERROR(" (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 84);
 show_backtrace(1);
 } else {
-((void (*)(val*, long, val*))(var9->class->vft[COLOR_array__NativeArray___91d_93d_61d]))(var9, var_index, var_node) /* []= on <var9:nullable NativeArray[nullable HashNode[Object]]>*/;
+{ /* Inline array#NativeArray#[]= (var16,var_index,var_node) on <var16:nullable NativeArray[nullable HashNode[Object]]> */
+/* Covariant cast for argument 1 (item) <var_node:HashNode[Object]> isa NativeArray#0 */
+/* <var_node:HashNode[Object]> isa NativeArray#0 */
+type_struct21 = var16->type->resolution_table->types[COLOR_array__NativeArray_FT0];
+cltype19 = type_struct21->color;
+idtype20 = type_struct21->id;
+if(cltype19 >= var_node->type->table_size) {
+var18 = 0;
+} else {
+var18 = var_node->type->type_table[cltype19] == idtype20;
+}
+if (unlikely(!var18)) {
+var_class_name22 = var_node == NULL ? "null" : var_node->type->name;
+PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "NativeArray#0", var_class_name22);
+PRINT_ERROR(" (%s:%d)\n", "lib/standard/collection/array.nit", 662);
+show_backtrace(1);
+}
+((struct instance_array__NativeArray*)var16)->values[var_index]=var_node;
+RET_LABEL17:(void)0;
+}
 }
 var_node->attrs[COLOR_hash_collection__HashNode___next_in_bucklet].val = var_next; /* _next_in_bucklet on <var_node:HashNode[Object]> */
-var10 = NULL;
+var23 = NULL;
 if (var_next == NULL) {
-var11 = 0; /* is null */
+var24 = 0; /* is null */
 } else {
-var11 = 1; /* arg is null and recv is not */
+var24 = 1; /* arg is null and recv is not */
 }
-if (var11){
+if (0) {
+{ /* Inline kernel#Object#!= (var_next,var23) on <var_next:nullable HashNode[Object]> */
+var_other27 = var23;
+{
+var29 = ((short int (*)(val*, val*))(var_next->class->vft[COLOR_kernel__Object___61d_61d]))(var_next, var_other27) /* == on <var_next:nullable HashNode[Object](HashNode[Object])>*/;
+var28 = var29;
+}
+var30 = !var28;
+var25 = var30;
+goto RET_LABEL26;
+RET_LABEL26:(void)0;
+}
+var24 = var25;
+}
+if (var24){
 var_next->attrs[COLOR_hash_collection__HashNode___prev_in_bucklet].val = var_node; /* _prev_in_bucklet on <var_next:nullable HashNode[Object](HashNode[Object])> */
 } else {
 }
-var12 = var_node->attrs[COLOR_hash_collection__HashNode___key].val; /* _key on <var_node:HashNode[Object]> */
-if (var12 == NULL) {
-fprintf(stderr, "Runtime error: %s", "Uninitialized attribute _key");
-fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 88);
+var31 = var_node->attrs[COLOR_hash_collection__HashNode___key].val; /* _key on <var_node:HashNode[Object]> */
+if (unlikely(var31 == NULL)) {
+PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _key");
+PRINT_ERROR(" (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 88);
 show_backtrace(1);
 }
-/* <var12:Object> isa nullable HashCollection#0 */
-type_struct16 = self->type->resolution_table->types[COLOR_nullable_hash_collection__HashCollection_FT0];
-cltype14 = type_struct16->color;
-idtype15 = type_struct16->id;
-if(cltype14 >= var12->type->table_size) {
-var13 = 0;
+/* <var31:Object> isa nullable HashCollection#0 */
+type_struct35 = self->type->resolution_table->types[COLOR_nullable_hash_collection__HashCollection_FT0];
+cltype33 = type_struct35->color;
+idtype34 = type_struct35->id;
+if(cltype33 >= var31->type->table_size) {
+var32 = 0;
 } else {
-var13 = var12->type->type_table[cltype14] == idtype15;
+var32 = var31->type->type_table[cltype33] == idtype34;
 }
-if (!var13) {
-var_class_name17 = var12 == NULL ? "null" : var12->type->name;
-fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "nullable HashCollection#0", var_class_name17);
-fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 88);
+if (unlikely(!var32)) {
+var_class_name36 = var31 == NULL ? "null" : var31->type->name;
+PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "nullable HashCollection#0", var_class_name36);
+PRINT_ERROR(" (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 88);
 show_backtrace(1);
 }
-self->attrs[COLOR_hash_collection__HashCollection___last_accessed_key].val = var12; /* _last_accessed_key on <self:HashCollection[Object, HashNode[Object]]> */
+self->attrs[COLOR_hash_collection__HashCollection___last_accessed_key].val = var31; /* _last_accessed_key on <self:HashCollection[Object, HashNode[Object]]> */
 self->attrs[COLOR_hash_collection__HashCollection___last_accessed_node].val = var_node; /* _last_accessed_node on <self:HashCollection[Object, HashNode[Object]]> */
-var18 = self->attrs[COLOR_hash_collection__HashCollection___length].l; /* _length on <self:HashCollection[Object, HashNode[Object]]> */
-var_l = var18;
-var19 = 1;
-{ /* Inline kernel#Int#+ (var_l,var19) */
-var22 = var_l + var19;
-var20 = var22;
-goto RET_LABEL21;
-RET_LABEL21:(void)0;
-}
-self->attrs[COLOR_hash_collection__HashCollection___length].l = var20; /* _length on <self:HashCollection[Object, HashNode[Object]]> */
-var23 = 5;
-{ /* Inline kernel#Int#+ (var_l,var23) */
-var26 = var_l + var23;
-var24 = var26;
-goto RET_LABEL25;
-RET_LABEL25:(void)0;
+var37 = self->attrs[COLOR_hash_collection__HashCollection___length].l; /* _length on <self:HashCollection[Object, HashNode[Object]]> */
+var_l = var37;
+var38 = 1;
+{
+{ /* Inline kernel#Int#+ (var_l,var38) on <var_l:Int> */
+/* Covariant cast for argument 0 (i) <var38:Int> isa OTHER */
+/* <var38:Int> isa OTHER */
+var41 = 1; /* easy <var38:Int> isa OTHER*/
+if (unlikely(!var41)) {
+var_class_name44 = type_kernel__Int.name;
+PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name44);
+PRINT_ERROR(" (%s:%d)\n", "lib/standard/kernel.nit", 328);
+show_backtrace(1);
+}
+var45 = var_l + var38;
+var39 = var45;
+goto RET_LABEL40;
+RET_LABEL40:(void)0;
 }
-var27 = 3;
-{ /* Inline kernel#Int#* (var24,var27) */
-var30 = var24 * var27;
-var28 = var30;
-goto RET_LABEL29;
-RET_LABEL29:(void)0;
 }
-var31 = 2;
-{ /* Inline kernel#Int#/ (var28,var31) */
-var34 = var28 / var31;
-var32 = var34;
-goto RET_LABEL33;
-RET_LABEL33:(void)0;
+self->attrs[COLOR_hash_collection__HashCollection___length].l = var39; /* _length on <self:HashCollection[Object, HashNode[Object]]> */
+var46 = 5;
+{
+{ /* Inline kernel#Int#+ (var_l,var46) on <var_l:Int> */
+/* Covariant cast for argument 0 (i) <var46:Int> isa OTHER */
+/* <var46:Int> isa OTHER */
+var49 = 1; /* easy <var46:Int> isa OTHER*/
+if (unlikely(!var49)) {
+var_class_name52 = type_kernel__Int.name;
+PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name52);
+PRINT_ERROR(" (%s:%d)\n", "lib/standard/kernel.nit", 328);
+show_backtrace(1);
 }
-var_l = var32;
-var35 = self->attrs[COLOR_hash_collection__HashCollection___capacity].l; /* _capacity on <self:HashCollection[Object, HashNode[Object]]> */
-{ /* Inline kernel#Int#>= (var_l,var35) */
-/* Covariant cast for argument 0 (i) <var35:Int> isa OTHER */
-/* <var35:Int> isa OTHER */
-var38 = 1; /* easy <var35:Int> isa OTHER*/
-if (!var38) {
-var_class_name41 = type_kernel__Int.name;
-fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name41);
-fprintf(stderr, " (%s:%d)\n", "lib/standard/kernel.nit", 266);
+var53 = var_l + var46;
+var47 = var53;
+goto RET_LABEL48;
+RET_LABEL48:(void)0;
+}
+}
+var54 = 3;
+{
+{ /* Inline kernel#Int#* (var47,var54) on <var47:Int> */
+/* Covariant cast for argument 0 (i) <var54:Int> isa OTHER */
+/* <var54:Int> isa OTHER */
+var57 = 1; /* easy <var54:Int> isa OTHER*/
+if (unlikely(!var57)) {
+var_class_name60 = type_kernel__Int.name;
+PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name60);
+PRINT_ERROR(" (%s:%d)\n", "lib/standard/kernel.nit", 332);
 show_backtrace(1);
 }
-var42 = var_l >= var35;
-var36 = var42;
-goto RET_LABEL37;
-RET_LABEL37:(void)0;
+var61 = var47 * var54;
+var55 = var61;
+goto RET_LABEL56;
+RET_LABEL56:(void)0;
 }
-if (var36){
-var43 = 2;
-{ /* Inline kernel#Int#* (var_l,var43) */
-var46 = var_l * var43;
-var44 = var46;
-goto RET_LABEL45;
-RET_LABEL45:(void)0;
 }
-((void (*)(val*, long))(self->class->vft[COLOR_hash_collection__HashCollection__enlarge]))(self, var44) /* enlarge on <self:HashCollection[Object, HashNode[Object]]>*/;
+var62 = 2;
+{
+{ /* Inline kernel#Int#/ (var55,var62) on <var55:Int> */
+/* Covariant cast for argument 0 (i) <var62:Int> isa OTHER */
+/* <var62:Int> isa OTHER */
+var65 = 1; /* easy <var62:Int> isa OTHER*/
+if (unlikely(!var65)) {
+var_class_name68 = type_kernel__Int.name;
+PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name68);
+PRINT_ERROR(" (%s:%d)\n", "lib/standard/kernel.nit", 333);
+show_backtrace(1);
+}
+var69 = var55 / var62;
+var63 = var69;
+goto RET_LABEL64;
+RET_LABEL64:(void)0;
+}
+}
+var_l = var63;
+var70 = self->attrs[COLOR_hash_collection__HashCollection___capacity].l; /* _capacity on <self:HashCollection[Object, HashNode[Object]]> */
+{
+{ /* Inline kernel#Int#>= (var_l,var70) on <var_l:Int> */
+/* Covariant cast for argument 0 (i) <var70:Int> isa OTHER */
+/* <var70:Int> isa OTHER */
+var73 = 1; /* easy <var70:Int> isa OTHER*/
+if (unlikely(!var73)) {
+var_class_name76 = type_kernel__Int.name;
+PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name76);
+PRINT_ERROR(" (%s:%d)\n", "lib/standard/kernel.nit", 326);
+show_backtrace(1);
+}
+var77 = var_l >= var70;
+var71 = var77;
+goto RET_LABEL72;
+RET_LABEL72:(void)0;
+}
+}
+if (var71){
+var78 = 2;
+{
+{ /* Inline kernel#Int#* (var_l,var78) on <var_l:Int> */
+/* Covariant cast for argument 0 (i) <var78:Int> isa OTHER */
+/* <var78:Int> isa OTHER */
+var81 = 1; /* easy <var78:Int> isa OTHER*/
+if (unlikely(!var81)) {
+var_class_name84 = type_kernel__Int.name;
+PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name84);
+PRINT_ERROR(" (%s:%d)\n", "lib/standard/kernel.nit", 332);
+show_backtrace(1);
+}
+var85 = var_l * var78;
+var79 = var85;
+goto RET_LABEL80;
+RET_LABEL80:(void)0;
+}
+}
+{
+hash_collection__HashCollection__enlarge(self, var79); /* Direct call hash_collection#HashCollection#enlarge on <self:HashCollection[Object, HashNode[Object]]>*/
+}
 } else {
 }
 RET_LABEL:;
 }
 /* method hash_collection#HashCollection#store for (self: Object, Int, HashNode[Object]) */
 void VIRTUAL_hash_collection__HashCollection__store(val* self, long p0, val* p1) {
-hash_collection__HashCollection__store(self, p0, p1);
+hash_collection__HashCollection__store(self, p0, p1); /* Direct call hash_collection#HashCollection#store on <self:Object(HashCollection[Object, HashNode[Object]])>*/
 RET_LABEL:;
 }
 /* method hash_collection#HashCollection#remove_node for (self: HashCollection[Object, HashNode[Object]], Object) */
@@ -507,42 +695,73 @@ val* var2 /* : nullable HashNode[Object] */;
 val* var_node /* var node: nullable HashNode[Object] */;
 val* var3 /* : null */;
 short int var4 /* : Bool */;
-val* var5 /* : nullable HashNode[Object] */;
+short int var5 /* : Bool */;
+val* var_other /* var other: nullable Object */;
+short int var7 /* : Bool */;
+short int var9 /* : Bool */;
+val* var10 /* : nullable HashNode[Object] */;
 val* var_prev /* var prev: nullable HashNode[Object] */;
-val* var6 /* : nullable HashNode[Object] */;
+val* var11 /* : nullable HashNode[Object] */;
 val* var_next /* var next: nullable HashNode[Object] */;
-val* var7 /* : null */;
-short int var8 /* : Bool */;
-short int var9 /* : Bool */;
-int cltype10;
-int idtype11;
-const struct type* type_struct12;
-const char* var_class_name13;
-val* var14 /* : null */;
-short int var15 /* : Bool */;
-short int var16 /* : Bool */;
-int cltype17;
-int idtype18;
-const struct type* type_struct19;
-const char* var_class_name20;
-val* var_ /* var : HashCollection[Object, HashNode[Object]] */;
-long var21 /* : Int */;
-long var22 /* : Int */;
-long var23 /* : Int */;
-long var25 /* : Int */;
-val* var26 /* : nullable HashNode[Object] */;
-val* var27 /* : nullable HashNode[Object] */;
-val* var28 /* : null */;
+val* var12 /* : null */;
+short int var13 /* : Bool */;
+short int var14 /* : Bool */;
+val* var_other16 /* var other: nullable Object */;
+short int var17 /* : Bool */;
+short int var18 /* : Bool */;
+short int var19 /* : Bool */;
+short int var20 /* : Bool */;
+int cltype21;
+int idtype22;
+const struct type* type_struct23;
+const char* var_class_name24;
+val* var25 /* : null */;
+short int var26 /* : Bool */;
+short int var27 /* : Bool */;
 short int var29 /* : Bool */;
-val* var30 /* : nullable NativeArray[nullable HashNode[Object]] */;
+short int var30 /* : Bool */;
 short int var31 /* : Bool */;
-int cltype32;
-int idtype33;
-const struct type* type_struct34;
-const char* var_class_name35;
-val* var36 /* : null */;
-short int var37 /* : Bool */;
-val* var38 /* : null */;
+short int var32 /* : Bool */;
+int cltype33;
+int idtype34;
+const struct type* type_struct35;
+const char* var_class_name36;
+val* var_ /* var : HashCollection[Object, HashNode[Object]] */;
+long var37 /* : Int */;
+long var38 /* : Int */;
+long var39 /* : Int */;
+short int var41 /* : Bool */;
+int cltype42;
+int idtype43;
+const char* var_class_name44;
+long var45 /* : Int */;
+val* var46 /* : nullable HashNode[Object] */;
+val* var47 /* : nullable HashNode[Object] */;
+val* var48 /* : null */;
+short int var49 /* : Bool */;
+short int var50 /* : Bool */;
+short int var52 /* : Bool */;
+short int var53 /* : Bool */;
+short int var54 /* : Bool */;
+val* var55 /* : nullable NativeArray[nullable HashNode[Object]] */;
+short int var56 /* : Bool */;
+int cltype57;
+int idtype58;
+const struct type* type_struct59;
+const char* var_class_name60;
+short int var62 /* : Bool */;
+int cltype63;
+int idtype64;
+const struct type* type_struct65;
+short int is_nullable;
+const char* var_class_name66;
+val* var67 /* : null */;
+short int var68 /* : Bool */;
+short int var69 /* : Bool */;
+short int var71 /* : Bool */;
+short int var72 /* : Bool */;
+short int var73 /* : Bool */;
+val* var74 /* : null */;
 /* Covariant cast for argument 0 (k) <p0:Object> isa HashCollection#0 */
 /* <p0:Object> isa HashCollection#0 */
 type_struct = self->type->resolution_table->types[COLOR_hash_collection__HashCollection_FT0];
@@ -553,16 +772,20 @@ var = 0;
 } else {
 var = p0->type->type_table[cltype] == idtype;
 }
-if (!var) {
+if (unlikely(!var)) {
 var_class_name = p0 == NULL ? "null" : p0->type->name;
-fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "HashCollection#0", var_class_name);
-fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 100);
+PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "HashCollection#0", var_class_name);
+PRINT_ERROR(" (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 100);
 show_backtrace(1);
 }
 var_k = p0;
-var1 = ((long (*)(val*, val*))(self->class->vft[COLOR_hash_collection__HashCollection__index_at]))(self, var_k) /* index_at on <self:HashCollection[Object, HashNode[Object]]>*/;
+{
+var1 = hash_collection__HashCollection__index_at(self, var_k);
+}
 var_i = var1;
-var2 = ((val* (*)(val*, long, val*))(self->class->vft[COLOR_hash_collection__HashCollection__node_at_idx]))(self, var_i, var_k) /* node_at_idx on <self:HashCollection[Object, HashNode[Object]]>*/;
+{
+var2 = hash_collection__HashCollection__node_at_idx(self, var_i, var_k);
+}
 var_node = var2;
 var3 = NULL;
 if (var_node == NULL) {
@@ -570,142 +793,250 @@ var4 = 1; /* is null */
 } else {
 var4 = 0; /* arg is null but recv is not */
 }
+if (0) {
+{ /* Inline kernel#Object#== (var_node,var3) on <var_node:nullable HashNode[Object]> */
+var_other = var3;
+{
+{ /* Inline kernel#Object#is_same_instance (var_node,var_other) on <var_node:nullable HashNode[Object](HashNode[Object])> */
+var9 = var_node == var_other;
+var7 = var9;
+goto RET_LABEL8;
+RET_LABEL8:(void)0;
+}
+}
+var5 = var7;
+goto RET_LABEL6;
+RET_LABEL6:(void)0;
+}
+var4 = var5;
+}
 if (var4){
 goto RET_LABEL;
 } else {
 }
-var5 = var_node->attrs[COLOR_hash_collection__HashNode___prev_item].val; /* _prev_item on <var_node:nullable HashNode[Object](HashNode[Object])> */
-var_prev = var5;
-var6 = var_node->attrs[COLOR_hash_collection__HashNode___next_item].val; /* _next_item on <var_node:nullable HashNode[Object](HashNode[Object])> */
-var_next = var6;
-var7 = NULL;
+var10 = var_node->attrs[COLOR_hash_collection__HashNode___prev_item].val; /* _prev_item on <var_node:nullable HashNode[Object](HashNode[Object])> */
+var_prev = var10;
+var11 = var_node->attrs[COLOR_hash_collection__HashNode___next_item].val; /* _next_item on <var_node:nullable HashNode[Object](HashNode[Object])> */
+var_next = var11;
+var12 = NULL;
 if (var_prev == NULL) {
-var8 = 0; /* is null */
+var13 = 0; /* is null */
 } else {
-var8 = 1; /* arg is null and recv is not */
+var13 = 1; /* arg is null and recv is not */
 }
-if (var8){
+if (0) {
+{ /* Inline kernel#Object#!= (var_prev,var12) on <var_prev:nullable HashNode[Object]> */
+var_other16 = var12;
+{
+var18 = ((short int (*)(val*, val*))(var_prev->class->vft[COLOR_kernel__Object___61d_61d]))(var_prev, var_other16) /* == on <var_prev:nullable HashNode[Object](HashNode[Object])>*/;
+var17 = var18;
+}
+var19 = !var17;
+var14 = var19;
+goto RET_LABEL15;
+RET_LABEL15:(void)0;
+}
+var13 = var14;
+}
+if (var13){
 var_prev->attrs[COLOR_hash_collection__HashNode___next_item].val = var_next; /* _next_item on <var_prev:nullable HashNode[Object](HashNode[Object])> */
 } else {
 /* <var_next:nullable HashNode[Object]> isa nullable HashCollection#1 */
-type_struct12 = self->type->resolution_table->types[COLOR_nullable_hash_collection__HashCollection_FT1];
-cltype10 = type_struct12->color;
-idtype11 = type_struct12->id;
+type_struct23 = self->type->resolution_table->types[COLOR_nullable_hash_collection__HashCollection_FT1];
+cltype21 = type_struct23->color;
+idtype22 = type_struct23->id;
 if(var_next == NULL) {
-var9 = 1;
+var20 = 1;
 } else {
-if(cltype10 >= var_next->type->table_size) {
-var9 = 0;
+if(cltype21 >= var_next->type->table_size) {
+var20 = 0;
 } else {
-var9 = var_next->type->type_table[cltype10] == idtype11;
+var20 = var_next->type->type_table[cltype21] == idtype22;
 }
 }
-if (!var9) {
-var_class_name13 = var_next == NULL ? "null" : var_next->type->name;
-fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "nullable HashCollection#1", var_class_name13);
-fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 113);
+if (unlikely(!var20)) {
+var_class_name24 = var_next == NULL ? "null" : var_next->type->name;
+PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "nullable HashCollection#1", var_class_name24);
+PRINT_ERROR(" (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 113);
 show_backtrace(1);
 }
 self->attrs[COLOR_hash_collection__HashCollection___first_item].val = var_next; /* _first_item on <self:HashCollection[Object, HashNode[Object]]> */
 }
-var14 = NULL;
+var25 = NULL;
 if (var_next == NULL) {
-var15 = 0; /* is null */
+var26 = 0; /* is null */
 } else {
-var15 = 1; /* arg is null and recv is not */
+var26 = 1; /* arg is null and recv is not */
 }
-if (var15){
+if (0) {
+{ /* Inline kernel#Object#!= (var_next,var25) on <var_next:nullable HashNode[Object]> */
+var_other16 = var25;
+{
+var30 = ((short int (*)(val*, val*))(var_next->class->vft[COLOR_kernel__Object___61d_61d]))(var_next, var_other16) /* == on <var_next:nullable HashNode[Object](HashNode[Object])>*/;
+var29 = var30;
+}
+var31 = !var29;
+var27 = var31;
+goto RET_LABEL28;
+RET_LABEL28:(void)0;
+}
+var26 = var27;
+}
+if (var26){
 var_next->attrs[COLOR_hash_collection__HashNode___prev_item].val = var_prev; /* _prev_item on <var_next:nullable HashNode[Object](HashNode[Object])> */
 } else {
 /* <var_prev:nullable HashNode[Object]> isa nullable HashCollection#1 */
-type_struct19 = self->type->resolution_table->types[COLOR_nullable_hash_collection__HashCollection_FT1];
-cltype17 = type_struct19->color;
-idtype18 = type_struct19->id;
+type_struct35 = self->type->resolution_table->types[COLOR_nullable_hash_collection__HashCollection_FT1];
+cltype33 = type_struct35->color;
+idtype34 = type_struct35->id;
 if(var_prev == NULL) {
-var16 = 1;
+var32 = 1;
 } else {
-if(cltype17 >= var_prev->type->table_size) {
-var16 = 0;
+if(cltype33 >= var_prev->type->table_size) {
+var32 = 0;
 } else {
-var16 = var_prev->type->type_table[cltype17] == idtype18;
+var32 = var_prev->type->type_table[cltype33] == idtype34;
 }
 }
-if (!var16) {
-var_class_name20 = var_prev == NULL ? "null" : var_prev->type->name;
-fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "nullable HashCollection#1", var_class_name20);
-fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 118);
+if (unlikely(!var32)) {
+var_class_name36 = var_prev == NULL ? "null" : var_prev->type->name;
+PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "nullable HashCollection#1", var_class_name36);
+PRINT_ERROR(" (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 118);
 show_backtrace(1);
 }
 self->attrs[COLOR_hash_collection__HashCollection___last_item].val = var_prev; /* _last_item on <self:HashCollection[Object, HashNode[Object]]> */
 }
 var_ = self;
-var21 = var_->attrs[COLOR_hash_collection__HashCollection___length].l; /* _length on <var_:HashCollection[Object, HashNode[Object]]> */
-var22 = 1;
-{ /* Inline kernel#Int#- (var21,var22) */
-var25 = var21 - var22;
-var23 = var25;
-goto RET_LABEL24;
-RET_LABEL24:(void)0;
-}
-var_->attrs[COLOR_hash_collection__HashCollection___length].l = var23; /* _length on <var_:HashCollection[Object, HashNode[Object]]> */
-var26 = var_node->attrs[COLOR_hash_collection__HashNode___prev_in_bucklet].val; /* _prev_in_bucklet on <var_node:nullable HashNode[Object](HashNode[Object])> */
-var_prev = var26;
-var27 = var_node->attrs[COLOR_hash_collection__HashNode___next_in_bucklet].val; /* _next_in_bucklet on <var_node:nullable HashNode[Object](HashNode[Object])> */
-var_next = var27;
-var28 = NULL;
+var37 = var_->attrs[COLOR_hash_collection__HashCollection___length].l; /* _length on <var_:HashCollection[Object, HashNode[Object]]> */
+var38 = 1;
+{
+{ /* Inline kernel#Int#- (var37,var38) on <var37:Int> */
+/* Covariant cast for argument 0 (i) <var38:Int> isa OTHER */
+/* <var38:Int> isa OTHER */
+var41 = 1; /* easy <var38:Int> isa OTHER*/
+if (unlikely(!var41)) {
+var_class_name44 = type_kernel__Int.name;
+PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name44);
+PRINT_ERROR(" (%s:%d)\n", "lib/standard/kernel.nit", 331);
+show_backtrace(1);
+}
+var45 = var37 - var38;
+var39 = var45;
+goto RET_LABEL40;
+RET_LABEL40:(void)0;
+}
+}
+var_->attrs[COLOR_hash_collection__HashCollection___length].l = var39; /* _length on <var_:HashCollection[Object, HashNode[Object]]> */
+var46 = var_node->attrs[COLOR_hash_collection__HashNode___prev_in_bucklet].val; /* _prev_in_bucklet on <var_node:nullable HashNode[Object](HashNode[Object])> */
+var_prev = var46;
+var47 = var_node->attrs[COLOR_hash_collection__HashNode___next_in_bucklet].val; /* _next_in_bucklet on <var_node:nullable HashNode[Object](HashNode[Object])> */
+var_next = var47;
+var48 = NULL;
 if (var_prev == NULL) {
-var29 = 0; /* is null */
+var49 = 0; /* is null */
 } else {
-var29 = 1; /* arg is null and recv is not */
+var49 = 1; /* arg is null and recv is not */
+}
+if (0) {
+{ /* Inline kernel#Object#!= (var_prev,var48) on <var_prev:nullable HashNode[Object]> */
+var_other16 = var48;
+{
+var53 = ((short int (*)(val*, val*))(var_prev->class->vft[COLOR_kernel__Object___61d_61d]))(var_prev, var_other16) /* == on <var_prev:nullable HashNode[Object](HashNode[Object])>*/;
+var52 = var53;
+}
+var54 = !var52;
+var50 = var54;
+goto RET_LABEL51;
+RET_LABEL51:(void)0;
+}
+var49 = var50;
 }
-if (var29){
+if (var49){
 var_prev->attrs[COLOR_hash_collection__HashNode___next_in_bucklet].val = var_next; /* _next_in_bucklet on <var_prev:nullable HashNode[Object](HashNode[Object])> */
 } else {
-var30 = self->attrs[COLOR_hash_collection__HashCollection___array].val; /* _array on <self:HashCollection[Object, HashNode[Object]]> */
+var55 = self->attrs[COLOR_hash_collection__HashCollection___array].val; /* _array on <self:HashCollection[Object, HashNode[Object]]> */
 /* <var_next:nullable HashNode[Object]> isa nullable HashCollection#1 */
-type_struct34 = self->type->resolution_table->types[COLOR_nullable_hash_collection__HashCollection_FT1];
-cltype32 = type_struct34->color;
-idtype33 = type_struct34->id;
+type_struct59 = self->type->resolution_table->types[COLOR_nullable_hash_collection__HashCollection_FT1];
+cltype57 = type_struct59->color;
+idtype58 = type_struct59->id;
 if(var_next == NULL) {
-var31 = 1;
+var56 = 1;
 } else {
-if(cltype32 >= var_next->type->table_size) {
-var31 = 0;
+if(cltype57 >= var_next->type->table_size) {
+var56 = 0;
 } else {
-var31 = var_next->type->type_table[cltype32] == idtype33;
+var56 = var_next->type->type_table[cltype57] == idtype58;
 }
 }
-if (!var31) {
-var_class_name35 = var_next == NULL ? "null" : var_next->type->name;
-fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "nullable HashCollection#1", var_class_name35);
-fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 128);
+if (unlikely(!var56)) {
+var_class_name60 = var_next == NULL ? "null" : var_next->type->name;
+PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "nullable HashCollection#1", var_class_name60);
+PRINT_ERROR(" (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 128);
 show_backtrace(1);
 }
-if (var30 == NULL) {
-fprintf(stderr, "Runtime error: %s", "Receiver is null");
-fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 128);
+if (var55 == NULL) {
+PRINT_ERROR("Runtime error: %s", "Receiver is null");
+PRINT_ERROR(" (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 128);
 show_backtrace(1);
 } else {
-((void (*)(val*, long, val*))(var30->class->vft[COLOR_array__NativeArray___91d_93d_61d]))(var30, var_i, var_next) /* []= on <var30:nullable NativeArray[nullable HashNode[Object]]>*/;
+{ /* Inline array#NativeArray#[]= (var55,var_i,var_next) on <var55:nullable NativeArray[nullable HashNode[Object]]> */
+/* Covariant cast for argument 1 (item) <var_next:nullable HashNode[Object]> isa NativeArray#0 */
+/* <var_next:nullable HashNode[Object]> isa NativeArray#0 */
+type_struct65 = var55->type->resolution_table->types[COLOR_array__NativeArray_FT0];
+cltype63 = type_struct65->color;
+idtype64 = type_struct65->id;
+is_nullable = type_struct65->is_nullable;
+if(var_next == NULL) {
+var62 = is_nullable;
+} else {
+if(cltype63 >= var_next->type->table_size) {
+var62 = 0;
+} else {
+var62 = var_next->type->type_table[cltype63] == idtype64;
+}
+}
+if (unlikely(!var62)) {
+var_class_name66 = var_next == NULL ? "null" : var_next->type->name;
+PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "NativeArray#0", var_class_name66);
+PRINT_ERROR(" (%s:%d)\n", "lib/standard/collection/array.nit", 662);
+show_backtrace(1);
+}
+((struct instance_array__NativeArray*)var55)->values[var_i]=var_next;
+RET_LABEL61:(void)0;
+}
 }
 }
-var36 = NULL;
+var67 = NULL;
 if (var_next == NULL) {
-var37 = 0; /* is null */
+var68 = 0; /* is null */
 } else {
-var37 = 1; /* arg is null and recv is not */
+var68 = 1; /* arg is null and recv is not */
 }
-if (var37){
+if (0) {
+{ /* Inline kernel#Object#!= (var_next,var67) on <var_next:nullable HashNode[Object]> */
+var_other16 = var67;
+{
+var72 = ((short int (*)(val*, val*))(var_next->class->vft[COLOR_kernel__Object___61d_61d]))(var_next, var_other16) /* == on <var_next:nullable HashNode[Object](HashNode[Object])>*/;
+var71 = var72;
+}
+var73 = !var71;
+var69 = var73;
+goto RET_LABEL70;
+RET_LABEL70:(void)0;
+}
+var68 = var69;
+}
+if (var68){
 var_next->attrs[COLOR_hash_collection__HashNode___prev_in_bucklet].val = var_prev; /* _prev_in_bucklet on <var_next:nullable HashNode[Object](HashNode[Object])> */
 } else {
 }
-var38 = NULL;
-self->attrs[COLOR_hash_collection__HashCollection___last_accessed_key].val = var38; /* _last_accessed_key on <self:HashCollection[Object, HashNode[Object]]> */
+var74 = NULL;
+self->attrs[COLOR_hash_collection__HashCollection___last_accessed_key].val = var74; /* _last_accessed_key on <self:HashCollection[Object, HashNode[Object]]> */
 RET_LABEL:;
 }
 /* method hash_collection#HashCollection#remove_node for (self: Object, Object) */
 void VIRTUAL_hash_collection__HashCollection__remove_node(val* self, val* p0) {
-hash_collection__HashCollection__remove_node(self, p0);
+hash_collection__HashCollection__remove_node(self, p0); /* Direct call hash_collection#HashCollection#remove_node on <self:Object(HashCollection[Object, HashNode[Object]])>*/
 RET_LABEL:;
 }
 /* method hash_collection#HashCollection#raz for (self: HashCollection[Object, HashNode[Object]]) */
@@ -713,84 +1044,146 @@ void hash_collection__HashCollection__raz(val* self) {
 long var /* : Int */;
 long var1 /* : Int */;
 long var2 /* : Int */;
-long var4 /* : Int */;
-long var_i /* var i: Int */;
-long var5 /* : Int */;
-short int var6 /* : Bool */;
-short int var8 /* : Bool */;
+short int var4 /* : Bool */;
 int cltype;
 int idtype;
 const char* var_class_name;
+long var5 /* : Int */;
+long var_i /* var i: Int */;
+long var6 /* : Int */;
+short int var7 /* : Bool */;
 short int var9 /* : Bool */;
-val* var10 /* : nullable NativeArray[nullable HashNode[Object]] */;
-val* var11 /* : null */;
-long var12 /* : Int */;
-long var13 /* : Int */;
-long var15 /* : Int */;
-long var16 /* : Int */;
-val* var17 /* : null */;
-val* var18 /* : null */;
-val* var19 /* : null */;
+int cltype10;
+int idtype11;
+const char* var_class_name12;
+short int var13 /* : Bool */;
+val* var14 /* : nullable NativeArray[nullable HashNode[Object]] */;
+val* var15 /* : null */;
+short int var17 /* : Bool */;
+int cltype18;
+int idtype19;
+const struct type* type_struct;
+short int is_nullable;
+const char* var_class_name20;
+long var21 /* : Int */;
+long var22 /* : Int */;
+short int var24 /* : Bool */;
+int cltype25;
+int idtype26;
+const char* var_class_name27;
+long var28 /* : Int */;
+long var29 /* : Int */;
+val* var30 /* : null */;
+val* var31 /* : null */;
+val* var32 /* : null */;
 var = self->attrs[COLOR_hash_collection__HashCollection___capacity].l; /* _capacity on <self:HashCollection[Object, HashNode[Object]]> */
 var1 = 1;
-{ /* Inline kernel#Int#- (var,var1) */
-var4 = var - var1;
-var2 = var4;
+{
+{ /* Inline kernel#Int#- (var,var1) on <var:Int> */
+/* Covariant cast for argument 0 (i) <var1:Int> isa OTHER */
+/* <var1:Int> isa OTHER */
+var4 = 1; /* easy <var1:Int> isa OTHER*/
+if (unlikely(!var4)) {
+var_class_name = type_kernel__Int.name;
+PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name);
+PRINT_ERROR(" (%s:%d)\n", "lib/standard/kernel.nit", 331);
+show_backtrace(1);
+}
+var5 = var - var1;
+var2 = var5;
 goto RET_LABEL3;
 RET_LABEL3:(void)0;
 }
+}
 var_i = var2;
 for(;;) {
-var5 = 0;
-{ /* Inline kernel#Int#>= (var_i,var5) */
-/* Covariant cast for argument 0 (i) <var5:Int> isa OTHER */
-/* <var5:Int> isa OTHER */
-var8 = 1; /* easy <var5:Int> isa OTHER*/
-if (!var8) {
-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 = 0;
+{
+{ /* Inline kernel#Int#>= (var_i,var6) on <var_i:Int> */
+/* Covariant cast for argument 0 (i) <var6:Int> isa OTHER */
+/* <var6:Int> isa OTHER */
+var9 = 1; /* easy <var6:Int> isa OTHER*/
+if (unlikely(!var9)) {
+var_class_name12 = type_kernel__Int.name;
+PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name12);
+PRINT_ERROR(" (%s:%d)\n", "lib/standard/kernel.nit", 326);
+show_backtrace(1);
+}
+var13 = var_i >= var6;
+var7 = var13;
+goto RET_LABEL8;
+RET_LABEL8:(void)0;
 }
-var9 = var_i >= var5;
-var6 = var9;
-goto RET_LABEL7;
-RET_LABEL7:(void)0;
 }
-if (!var6) break;
-var10 = self->attrs[COLOR_hash_collection__HashCollection___array].val; /* _array on <self:HashCollection[Object, HashNode[Object]]> */
-var11 = NULL;
-if (var10 == NULL) {
-fprintf(stderr, "Runtime error: %s", "Receiver is null");
-fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 142);
+if (!var7) break;
+var14 = self->attrs[COLOR_hash_collection__HashCollection___array].val; /* _array on <self:HashCollection[Object, HashNode[Object]]> */
+var15 = NULL;
+if (var14 == NULL) {
+PRINT_ERROR("Runtime error: %s", "Receiver is null");
+PRINT_ERROR(" (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 142);
 show_backtrace(1);
 } else {
-((void (*)(val*, long, val*))(var10->class->vft[COLOR_array__NativeArray___91d_93d_61d]))(var10, var_i, var11) /* []= on <var10:nullable NativeArray[nullable HashNode[Object]]>*/;
+{ /* Inline array#NativeArray#[]= (var14,var_i,var15) on <var14:nullable NativeArray[nullable HashNode[Object]]> */
+/* Covariant cast for argument 1 (item) <var15:null> isa NativeArray#0 */
+/* <var15:null> isa NativeArray#0 */
+type_struct = var14->type->resolution_table->types[COLOR_array__NativeArray_FT0];
+cltype18 = type_struct->color;
+idtype19 = type_struct->id;
+is_nullable = type_struct->is_nullable;
+if(var15 == NULL) {
+var17 = is_nullable;
+} else {
+if(cltype18 >= var15->type->table_size) {
+var17 = 0;
+} else {
+var17 = var15->type->type_table[cltype18] == idtype19;
 }
-var12 = 1;
-{ /* Inline kernel#Int#- (var_i,var12) */
-var15 = var_i - var12;
-var13 = var15;
-goto RET_LABEL14;
-RET_LABEL14:(void)0;
 }
-var_i = var13;
+if (unlikely(!var17)) {
+var_class_name20 = var15 == NULL ? "null" : var15->type->name;
+PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "NativeArray#0", var_class_name20);
+PRINT_ERROR(" (%s:%d)\n", "lib/standard/collection/array.nit", 662);
+show_backtrace(1);
+}
+((struct instance_array__NativeArray*)var14)->values[var_i]=var15;
+RET_LABEL16:(void)0;
+}
+}
+var21 = 1;
+{
+{ /* Inline kernel#Int#- (var_i,var21) on <var_i:Int> */
+/* Covariant cast for argument 0 (i) <var21:Int> isa OTHER */
+/* <var21:Int> isa OTHER */
+var24 = 1; /* easy <var21:Int> isa OTHER*/
+if (unlikely(!var24)) {
+var_class_name27 = type_kernel__Int.name;
+PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name27);
+PRINT_ERROR(" (%s:%d)\n", "lib/standard/kernel.nit", 331);
+show_backtrace(1);
+}
+var28 = var_i - var21;
+var22 = var28;
+goto RET_LABEL23;
+RET_LABEL23:(void)0;
+}
+}
+var_i = var22;
 CONTINUE_label: (void)0;
 }
 BREAK_label: (void)0;
-var16 = 0;
-self->attrs[COLOR_hash_collection__HashCollection___length].l = var16; /* _length on <self:HashCollection[Object, HashNode[Object]]> */
-var17 = NULL;
-self->attrs[COLOR_hash_collection__HashCollection___first_item].val = var17; /* _first_item on <self:HashCollection[Object, HashNode[Object]]> */
-var18 = NULL;
-self->attrs[COLOR_hash_collection__HashCollection___last_item].val = var18; /* _last_item on <self:HashCollection[Object, HashNode[Object]]> */
-var19 = NULL;
-self->attrs[COLOR_hash_collection__HashCollection___last_accessed_key].val = var19; /* _last_accessed_key on <self:HashCollection[Object, HashNode[Object]]> */
+var29 = 0;
+self->attrs[COLOR_hash_collection__HashCollection___length].l = var29; /* _length on <self:HashCollection[Object, HashNode[Object]]> */
+var30 = NULL;
+self->attrs[COLOR_hash_collection__HashCollection___first_item].val = var30; /* _first_item on <self:HashCollection[Object, HashNode[Object]]> */
+var31 = NULL;
+self->attrs[COLOR_hash_collection__HashCollection___last_item].val = var31; /* _last_item on <self:HashCollection[Object, HashNode[Object]]> */
+var32 = NULL;
+self->attrs[COLOR_hash_collection__HashCollection___last_accessed_key].val = var32; /* _last_accessed_key on <self:HashCollection[Object, HashNode[Object]]> */
 RET_LABEL:;
 }
 /* method hash_collection#HashCollection#raz for (self: Object) */
 void VIRTUAL_hash_collection__HashCollection__raz(val* self) {
-hash_collection__HashCollection__raz(self);
+hash_collection__HashCollection__raz(self); /* Direct call hash_collection#HashCollection#raz on <self:Object(HashCollection[Object, HashNode[Object]])>*/
 RET_LABEL:;
 }
 /* method hash_collection#HashCollection#enlarge for (self: HashCollection[Object, HashNode[Object]], Int) */
@@ -801,388 +1194,465 @@ long var_old_cap /* var old_cap: Int */;
 long var1 /* : Int */;
 long var2 /* : Int */;
 long var3 /* : Int */;
-long var5 /* : Int */;
-short int var6 /* : Bool */;
-short int var8 /* : Bool */;
+short int var5 /* : Bool */;
 int cltype;
 int idtype;
 const char* var_class_name;
+long var6 /* : Int */;
+short int var7 /* : Bool */;
 short int var9 /* : Bool */;
-long var10 /* : Int */;
-long var11 /* : Int */;
-long var12 /* : Int */;
+int cltype10;
+int idtype11;
+const char* var_class_name12;
+short int var13 /* : Bool */;
 long var14 /* : Int */;
 long var15 /* : Int */;
-short int var16 /* : Bool */;
+long var16 /* : Int */;
 short int var18 /* : Bool */;
 int cltype19;
 int idtype20;
 const char* var_class_name21;
-short int var22 /* : Bool */;
-val* var23 /* : null */;
-val* var24 /* : NativeArray[nullable Object] */;
-val* var_new_array /* var new_array: NativeArray[nullable HashNode[Object]] */;
-long var25 /* : Int */;
-long var26 /* : Int */;
-long var28 /* : Int */;
-long var_i /* var i: Int */;
-long var29 /* : Int */;
+long var22 /* : Int */;
+long var23 /* : Int */;
+short int var24 /* : Bool */;
+short int var26 /* : Bool */;
+int cltype27;
+int idtype28;
+const char* var_class_name29;
 short int var30 /* : Bool */;
-short int var32 /* : Bool */;
-int cltype33;
-int idtype34;
-const char* var_class_name35;
-short int var36 /* : Bool */;
-val* var37 /* : null */;
-long var38 /* : Int */;
-long var39 /* : Int */;
-long var41 /* : Int */;
+val* var31 /* : null */;
+val* var32 /* : NativeArray[nullable Object] */;
+val* var34 /* : NativeArray[nullable Object] */;
+val* var_new_array /* var new_array: NativeArray[nullable HashNode[Object]] */;
+long var35 /* : Int */;
+long var36 /* : Int */;
+short int var38 /* : Bool */;
+int cltype39;
+int idtype40;
+const char* var_class_name41;
 long var42 /* : Int */;
-short int var43 /* : Bool */;
-short int var45 /* : Bool */;
-int cltype46;
-int idtype47;
-const char* var_class_name48;
-short int var49 /* : Bool */;
-val* var50 /* : nullable HashNode[Object] */;
-val* var_node /* var node: nullable HashNode[Object] */;
+long var_i /* var i: Int */;
+long var43 /* : Int */;
+short int var44 /* : Bool */;
+short int var46 /* : Bool */;
+int cltype47;
+int idtype48;
+const char* var_class_name49;
+short int var50 /* : Bool */;
 val* var51 /* : null */;
-short int var52 /* : Bool */;
-val* var53 /* : Object */;
-short int var54 /* : Bool */;
-int cltype55;
-int idtype56;
+short int var53 /* : Bool */;
+int cltype54;
+int idtype55;
 const struct type* type_struct;
-const char* var_class_name57;
+short int is_nullable;
+const char* var_class_name56;
+long var57 /* : Int */;
 long var58 /* : Int */;
+short int var60 /* : Bool */;
+int cltype61;
+int idtype62;
+const char* var_class_name63;
+long var64 /* : Int */;
+long var65 /* : Int */;
+short int var66 /* : Bool */;
+short int var68 /* : Bool */;
+int cltype69;
+int idtype70;
+const char* var_class_name71;
+short int var72 /* : Bool */;
+val* var73 /* : nullable HashNode[Object] */;
+val* var_node /* var node: nullable HashNode[Object] */;
+val* var74 /* : null */;
+short int var75 /* : Bool */;
+short int var76 /* : Bool */;
+val* var_other /* var other: nullable Object */;
+short int var78 /* : Bool */;
+short int var79 /* : Bool */;
+short int var80 /* : Bool */;
+val* var81 /* : Object */;
+short int var82 /* : Bool */;
+int cltype83;
+int idtype84;
+const struct type* type_struct85;
+const char* var_class_name86;
+long var87 /* : Int */;
 long var_index /* var index: Int */;
-val* var59 /* : nullable Object */;
+val* var88 /* : nullable Object */;
+val* var90 /* : nullable HashNode[Object] */;
 val* var_next /* var next: nullable HashNode[Object] */;
-val* var60 /* : null */;
-val* var61 /* : null */;
-short int var62 /* : Bool */;
-val* var63 /* : nullable HashNode[Object] */;
-short int var64 /* : Bool */;
-int cltype65;
-int idtype66;
-const struct type* type_struct67;
-const char* var_class_name68;
+short int var92 /* : Bool */;
+int cltype93;
+int idtype94;
+const struct type* type_struct95;
+const char* var_class_name96;
+val* var97 /* : null */;
+val* var98 /* : null */;
+short int var99 /* : Bool */;
+short int var100 /* : Bool */;
+short int var102 /* : Bool */;
+short int var103 /* : Bool */;
+short int var104 /* : Bool */;
+val* var105 /* : nullable HashNode[Object] */;
+short int var106 /* : Bool */;
+int cltype107;
+int idtype108;
+const struct type* type_struct109;
+const char* var_class_name110;
 var_cap = p0;
 var = self->attrs[COLOR_hash_collection__HashCollection___capacity].l; /* _capacity on <self:HashCollection[Object, HashNode[Object]]> */
 var_old_cap = var;
 var1 = self->attrs[COLOR_hash_collection__HashCollection___length].l; /* _length on <self:HashCollection[Object, HashNode[Object]]> */
 var2 = 1;
-{ /* Inline kernel#Int#+ (var1,var2) */
-var5 = var1 + var2;
-var3 = var5;
+{
+{ /* Inline kernel#Int#+ (var1,var2) on <var1:Int> */
+/* Covariant cast for argument 0 (i) <var2:Int> isa OTHER */
+/* <var2:Int> isa OTHER */
+var5 = 1; /* easy <var2:Int> isa OTHER*/
+if (unlikely(!var5)) {
+var_class_name = type_kernel__Int.name;
+PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name);
+PRINT_ERROR(" (%s:%d)\n", "lib/standard/kernel.nit", 328);
+show_backtrace(1);
+}
+var6 = var1 + var2;
+var3 = var6;
 goto RET_LABEL4;
 RET_LABEL4:(void)0;
 }
-{ /* Inline kernel#Int#< (var_cap,var3) */
+}
+{
+{ /* Inline kernel#Int#< (var_cap,var3) on <var_cap:Int> */
 /* Covariant cast for argument 0 (i) <var3:Int> isa OTHER */
 /* <var3:Int> isa OTHER */
-var8 = 1; /* easy <var3:Int> isa OTHER*/
-if (!var8) {
-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", 265);
+var9 = 1; /* easy <var3:Int> isa OTHER*/
+if (unlikely(!var9)) {
+var_class_name12 = type_kernel__Int.name;
+PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name12);
+PRINT_ERROR(" (%s:%d)\n", "lib/standard/kernel.nit", 325);
 show_backtrace(1);
 }
-var9 = var_cap < var3;
-var6 = var9;
-goto RET_LABEL7;
-RET_LABEL7:(void)0;
-}
-if (var6){
-var10 = self->attrs[COLOR_hash_collection__HashCollection___length].l; /* _length on <self:HashCollection[Object, HashNode[Object]]> */
-var11 = 1;
-{ /* Inline kernel#Int#+ (var10,var11) */
-var14 = var10 + var11;
-var12 = var14;
-goto RET_LABEL13;
-RET_LABEL13:(void)0;
+var13 = var_cap < var3;
+var7 = var13;
+goto RET_LABEL8;
+RET_LABEL8:(void)0;
 }
-var_cap = var12;
-} else {
 }
-var15 = self->attrs[COLOR_hash_collection__HashCollection___capacity].l; /* _capacity on <self:HashCollection[Object, HashNode[Object]]> */
-{ /* Inline kernel#Int#<= (var_cap,var15) */
+if (var7){
+var14 = self->attrs[COLOR_hash_collection__HashCollection___length].l; /* _length on <self:HashCollection[Object, HashNode[Object]]> */
+var15 = 1;
+{
+{ /* Inline kernel#Int#+ (var14,var15) on <var14:Int> */
 /* Covariant cast for argument 0 (i) <var15:Int> isa OTHER */
 /* <var15:Int> isa OTHER */
 var18 = 1; /* easy <var15:Int> isa OTHER*/
-if (!var18) {
+if (unlikely(!var18)) {
 var_class_name21 = type_kernel__Int.name;
-fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name21);
-fprintf(stderr, " (%s:%d)\n", "lib/standard/kernel.nit", 264);
+PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name21);
+PRINT_ERROR(" (%s:%d)\n", "lib/standard/kernel.nit", 328);
 show_backtrace(1);
 }
-var22 = var_cap <= var15;
+var22 = var14 + var15;
 var16 = var22;
 goto RET_LABEL17;
 RET_LABEL17:(void)0;
 }
-if (var16){
+}
+var_cap = var16;
+} else {
+}
+var23 = self->attrs[COLOR_hash_collection__HashCollection___capacity].l; /* _capacity on <self:HashCollection[Object, HashNode[Object]]> */
+{
+{ /* Inline kernel#Int#<= (var_cap,var23) on <var_cap:Int> */
+/* Covariant cast for argument 0 (i) <var23:Int> isa OTHER */
+/* <var23:Int> isa OTHER */
+var26 = 1; /* easy <var23:Int> isa OTHER*/
+if (unlikely(!var26)) {
+var_class_name29 = type_kernel__Int.name;
+PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name29);
+PRINT_ERROR(" (%s:%d)\n", "lib/standard/kernel.nit", 324);
+show_backtrace(1);
+}
+var30 = var_cap <= var23;
+var24 = var30;
+goto RET_LABEL25;
+RET_LABEL25:(void)0;
+}
+}
+if (var24){
 goto RET_LABEL;
 } else {
 }
 self->attrs[COLOR_hash_collection__HashCollection___capacity].l = var_cap; /* _capacity on <self:HashCollection[Object, HashNode[Object]]> */
-var23 = NULL;
-self->attrs[COLOR_hash_collection__HashCollection___last_accessed_key].val = var23; /* _last_accessed_key on <self:HashCollection[Object, HashNode[Object]]> */
-var24 = ((val* (*)(val*, long))(self->class->vft[COLOR_array__ArrayCapable__calloc_array]))(self, var_cap) /* calloc_array on <self:HashCollection[Object, HashNode[Object]]>*/;
-var_new_array = var24;
+var31 = NULL;
+self->attrs[COLOR_hash_collection__HashCollection___last_accessed_key].val = var31; /* _last_accessed_key on <self:HashCollection[Object, HashNode[Object]]> */
+{
+{ /* Inline array#ArrayCapable#calloc_array (self,var_cap) on <self:HashCollection[Object, HashNode[Object]]> */
+var34 = NEW_array__NativeArray(var_cap, self->type->resolution_table->types[COLOR_array__NativeArrayarray__ArrayCapable_FT0]);
+var32 = var34;
+goto RET_LABEL33;
+RET_LABEL33:(void)0;
+}
+}
+var_new_array = var32;
 self->attrs[COLOR_hash_collection__HashCollection___array].val = var_new_array; /* _array on <self:HashCollection[Object, HashNode[Object]]> */
-var25 = 1;
-{ /* Inline kernel#Int#- (var_cap,var25) */
-var28 = var_cap - var25;
-var26 = var28;
-goto RET_LABEL27;
-RET_LABEL27:(void)0;
-}
-var_i = var26;
+var35 = 1;
+{
+{ /* Inline kernel#Int#- (var_cap,var35) on <var_cap:Int> */
+/* Covariant cast for argument 0 (i) <var35:Int> isa OTHER */
+/* <var35:Int> isa OTHER */
+var38 = 1; /* easy <var35:Int> isa OTHER*/
+if (unlikely(!var38)) {
+var_class_name41 = type_kernel__Int.name;
+PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name41);
+PRINT_ERROR(" (%s:%d)\n", "lib/standard/kernel.nit", 331);
+show_backtrace(1);
+}
+var42 = var_cap - var35;
+var36 = var42;
+goto RET_LABEL37;
+RET_LABEL37:(void)0;
+}
+}
+var_i = var36;
 for(;;) {
-var29 = 0;
-{ /* Inline kernel#Int#>= (var_i,var29) */
-/* Covariant cast for argument 0 (i) <var29:Int> isa OTHER */
-/* <var29:Int> isa OTHER */
-var32 = 1; /* easy <var29:Int> isa OTHER*/
-if (!var32) {
-var_class_name35 = type_kernel__Int.name;
-fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name35);
-fprintf(stderr, " (%s:%d)\n", "lib/standard/kernel.nit", 266);
-show_backtrace(1);
-}
-var36 = var_i >= var29;
-var30 = var36;
-goto RET_LABEL31;
-RET_LABEL31:(void)0;
-}
-if (!var30) break;
-var37 = NULL;
-((void (*)(val*, long, val*))(var_new_array->class->vft[COLOR_array__NativeArray___91d_93d_61d]))(var_new_array, var_i, var37) /* []= on <var_new_array:NativeArray[nullable HashNode[Object]]>*/;
-var38 = 1;
-{ /* Inline kernel#Int#- (var_i,var38) */
-var41 = var_i - var38;
-var39 = var41;
-goto RET_LABEL40;
-RET_LABEL40:(void)0;
+var43 = 0;
+{
+{ /* Inline kernel#Int#>= (var_i,var43) on <var_i:Int> */
+/* Covariant cast for argument 0 (i) <var43:Int> isa OTHER */
+/* <var43:Int> isa OTHER */
+var46 = 1; /* easy <var43:Int> isa OTHER*/
+if (unlikely(!var46)) {
+var_class_name49 = type_kernel__Int.name;
+PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name49);
+PRINT_ERROR(" (%s:%d)\n", "lib/standard/kernel.nit", 326);
+show_backtrace(1);
+}
+var50 = var_i >= var43;
+var44 = var50;
+goto RET_LABEL45;
+RET_LABEL45:(void)0;
+}
 }
-var_i = var39;
+if (!var44) break;
+var51 = NULL;
+{
+{ /* Inline array#NativeArray#[]= (var_new_array,var_i,var51) on <var_new_array:NativeArray[nullable HashNode[Object]]> */
+/* Covariant cast for argument 1 (item) <var51:null> isa NativeArray#0 */
+/* <var51:null> isa NativeArray#0 */
+type_struct = var_new_array->type->resolution_table->types[COLOR_array__NativeArray_FT0];
+cltype54 = type_struct->color;
+idtype55 = type_struct->id;
+is_nullable = type_struct->is_nullable;
+if(var51 == NULL) {
+var53 = is_nullable;
+} else {
+if(cltype54 >= var51->type->table_size) {
+var53 = 0;
+} else {
+var53 = var51->type->type_table[cltype54] == idtype55;
+}
+}
+if (unlikely(!var53)) {
+var_class_name56 = var51 == NULL ? "null" : var51->type->name;
+PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "NativeArray#0", var_class_name56);
+PRINT_ERROR(" (%s:%d)\n", "lib/standard/collection/array.nit", 662);
+show_backtrace(1);
+}
+((struct instance_array__NativeArray*)var_new_array)->values[var_i]=var51;
+RET_LABEL52:(void)0;
+}
+}
+var57 = 1;
+{
+{ /* Inline kernel#Int#- (var_i,var57) on <var_i:Int> */
+/* Covariant cast for argument 0 (i) <var57:Int> isa OTHER */
+/* <var57:Int> isa OTHER */
+var60 = 1; /* easy <var57:Int> isa OTHER*/
+if (unlikely(!var60)) {
+var_class_name63 = type_kernel__Int.name;
+PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name63);
+PRINT_ERROR(" (%s:%d)\n", "lib/standard/kernel.nit", 331);
+show_backtrace(1);
+}
+var64 = var_i - var57;
+var58 = var64;
+goto RET_LABEL59;
+RET_LABEL59:(void)0;
+}
+}
+var_i = var58;
 CONTINUE_label: (void)0;
 }
 BREAK_label: (void)0;
-var42 = self->attrs[COLOR_hash_collection__HashCollection___capacity].l; /* _capacity on <self:HashCollection[Object, HashNode[Object]]> */
-{ /* Inline kernel#Int#<= (var42,var_old_cap) */
+var65 = self->attrs[COLOR_hash_collection__HashCollection___capacity].l; /* _capacity on <self:HashCollection[Object, HashNode[Object]]> */
+{
+{ /* Inline kernel#Int#<= (var65,var_old_cap) on <var65:Int> */
 /* Covariant cast for argument 0 (i) <var_old_cap:Int> isa OTHER */
 /* <var_old_cap:Int> isa OTHER */
-var45 = 1; /* easy <var_old_cap:Int> isa OTHER*/
-if (!var45) {
-var_class_name48 = type_kernel__Int.name;
-fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name48);
-fprintf(stderr, " (%s:%d)\n", "lib/standard/kernel.nit", 264);
+var68 = 1; /* easy <var_old_cap:Int> isa OTHER*/
+if (unlikely(!var68)) {
+var_class_name71 = type_kernel__Int.name;
+PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name71);
+PRINT_ERROR(" (%s:%d)\n", "lib/standard/kernel.nit", 324);
 show_backtrace(1);
 }
-var49 = var42 <= var_old_cap;
-var43 = var49;
-goto RET_LABEL44;
-RET_LABEL44:(void)0;
+var72 = var65 <= var_old_cap;
+var66 = var72;
+goto RET_LABEL67;
+RET_LABEL67:(void)0;
 }
-if (var43){
+}
+if (var66){
 goto RET_LABEL;
 } else {
 }
-var50 = self->attrs[COLOR_hash_collection__HashCollection___first_item].val; /* _first_item on <self:HashCollection[Object, HashNode[Object]]> */
-var_node = var50;
+var73 = self->attrs[COLOR_hash_collection__HashCollection___first_item].val; /* _first_item on <self:HashCollection[Object, HashNode[Object]]> */
+var_node = var73;
 for(;;) {
-var51 = NULL;
+var74 = NULL;
 if (var_node == NULL) {
-var52 = 0; /* is null */
+var75 = 0; /* is null */
 } else {
-var52 = 1; /* arg is null and recv is not */
+var75 = 1; /* arg is null and recv is not */
 }
-if (!var52) break;
-var53 = var_node->attrs[COLOR_hash_collection__HashNode___key].val; /* _key on <var_node:nullable HashNode[Object](HashNode[Object])> */
-if (var53 == NULL) {
-fprintf(stderr, "Runtime error: %s", "Uninitialized attribute _key");
-fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 177);
+if (0) {
+{ /* Inline kernel#Object#!= (var_node,var74) on <var_node:nullable HashNode[Object]> */
+var_other = var74;
+{
+var79 = ((short int (*)(val*, val*))(var_node->class->vft[COLOR_kernel__Object___61d_61d]))(var_node, var_other) /* == on <var_node:nullable HashNode[Object](HashNode[Object])>*/;
+var78 = var79;
+}
+var80 = !var78;
+var76 = var80;
+goto RET_LABEL77;
+RET_LABEL77:(void)0;
+}
+var75 = var76;
+}
+if (!var75) break;
+var81 = var_node->attrs[COLOR_hash_collection__HashNode___key].val; /* _key on <var_node:nullable HashNode[Object](HashNode[Object])> */
+if (unlikely(var81 == NULL)) {
+PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _key");
+PRINT_ERROR(" (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 177);
 show_backtrace(1);
 }
-/* <var53:Object> isa HashCollection#0 */
-type_struct = self->type->resolution_table->types[COLOR_hash_collection__HashCollection_FT0];
-cltype55 = type_struct->color;
-idtype56 = type_struct->id;
-if(cltype55 >= var53->type->table_size) {
-var54 = 0;
-} else {
-var54 = var53->type->type_table[cltype55] == idtype56;
-}
-if (!var54) {
-var_class_name57 = var53 == NULL ? "null" : var53->type->name;
-fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "HashCollection#0", var_class_name57);
-fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 177);
-show_backtrace(1);
-}
-var58 = ((long (*)(val*, val*))(self->class->vft[COLOR_hash_collection__HashCollection__index_at]))(self, var53) /* index_at on <self:HashCollection[Object, HashNode[Object]]>*/;
-var_index = var58;
-var59 = ((val* (*)(val*, long))(var_new_array->class->vft[COLOR_array__NativeArray___91d_93d]))(var_new_array, var_index) /* [] on <var_new_array:NativeArray[nullable HashNode[Object]]>*/;
-var_next = var59;
-((void (*)(val*, long, val*))(var_new_array->class->vft[COLOR_array__NativeArray___91d_93d_61d]))(var_new_array, var_index, var_node) /* []= on <var_new_array:NativeArray[nullable HashNode[Object]]>*/;
-var60 = NULL;
-var_node->attrs[COLOR_hash_collection__HashNode___prev_in_bucklet].val = var60; /* _prev_in_bucklet on <var_node:nullable HashNode[Object](HashNode[Object])> */
-var_node->attrs[COLOR_hash_collection__HashNode___next_in_bucklet].val = var_next; /* _next_in_bucklet on <var_node:nullable HashNode[Object](HashNode[Object])> */
-var61 = NULL;
-if (var_next == NULL) {
-var62 = 0; /* is null */
+/* <var81:Object> isa HashCollection#0 */
+type_struct85 = self->type->resolution_table->types[COLOR_hash_collection__HashCollection_FT0];
+cltype83 = type_struct85->color;
+idtype84 = type_struct85->id;
+if(cltype83 >= var81->type->table_size) {
+var82 = 0;
 } else {
-var62 = 1; /* arg is null and recv is not */
+var82 = var81->type->type_table[cltype83] == idtype84;
 }
-if (var62){
-var_next->attrs[COLOR_hash_collection__HashNode___prev_in_bucklet].val = var_node; /* _prev_in_bucklet on <var_next:nullable HashNode[Object](HashNode[Object])> */
-} else {
+if (unlikely(!var82)) {
+var_class_name86 = var81 == NULL ? "null" : var81->type->name;
+PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "HashCollection#0", var_class_name86);
+PRINT_ERROR(" (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 177);
+show_backtrace(1);
 }
-var63 = var_node->attrs[COLOR_hash_collection__HashNode___next_item].val; /* _next_item on <var_node:nullable HashNode[Object](HashNode[Object])> */
-/* <var63:nullable HashNode[Object]> isa nullable HashCollection#1 */
-type_struct67 = self->type->resolution_table->types[COLOR_nullable_hash_collection__HashCollection_FT1];
-cltype65 = type_struct67->color;
-idtype66 = type_struct67->id;
-if(var63 == NULL) {
-var64 = 1;
-} else {
-if(cltype65 >= var63->type->table_size) {
-var64 = 0;
-} else {
-var64 = var63->type->type_table[cltype65] == idtype66;
+{
+var87 = hash_collection__HashCollection__index_at(self, var81);
+}
+var_index = var87;
+{
+{ /* Inline array#NativeArray#[] (var_new_array,var_index) on <var_new_array:NativeArray[nullable HashNode[Object]]> */
+var90 = ((struct instance_array__NativeArray*)var_new_array)->values[var_index];
+var88 = var90;
+goto RET_LABEL89;
+RET_LABEL89:(void)0;
 }
 }
-if (!var64) {
-var_class_name68 = var63 == NULL ? "null" : var63->type->name;
-fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "nullable HashCollection#1", var_class_name68);
-fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 184);
+var_next = var88;
+{
+{ /* Inline array#NativeArray#[]= (var_new_array,var_index,var_node) on <var_new_array:NativeArray[nullable HashNode[Object]]> */
+/* Covariant cast for argument 1 (item) <var_node:nullable HashNode[Object](HashNode[Object])> isa NativeArray#0 */
+/* <var_node:nullable HashNode[Object](HashNode[Object])> isa NativeArray#0 */
+type_struct95 = var_new_array->type->resolution_table->types[COLOR_array__NativeArray_FT0];
+cltype93 = type_struct95->color;
+idtype94 = type_struct95->id;
+if(cltype93 >= var_node->type->table_size) {
+var92 = 0;
+} else {
+var92 = var_node->type->type_table[cltype93] == idtype94;
+}
+if (unlikely(!var92)) {
+var_class_name96 = var_node == NULL ? "null" : var_node->type->name;
+PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "NativeArray#0", var_class_name96);
+PRINT_ERROR(" (%s:%d)\n", "lib/standard/collection/array.nit", 662);
 show_backtrace(1);
 }
-var_node = var63;
-CONTINUE_label69: (void)0;
+((struct instance_array__NativeArray*)var_new_array)->values[var_index]=var_node;
+RET_LABEL91:(void)0;
 }
-BREAK_label69: (void)0;
-RET_LABEL:;
 }
-/* method hash_collection#HashCollection#enlarge for (self: Object, Int) */
-void VIRTUAL_hash_collection__HashCollection__enlarge(val* self, long p0) {
-hash_collection__HashCollection__enlarge(self, p0);
-RET_LABEL:;
+var97 = NULL;
+var_node->attrs[COLOR_hash_collection__HashNode___prev_in_bucklet].val = var97; /* _prev_in_bucklet on <var_node:nullable HashNode[Object](HashNode[Object])> */
+var_node->attrs[COLOR_hash_collection__HashNode___next_in_bucklet].val = var_next; /* _next_in_bucklet on <var_node:nullable HashNode[Object](HashNode[Object])> */
+var98 = NULL;
+if (var_next == NULL) {
+var99 = 0; /* is null */
+} else {
+var99 = 1; /* arg is null and recv is not */
 }
-/* method hash_collection#HashCollection#init for (self: HashCollection[Object, HashNode[Object]]) */
-void hash_collection__HashCollection__init(val* self) {
-RET_LABEL:;
+if (0) {
+{ /* Inline kernel#Object#!= (var_next,var98) on <var_next:nullable HashNode[Object]> */
+var_other = var98;
+{
+var103 = ((short int (*)(val*, val*))(var_next->class->vft[COLOR_kernel__Object___61d_61d]))(var_next, var_other) /* == on <var_next:nullable HashNode[Object](HashNode[Object])>*/;
+var102 = var103;
 }
-/* method hash_collection#HashCollection#init for (self: Object) */
-void VIRTUAL_hash_collection__HashCollection__init(val* self) {
-hash_collection__HashCollection__init(self);
-RET_LABEL:;
+var104 = !var102;
+var100 = var104;
+goto RET_LABEL101;
+RET_LABEL101:(void)0;
 }
-/* method hash_collection#HashNode#next_item for (self: HashNode[Object]): nullable HashNode[Object] */
-val* hash_collection__HashNode__next_item(val* self) {
-val* var /* : nullable HashNode[Object] */;
-val* var1 /* : nullable HashNode[Object] */;
-var1 = self->attrs[COLOR_hash_collection__HashNode___next_item].val; /* _next_item on <self:HashNode[Object]> */
-var = var1;
-RET_LABEL:;
-return var;
+var99 = var100;
 }
-/* method hash_collection#HashNode#next_item for (self: Object): nullable HashNode[Object] */
-val* VIRTUAL_hash_collection__HashNode__next_item(val* self) {
-val* var /* : nullable HashNode[Object] */;
-val* var1 /* : nullable HashNode[Object] */;
-var1 = hash_collection__HashNode__next_item(self);
-var = var1;
-RET_LABEL:;
-return var;
+if (var99){
+var_next->attrs[COLOR_hash_collection__HashNode___prev_in_bucklet].val = var_node; /* _prev_in_bucklet on <var_next:nullable HashNode[Object](HashNode[Object])> */
+} else {
 }
-/* method hash_collection#HashNode#next_item= for (self: HashNode[Object], nullable HashNode[Object]) */
-void hash_collection__HashNode__next_item_61d(val* self, val* p0) {
-short int var /* : Bool */;
-int cltype;
-int idtype;
-const struct type* type_struct;
-const char* var_class_name;
-/* Covariant cast for argument 0 (next_item) <p0:nullable HashNode[Object]> isa nullable N */
-/* <p0:nullable HashNode[Object]> isa nullable N */
-type_struct = self->type->resolution_table->types[COLOR_nullable_hash_collection__HashNode_VTN];
-cltype = type_struct->color;
-idtype = type_struct->id;
-if(p0 == NULL) {
-var = 1;
+var105 = var_node->attrs[COLOR_hash_collection__HashNode___next_item].val; /* _next_item on <var_node:nullable HashNode[Object](HashNode[Object])> */
+/* <var105:nullable HashNode[Object]> isa nullable HashCollection#1 */
+type_struct109 = self->type->resolution_table->types[COLOR_nullable_hash_collection__HashCollection_FT1];
+cltype107 = type_struct109->color;
+idtype108 = type_struct109->id;
+if(var105 == NULL) {
+var106 = 1;
 } else {
-if(cltype >= p0->type->table_size) {
-var = 0;
+if(cltype107 >= var105->type->table_size) {
+var106 = 0;
 } else {
-var = p0->type->type_table[cltype] == idtype;
+var106 = var105->type->type_table[cltype107] == idtype108;
 }
 }
-if (!var) {
-var_class_name = p0 == NULL ? "null" : p0->type->name;
-fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "nullable N", var_class_name);
-fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 192);
+if (unlikely(!var106)) {
+var_class_name110 = var105 == NULL ? "null" : var105->type->name;
+PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "nullable HashCollection#1", var_class_name110);
+PRINT_ERROR(" (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 184);
 show_backtrace(1);
 }
-self->attrs[COLOR_hash_collection__HashNode___next_item].val = p0; /* _next_item on <self:HashNode[Object]> */
-RET_LABEL:;
+var_node = var105;
+CONTINUE_label111: (void)0;
 }
-/* method hash_collection#HashNode#next_item= for (self: Object, nullable HashNode[Object]) */
-void VIRTUAL_hash_collection__HashNode__next_item_61d(val* self, val* p0) {
-hash_collection__HashNode__next_item_61d(self, p0);
+BREAK_label111: (void)0;
 RET_LABEL:;
 }
-/* method hash_collection#HashNode#prev_item for (self: HashNode[Object]): nullable HashNode[Object] */
-val* hash_collection__HashNode__prev_item(val* self) {
-val* var /* : nullable HashNode[Object] */;
-val* var1 /* : nullable HashNode[Object] */;
-var1 = self->attrs[COLOR_hash_collection__HashNode___prev_item].val; /* _prev_item on <self:HashNode[Object]> */
-var = var1;
+/* method hash_collection#HashCollection#enlarge for (self: Object, Int) */
+void VIRTUAL_hash_collection__HashCollection__enlarge(val* self, long p0) {
+hash_collection__HashCollection__enlarge(self, p0); /* Direct call hash_collection#HashCollection#enlarge on <self:Object(HashCollection[Object, HashNode[Object]])>*/
 RET_LABEL:;
-return var;
 }
-/* method hash_collection#HashNode#prev_item for (self: Object): nullable HashNode[Object] */
-val* VIRTUAL_hash_collection__HashNode__prev_item(val* self) {
-val* var /* : nullable HashNode[Object] */;
-val* var1 /* : nullable HashNode[Object] */;
-var1 = hash_collection__HashNode__prev_item(self);
-var = var1;
+/* method hash_collection#HashCollection#init for (self: HashCollection[Object, HashNode[Object]]) */
+void hash_collection__HashCollection__init(val* self) {
 RET_LABEL:;
-return var;
 }
-/* method hash_collection#HashNode#prev_item= for (self: HashNode[Object], nullable HashNode[Object]) */
-void hash_collection__HashNode__prev_item_61d(val* self, val* p0) {
-short int var /* : Bool */;
-int cltype;
-int idtype;
-const struct type* type_struct;
-const char* var_class_name;
-/* Covariant cast for argument 0 (prev_item) <p0:nullable HashNode[Object]> isa nullable N */
-/* <p0:nullable HashNode[Object]> isa nullable N */
-type_struct = self->type->resolution_table->types[COLOR_nullable_hash_collection__HashNode_VTN];
-cltype = type_struct->color;
-idtype = type_struct->id;
-if(p0 == NULL) {
-var = 1;
-} else {
-if(cltype >= p0->type->table_size) {
-var = 0;
-} else {
-var = p0->type->type_table[cltype] == idtype;
-}
-}
-if (!var) {
-var_class_name = p0 == NULL ? "null" : p0->type->name;
-fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "nullable N", var_class_name);
-fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 193);
-show_backtrace(1);
-}
-self->attrs[COLOR_hash_collection__HashNode___prev_item].val = p0; /* _prev_item on <self:HashNode[Object]> */
-RET_LABEL:;
+/* method hash_collection#HashCollection#init for (self: Object) */
+void VIRTUAL_hash_collection__HashCollection__init(val* self) {
+{ /* Inline hash_collection#HashCollection#init (self) on <self:Object(HashCollection[Object, HashNode[Object]])> */
+RET_LABEL1:(void)0;
 }
-/* method hash_collection#HashNode#prev_item= for (self: Object, nullable HashNode[Object]) */
-void VIRTUAL_hash_collection__HashNode__prev_item_61d(val* self, val* p0) {
-hash_collection__HashNode__prev_item_61d(self, p0);
 RET_LABEL:;
 }
 /* method hash_collection#HashNode#init for (self: HashNode[Object], Object) */
@@ -1203,10 +1673,10 @@ var = 0;
 } else {
 var = p0->type->type_table[cltype] == idtype;
 }
-if (!var) {
+if (unlikely(!var)) {
 var_class_name = p0 == NULL ? "null" : p0->type->name;
-fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "HashNode#0", var_class_name);
-fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 196);
+PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "HashNode#0", var_class_name);
+PRINT_ERROR(" (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 196);
 show_backtrace(1);
 }
 var_k = p0;
@@ -1215,7 +1685,7 @@ RET_LABEL:;
 }
 /* method hash_collection#HashNode#init for (self: Object, Object) */
 void VIRTUAL_hash_collection__HashNode__init(val* self, val* p0) {
-hash_collection__HashNode__init(self, p0);
+hash_collection__HashNode__init(self, p0); /* Direct call hash_collection#HashNode#init on <self:Object(HashNode[Object])>*/
 RET_LABEL:;
 }
 /* method hash_collection#HashMap#[] for (self: HashMap[Object, nullable Object], Object): nullable Object */
@@ -1231,8 +1701,12 @@ val* var2 /* : nullable HashNode[Object] */;
 val* var_c /* var c: nullable HashMapNode[Object, nullable Object] */;
 val* var3 /* : null */;
 short int var4 /* : Bool */;
-val* var5 /* : nullable Object */;
-val* var6 /* : nullable Object */;
+short int var5 /* : Bool */;
+val* var_other /* var other: nullable Object */;
+short int var7 /* : Bool */;
+short int var9 /* : Bool */;
+val* var10 /* : nullable Object */;
+val* var11 /* : nullable Object */;
 /* Covariant cast for argument 0 (key) <p0:Object> isa MapRead#0 */
 /* <p0:Object> isa MapRead#0 */
 type_struct = self->type->resolution_table->types[COLOR_abstract_collection__MapRead_FT0];
@@ -1243,14 +1717,16 @@ var1 = 0;
 } else {
 var1 = p0->type->type_table[cltype] == idtype;
 }
-if (!var1) {
+if (unlikely(!var1)) {
 var_class_name = p0 == NULL ? "null" : p0->type->name;
-fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "MapRead#0", var_class_name);
-fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 208);
+PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "MapRead#0", var_class_name);
+PRINT_ERROR(" (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 208);
 show_backtrace(1);
 }
 var_key = p0;
-var2 = ((val* (*)(val*, val*))(self->class->vft[COLOR_hash_collection__HashCollection__node_at]))(self, var_key) /* node_at on <self:HashMap[Object, nullable Object]>*/;
+{
+var2 = hash_collection__HashCollection__node_at(self, var_key);
+}
 var_c = var2;
 var3 = NULL;
 if (var_c == NULL) {
@@ -1258,13 +1734,32 @@ var4 = 1; /* is null */
 } else {
 var4 = 0; /* arg is null but recv is not */
 }
+if (0) {
+{ /* Inline kernel#Object#== (var_c,var3) on <var_c:nullable HashMapNode[Object, nullable Object]> */
+var_other = var3;
+{
+{ /* Inline kernel#Object#is_same_instance (var_c,var_other) on <var_c:nullable HashMapNode[Object, nullable Object](HashMapNode[Object, nullable Object])> */
+var9 = var_c == var_other;
+var7 = var9;
+goto RET_LABEL8;
+RET_LABEL8:(void)0;
+}
+}
+var5 = var7;
+goto RET_LABEL6;
+RET_LABEL6:(void)0;
+}
+var4 = var5;
+}
 if (var4){
-var5 = ((val* (*)(val*, val*))(self->class->vft[COLOR_abstract_collection__MapRead__provide_default_value]))(self, var_key) /* provide_default_value on <self:HashMap[Object, nullable Object]>*/;
-var = var5;
+{
+var10 = ((val* (*)(val*, val*))(self->class->vft[COLOR_abstract_collection__MapRead__provide_default_value]))(self, var_key) /* provide_default_value on <self:HashMap[Object, nullable Object]>*/;
+}
+var = var10;
 goto RET_LABEL;
 } else {
-var6 = var_c->attrs[COLOR_hash_collection__HashMapNode___value].val; /* _value on <var_c:nullable HashMapNode[Object, nullable Object](HashMapNode[Object, nullable Object])> */
-var = var6;
+var11 = var_c->attrs[COLOR_hash_collection__HashMapNode___value].val; /* _value on <var_c:nullable HashMapNode[Object, nullable Object](HashMapNode[Object, nullable Object])> */
+var = var11;
 goto RET_LABEL;
 }
 RET_LABEL:;
@@ -1284,7 +1779,9 @@ val* hash_collection__HashMap__iterator(val* self) {
 val* var /* : HashMapIterator[Object, nullable Object] */;
 val* var1 /* : HashMapIterator[Object, nullable Object] */;
 var1 = NEW_hash_collection__HashMapIterator(self->type->resolution_table->types[COLOR_hash_collection__HashMapIteratorhash_collection__HashMap_FT0hash_collection__HashMap_FT1]);
-((void (*)(val*, val*))(var1->class->vft[COLOR_hash_collection__HashMapIterator__init]))(var1, self) /* init on <var1:HashMapIterator[Object, nullable Object]>*/;
+{
+hash_collection__HashMapIterator__init(var1, self); /* Direct call hash_collection#HashMapIterator#init on <var1:HashMapIterator[Object, nullable Object]>*/
+}
 var = var1;
 goto RET_LABEL;
 RET_LABEL:;
@@ -1324,14 +1821,18 @@ short int var /* : Bool */;
 long var1 /* : Int */;
 long var2 /* : Int */;
 short int var3 /* : Bool */;
-short int var5 /* : Bool */;
+short int var4 /* : Bool */;
+short int var6 /* : Bool */;
 var1 = self->attrs[COLOR_hash_collection__HashCollection___length].l; /* _length on <self:HashMap[Object, nullable Object]> */
 var2 = 0;
-{ /* Inline kernel#Int#== (var1,var2) */
-var5 = var1 == var2;
-var3 = var5;
-goto RET_LABEL4;
-RET_LABEL4:(void)0;
+{
+{ /* Inline kernel#Int#== (var1,var2) on <var1:Int> */
+var6 = var1 == var2;
+var4 = var6;
+goto RET_LABEL5;
+RET_LABEL5:(void)0;
+}
+var3 = var4;
 }
 var = var3;
 goto RET_LABEL;
@@ -1368,7 +1869,12 @@ val* var7 /* : nullable HashNode[Object] */;
 val* var_c /* var c: nullable HashMapNode[Object, nullable Object] */;
 val* var8 /* : null */;
 short int var9 /* : Bool */;
-val* var10 /* : HashMapNode[Object, nullable Object] */;
+short int var10 /* : Bool */;
+val* var_other /* var other: nullable Object */;
+short int var12 /* : Bool */;
+short int var13 /* : Bool */;
+short int var14 /* : Bool */;
+val* var15 /* : HashMapNode[Object, nullable Object] */;
 /* Covariant cast for argument 0 (key) <p0:Object> isa Map#0 */
 /* <p0:Object> isa Map#0 */
 type_struct = self->type->resolution_table->types[COLOR_abstract_collection__Map_FT0];
@@ -1379,10 +1885,10 @@ var = 0;
 } else {
 var = p0->type->type_table[cltype] == idtype;
 }
-if (!var) {
+if (unlikely(!var)) {
 var_class_name = p0 == NULL ? "null" : p0->type->name;
-fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "Map#0", var_class_name);
-fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 224);
+PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "Map#0", var_class_name);
+PRINT_ERROR(" (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 224);
 show_backtrace(1);
 }
 /* Covariant cast for argument 1 (v) <p1:nullable Object> isa Map#1 */
@@ -1400,17 +1906,21 @@ var1 = 0;
 var1 = p1->type->type_table[cltype2] == idtype3;
 }
 }
-if (!var1) {
+if (unlikely(!var1)) {
 var_class_name5 = p1 == NULL ? "null" : p1->type->name;
-fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "Map#1", var_class_name5);
-fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 224);
+PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "Map#1", var_class_name5);
+PRINT_ERROR(" (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 224);
 show_backtrace(1);
 }
 var_key = p0;
 var_v = p1;
-var6 = ((long (*)(val*, val*))(self->class->vft[COLOR_hash_collection__HashCollection__index_at]))(self, var_key) /* index_at on <self:HashMap[Object, nullable Object]>*/;
+{
+var6 = hash_collection__HashCollection__index_at(self, var_key);
+}
 var_i = var6;
-var7 = ((val* (*)(val*, long, val*))(self->class->vft[COLOR_hash_collection__HashCollection__node_at_idx]))(self, var_i, var_key) /* node_at_idx on <self:HashMap[Object, nullable Object]>*/;
+{
+var7 = hash_collection__HashCollection__node_at_idx(self, var_i, var_key);
+}
 var_c = var7;
 var8 = NULL;
 if (var_c == NULL) {
@@ -1418,58 +1928,84 @@ var9 = 0; /* is null */
 } else {
 var9 = 1; /* arg is null and recv is not */
 }
+if (0) {
+{ /* Inline kernel#Object#!= (var_c,var8) on <var_c:nullable HashMapNode[Object, nullable Object]> */
+var_other = var8;
+{
+var13 = ((short int (*)(val*, val*))(var_c->class->vft[COLOR_kernel__Object___61d_61d]))(var_c, var_other) /* == on <var_c:nullable HashMapNode[Object, nullable Object](HashMapNode[Object, nullable Object])>*/;
+var12 = var13;
+}
+var14 = !var12;
+var10 = var14;
+goto RET_LABEL11;
+RET_LABEL11:(void)0;
+}
+var9 = var10;
+}
 if (var9){
 var_c->attrs[COLOR_hash_collection__HashNode___key].val = var_key; /* _key on <var_c:nullable HashMapNode[Object, nullable Object](HashMapNode[Object, nullable Object])> */
 var_c->attrs[COLOR_hash_collection__HashMapNode___value].val = var_v; /* _value on <var_c:nullable HashMapNode[Object, nullable Object](HashMapNode[Object, nullable Object])> */
 } else {
-var10 = NEW_hash_collection__HashMapNode(self->type->resolution_table->types[COLOR_hash_collection__HashMapNodehash_collection__HashMap_FT0hash_collection__HashMap_FT1]);
-((void (*)(val*, val*, val*))(var10->class->vft[COLOR_hash_collection__HashMapNode__init]))(var10, var_key, var_v) /* init on <var10:HashMapNode[Object, nullable Object]>*/;
-((void (*)(val*, long, val*))(self->class->vft[COLOR_hash_collection__HashCollection__store]))(self, var_i, var10) /* store on <self:HashMap[Object, nullable Object]>*/;
+var15 = NEW_hash_collection__HashMapNode(self->type->resolution_table->types[COLOR_hash_collection__HashMapNodehash_collection__HashMap_FT0hash_collection__HashMap_FT1]);
+{
+hash_collection__HashMapNode__init(var15, var_key, var_v); /* Direct call hash_collection#HashMapNode#init on <var15:HashMapNode[Object, nullable Object]>*/
+}
+{
+hash_collection__HashCollection__store(self, var_i, var15); /* Direct call hash_collection#HashCollection#store on <self:HashMap[Object, nullable Object]>*/
+}
 }
 RET_LABEL:;
 }
 /* method hash_collection#HashMap#[]= for (self: Object, Object, nullable Object) */
 void VIRTUAL_hash_collection__HashMap___91d_93d_61d(val* self, val* p0, val* p1) {
-hash_collection__HashMap___91d_93d_61d(self, p0, p1);
+hash_collection__HashMap___91d_93d_61d(self, p0, p1); /* Direct call hash_collection#HashMap#[]= on <self:Object(HashMap[Object, nullable Object])>*/
 RET_LABEL:;
 }
 /* method hash_collection#HashMap#clear for (self: HashMap[Object, nullable Object]) */
 void hash_collection__HashMap__clear(val* self) {
-((void (*)(val*))(self->class->vft[COLOR_hash_collection__HashCollection__raz]))(self) /* raz on <self:HashMap[Object, nullable Object]>*/;
+{
+hash_collection__HashCollection__raz(self); /* Direct call hash_collection#HashCollection#raz on <self:HashMap[Object, nullable Object]>*/
+}
 RET_LABEL:;
 }
 /* method hash_collection#HashMap#clear for (self: Object) */
 void VIRTUAL_hash_collection__HashMap__clear(val* self) {
-hash_collection__HashMap__clear(self);
+hash_collection__HashMap__clear(self); /* Direct call hash_collection#HashMap#clear on <self:Object(HashMap[Object, nullable Object])>*/
 RET_LABEL:;
 }
 /* method hash_collection#HashMap#init for (self: HashMap[Object, nullable Object]) */
 void hash_collection__HashMap__init(val* self) {
 long var /* : Int */;
-long var1 /* : Int */;
 long var2 /* : Int */;
-((void (*)(val*))(self->class->vft[COLOR_hash_collection__HashCollection__init]))(self) /* init on <self:HashMap[Object, nullable Object]>*/;
-var = 0;
-self->attrs[COLOR_hash_collection__HashCollection___capacity].l = var; /* _capacity on <self:HashMap[Object, nullable Object]> */
-var1 = 0;
-self->attrs[COLOR_hash_collection__HashCollection___length].l = var1; /* _length on <self:HashMap[Object, nullable Object]> */
+long var3 /* : Int */;
+{
+{ /* Inline hash_collection#HashCollection#init (self) on <self:HashMap[Object, nullable Object]> */
+RET_LABEL1:(void)0;
+}
+}
+var = 0;
+self->attrs[COLOR_hash_collection__HashCollection___capacity].l = var; /* _capacity on <self:HashMap[Object, nullable Object]> */
 var2 = 0;
-((void (*)(val*, long))(self->class->vft[COLOR_hash_collection__HashCollection__enlarge]))(self, var2) /* enlarge on <self:HashMap[Object, nullable Object]>*/;
+self->attrs[COLOR_hash_collection__HashCollection___length].l = var2; /* _length on <self:HashMap[Object, nullable Object]> */
+var3 = 0;
+{
+hash_collection__HashCollection__enlarge(self, var3); /* Direct call hash_collection#HashCollection#enlarge on <self:HashMap[Object, nullable Object]>*/
+}
 RET_LABEL:;
 }
 /* method hash_collection#HashMap#init for (self: Object) */
 void VIRTUAL_hash_collection__HashMap__init(val* self) {
-hash_collection__HashMap__init(self);
+hash_collection__HashMap__init(self); /* Direct call hash_collection#HashMap#init on <self:Object(HashMap[Object, nullable Object])>*/
 RET_LABEL:;
 }
-/* method hash_collection#HashMap#keys for (self: HashMap[Object, nullable Object]): HashMapKeys[Object, nullable Object] */
+/* method hash_collection#HashMap#keys for (self: HashMap[Object, nullable Object]): RemovableCollection[Object] */
 val* hash_collection__HashMap__keys(val* self) {
-val* var /* : HashMapKeys[Object, nullable Object] */;
-val* var1 /* : HashMapKeys[Object, nullable Object] */;
-var1 = self->attrs[COLOR_hash_collection__HashMap___64dkeys].val; /* @keys on <self:HashMap[Object, nullable Object]> */
-if (var1 == NULL) {
-fprintf(stderr, "Runtime error: %s", "Uninitialized attribute @keys");
-fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 245);
+val* var /* : RemovableCollection[Object] */;
+val* var1 /* : RemovableCollection[Object] */;
+var1 = self->attrs[COLOR_hash_collection__HashMap___keys].val; /* _keys on <self:HashMap[Object, nullable Object]> */
+if (unlikely(var1 == NULL)) {
+PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _keys");
+PRINT_ERROR(" (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 245);
 show_backtrace(1);
 }
 var = var1;
@@ -1479,51 +2015,30 @@ return var;
 /* method hash_collection#HashMap#keys for (self: Object): Collection[Object] */
 val* VIRTUAL_hash_collection__HashMap__keys(val* self) {
 val* var /* : Collection[Object] */;
-val* var1 /* : HashMapKeys[Object, nullable Object] */;
-var1 = hash_collection__HashMap__keys(self);
-var = var1;
-RET_LABEL:;
-return var;
-}
-/* method hash_collection#HashMap#keys= for (self: HashMap[Object, nullable Object], HashMapKeys[Object, nullable Object]) */
-void hash_collection__HashMap__keys_61d(val* self, val* p0) {
-short int var /* : Bool */;
-int cltype;
-int idtype;
-const struct type* type_struct;
-const char* var_class_name;
-/* Covariant cast for argument 0 (keys) <p0:HashMapKeys[Object, nullable Object]> isa HashMapKeys[HashMap#0, HashMap#1] */
-/* <p0:HashMapKeys[Object, nullable Object]> isa HashMapKeys[HashMap#0, HashMap#1] */
-type_struct = self->type->resolution_table->types[COLOR_hash_collection__HashMapKeyshash_collection__HashMap_FT0hash_collection__HashMap_FT1];
-cltype = type_struct->color;
-idtype = type_struct->id;
-if(cltype >= p0->type->table_size) {
-var = 0;
-} else {
-var = p0->type->type_table[cltype] == idtype;
-}
-if (!var) {
-var_class_name = p0 == NULL ? "null" : p0->type->name;
-fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "HashMapKeys[HashMap#0, HashMap#1]", var_class_name);
-fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 245);
+val* var1 /* : RemovableCollection[Object] */;
+val* var3 /* : RemovableCollection[Object] */;
+{ /* Inline hash_collection#HashMap#keys (self) on <self:Object(HashMap[Object, nullable Object])> */
+var3 = self->attrs[COLOR_hash_collection__HashMap___keys].val; /* _keys on <self:Object(HashMap[Object, nullable Object])> */
+if (unlikely(var3 == NULL)) {
+PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _keys");
+PRINT_ERROR(" (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 245);
 show_backtrace(1);
 }
-self->attrs[COLOR_hash_collection__HashMap___64dkeys].val = p0; /* @keys on <self:HashMap[Object, nullable Object]> */
-RET_LABEL:;
+var1 = var3;
+RET_LABEL2:(void)0;
 }
-/* method hash_collection#HashMap#keys= for (self: Object, HashMapKeys[Object, nullable Object]) */
-void VIRTUAL_hash_collection__HashMap__keys_61d(val* self, val* p0) {
-hash_collection__HashMap__keys_61d(self, p0);
+var = var1;
 RET_LABEL:;
+return var;
 }
-/* method hash_collection#HashMap#values for (self: HashMap[Object, nullable Object]): HashMapValues[Object, nullable Object] */
+/* method hash_collection#HashMap#values for (self: HashMap[Object, nullable Object]): RemovableCollection[nullable Object] */
 val* hash_collection__HashMap__values(val* self) {
-val* var /* : HashMapValues[Object, nullable Object] */;
-val* var1 /* : HashMapValues[Object, nullable Object] */;
-var1 = self->attrs[COLOR_hash_collection__HashMap___64dvalues].val; /* @values on <self:HashMap[Object, nullable Object]> */
-if (var1 == NULL) {
-fprintf(stderr, "Runtime error: %s", "Uninitialized attribute @values");
-fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 246);
+val* var /* : RemovableCollection[nullable Object] */;
+val* var1 /* : RemovableCollection[nullable Object] */;
+var1 = self->attrs[COLOR_hash_collection__HashMap___values].val; /* _values on <self:HashMap[Object, nullable Object]> */
+if (unlikely(var1 == NULL)) {
+PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _values");
+PRINT_ERROR(" (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 246);
 show_backtrace(1);
 }
 var = var1;
@@ -1533,51 +2048,30 @@ return var;
 /* method hash_collection#HashMap#values for (self: Object): Collection[nullable Object] */
 val* VIRTUAL_hash_collection__HashMap__values(val* self) {
 val* var /* : Collection[nullable Object] */;
-val* var1 /* : HashMapValues[Object, nullable Object] */;
-var1 = hash_collection__HashMap__values(self);
-var = var1;
-RET_LABEL:;
-return var;
-}
-/* method hash_collection#HashMap#values= for (self: HashMap[Object, nullable Object], HashMapValues[Object, nullable Object]) */
-void hash_collection__HashMap__values_61d(val* self, val* p0) {
-short int var /* : Bool */;
-int cltype;
-int idtype;
-const struct type* type_struct;
-const char* var_class_name;
-/* Covariant cast for argument 0 (values) <p0:HashMapValues[Object, nullable Object]> isa HashMapValues[HashMap#0, HashMap#1] */
-/* <p0:HashMapValues[Object, nullable Object]> isa HashMapValues[HashMap#0, HashMap#1] */
-type_struct = self->type->resolution_table->types[COLOR_hash_collection__HashMapValueshash_collection__HashMap_FT0hash_collection__HashMap_FT1];
-cltype = type_struct->color;
-idtype = type_struct->id;
-if(cltype >= p0->type->table_size) {
-var = 0;
-} else {
-var = p0->type->type_table[cltype] == idtype;
-}
-if (!var) {
-var_class_name = p0 == NULL ? "null" : p0->type->name;
-fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "HashMapValues[HashMap#0, HashMap#1]", var_class_name);
-fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 246);
+val* var1 /* : RemovableCollection[nullable Object] */;
+val* var3 /* : RemovableCollection[nullable Object] */;
+{ /* Inline hash_collection#HashMap#values (self) on <self:Object(HashMap[Object, nullable Object])> */
+var3 = self->attrs[COLOR_hash_collection__HashMap___values].val; /* _values on <self:Object(HashMap[Object, nullable Object])> */
+if (unlikely(var3 == NULL)) {
+PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _values");
+PRINT_ERROR(" (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 246);
 show_backtrace(1);
 }
-self->attrs[COLOR_hash_collection__HashMap___64dvalues].val = p0; /* @values on <self:HashMap[Object, nullable Object]> */
-RET_LABEL:;
+var1 = var3;
+RET_LABEL2:(void)0;
 }
-/* method hash_collection#HashMap#values= for (self: Object, HashMapValues[Object, nullable Object]) */
-void VIRTUAL_hash_collection__HashMap__values_61d(val* self, val* p0) {
-hash_collection__HashMap__values_61d(self, p0);
+var = var1;
 RET_LABEL:;
+return var;
 }
 /* method hash_collection#HashMapKeys#map for (self: HashMapKeys[Object, nullable Object]): HashMap[Object, nullable Object] */
 val* hash_collection__HashMapKeys__map(val* self) {
 val* var /* : HashMap[Object, nullable Object] */;
 val* var1 /* : HashMap[Object, nullable Object] */;
-var1 = self->attrs[COLOR_hash_collection__HashMapKeys___64dmap].val; /* @map on <self:HashMapKeys[Object, nullable Object]> */
-if (var1 == NULL) {
-fprintf(stderr, "Runtime error: %s", "Uninitialized attribute @map");
-fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 252);
+var1 = self->attrs[COLOR_hash_collection__HashMapKeys___map].val; /* _map on <self:HashMapKeys[Object, nullable Object]> */
+if (unlikely(var1 == NULL)) {
+PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _map");
+PRINT_ERROR(" (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 252);
 show_backtrace(1);
 }
 var = var1;
@@ -1588,89 +2082,17 @@ return var;
 val* VIRTUAL_hash_collection__HashMapKeys__map(val* self) {
 val* var /* : HashMap[Object, nullable Object] */;
 val* var1 /* : HashMap[Object, nullable Object] */;
-var1 = hash_collection__HashMapKeys__map(self);
-var = var1;
-RET_LABEL:;
-return var;
-}
-/* method hash_collection#HashMapKeys#map= for (self: HashMapKeys[Object, nullable Object], HashMap[Object, nullable Object]) */
-void hash_collection__HashMapKeys__map_61d(val* self, val* p0) {
-short int var /* : Bool */;
-int cltype;
-int idtype;
-const struct type* type_struct;
-const char* var_class_name;
-/* Covariant cast for argument 0 (map) <p0:HashMap[Object, nullable Object]> isa HashMap[HashMapKeys#0, HashMapKeys#1] */
-/* <p0:HashMap[Object, nullable Object]> isa HashMap[HashMapKeys#0, HashMapKeys#1] */
-type_struct = self->type->resolution_table->types[COLOR_hash_collection__HashMaphash_collection__HashMapKeys_FT0hash_collection__HashMapKeys_FT1];
-cltype = type_struct->color;
-idtype = type_struct->id;
-if(cltype >= p0->type->table_size) {
-var = 0;
-} else {
-var = p0->type->type_table[cltype] == idtype;
-}
-if (!var) {
-var_class_name = p0 == NULL ? "null" : p0->type->name;
-fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "HashMap[HashMapKeys#0, HashMapKeys#1]", var_class_name);
-fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 252);
-show_backtrace(1);
-}
-self->attrs[COLOR_hash_collection__HashMapKeys___64dmap].val = p0; /* @map on <self:HashMapKeys[Object, nullable Object]> */
-RET_LABEL:;
-}
-/* method hash_collection#HashMapKeys#map= for (self: Object, HashMap[Object, nullable Object]) */
-void VIRTUAL_hash_collection__HashMapKeys__map_61d(val* self, val* p0) {
-hash_collection__HashMapKeys__map_61d(self, p0);
-RET_LABEL:;
-}
-/* method hash_collection#HashMapKeys#count for (self: HashMapKeys[Object, nullable Object], Object): Int */
-long hash_collection__HashMapKeys__count(val* self, val* p0) {
-long var /* : Int */;
-short int var1 /* : Bool */;
-int cltype;
-int idtype;
-const struct type* type_struct;
-const char* var_class_name;
-val* var_k /* var k: Object */;
-short int var2 /* : Bool */;
-long var3 /* : Int */;
-long var4 /* : Int */;
-/* Covariant cast for argument 0 (k) <p0:Object> isa Collection#0 */
-/* <p0:Object> isa Collection#0 */
-type_struct = self->type->resolution_table->types[COLOR_abstract_collection__Collection_FT0];
-cltype = type_struct->color;
-idtype = type_struct->id;
-if(cltype >= p0->type->table_size) {
-var1 = 0;
-} else {
-var1 = p0->type->type_table[cltype] == idtype;
-}
-if (!var1) {
-var_class_name = p0 == NULL ? "null" : p0->type->name;
-fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "Collection#0", var_class_name);
-fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 255);
+val* var3 /* : HashMap[Object, nullable Object] */;
+{ /* Inline hash_collection#HashMapKeys#map (self) on <self:Object(HashMapKeys[Object, nullable Object])> */
+var3 = self->attrs[COLOR_hash_collection__HashMapKeys___map].val; /* _map on <self:Object(HashMapKeys[Object, nullable Object])> */
+if (unlikely(var3 == NULL)) {
+PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _map");
+PRINT_ERROR(" (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 252);
 show_backtrace(1);
 }
-var_k = p0;
-var2 = ((short int (*)(val*, val*))(self->class->vft[COLOR_abstract_collection__Collection__has]))(self, var_k) /* has on <self:HashMapKeys[Object, nullable Object]>*/;
-if (var2){
-var3 = 1;
-var = var3;
-goto RET_LABEL;
-} else {
-var4 = 0;
-var = var4;
-goto RET_LABEL;
+var1 = var3;
+RET_LABEL2:(void)0;
 }
-RET_LABEL:;
-return var;
-}
-/* method hash_collection#HashMapKeys#count for (self: Object, nullable Object): Int */
-long VIRTUAL_hash_collection__HashMapKeys__count(val* self, val* p0) {
-long var /* : Int */;
-long var1 /* : Int */;
-var1 = hash_collection__HashMapKeys__count(self, p0);
 var = var1;
 RET_LABEL:;
 return var;
@@ -1679,22 +2101,34 @@ return var;
 val* hash_collection__HashMapKeys__first(val* self) {
 val* var /* : Object */;
 val* var1 /* : HashMap[Object, nullable Object] */;
-val* var2 /* : nullable HashNode[Object] */;
-val* var3 /* : Object */;
-var1 = ((val* (*)(val*))(self->class->vft[COLOR_hash_collection__HashMapKeys__map]))(self) /* map on <self:HashMapKeys[Object, nullable Object]>*/;
-var2 = var1->attrs[COLOR_hash_collection__HashCollection___first_item].val; /* _first_item on <var1:HashMap[Object, nullable Object]> */
-if (var2 == NULL) {
-fprintf(stderr, "Runtime error: %s", "Receiver is null");
-fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 256);
+val* var3 /* : HashMap[Object, nullable Object] */;
+val* var4 /* : nullable HashNode[Object] */;
+val* var5 /* : Object */;
+{
+{ /* Inline hash_collection#HashMapKeys#map (self) on <self:HashMapKeys[Object, nullable Object]> */
+var3 = self->attrs[COLOR_hash_collection__HashMapKeys___map].val; /* _map on <self:HashMapKeys[Object, nullable Object]> */
+if (unlikely(var3 == NULL)) {
+PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _map");
+PRINT_ERROR(" (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 252);
 show_backtrace(1);
 }
-var3 = var2->attrs[COLOR_hash_collection__HashNode___key].val; /* _key on <var2:nullable HashNode[Object](nullable HashMapNode[Object, nullable Object])> */
-if (var3 == NULL) {
-fprintf(stderr, "Runtime error: %s", "Uninitialized attribute _key");
-fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 256);
+var1 = var3;
+RET_LABEL2:(void)0;
+}
+}
+var4 = var1->attrs[COLOR_hash_collection__HashCollection___first_item].val; /* _first_item on <var1:HashMap[Object, nullable Object]> */
+if (unlikely(var4 == NULL)) {
+PRINT_ERROR("Runtime error: %s", "Receiver is null");
+PRINT_ERROR(" (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 256);
 show_backtrace(1);
 }
-var = var3;
+var5 = var4->attrs[COLOR_hash_collection__HashNode___key].val; /* _key on <var4:nullable HashNode[Object](nullable HashMapNode[Object, nullable Object])> */
+if (unlikely(var5 == NULL)) {
+PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _key");
+PRINT_ERROR(" (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 256);
+show_backtrace(1);
+}
+var = var5;
 goto RET_LABEL;
 RET_LABEL:;
 return var;
@@ -1718,9 +2152,15 @@ const struct type* type_struct;
 const char* var_class_name;
 val* var_k /* var k: Object */;
 val* var2 /* : HashMap[Object, nullable Object] */;
-val* var3 /* : nullable HashNode[Object] */;
-val* var4 /* : null */;
-short int var5 /* : Bool */;
+val* var4 /* : HashMap[Object, nullable Object] */;
+val* var5 /* : nullable HashNode[Object] */;
+val* var6 /* : null */;
+short int var7 /* : Bool */;
+short int var8 /* : Bool */;
+val* var_other /* var other: nullable Object */;
+short int var10 /* : Bool */;
+short int var11 /* : Bool */;
+short int var12 /* : Bool */;
 /* Covariant cast for argument 0 (k) <p0:Object> isa Collection#0 */
 /* <p0:Object> isa Collection#0 */
 type_struct = self->type->resolution_table->types[COLOR_abstract_collection__Collection_FT0];
@@ -1731,103 +2171,58 @@ var1 = 0;
 } else {
 var1 = p0->type->type_table[cltype] == idtype;
 }
-if (!var1) {
+if (unlikely(!var1)) {
 var_class_name = p0 == NULL ? "null" : p0->type->name;
-fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "Collection#0", var_class_name);
-fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 257);
+PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "Collection#0", var_class_name);
+PRINT_ERROR(" (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 257);
 show_backtrace(1);
 }
 var_k = p0;
-var2 = ((val* (*)(val*))(self->class->vft[COLOR_hash_collection__HashMapKeys__map]))(self) /* map on <self:HashMapKeys[Object, nullable Object]>*/;
-var3 = ((val* (*)(val*, val*))(var2->class->vft[COLOR_hash_collection__HashCollection__node_at]))(var2, var_k) /* node_at on <var2:HashMap[Object, nullable Object]>*/;
-var4 = NULL;
-if (var3 == NULL) {
-var5 = 0; /* is null */
-} else {
-var5 = 1; /* arg is null and recv is not */
+{
+{ /* Inline hash_collection#HashMapKeys#map (self) on <self:HashMapKeys[Object, nullable Object]> */
+var4 = self->attrs[COLOR_hash_collection__HashMapKeys___map].val; /* _map on <self:HashMapKeys[Object, nullable Object]> */
+if (unlikely(var4 == NULL)) {
+PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _map");
+PRINT_ERROR(" (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 252);
+show_backtrace(1);
 }
-var = var5;
-goto RET_LABEL;
-RET_LABEL:;
-return var;
+var2 = var4;
+RET_LABEL3:(void)0;
 }
-/* method hash_collection#HashMapKeys#has for (self: Object, nullable Object): Bool */
-short int VIRTUAL_hash_collection__HashMapKeys__has(val* self, val* p0) {
-short int var /* : Bool */;
-short int var1 /* : Bool */;
-var1 = hash_collection__HashMapKeys__has(self, p0);
-var = var1;
-RET_LABEL:;
-return var;
 }
-/* method hash_collection#HashMapKeys#has_only for (self: HashMapKeys[Object, nullable Object], Object): Bool */
-short int hash_collection__HashMapKeys__has_only(val* self, val* p0) {
-short int var /* : Bool */;
-short int var1 /* : Bool */;
-int cltype;
-int idtype;
-const struct type* type_struct;
-const char* var_class_name;
-val* var_k /* var k: Object */;
-short int var2 /* : Bool */;
-short int var3 /* : Bool */;
-short int var4 /* : Bool */;
-short int var_ /* var : Bool */;
-long var5 /* : Int */;
-long var6 /* : Int */;
-short int var7 /* : Bool */;
-short int var9 /* : Bool */;
-short int var_10 /* var : Bool */;
-short int var11 /* : Bool */;
-/* Covariant cast for argument 0 (k) <p0:Object> isa Collection#0 */
-/* <p0:Object> isa Collection#0 */
-type_struct = self->type->resolution_table->types[COLOR_abstract_collection__Collection_FT0];
-cltype = type_struct->color;
-idtype = type_struct->id;
-if(cltype >= p0->type->table_size) {
-var1 = 0;
+{
+var5 = hash_collection__HashCollection__node_at(var2, var_k);
+}
+var6 = NULL;
+if (var5 == NULL) {
+var7 = 0; /* is null */
 } else {
-var1 = p0->type->type_table[cltype] == idtype;
+var7 = 1; /* arg is null and recv is not */
 }
-if (!var1) {
-var_class_name = p0 == NULL ? "null" : p0->type->name;
-fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "Collection#0", var_class_name);
-fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 258);
-show_backtrace(1);
+if (0) {
+{ /* Inline kernel#Object#!= (var5,var6) on <var5:nullable HashNode[Object](nullable HashMapNode[Object, nullable Object])> */
+var_other = var6;
+{
+var11 = ((short int (*)(val*, val*))(var5->class->vft[COLOR_kernel__Object___61d_61d]))(var5, var_other) /* == on <var5:nullable HashMapNode[Object, nullable Object](HashMapNode[Object, nullable Object])>*/;
+var10 = var11;
 }
-var_k = p0;
-var4 = ((short int (*)(val*, val*))(self->class->vft[COLOR_abstract_collection__Collection__has]))(self, var_k) /* has on <self:HashMapKeys[Object, nullable Object]>*/;
-var_ = var4;
-if (var4){
-var5 = ((long (*)(val*))(self->class->vft[COLOR_abstract_collection__Collection__length]))(self) /* length on <self:HashMapKeys[Object, nullable Object]>*/;
-var6 = 1;
-{ /* Inline kernel#Int#== (var5,var6) */
-var9 = var5 == var6;
-var7 = var9;
-goto RET_LABEL8;
-RET_LABEL8:(void)0;
+var12 = !var10;
+var8 = var12;
+goto RET_LABEL9;
+RET_LABEL9:(void)0;
 }
-var3 = var7;
-} else {
-var3 = var_;
+var7 = var8;
 }
-var_10 = var3;
-if (var3){
-var2 = var_10;
-} else {
-var11 = ((short int (*)(val*))(self->class->vft[COLOR_abstract_collection__Collection__is_empty]))(self) /* is_empty on <self:HashMapKeys[Object, nullable Object]>*/;
-var2 = var11;
-}
-var = var2;
+var = var7;
 goto RET_LABEL;
 RET_LABEL:;
 return var;
 }
-/* method hash_collection#HashMapKeys#has_only for (self: Object, nullable Object): Bool */
-short int VIRTUAL_hash_collection__HashMapKeys__has_only(val* self, val* p0) {
+/* method hash_collection#HashMapKeys#has for (self: Object, nullable Object): Bool */
+short int VIRTUAL_hash_collection__HashMapKeys__has(val* self, val* p0) {
 short int var /* : Bool */;
 short int var1 /* : Bool */;
-var1 = hash_collection__HashMapKeys__has_only(self, p0);
+var1 = hash_collection__HashMapKeys__has(self, p0);
 var = var1;
 RET_LABEL:;
 return var;
@@ -1836,10 +2231,24 @@ return var;
 short int hash_collection__HashMapKeys__is_empty(val* self) {
 short int var /* : Bool */;
 val* var1 /* : HashMap[Object, nullable Object] */;
-short int var2 /* : Bool */;
-var1 = ((val* (*)(val*))(self->class->vft[COLOR_hash_collection__HashMapKeys__map]))(self) /* map on <self:HashMapKeys[Object, nullable Object]>*/;
-var2 = ((short int (*)(val*))(var1->class->vft[COLOR_abstract_collection__MapRead__is_empty]))(var1) /* is_empty on <var1:HashMap[Object, nullable Object]>*/;
-var = var2;
+val* var3 /* : HashMap[Object, nullable Object] */;
+short int var4 /* : Bool */;
+{
+{ /* Inline hash_collection#HashMapKeys#map (self) on <self:HashMapKeys[Object, nullable Object]> */
+var3 = self->attrs[COLOR_hash_collection__HashMapKeys___map].val; /* _map on <self:HashMapKeys[Object, nullable Object]> */
+if (unlikely(var3 == NULL)) {
+PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _map");
+PRINT_ERROR(" (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 252);
+show_backtrace(1);
+}
+var1 = var3;
+RET_LABEL2:(void)0;
+}
+}
+{
+var4 = hash_collection__HashMap__is_empty(var1);
+}
+var = var4;
 goto RET_LABEL;
 RET_LABEL:;
 return var;
@@ -1857,10 +2266,24 @@ return var;
 long hash_collection__HashMapKeys__length(val* self) {
 long var /* : Int */;
 val* var1 /* : HashMap[Object, nullable Object] */;
-long var2 /* : Int */;
-var1 = ((val* (*)(val*))(self->class->vft[COLOR_hash_collection__HashMapKeys__map]))(self) /* map on <self:HashMapKeys[Object, nullable Object]>*/;
-var2 = ((long (*)(val*))(var1->class->vft[COLOR_abstract_collection__MapRead__length]))(var1) /* length on <var1:HashMap[Object, nullable Object]>*/;
-var = var2;
+val* var3 /* : HashMap[Object, nullable Object] */;
+long var4 /* : Int */;
+{
+{ /* Inline hash_collection#HashMapKeys#map (self) on <self:HashMapKeys[Object, nullable Object]> */
+var3 = self->attrs[COLOR_hash_collection__HashMapKeys___map].val; /* _map on <self:HashMapKeys[Object, nullable Object]> */
+if (unlikely(var3 == NULL)) {
+PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _map");
+PRINT_ERROR(" (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 252);
+show_backtrace(1);
+}
+var1 = var3;
+RET_LABEL2:(void)0;
+}
+}
+{
+var4 = hash_collection__HashMap__length(var1);
+}
+var = var4;
 goto RET_LABEL;
 RET_LABEL:;
 return var;
@@ -1879,11 +2302,51 @@ val* hash_collection__HashMapKeys__iterator(val* self) {
 val* var /* : Iterator[Object] */;
 val* var1 /* : MapKeysIterator[Object, nullable Object] */;
 val* var2 /* : HashMap[Object, nullable Object] */;
-val* var3 /* : MapIterator[Object, nullable Object] */;
+val* var4 /* : HashMap[Object, nullable Object] */;
+val* var5 /* : HashMapIterator[Object, nullable Object] */;
+short int var7 /* : Bool */;
+int cltype;
+int idtype;
+const struct type* type_struct;
+const char* var_class_name;
 var1 = NEW_abstract_collection__MapKeysIterator(self->type->resolution_table->types[COLOR_abstract_collection__MapKeysIteratorhash_collection__HashMapKeys_FT0hash_collection__HashMapKeys_FT1]);
-var2 = ((val* (*)(val*))(self->class->vft[COLOR_hash_collection__HashMapKeys__map]))(self) /* map on <self:HashMapKeys[Object, nullable Object]>*/;
-var3 = ((val* (*)(val*))(var2->class->vft[COLOR_abstract_collection__MapRead__iterator]))(var2) /* iterator on <var2:HashMap[Object, nullable Object]>*/;
-((void (*)(val*, val*))(var1->class->vft[COLOR_abstract_collection__MapKeysIterator__init]))(var1, var3) /* init on <var1:MapKeysIterator[Object, nullable Object]>*/;
+{
+{ /* Inline hash_collection#HashMapKeys#map (self) on <self:HashMapKeys[Object, nullable Object]> */
+var4 = self->attrs[COLOR_hash_collection__HashMapKeys___map].val; /* _map on <self:HashMapKeys[Object, nullable Object]> */
+if (unlikely(var4 == NULL)) {
+PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _map");
+PRINT_ERROR(" (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 252);
+show_backtrace(1);
+}
+var2 = var4;
+RET_LABEL3:(void)0;
+}
+}
+{
+var5 = hash_collection__HashMap__iterator(var2);
+}
+{
+{ /* Inline abstract_collection#MapKeysIterator#init (var1,var5) on <var1:MapKeysIterator[Object, nullable Object]> */
+/* Covariant cast for argument 0 (original_iterator) <var5:HashMapIterator[Object, nullable Object]> isa MapIterator[MapKeysIterator#0, MapKeysIterator#1] */
+/* <var5:HashMapIterator[Object, nullable Object]> isa MapIterator[MapKeysIterator#0, MapKeysIterator#1] */
+type_struct = var1->type->resolution_table->types[COLOR_abstract_collection__MapIteratorabstract_collection__MapKeysIterator_FT0abstract_collection__MapKeysIterator_FT1];
+cltype = type_struct->color;
+idtype = type_struct->id;
+if(cltype >= var5->type->table_size) {
+var7 = 0;
+} else {
+var7 = var5->type->type_table[cltype] == idtype;
+}
+if (unlikely(!var7)) {
+var_class_name = var5 == NULL ? "null" : var5->type->name;
+PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "MapIterator[MapKeysIterator#0, MapKeysIterator#1]", var_class_name);
+PRINT_ERROR(" (%s:%d)\n", "lib/standard/collection/abstract_collection.nit", 528);
+show_backtrace(1);
+}
+var1->attrs[COLOR_abstract_collection__MapKeysIterator___original_iterator].val = var5; /* _original_iterator on <var1:MapKeysIterator[Object, nullable Object]> */
+RET_LABEL6:(void)0;
+}
+}
 var = var1;
 goto RET_LABEL;
 RET_LABEL:;
@@ -1901,13 +2364,27 @@ return var;
 /* method hash_collection#HashMapKeys#clear for (self: HashMapKeys[Object, nullable Object]) */
 void hash_collection__HashMapKeys__clear(val* self) {
 val* var /* : HashMap[Object, nullable Object] */;
-var = ((val* (*)(val*))(self->class->vft[COLOR_hash_collection__HashMapKeys__map]))(self) /* map on <self:HashMapKeys[Object, nullable Object]>*/;
-((void (*)(val*))(var->class->vft[COLOR_abstract_collection__Map__clear]))(var) /* clear on <var:HashMap[Object, nullable Object]>*/;
+val* var2 /* : HashMap[Object, nullable Object] */;
+{
+{ /* Inline hash_collection#HashMapKeys#map (self) on <self:HashMapKeys[Object, nullable Object]> */
+var2 = self->attrs[COLOR_hash_collection__HashMapKeys___map].val; /* _map on <self:HashMapKeys[Object, nullable Object]> */
+if (unlikely(var2 == NULL)) {
+PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _map");
+PRINT_ERROR(" (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 252);
+show_backtrace(1);
+}
+var = var2;
+RET_LABEL1:(void)0;
+}
+}
+{
+hash_collection__HashMap__clear(var); /* Direct call hash_collection#HashMap#clear on <var:HashMap[Object, nullable Object]>*/
+}
 RET_LABEL:;
 }
 /* method hash_collection#HashMapKeys#clear for (self: Object) */
 void VIRTUAL_hash_collection__HashMapKeys__clear(val* self) {
-hash_collection__HashMapKeys__clear(self);
+hash_collection__HashMapKeys__clear(self); /* Direct call hash_collection#HashMapKeys#clear on <self:Object(HashMapKeys[Object, nullable Object])>*/
 RET_LABEL:;
 }
 /* method hash_collection#HashMapKeys#remove for (self: HashMapKeys[Object, nullable Object], Object) */
@@ -1919,6 +2396,7 @@ const struct type* type_struct;
 const char* var_class_name;
 val* var_key /* var key: Object */;
 val* var1 /* : HashMap[Object, nullable Object] */;
+val* var3 /* : HashMap[Object, nullable Object] */;
 /* Covariant cast for argument 0 (key) <p0:Object> isa RemovableCollection#0 */
 /* <p0:Object> isa RemovableCollection#0 */
 type_struct = self->type->resolution_table->types[COLOR_abstract_collection__RemovableCollection_FT0];
@@ -1929,34 +2407,45 @@ var = 0;
 } else {
 var = p0->type->type_table[cltype] == idtype;
 }
-if (!var) {
+if (unlikely(!var)) {
 var_class_name = p0 == NULL ? "null" : p0->type->name;
-fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "RemovableCollection#0", var_class_name);
-fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 266);
+PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "RemovableCollection#0", var_class_name);
+PRINT_ERROR(" (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 266);
 show_backtrace(1);
 }
 var_key = p0;
-var1 = ((val* (*)(val*))(self->class->vft[COLOR_hash_collection__HashMapKeys__map]))(self) /* map on <self:HashMapKeys[Object, nullable Object]>*/;
-((void (*)(val*, val*))(var1->class->vft[COLOR_hash_collection__HashCollection__remove_node]))(var1, var_key) /* remove_node on <var1:HashMap[Object, nullable Object]>*/;
+{
+{ /* Inline hash_collection#HashMapKeys#map (self) on <self:HashMapKeys[Object, nullable Object]> */
+var3 = self->attrs[COLOR_hash_collection__HashMapKeys___map].val; /* _map on <self:HashMapKeys[Object, nullable Object]> */
+if (unlikely(var3 == NULL)) {
+PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _map");
+PRINT_ERROR(" (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 252);
+show_backtrace(1);
+}
+var1 = var3;
+RET_LABEL2:(void)0;
+}
+}
+{
+hash_collection__HashCollection__remove_node(var1, var_key); /* Direct call hash_collection#HashCollection#remove_node on <var1:HashMap[Object, nullable Object]>*/
+}
 RET_LABEL:;
 }
 /* method hash_collection#HashMapKeys#remove for (self: Object, nullable Object) */
 void VIRTUAL_hash_collection__HashMapKeys__remove(val* self, val* p0) {
-hash_collection__HashMapKeys__remove(self, p0);
+hash_collection__HashMapKeys__remove(self, p0); /* Direct call hash_collection#HashMapKeys#remove on <self:Object(HashMapKeys[Object, nullable Object])>*/
 RET_LABEL:;
 }
-/* method hash_collection#HashMapKeys#remove_all for (self: HashMapKeys[Object, nullable Object], Object) */
-void hash_collection__HashMapKeys__remove_all(val* self, val* p0) {
+/* method hash_collection#HashMapKeys#init for (self: HashMapKeys[Object, nullable Object], HashMap[Object, nullable Object]) */
+void hash_collection__HashMapKeys__init(val* self, val* p0) {
 short int var /* : Bool */;
 int cltype;
 int idtype;
 const struct type* type_struct;
 const char* var_class_name;
-val* var_key /* var key: Object */;
-val* var1 /* : HashMap[Object, nullable Object] */;
-/* Covariant cast for argument 0 (key) <p0:Object> isa RemovableCollection#0 */
-/* <p0:Object> isa RemovableCollection#0 */
-type_struct = self->type->resolution_table->types[COLOR_abstract_collection__RemovableCollection_FT0];
+/* Covariant cast for argument 0 (map) <p0:HashMap[Object, nullable Object]> isa HashMap[HashMapKeys#0, HashMapKeys#1] */
+/* <p0:HashMap[Object, nullable Object]> isa HashMap[HashMapKeys#0, HashMapKeys#1] */
+type_struct = self->type->resolution_table->types[COLOR_hash_collection__HashMaphash_collection__HashMapKeys_FT0hash_collection__HashMapKeys_FT1];
 cltype = type_struct->color;
 idtype = type_struct->id;
 if(cltype >= p0->type->table_size) {
@@ -1964,29 +2453,23 @@ var = 0;
 } else {
 var = p0->type->type_table[cltype] == idtype;
 }
-if (!var) {
+if (unlikely(!var)) {
 var_class_name = p0 == NULL ? "null" : p0->type->name;
-fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "RemovableCollection#0", var_class_name);
-fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 267);
+PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "HashMap[HashMapKeys#0, HashMapKeys#1]", var_class_name);
+PRINT_ERROR(" (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 249);
 show_backtrace(1);
 }
-var_key = p0;
-var1 = ((val* (*)(val*))(self->class->vft[COLOR_hash_collection__HashMapKeys__map]))(self) /* map on <self:HashMapKeys[Object, nullable Object]>*/;
-((void (*)(val*, val*))(var1->class->vft[COLOR_hash_collection__HashCollection__remove_node]))(var1, var_key) /* remove_node on <var1:HashMap[Object, nullable Object]>*/;
-RET_LABEL:;
-}
-/* method hash_collection#HashMapKeys#remove_all for (self: Object, nullable Object) */
-void VIRTUAL_hash_collection__HashMapKeys__remove_all(val* self, val* p0) {
-hash_collection__HashMapKeys__remove_all(self, p0);
+self->attrs[COLOR_hash_collection__HashMapKeys___map].val = p0; /* _map on <self:HashMapKeys[Object, nullable Object]> */
 RET_LABEL:;
 }
-/* method hash_collection#HashMapKeys#init for (self: HashMapKeys[Object, nullable Object], HashMap[Object, nullable Object]) */
-void hash_collection__HashMapKeys__init(val* self, val* p0) {
+/* method hash_collection#HashMapKeys#init for (self: Object, HashMap[Object, nullable Object]) */
+void VIRTUAL_hash_collection__HashMapKeys__init(val* self, val* p0) {
 short int var /* : Bool */;
 int cltype;
 int idtype;
 const struct type* type_struct;
 const char* var_class_name;
+{ /* Inline hash_collection#HashMapKeys#init (self,p0) on <self:Object(HashMapKeys[Object, nullable Object])> */
 /* Covariant cast for argument 0 (map) <p0:HashMap[Object, nullable Object]> isa HashMap[HashMapKeys#0, HashMapKeys#1] */
 /* <p0:HashMap[Object, nullable Object]> isa HashMap[HashMapKeys#0, HashMapKeys#1] */
 type_struct = self->type->resolution_table->types[COLOR_hash_collection__HashMaphash_collection__HashMapKeys_FT0hash_collection__HashMapKeys_FT1];
@@ -1997,28 +2480,25 @@ var = 0;
 } else {
 var = p0->type->type_table[cltype] == idtype;
 }
-if (!var) {
+if (unlikely(!var)) {
 var_class_name = p0 == NULL ? "null" : p0->type->name;
-fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "HashMap[HashMapKeys#0, HashMapKeys#1]", var_class_name);
-fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 249);
+PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "HashMap[HashMapKeys#0, HashMapKeys#1]", var_class_name);
+PRINT_ERROR(" (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 249);
 show_backtrace(1);
 }
-self->attrs[COLOR_hash_collection__HashMapKeys___64dmap].val = p0; /* @map on <self:HashMapKeys[Object, nullable Object]> */
-RET_LABEL:;
+self->attrs[COLOR_hash_collection__HashMapKeys___map].val = p0; /* _map on <self:Object(HashMapKeys[Object, nullable Object])> */
+RET_LABEL1:(void)0;
 }
-/* method hash_collection#HashMapKeys#init for (self: Object, HashMap[Object, nullable Object]) */
-void VIRTUAL_hash_collection__HashMapKeys__init(val* self, val* p0) {
-hash_collection__HashMapKeys__init(self, p0);
 RET_LABEL:;
 }
 /* method hash_collection#HashMapValues#map for (self: HashMapValues[Object, nullable Object]): HashMap[Object, nullable Object] */
 val* hash_collection__HashMapValues__map(val* self) {
 val* var /* : HashMap[Object, nullable Object] */;
 val* var1 /* : HashMap[Object, nullable Object] */;
-var1 = self->attrs[COLOR_hash_collection__HashMapValues___64dmap].val; /* @map on <self:HashMapValues[Object, nullable Object]> */
-if (var1 == NULL) {
-fprintf(stderr, "Runtime error: %s", "Uninitialized attribute @map");
-fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 273);
+var1 = self->attrs[COLOR_hash_collection__HashMapValues___map].val; /* _map on <self:HashMapValues[Object, nullable Object]> */
+if (unlikely(var1 == NULL)) {
+PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _map");
+PRINT_ERROR(" (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 273);
 show_backtrace(1);
 }
 var = var1;
@@ -2029,132 +2509,17 @@ return var;
 val* VIRTUAL_hash_collection__HashMapValues__map(val* self) {
 val* var /* : HashMap[Object, nullable Object] */;
 val* var1 /* : HashMap[Object, nullable Object] */;
-var1 = hash_collection__HashMapValues__map(self);
-var = var1;
-RET_LABEL:;
-return var;
-}
-/* method hash_collection#HashMapValues#map= for (self: HashMapValues[Object, nullable Object], HashMap[Object, nullable Object]) */
-void hash_collection__HashMapValues__map_61d(val* self, val* p0) {
-short int var /* : Bool */;
-int cltype;
-int idtype;
-const struct type* type_struct;
-const char* var_class_name;
-/* Covariant cast for argument 0 (map) <p0:HashMap[Object, nullable Object]> isa HashMap[HashMapValues#0, HashMapValues#1] */
-/* <p0:HashMap[Object, nullable Object]> isa HashMap[HashMapValues#0, HashMapValues#1] */
-type_struct = self->type->resolution_table->types[COLOR_hash_collection__HashMaphash_collection__HashMapValues_FT0hash_collection__HashMapValues_FT1];
-cltype = type_struct->color;
-idtype = type_struct->id;
-if(cltype >= p0->type->table_size) {
-var = 0;
-} else {
-var = p0->type->type_table[cltype] == idtype;
-}
-if (!var) {
-var_class_name = p0 == NULL ? "null" : p0->type->name;
-fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "HashMap[HashMapValues#0, HashMapValues#1]", var_class_name);
-fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 273);
-show_backtrace(1);
-}
-self->attrs[COLOR_hash_collection__HashMapValues___64dmap].val = p0; /* @map on <self:HashMapValues[Object, nullable Object]> */
-RET_LABEL:;
-}
-/* method hash_collection#HashMapValues#map= for (self: Object, HashMap[Object, nullable Object]) */
-void VIRTUAL_hash_collection__HashMapValues__map_61d(val* self, val* p0) {
-hash_collection__HashMapValues__map_61d(self, p0);
-RET_LABEL:;
-}
-/* method hash_collection#HashMapValues#count for (self: HashMapValues[Object, nullable Object], nullable Object): Int */
-long hash_collection__HashMapValues__count(val* self, val* p0) {
-long var /* : Int */;
-short int var1 /* : Bool */;
-int cltype;
-int idtype;
-const struct type* type_struct;
-short int is_nullable;
-const char* var_class_name;
-val* var_item /* var item: nullable Object */;
-long var2 /* : Int */;
-long var_nb /* var nb: Int */;
 val* var3 /* : HashMap[Object, nullable Object] */;
-val* var4 /* : nullable HashNode[Object] */;
-val* var_c /* var c: nullable HashMapNode[Object, nullable Object] */;
-val* var5 /* : null */;
-short int var6 /* : Bool */;
-val* var7 /* : nullable Object */;
-short int var8 /* : Bool */;
-long var9 /* : Int */;
-long var10 /* : Int */;
-long var12 /* : Int */;
-val* var13 /* : nullable HashNode[Object] */;
-/* Covariant cast for argument 0 (item) <p0:nullable Object> isa Collection#0 */
-/* <p0:nullable Object> isa Collection#0 */
-type_struct = self->type->resolution_table->types[COLOR_abstract_collection__Collection_FT0];
-cltype = type_struct->color;
-idtype = type_struct->id;
-is_nullable = type_struct->is_nullable;
-if(p0 == NULL) {
-var1 = is_nullable;
-} else {
-if(cltype >= p0->type->table_size) {
-var1 = 0;
-} else {
-var1 = p0->type->type_table[cltype] == idtype;
-}
-}
-if (!var1) {
-var_class_name = p0 == NULL ? "null" : p0->type->name;
-fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "Collection#0", var_class_name);
-fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 276);
+{ /* Inline hash_collection#HashMapValues#map (self) on <self:Object(HashMapValues[Object, nullable Object])> */
+var3 = self->attrs[COLOR_hash_collection__HashMapValues___map].val; /* _map on <self:Object(HashMapValues[Object, nullable Object])> */
+if (unlikely(var3 == NULL)) {
+PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _map");
+PRINT_ERROR(" (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 273);
 show_backtrace(1);
 }
-var_item = p0;
-var2 = 0;
-var_nb = var2;
-var3 = ((val* (*)(val*))(self->class->vft[COLOR_hash_collection__HashMapValues__map]))(self) /* map on <self:HashMapValues[Object, nullable Object]>*/;
-var4 = var3->attrs[COLOR_hash_collection__HashCollection___first_item].val; /* _first_item on <var3:HashMap[Object, nullable Object]> */
-var_c = var4;
-for(;;) {
-var5 = NULL;
-if (var_c == NULL) {
-var6 = 0; /* is null */
-} else {
-var6 = 1; /* arg is null and recv is not */
-}
-if (!var6) break;
-var7 = var_c->attrs[COLOR_hash_collection__HashMapNode___value].val; /* _value on <var_c:nullable HashMapNode[Object, nullable Object](HashMapNode[Object, nullable Object])> */
-if (var7 == NULL) {
-var8 = (var_item == NULL);
-} else {
-var8 = ((short int (*)(val*, val*))(var7->class->vft[COLOR_kernel__Object___61d_61d]))(var7, var_item) /* == on <var7:nullable Object>*/;
-}
-if (var8){
-var9 = 1;
-{ /* Inline kernel#Int#+ (var_nb,var9) */
-var12 = var_nb + var9;
-var10 = var12;
-goto RET_LABEL11;
-RET_LABEL11:(void)0;
-}
-var_nb = var10;
-} else {
+var1 = var3;
+RET_LABEL2:(void)0;
 }
-var13 = var_c->attrs[COLOR_hash_collection__HashNode___next_item].val; /* _next_item on <var_c:nullable HashMapNode[Object, nullable Object](HashMapNode[Object, nullable Object])> */
-var_c = var13;
-CONTINUE_label: (void)0;
-}
-BREAK_label: (void)0;
-var = var_nb;
-goto RET_LABEL;
-RET_LABEL:;
-return var;
-}
-/* method hash_collection#HashMapValues#count for (self: Object, nullable Object): Int */
-long VIRTUAL_hash_collection__HashMapValues__count(val* self, val* p0) {
-long var /* : Int */;
-long var1 /* : Int */;
-var1 = hash_collection__HashMapValues__count(self, p0);
 var = var1;
 RET_LABEL:;
 return var;
@@ -2163,117 +2528,44 @@ return var;
 val* hash_collection__HashMapValues__first(val* self) {
 val* var /* : nullable Object */;
 val* var1 /* : HashMap[Object, nullable Object] */;
-val* var2 /* : nullable HashNode[Object] */;
-val* var3 /* : nullable Object */;
-var1 = ((val* (*)(val*))(self->class->vft[COLOR_hash_collection__HashMapValues__map]))(self) /* map on <self:HashMapValues[Object, nullable Object]>*/;
-var2 = var1->attrs[COLOR_hash_collection__HashCollection___first_item].val; /* _first_item on <var1:HashMap[Object, nullable Object]> */
-if (var2 == NULL) {
-fprintf(stderr, "Runtime error: %s", "Receiver is null");
-fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 286);
-show_backtrace(1);
-}
-var3 = var2->attrs[COLOR_hash_collection__HashMapNode___value].val; /* _value on <var2:nullable HashNode[Object](nullable HashMapNode[Object, nullable Object])> */
-var = var3;
-goto RET_LABEL;
-RET_LABEL:;
-return var;
-}
-/* method hash_collection#HashMapValues#first for (self: Object): nullable Object */
-val* VIRTUAL_hash_collection__HashMapValues__first(val* self) {
-val* var /* : nullable Object */;
-val* var1 /* : nullable Object */;
-var1 = hash_collection__HashMapValues__first(self);
-var = var1;
-RET_LABEL:;
-return var;
-}
-/* method hash_collection#HashMapValues#has for (self: HashMapValues[Object, nullable Object], nullable Object): Bool */
-short int hash_collection__HashMapValues__has(val* self, val* p0) {
-short int var /* : Bool */;
-short int var1 /* : Bool */;
-int cltype;
-int idtype;
-const struct type* type_struct;
-short int is_nullable;
-const char* var_class_name;
-val* var_item /* var item: nullable Object */;
-val* var2 /* : HashMap[Object, nullable Object] */;
-val* var3 /* : nullable HashNode[Object] */;
-val* var_c /* var c: nullable HashMapNode[Object, nullable Object] */;
-val* var4 /* : null */;
-short int var5 /* : Bool */;
-val* var6 /* : nullable Object */;
-short int var7 /* : Bool */;
-short int var8 /* : Bool */;
-val* var9 /* : nullable HashNode[Object] */;
-short int var10 /* : Bool */;
-/* Covariant cast for argument 0 (item) <p0:nullable Object> isa Collection#0 */
-/* <p0:nullable Object> isa Collection#0 */
-type_struct = self->type->resolution_table->types[COLOR_abstract_collection__Collection_FT0];
-cltype = type_struct->color;
-idtype = type_struct->id;
-is_nullable = type_struct->is_nullable;
-if(p0 == NULL) {
-var1 = is_nullable;
-} else {
-if(cltype >= p0->type->table_size) {
-var1 = 0;
-} else {
-var1 = p0->type->type_table[cltype] == idtype;
-}
-}
-if (!var1) {
-var_class_name = p0 == NULL ? "null" : p0->type->name;
-fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "Collection#0", var_class_name);
-fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 288);
+val* var3 /* : HashMap[Object, nullable Object] */;
+val* var4 /* : nullable HashNode[Object] */;
+val* var5 /* : nullable Object */;
+{
+{ /* Inline hash_collection#HashMapValues#map (self) on <self:HashMapValues[Object, nullable Object]> */
+var3 = self->attrs[COLOR_hash_collection__HashMapValues___map].val; /* _map on <self:HashMapValues[Object, nullable Object]> */
+if (unlikely(var3 == NULL)) {
+PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _map");
+PRINT_ERROR(" (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 273);
 show_backtrace(1);
 }
-var_item = p0;
-var2 = ((val* (*)(val*))(self->class->vft[COLOR_hash_collection__HashMapValues__map]))(self) /* map on <self:HashMapValues[Object, nullable Object]>*/;
-var3 = var2->attrs[COLOR_hash_collection__HashCollection___first_item].val; /* _first_item on <var2:HashMap[Object, nullable Object]> */
-var_c = var3;
-for(;;) {
-var4 = NULL;
-if (var_c == NULL) {
-var5 = 0; /* is null */
-} else {
-var5 = 1; /* arg is null and recv is not */
-}
-if (!var5) break;
-var6 = var_c->attrs[COLOR_hash_collection__HashMapNode___value].val; /* _value on <var_c:nullable HashMapNode[Object, nullable Object](HashMapNode[Object, nullable Object])> */
-if (var6 == NULL) {
-var7 = (var_item == NULL);
-} else {
-var7 = ((short int (*)(val*, val*))(var6->class->vft[COLOR_kernel__Object___61d_61d]))(var6, var_item) /* == on <var6:nullable Object>*/;
-}
-if (var7){
-var8 = 1;
-var = var8;
-goto RET_LABEL;
-} else {
+var1 = var3;
+RET_LABEL2:(void)0;
 }
-var9 = var_c->attrs[COLOR_hash_collection__HashNode___next_item].val; /* _next_item on <var_c:nullable HashMapNode[Object, nullable Object](HashMapNode[Object, nullable Object])> */
-var_c = var9;
-CONTINUE_label: (void)0;
 }
-BREAK_label: (void)0;
-var10 = 0;
-var = var10;
+var4 = var1->attrs[COLOR_hash_collection__HashCollection___first_item].val; /* _first_item on <var1:HashMap[Object, nullable Object]> */
+if (unlikely(var4 == NULL)) {
+PRINT_ERROR("Runtime error: %s", "Receiver is null");
+PRINT_ERROR(" (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 286);
+show_backtrace(1);
+}
+var5 = var4->attrs[COLOR_hash_collection__HashMapNode___value].val; /* _value on <var4:nullable HashNode[Object](nullable HashMapNode[Object, nullable Object])> */
+var = var5;
 goto RET_LABEL;
 RET_LABEL:;
 return var;
 }
-/* method hash_collection#HashMapValues#has for (self: Object, nullable Object): Bool */
-short int VIRTUAL_hash_collection__HashMapValues__has(val* self, val* p0) {
-short int var /* : Bool */;
-short int var1 /* : Bool */;
-var1 = hash_collection__HashMapValues__has(self, p0);
+/* method hash_collection#HashMapValues#first for (self: Object): nullable Object */
+val* VIRTUAL_hash_collection__HashMapValues__first(val* self) {
+val* var /* : nullable Object */;
+val* var1 /* : nullable Object */;
+var1 = hash_collection__HashMapValues__first(self);
 var = var1;
 RET_LABEL:;
 return var;
 }
-/* method hash_collection#HashMapValues#has_only for (self: HashMapValues[Object, nullable Object], nullable Object): Bool */
-short int hash_collection__HashMapValues__has_only(val* self, val* p0) {
+/* method hash_collection#HashMapValues#has for (self: HashMapValues[Object, nullable Object], nullable Object): Bool */
+short int hash_collection__HashMapValues__has(val* self, val* p0) {
 short int var /* : Bool */;
 short int var1 /* : Bool */;
 int cltype;
@@ -2283,15 +2575,22 @@ short int is_nullable;
 const char* var_class_name;
 val* var_item /* var item: nullable Object */;
 val* var2 /* : HashMap[Object, nullable Object] */;
-val* var3 /* : nullable HashNode[Object] */;
+val* var4 /* : HashMap[Object, nullable Object] */;
+val* var5 /* : nullable HashNode[Object] */;
 val* var_c /* var c: nullable HashMapNode[Object, nullable Object] */;
-val* var4 /* : null */;
-short int var5 /* : Bool */;
-val* var6 /* : nullable Object */;
+val* var6 /* : null */;
 short int var7 /* : Bool */;
 short int var8 /* : Bool */;
-val* var9 /* : nullable HashNode[Object] */;
+val* var_other /* var other: nullable Object */;
 short int var10 /* : Bool */;
+short int var11 /* : Bool */;
+short int var12 /* : Bool */;
+val* var13 /* : nullable Object */;
+short int var14 /* : Bool */;
+short int var15 /* : Bool */;
+short int var16 /* : Bool */;
+val* var17 /* : nullable HashNode[Object] */;
+short int var18 /* : Bool */;
 /* Covariant cast for argument 0 (item) <p0:nullable Object> isa Collection#0 */
 /* <p0:nullable Object> isa Collection#0 */
 type_struct = self->type->resolution_table->types[COLOR_abstract_collection__Collection_FT0];
@@ -2307,52 +2606,78 @@ var1 = 0;
 var1 = p0->type->type_table[cltype] == idtype;
 }
 }
-if (!var1) {
+if (unlikely(!var1)) {
 var_class_name = p0 == NULL ? "null" : p0->type->name;
-fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "Collection#0", var_class_name);
-fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 298);
+PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "Collection#0", var_class_name);
+PRINT_ERROR(" (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 288);
 show_backtrace(1);
 }
 var_item = p0;
-var2 = ((val* (*)(val*))(self->class->vft[COLOR_hash_collection__HashMapValues__map]))(self) /* map on <self:HashMapValues[Object, nullable Object]>*/;
-var3 = var2->attrs[COLOR_hash_collection__HashCollection___first_item].val; /* _first_item on <var2:HashMap[Object, nullable Object]> */
-var_c = var3;
+{
+{ /* Inline hash_collection#HashMapValues#map (self) on <self:HashMapValues[Object, nullable Object]> */
+var4 = self->attrs[COLOR_hash_collection__HashMapValues___map].val; /* _map on <self:HashMapValues[Object, nullable Object]> */
+if (unlikely(var4 == NULL)) {
+PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _map");
+PRINT_ERROR(" (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 273);
+show_backtrace(1);
+}
+var2 = var4;
+RET_LABEL3:(void)0;
+}
+}
+var5 = var2->attrs[COLOR_hash_collection__HashCollection___first_item].val; /* _first_item on <var2:HashMap[Object, nullable Object]> */
+var_c = var5;
 for(;;) {
-var4 = NULL;
+var6 = NULL;
 if (var_c == NULL) {
-var5 = 0; /* is null */
+var7 = 0; /* is null */
 } else {
-var5 = 1; /* arg is null and recv is not */
+var7 = 1; /* arg is null and recv is not */
+}
+if (0) {
+{ /* Inline kernel#Object#!= (var_c,var6) on <var_c:nullable HashMapNode[Object, nullable Object]> */
+var_other = var6;
+{
+var11 = ((short int (*)(val*, val*))(var_c->class->vft[COLOR_kernel__Object___61d_61d]))(var_c, var_other) /* == on <var_c:nullable HashMapNode[Object, nullable Object](HashMapNode[Object, nullable Object])>*/;
+var10 = var11;
+}
+var12 = !var10;
+var8 = var12;
+goto RET_LABEL9;
+RET_LABEL9:(void)0;
+}
+var7 = var8;
 }
-if (!var5) break;
-var6 = var_c->attrs[COLOR_hash_collection__HashMapNode___value].val; /* _value on <var_c:nullable HashMapNode[Object, nullable Object](HashMapNode[Object, nullable Object])> */
-if (var6 == NULL) {
-var7 = (var_item != NULL);
+if (!var7) break;
+var13 = var_c->attrs[COLOR_hash_collection__HashMapNode___value].val; /* _value on <var_c:nullable HashMapNode[Object, nullable Object](HashMapNode[Object, nullable Object])> */
+if (var13 == NULL) {
+var14 = (var_item == NULL);
 } else {
-var7 = ((short int (*)(val*, val*))(var6->class->vft[COLOR_kernel__Object___33d_61d]))(var6, var_item) /* != on <var6:nullable Object>*/;
+var15 = ((short int (*)(val*, val*))(var13->class->vft[COLOR_kernel__Object___61d_61d]))(var13, var_item) /* == on <var13:nullable Object>*/;
+var14 = var15;
 }
-if (var7){
-var8 = 0;
-var = var8;
+if (var14){
+var16 = 1;
+var = var16;
 goto RET_LABEL;
 } else {
 }
-var9 = var_c->attrs[COLOR_hash_collection__HashNode___next_item].val; /* _next_item on <var_c:nullable HashMapNode[Object, nullable Object](HashMapNode[Object, nullable Object])> */
-var_c = var9;
+var17 = var_c->attrs[COLOR_hash_collection__HashNode___next_item].val; /* _next_item on <var_c:nullable HashMapNode[Object, nullable Object](HashMapNode[Object, nullable Object])> */
+var_c = var17;
 CONTINUE_label: (void)0;
 }
 BREAK_label: (void)0;
-var10 = 1;
-var = var10;
+var18 = 0;
+var = var18;
 goto RET_LABEL;
 RET_LABEL:;
 return var;
 }
-/* method hash_collection#HashMapValues#has_only for (self: Object, nullable Object): Bool */
-short int VIRTUAL_hash_collection__HashMapValues__has_only(val* self, val* p0) {
+/* method hash_collection#HashMapValues#has for (self: Object, nullable Object): Bool */
+short int VIRTUAL_hash_collection__HashMapValues__has(val* self, val* p0) {
 short int var /* : Bool */;
 short int var1 /* : Bool */;
-var1 = hash_collection__HashMapValues__has_only(self, p0);
+var1 = hash_collection__HashMapValues__has(self, p0);
 var = var1;
 RET_LABEL:;
 return var;
@@ -2361,10 +2686,24 @@ return var;
 short int hash_collection__HashMapValues__is_empty(val* self) {
 short int var /* : Bool */;
 val* var1 /* : HashMap[Object, nullable Object] */;
-short int var2 /* : Bool */;
-var1 = ((val* (*)(val*))(self->class->vft[COLOR_hash_collection__HashMapValues__map]))(self) /* map on <self:HashMapValues[Object, nullable Object]>*/;
-var2 = ((short int (*)(val*))(var1->class->vft[COLOR_abstract_collection__MapRead__is_empty]))(var1) /* is_empty on <var1:HashMap[Object, nullable Object]>*/;
-var = var2;
+val* var3 /* : HashMap[Object, nullable Object] */;
+short int var4 /* : Bool */;
+{
+{ /* Inline hash_collection#HashMapValues#map (self) on <self:HashMapValues[Object, nullable Object]> */
+var3 = self->attrs[COLOR_hash_collection__HashMapValues___map].val; /* _map on <self:HashMapValues[Object, nullable Object]> */
+if (unlikely(var3 == NULL)) {
+PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _map");
+PRINT_ERROR(" (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 273);
+show_backtrace(1);
+}
+var1 = var3;
+RET_LABEL2:(void)0;
+}
+}
+{
+var4 = hash_collection__HashMap__is_empty(var1);
+}
+var = var4;
 goto RET_LABEL;
 RET_LABEL:;
 return var;
@@ -2382,10 +2721,24 @@ return var;
 long hash_collection__HashMapValues__length(val* self) {
 long var /* : Int */;
 val* var1 /* : HashMap[Object, nullable Object] */;
-long var2 /* : Int */;
-var1 = ((val* (*)(val*))(self->class->vft[COLOR_hash_collection__HashMapValues__map]))(self) /* map on <self:HashMapValues[Object, nullable Object]>*/;
-var2 = ((long (*)(val*))(var1->class->vft[COLOR_abstract_collection__MapRead__length]))(var1) /* length on <var1:HashMap[Object, nullable Object]>*/;
-var = var2;
+val* var3 /* : HashMap[Object, nullable Object] */;
+long var4 /* : Int */;
+{
+{ /* Inline hash_collection#HashMapValues#map (self) on <self:HashMapValues[Object, nullable Object]> */
+var3 = self->attrs[COLOR_hash_collection__HashMapValues___map].val; /* _map on <self:HashMapValues[Object, nullable Object]> */
+if (unlikely(var3 == NULL)) {
+PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _map");
+PRINT_ERROR(" (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 273);
+show_backtrace(1);
+}
+var1 = var3;
+RET_LABEL2:(void)0;
+}
+}
+{
+var4 = hash_collection__HashMap__length(var1);
+}
+var = var4;
 goto RET_LABEL;
 RET_LABEL:;
 return var;
@@ -2404,11 +2757,51 @@ val* hash_collection__HashMapValues__iterator(val* self) {
 val* var /* : Iterator[nullable Object] */;
 val* var1 /* : MapValuesIterator[Object, nullable Object] */;
 val* var2 /* : HashMap[Object, nullable Object] */;
-val* var3 /* : MapIterator[Object, nullable Object] */;
+val* var4 /* : HashMap[Object, nullable Object] */;
+val* var5 /* : HashMapIterator[Object, nullable Object] */;
+short int var7 /* : Bool */;
+int cltype;
+int idtype;
+const struct type* type_struct;
+const char* var_class_name;
 var1 = NEW_abstract_collection__MapValuesIterator(self->type->resolution_table->types[COLOR_abstract_collection__MapValuesIteratorhash_collection__HashMapValues_FT0hash_collection__HashMapValues_FT1]);
-var2 = ((val* (*)(val*))(self->class->vft[COLOR_hash_collection__HashMapValues__map]))(self) /* map on <self:HashMapValues[Object, nullable Object]>*/;
-var3 = ((val* (*)(val*))(var2->class->vft[COLOR_abstract_collection__MapRead__iterator]))(var2) /* iterator on <var2:HashMap[Object, nullable Object]>*/;
-((void (*)(val*, val*))(var1->class->vft[COLOR_abstract_collection__MapValuesIterator__init]))(var1, var3) /* init on <var1:MapValuesIterator[Object, nullable Object]>*/;
+{
+{ /* Inline hash_collection#HashMapValues#map (self) on <self:HashMapValues[Object, nullable Object]> */
+var4 = self->attrs[COLOR_hash_collection__HashMapValues___map].val; /* _map on <self:HashMapValues[Object, nullable Object]> */
+if (unlikely(var4 == NULL)) {
+PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _map");
+PRINT_ERROR(" (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 273);
+show_backtrace(1);
+}
+var2 = var4;
+RET_LABEL3:(void)0;
+}
+}
+{
+var5 = hash_collection__HashMap__iterator(var2);
+}
+{
+{ /* Inline abstract_collection#MapValuesIterator#init (var1,var5) on <var1:MapValuesIterator[Object, nullable Object]> */
+/* Covariant cast for argument 0 (original_iterator) <var5:HashMapIterator[Object, nullable Object]> isa MapIterator[MapValuesIterator#0, MapValuesIterator#1] */
+/* <var5:HashMapIterator[Object, nullable Object]> isa MapIterator[MapValuesIterator#0, MapValuesIterator#1] */
+type_struct = var1->type->resolution_table->types[COLOR_abstract_collection__MapIteratorabstract_collection__MapValuesIterator_FT0abstract_collection__MapValuesIterator_FT1];
+cltype = type_struct->color;
+idtype = type_struct->id;
+if(cltype >= var5->type->table_size) {
+var7 = 0;
+} else {
+var7 = var5->type->type_table[cltype] == idtype;
+}
+if (unlikely(!var7)) {
+var_class_name = var5 == NULL ? "null" : var5->type->name;
+PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "MapIterator[MapValuesIterator#0, MapValuesIterator#1]", var_class_name);
+PRINT_ERROR(" (%s:%d)\n", "lib/standard/collection/abstract_collection.nit", 539);
+show_backtrace(1);
+}
+var1->attrs[COLOR_abstract_collection__MapValuesIterator___original_iterator].val = var5; /* _original_iterator on <var1:MapValuesIterator[Object, nullable Object]> */
+RET_LABEL6:(void)0;
+}
+}
 var = var1;
 goto RET_LABEL;
 RET_LABEL:;
@@ -2426,13 +2819,27 @@ return var;
 /* method hash_collection#HashMapValues#clear for (self: HashMapValues[Object, nullable Object]) */
 void hash_collection__HashMapValues__clear(val* self) {
 val* var /* : HashMap[Object, nullable Object] */;
-var = ((val* (*)(val*))(self->class->vft[COLOR_hash_collection__HashMapValues__map]))(self) /* map on <self:HashMapValues[Object, nullable Object]>*/;
-((void (*)(val*))(var->class->vft[COLOR_abstract_collection__Map__clear]))(var) /* clear on <var:HashMap[Object, nullable Object]>*/;
+val* var2 /* : HashMap[Object, nullable Object] */;
+{
+{ /* Inline hash_collection#HashMapValues#map (self) on <self:HashMapValues[Object, nullable Object]> */
+var2 = self->attrs[COLOR_hash_collection__HashMapValues___map].val; /* _map on <self:HashMapValues[Object, nullable Object]> */
+if (unlikely(var2 == NULL)) {
+PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _map");
+PRINT_ERROR(" (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 273);
+show_backtrace(1);
+}
+var = var2;
+RET_LABEL1:(void)0;
+}
+}
+{
+hash_collection__HashMap__clear(var); /* Direct call hash_collection#HashMap#clear on <var:HashMap[Object, nullable Object]>*/
+}
 RET_LABEL:;
 }
 /* method hash_collection#HashMapValues#clear for (self: Object) */
 void VIRTUAL_hash_collection__HashMapValues__clear(val* self) {
-hash_collection__HashMapValues__clear(self);
+hash_collection__HashMapValues__clear(self); /* Direct call hash_collection#HashMapValues#clear on <self:Object(HashMapValues[Object, nullable Object])>*/
 RET_LABEL:;
 }
 /* method hash_collection#HashMapValues#remove for (self: HashMapValues[Object, nullable Object], nullable Object) */
@@ -2445,15 +2852,22 @@ short int is_nullable;
 const char* var_class_name;
 val* var_item /* var item: nullable Object */;
 val* var1 /* : HashMap[Object, nullable Object] */;
+val* var3 /* : HashMap[Object, nullable Object] */;
 val* var_map /* var map: HashMap[Object, nullable Object] */;
-val* var2 /* : nullable HashNode[Object] */;
+val* var4 /* : nullable HashNode[Object] */;
 val* var_c /* var c: nullable HashMapNode[Object, nullable Object] */;
-val* var3 /* : null */;
-short int var4 /* : Bool */;
-val* var5 /* : nullable Object */;
+val* var5 /* : null */;
 short int var6 /* : Bool */;
-val* var7 /* : Object */;
-val* var8 /* : nullable HashNode[Object] */;
+short int var7 /* : Bool */;
+val* var_other /* var other: nullable Object */;
+short int var9 /* : Bool */;
+short int var10 /* : Bool */;
+short int var11 /* : Bool */;
+val* var12 /* : nullable Object */;
+short int var13 /* : Bool */;
+short int var14 /* : Bool */;
+val* var15 /* : Object */;
+val* var16 /* : nullable HashNode[Object] */;
 /* Covariant cast for argument 0 (item) <p0:nullable Object> isa RemovableCollection#0 */
 /* <p0:nullable Object> isa RemovableCollection#0 */
 type_struct = self->type->resolution_table->types[COLOR_abstract_collection__RemovableCollection_FT0];
@@ -2469,44 +2883,72 @@ var = 0;
 var = p0->type->type_table[cltype] == idtype;
 }
 }
-if (!var) {
+if (unlikely(!var)) {
 var_class_name = p0 == NULL ? "null" : p0->type->name;
-fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "RemovableCollection#0", var_class_name);
-fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 315);
+PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "RemovableCollection#0", var_class_name);
+PRINT_ERROR(" (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 315);
 show_backtrace(1);
 }
 var_item = p0;
-var1 = ((val* (*)(val*))(self->class->vft[COLOR_hash_collection__HashMapValues__map]))(self) /* map on <self:HashMapValues[Object, nullable Object]>*/;
+{
+{ /* Inline hash_collection#HashMapValues#map (self) on <self:HashMapValues[Object, nullable Object]> */
+var3 = self->attrs[COLOR_hash_collection__HashMapValues___map].val; /* _map on <self:HashMapValues[Object, nullable Object]> */
+if (unlikely(var3 == NULL)) {
+PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _map");
+PRINT_ERROR(" (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 273);
+show_backtrace(1);
+}
+var1 = var3;
+RET_LABEL2:(void)0;
+}
+}
 var_map = var1;
-var2 = var_map->attrs[COLOR_hash_collection__HashCollection___first_item].val; /* _first_item on <var_map:HashMap[Object, nullable Object]> */
-var_c = var2;
+var4 = var_map->attrs[COLOR_hash_collection__HashCollection___first_item].val; /* _first_item on <var_map:HashMap[Object, nullable Object]> */
+var_c = var4;
 for(;;) {
-var3 = NULL;
+var5 = NULL;
 if (var_c == NULL) {
-var4 = 0; /* is null */
+var6 = 0; /* is null */
 } else {
-var4 = 1; /* arg is null and recv is not */
+var6 = 1; /* arg is null and recv is not */
 }
-if (!var4) break;
-var5 = var_c->attrs[COLOR_hash_collection__HashMapNode___value].val; /* _value on <var_c:nullable HashMapNode[Object, nullable Object](HashMapNode[Object, nullable Object])> */
-if (var5 == NULL) {
-var6 = (var_item == NULL);
+if (0) {
+{ /* Inline kernel#Object#!= (var_c,var5) on <var_c:nullable HashMapNode[Object, nullable Object]> */
+var_other = var5;
+{
+var10 = ((short int (*)(val*, val*))(var_c->class->vft[COLOR_kernel__Object___61d_61d]))(var_c, var_other) /* == on <var_c:nullable HashMapNode[Object, nullable Object](HashMapNode[Object, nullable Object])>*/;
+var9 = var10;
+}
+var11 = !var9;
+var7 = var11;
+goto RET_LABEL8;
+RET_LABEL8:(void)0;
+}
+var6 = var7;
+}
+if (!var6) break;
+var12 = var_c->attrs[COLOR_hash_collection__HashMapNode___value].val; /* _value on <var_c:nullable HashMapNode[Object, nullable Object](HashMapNode[Object, nullable Object])> */
+if (var12 == NULL) {
+var13 = (var_item == NULL);
 } else {
-var6 = ((short int (*)(val*, val*))(var5->class->vft[COLOR_kernel__Object___61d_61d]))(var5, var_item) /* == on <var5:nullable Object>*/;
+var14 = ((short int (*)(val*, val*))(var12->class->vft[COLOR_kernel__Object___61d_61d]))(var12, var_item) /* == on <var12:nullable Object>*/;
+var13 = var14;
 }
-if (var6){
-var7 = var_c->attrs[COLOR_hash_collection__HashNode___key].val; /* _key on <var_c:nullable HashMapNode[Object, nullable Object](HashMapNode[Object, nullable Object])> */
-if (var7 == NULL) {
-fprintf(stderr, "Runtime error: %s", "Uninitialized attribute _key");
-fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 321);
+if (var13){
+var15 = var_c->attrs[COLOR_hash_collection__HashNode___key].val; /* _key on <var_c:nullable HashMapNode[Object, nullable Object](HashMapNode[Object, nullable Object])> */
+if (unlikely(var15 == NULL)) {
+PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _key");
+PRINT_ERROR(" (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 321);
 show_backtrace(1);
 }
-((void (*)(val*, val*))(var_map->class->vft[COLOR_hash_collection__HashCollection__remove_node]))(var_map, var7) /* remove_node on <var_map:HashMap[Object, nullable Object]>*/;
+{
+hash_collection__HashCollection__remove_node(var_map, var15); /* Direct call hash_collection#HashCollection#remove_node on <var_map:HashMap[Object, nullable Object]>*/
+}
 goto RET_LABEL;
 } else {
 }
-var8 = var_c->attrs[COLOR_hash_collection__HashNode___next_item].val; /* _next_item on <var_c:nullable HashMapNode[Object, nullable Object](HashMapNode[Object, nullable Object])> */
-var_c = var8;
+var16 = var_c->attrs[COLOR_hash_collection__HashNode___next_item].val; /* _next_item on <var_c:nullable HashMapNode[Object, nullable Object](HashMapNode[Object, nullable Object])> */
+var_c = var16;
 CONTINUE_label: (void)0;
 }
 BREAK_label: (void)0;
@@ -2514,97 +2956,43 @@ RET_LABEL:;
 }
 /* method hash_collection#HashMapValues#remove for (self: Object, nullable Object) */
 void VIRTUAL_hash_collection__HashMapValues__remove(val* self, val* p0) {
-hash_collection__HashMapValues__remove(self, p0);
+hash_collection__HashMapValues__remove(self, p0); /* Direct call hash_collection#HashMapValues#remove on <self:Object(HashMapValues[Object, nullable Object])>*/
 RET_LABEL:;
 }
-/* method hash_collection#HashMapValues#remove_all for (self: HashMapValues[Object, nullable Object], nullable Object) */
-void hash_collection__HashMapValues__remove_all(val* self, val* p0) {
+/* method hash_collection#HashMapValues#init for (self: HashMapValues[Object, nullable Object], HashMap[Object, nullable Object]) */
+void hash_collection__HashMapValues__init(val* self, val* p0) {
 short int var /* : Bool */;
 int cltype;
 int idtype;
 const struct type* type_struct;
-short int is_nullable;
 const char* var_class_name;
-val* var_item /* var item: nullable Object */;
-val* var1 /* : HashMap[Object, nullable Object] */;
-val* var_map /* var map: HashMap[Object, nullable Object] */;
-val* var2 /* : nullable HashNode[Object] */;
-val* var_c /* var c: nullable HashMapNode[Object, nullable Object] */;
-val* var3 /* : null */;
-short int var4 /* : Bool */;
-val* var5 /* : nullable Object */;
-short int var6 /* : Bool */;
-val* var7 /* : Object */;
-val* var8 /* : nullable HashNode[Object] */;
-/* Covariant cast for argument 0 (item) <p0:nullable Object> isa RemovableCollection#0 */
-/* <p0:nullable Object> isa RemovableCollection#0 */
-type_struct = self->type->resolution_table->types[COLOR_abstract_collection__RemovableCollection_FT0];
+/* Covariant cast for argument 0 (map) <p0:HashMap[Object, nullable Object]> isa HashMap[HashMapValues#0, HashMapValues#1] */
+/* <p0:HashMap[Object, nullable Object]> isa HashMap[HashMapValues#0, HashMapValues#1] */
+type_struct = self->type->resolution_table->types[COLOR_hash_collection__HashMaphash_collection__HashMapValues_FT0hash_collection__HashMapValues_FT1];
 cltype = type_struct->color;
 idtype = type_struct->id;
-is_nullable = type_struct->is_nullable;
-if(p0 == NULL) {
-var = is_nullable;
-} else {
 if(cltype >= p0->type->table_size) {
 var = 0;
 } else {
 var = p0->type->type_table[cltype] == idtype;
 }
-}
-if (!var) {
+if (unlikely(!var)) {
 var_class_name = p0 == NULL ? "null" : p0->type->name;
-fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "RemovableCollection#0", var_class_name);
-fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 328);
-show_backtrace(1);
-}
-var_item = p0;
-var1 = ((val* (*)(val*))(self->class->vft[COLOR_hash_collection__HashMapValues__map]))(self) /* map on <self:HashMapValues[Object, nullable Object]>*/;
-var_map = var1;
-var2 = var_map->attrs[COLOR_hash_collection__HashCollection___first_item].val; /* _first_item on <var_map:HashMap[Object, nullable Object]> */
-var_c = var2;
-for(;;) {
-var3 = NULL;
-if (var_c == NULL) {
-var4 = 0; /* is null */
-} else {
-var4 = 1; /* arg is null and recv is not */
-}
-if (!var4) break;
-var5 = var_c->attrs[COLOR_hash_collection__HashMapNode___value].val; /* _value on <var_c:nullable HashMapNode[Object, nullable Object](HashMapNode[Object, nullable Object])> */
-if (var5 == NULL) {
-var6 = (var_item == NULL);
-} else {
-var6 = ((short int (*)(val*, val*))(var5->class->vft[COLOR_kernel__Object___61d_61d]))(var5, var_item) /* == on <var5:nullable Object>*/;
-}
-if (var6){
-var7 = var_c->attrs[COLOR_hash_collection__HashNode___key].val; /* _key on <var_c:nullable HashMapNode[Object, nullable Object](HashMapNode[Object, nullable Object])> */
-if (var7 == NULL) {
-fprintf(stderr, "Runtime error: %s", "Uninitialized attribute _key");
-fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 334);
+PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "HashMap[HashMapValues#0, HashMapValues#1]", var_class_name);
+PRINT_ERROR(" (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 270);
 show_backtrace(1);
 }
-((void (*)(val*, val*))(var_map->class->vft[COLOR_hash_collection__HashCollection__remove_node]))(var_map, var7) /* remove_node on <var_map:HashMap[Object, nullable Object]>*/;
-} else {
-}
-var8 = var_c->attrs[COLOR_hash_collection__HashNode___next_item].val; /* _next_item on <var_c:nullable HashMapNode[Object, nullable Object](HashMapNode[Object, nullable Object])> */
-var_c = var8;
-CONTINUE_label: (void)0;
-}
-BREAK_label: (void)0;
-RET_LABEL:;
-}
-/* method hash_collection#HashMapValues#remove_all for (self: Object, nullable Object) */
-void VIRTUAL_hash_collection__HashMapValues__remove_all(val* self, val* p0) {
-hash_collection__HashMapValues__remove_all(self, p0);
+self->attrs[COLOR_hash_collection__HashMapValues___map].val = p0; /* _map on <self:HashMapValues[Object, nullable Object]> */
 RET_LABEL:;
 }
-/* method hash_collection#HashMapValues#init for (self: HashMapValues[Object, nullable Object], HashMap[Object, nullable Object]) */
-void hash_collection__HashMapValues__init(val* self, val* p0) {
+/* method hash_collection#HashMapValues#init for (self: Object, HashMap[Object, nullable Object]) */
+void VIRTUAL_hash_collection__HashMapValues__init(val* self, val* p0) {
 short int var /* : Bool */;
 int cltype;
 int idtype;
 const struct type* type_struct;
 const char* var_class_name;
+{ /* Inline hash_collection#HashMapValues#init (self,p0) on <self:Object(HashMapValues[Object, nullable Object])> */
 /* Covariant cast for argument 0 (map) <p0:HashMap[Object, nullable Object]> isa HashMap[HashMapValues#0, HashMapValues#1] */
 /* <p0:HashMap[Object, nullable Object]> isa HashMap[HashMapValues#0, HashMapValues#1] */
 type_struct = self->type->resolution_table->types[COLOR_hash_collection__HashMaphash_collection__HashMapValues_FT0hash_collection__HashMapValues_FT1];
@@ -2615,18 +3003,15 @@ var = 0;
 } else {
 var = p0->type->type_table[cltype] == idtype;
 }
-if (!var) {
+if (unlikely(!var)) {
 var_class_name = p0 == NULL ? "null" : p0->type->name;
-fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "HashMap[HashMapValues#0, HashMapValues#1]", var_class_name);
-fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 270);
+PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "HashMap[HashMapValues#0, HashMapValues#1]", var_class_name);
+PRINT_ERROR(" (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 270);
 show_backtrace(1);
 }
-self->attrs[COLOR_hash_collection__HashMapValues___64dmap].val = p0; /* @map on <self:HashMapValues[Object, nullable Object]> */
-RET_LABEL:;
+self->attrs[COLOR_hash_collection__HashMapValues___map].val = p0; /* _map on <self:Object(HashMapValues[Object, nullable Object])> */
+RET_LABEL1:(void)0;
 }
-/* method hash_collection#HashMapValues#init for (self: Object, HashMap[Object, nullable Object]) */
-void VIRTUAL_hash_collection__HashMapValues__init(val* self, val* p0) {
-hash_collection__HashMapValues__init(self, p0);
 RET_LABEL:;
 }
 /* method hash_collection#HashMapNode#init for (self: HashMapNode[Object, nullable Object], Object, nullable Object) */
@@ -2654,10 +3039,10 @@ var = 0;
 } else {
 var = p0->type->type_table[cltype] == idtype;
 }
-if (!var) {
+if (unlikely(!var)) {
 var_class_name = p0 == NULL ? "null" : p0->type->name;
-fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "HashMapNode#0", var_class_name);
-fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 346);
+PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "HashMapNode#0", var_class_name);
+PRINT_ERROR(" (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 346);
 show_backtrace(1);
 }
 /* Covariant cast for argument 1 (v) <p1:nullable Object> isa HashMapNode#1 */
@@ -2675,21 +3060,23 @@ var1 = 0;
 var1 = p1->type->type_table[cltype2] == idtype3;
 }
 }
-if (!var1) {
+if (unlikely(!var1)) {
 var_class_name5 = p1 == NULL ? "null" : p1->type->name;
-fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "HashMapNode#1", var_class_name5);
-fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 346);
+PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "HashMapNode#1", var_class_name5);
+PRINT_ERROR(" (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 346);
 show_backtrace(1);
 }
 var_k = p0;
 var_v = p1;
-((void (*)(val*, val*))(self->class->vft[COLOR_hash_collection__HashNode__init]))(self, var_k) /* init on <self:HashMapNode[Object, nullable Object]>*/;
+{
+hash_collection__HashNode__init(self, var_k); /* Direct call hash_collection#HashNode#init on <self:HashMapNode[Object, nullable Object]>*/
+}
 self->attrs[COLOR_hash_collection__HashMapNode___value].val = var_v; /* _value on <self:HashMapNode[Object, nullable Object]> */
 RET_LABEL:;
 }
 /* method hash_collection#HashMapNode#init for (self: Object, Object, nullable Object) */
 void VIRTUAL_hash_collection__HashMapNode__init(val* self, val* p0, val* p1) {
-hash_collection__HashMapNode__init(self, p0, p1);
+hash_collection__HashMapNode__init(self, p0, p1); /* Direct call hash_collection#HashMapNode#init on <self:Object(HashMapNode[Object, nullable Object])>*/
 RET_LABEL:;
 }
 /* method hash_collection#HashMapIterator#is_ok for (self: HashMapIterator[Object, nullable Object]): Bool */
@@ -2698,6 +3085,11 @@ short int var /* : Bool */;
 val* var1 /* : nullable HashMapNode[Object, nullable Object] */;
 val* var2 /* : null */;
 short int var3 /* : Bool */;
+short int var4 /* : Bool */;
+val* var_other /* var other: nullable Object */;
+short int var6 /* : Bool */;
+short int var7 /* : Bool */;
+short int var8 /* : Bool */;
 var1 = self->attrs[COLOR_hash_collection__HashMapIterator___node].val; /* _node on <self:HashMapIterator[Object, nullable Object]> */
 var2 = NULL;
 if (var1 == NULL) {
@@ -2705,6 +3097,20 @@ var3 = 0; /* is null */
 } else {
 var3 = 1; /* arg is null and recv is not */
 }
+if (0) {
+{ /* Inline kernel#Object#!= (var1,var2) on <var1:nullable HashMapNode[Object, nullable Object]> */
+var_other = var2;
+{
+var7 = ((short int (*)(val*, val*))(var1->class->vft[COLOR_kernel__Object___61d_61d]))(var1, var_other) /* == on <var1:nullable HashMapNode[Object, nullable Object](HashMapNode[Object, nullable Object])>*/;
+var6 = var7;
+}
+var8 = !var6;
+var4 = var8;
+goto RET_LABEL5;
+RET_LABEL5:(void)0;
+}
+var3 = var4;
+}
 var = var3;
 goto RET_LABEL;
 RET_LABEL:;
@@ -2725,16 +3131,18 @@ val* var /* : nullable Object */;
 short int var1 /* : Bool */;
 val* var2 /* : nullable HashMapNode[Object, nullable Object] */;
 val* var3 /* : nullable Object */;
-var1 = ((short int (*)(val*))(self->class->vft[COLOR_abstract_collection__MapIterator__is_ok]))(self) /* is_ok on <self:HashMapIterator[Object, nullable Object]>*/;
-if (!var1) {
-fprintf(stderr, "Runtime error: %s", "Assert failed");
-fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 359);
+{
+var1 = hash_collection__HashMapIterator__is_ok(self);
+}
+if (unlikely(!var1)) {
+PRINT_ERROR("Runtime error: %s", "Assert failed");
+PRINT_ERROR(" (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 359);
 show_backtrace(1);
 }
 var2 = self->attrs[COLOR_hash_collection__HashMapIterator___node].val; /* _node on <self:HashMapIterator[Object, nullable Object]> */
-if (var2 == NULL) {
-fprintf(stderr, "Runtime error: %s", "Receiver is null");
-fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 360);
+if (unlikely(var2 == NULL)) {
+PRINT_ERROR("Runtime error: %s", "Receiver is null");
+PRINT_ERROR(" (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 360);
 show_backtrace(1);
 }
 var3 = var2->attrs[COLOR_hash_collection__HashMapNode___value].val; /* _value on <var2:nullable HashMapNode[Object, nullable Object]> */
@@ -2758,22 +3166,24 @@ val* var /* : Object */;
 short int var1 /* : Bool */;
 val* var2 /* : nullable HashMapNode[Object, nullable Object] */;
 val* var3 /* : Object */;
-var1 = ((short int (*)(val*))(self->class->vft[COLOR_abstract_collection__MapIterator__is_ok]))(self) /* is_ok on <self:HashMapIterator[Object, nullable Object]>*/;
-if (!var1) {
-fprintf(stderr, "Runtime error: %s", "Assert failed");
-fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 371);
+{
+var1 = hash_collection__HashMapIterator__is_ok(self);
+}
+if (unlikely(!var1)) {
+PRINT_ERROR("Runtime error: %s", "Assert failed");
+PRINT_ERROR(" (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 371);
 show_backtrace(1);
 }
 var2 = self->attrs[COLOR_hash_collection__HashMapIterator___node].val; /* _node on <self:HashMapIterator[Object, nullable Object]> */
-if (var2 == NULL) {
-fprintf(stderr, "Runtime error: %s", "Receiver is null");
-fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 372);
+if (unlikely(var2 == NULL)) {
+PRINT_ERROR("Runtime error: %s", "Receiver is null");
+PRINT_ERROR(" (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 372);
 show_backtrace(1);
 }
 var3 = var2->attrs[COLOR_hash_collection__HashNode___key].val; /* _key on <var2:nullable HashMapNode[Object, nullable Object]> */
-if (var3 == NULL) {
-fprintf(stderr, "Runtime error: %s", "Uninitialized attribute _key");
-fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 372);
+if (unlikely(var3 == NULL)) {
+PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _key");
+PRINT_ERROR(" (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 372);
 show_backtrace(1);
 }
 var = var3;
@@ -2795,16 +3205,18 @@ void hash_collection__HashMapIterator__next(val* self) {
 short int var /* : Bool */;
 val* var1 /* : nullable HashMapNode[Object, nullable Object] */;
 val* var2 /* : nullable HashNode[Object] */;
-var = ((short int (*)(val*))(self->class->vft[COLOR_abstract_collection__MapIterator__is_ok]))(self) /* is_ok on <self:HashMapIterator[Object, nullable Object]>*/;
-if (!var) {
-fprintf(stderr, "Runtime error: %s", "Assert failed");
-fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 377);
+{
+var = hash_collection__HashMapIterator__is_ok(self);
+}
+if (unlikely(!var)) {
+PRINT_ERROR("Runtime error: %s", "Assert failed");
+PRINT_ERROR(" (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 377);
 show_backtrace(1);
 }
 var1 = self->attrs[COLOR_hash_collection__HashMapIterator___node].val; /* _node on <self:HashMapIterator[Object, nullable Object]> */
-if (var1 == NULL) {
-fprintf(stderr, "Runtime error: %s", "Receiver is null");
-fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 378);
+if (unlikely(var1 == NULL)) {
+PRINT_ERROR("Runtime error: %s", "Receiver is null");
+PRINT_ERROR(" (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 378);
 show_backtrace(1);
 }
 var2 = var1->attrs[COLOR_hash_collection__HashNode___next_item].val; /* _next_item on <var1:nullable HashMapNode[Object, nullable Object]> */
@@ -2813,7 +3225,7 @@ RET_LABEL:;
 }
 /* method hash_collection#HashMapIterator#next for (self: Object) */
 void VIRTUAL_hash_collection__HashMapIterator__next(val* self) {
-hash_collection__HashMapIterator__next(self);
+hash_collection__HashMapIterator__next(self); /* Direct call hash_collection#HashMapIterator#next on <self:Object(HashMapIterator[Object, nullable Object])>*/
 RET_LABEL:;
 }
 /* method hash_collection#HashMapIterator#init for (self: HashMapIterator[Object, nullable Object], HashMap[Object, nullable Object]) */
@@ -2835,21 +3247,21 @@ var = 0;
 } else {
 var = p0->type->type_table[cltype] == idtype;
 }
-if (!var) {
+if (unlikely(!var)) {
 var_class_name = p0 == NULL ? "null" : p0->type->name;
-fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "HashMap[HashMapIterator#0, HashMapIterator#1]", var_class_name);
-fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 387);
+PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "HashMap[HashMapIterator#0, HashMapIterator#1]", var_class_name);
+PRINT_ERROR(" (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 387);
 show_backtrace(1);
 }
 var_map = p0;
 self->attrs[COLOR_hash_collection__HashMapIterator___map].val = var_map; /* _map on <self:HashMapIterator[Object, nullable Object]> */
-var1 = ((val* (*)(val*))(var_map->class->vft[COLOR_hash_collection__HashCollection__first_item]))(var_map) /* first_item on <var_map:HashMap[Object, nullable Object]>*/;
+var1 = var_map->attrs[COLOR_hash_collection__HashCollection___first_item].val; /* _first_item on <var_map:HashMap[Object, nullable Object]> */
 self->attrs[COLOR_hash_collection__HashMapIterator___node].val = var1; /* _node on <self:HashMapIterator[Object, nullable Object]> */
 RET_LABEL:;
 }
 /* method hash_collection#HashMapIterator#init for (self: Object, HashMap[Object, nullable Object]) */
 void VIRTUAL_hash_collection__HashMapIterator__init(val* self, val* p0) {
-hash_collection__HashMapIterator__init(self, p0);
+hash_collection__HashMapIterator__init(self, p0); /* Direct call hash_collection#HashMapIterator#init on <self:Object(HashMapIterator[Object, nullable Object])>*/
 RET_LABEL:;
 }
 /* method hash_collection#HashSet#length for (self: HashSet[Object]): Int */
@@ -2877,14 +3289,18 @@ short int var /* : Bool */;
 long var1 /* : Int */;
 long var2 /* : Int */;
 short int var3 /* : Bool */;
-short int var5 /* : Bool */;
+short int var4 /* : Bool */;
+short int var6 /* : Bool */;
 var1 = self->attrs[COLOR_hash_collection__HashCollection___length].l; /* _length on <self:HashSet[Object]> */
 var2 = 0;
-{ /* Inline kernel#Int#== (var1,var2) */
-var5 = var1 == var2;
-var3 = var5;
-goto RET_LABEL4;
-RET_LABEL4:(void)0;
+{
+{ /* Inline kernel#Int#== (var1,var2) on <var1:Int> */
+var6 = var1 == var2;
+var4 = var6;
+goto RET_LABEL5;
+RET_LABEL5:(void)0;
+}
+var3 = var4;
 }
 var = var3;
 goto RET_LABEL;
@@ -2915,14 +3331,15 @@ val* var7 /* : nullable HashNode[Object] */;
 val* var8 /* : Object */;
 var1 = self->attrs[COLOR_hash_collection__HashCollection___length].l; /* _length on <self:HashSet[Object]> */
 var2 = 0;
-{ /* Inline kernel#Int#> (var1,var2) */
+{
+{ /* Inline kernel#Int#> (var1,var2) on <var1:Int> */
 /* Covariant cast for argument 0 (i) <var2:Int> isa OTHER */
 /* <var2:Int> isa OTHER */
 var5 = 1; /* easy <var2:Int> isa OTHER*/
-if (!var5) {
+if (unlikely(!var5)) {
 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);
+PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name);
+PRINT_ERROR(" (%s:%d)\n", "lib/standard/kernel.nit", 327);
 show_backtrace(1);
 }
 var6 = var1 > var2;
@@ -2930,21 +3347,22 @@ var3 = var6;
 goto RET_LABEL4;
 RET_LABEL4:(void)0;
 }
-if (!var3) {
-fprintf(stderr, "Runtime error: %s", "Assert failed");
-fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 406);
+}
+if (unlikely(!var3)) {
+PRINT_ERROR("Runtime error: %s", "Assert failed");
+PRINT_ERROR(" (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 406);
 show_backtrace(1);
 }
 var7 = self->attrs[COLOR_hash_collection__HashCollection___first_item].val; /* _first_item on <self:HashSet[Object]> */
-if (var7 == NULL) {
-fprintf(stderr, "Runtime error: %s", "Receiver is null");
-fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 407);
+if (unlikely(var7 == NULL)) {
+PRINT_ERROR("Runtime error: %s", "Receiver is null");
+PRINT_ERROR(" (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 407);
 show_backtrace(1);
 }
 var8 = var7->attrs[COLOR_hash_collection__HashNode___key].val; /* _key on <var7:nullable HashNode[Object](nullable HashSetNode[Object])> */
-if (var8 == NULL) {
-fprintf(stderr, "Runtime error: %s", "Uninitialized attribute _key");
-fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 407);
+if (unlikely(var8 == NULL)) {
+PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _key");
+PRINT_ERROR(" (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 407);
 show_backtrace(1);
 }
 var = var8;
@@ -2973,6 +3391,11 @@ val* var_item /* var item: Object */;
 val* var2 /* : nullable HashNode[Object] */;
 val* var3 /* : null */;
 short int var4 /* : Bool */;
+short int var5 /* : Bool */;
+val* var_other /* var other: nullable Object */;
+short int var7 /* : Bool */;
+short int var8 /* : Bool */;
+short int var9 /* : Bool */;
 /* Covariant cast for argument 0 (item) <p0:Object> isa Collection#0 */
 /* <p0:Object> isa Collection#0 */
 type_struct = self->type->resolution_table->types[COLOR_abstract_collection__Collection_FT0];
@@ -2983,20 +3406,36 @@ var1 = 0;
 } else {
 var1 = p0->type->type_table[cltype] == idtype;
 }
-if (!var1) {
+if (unlikely(!var1)) {
 var_class_name = p0 == NULL ? "null" : p0->type->name;
-fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "Collection#0", var_class_name);
-fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 410);
+PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "Collection#0", var_class_name);
+PRINT_ERROR(" (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 410);
 show_backtrace(1);
 }
 var_item = p0;
-var2 = ((val* (*)(val*, val*))(self->class->vft[COLOR_hash_collection__HashCollection__node_at]))(self, var_item) /* node_at on <self:HashSet[Object]>*/;
+{
+var2 = hash_collection__HashCollection__node_at(self, var_item);
+}
 var3 = NULL;
 if (var2 == NULL) {
 var4 = 0; /* is null */
 } else {
 var4 = 1; /* arg is null and recv is not */
 }
+if (0) {
+{ /* Inline kernel#Object#!= (var2,var3) on <var2:nullable HashNode[Object](nullable HashSetNode[Object])> */
+var_other = var3;
+{
+var8 = ((short int (*)(val*, val*))(var2->class->vft[COLOR_kernel__Object___61d_61d]))(var2, var_other) /* == on <var2:nullable HashSetNode[Object](HashSetNode[Object])>*/;
+var7 = var8;
+}
+var9 = !var7;
+var5 = var9;
+goto RET_LABEL6;
+RET_LABEL6:(void)0;
+}
+var4 = var5;
+}
 var = var4;
 goto RET_LABEL;
 RET_LABEL:;
@@ -3025,7 +3464,12 @@ val* var2 /* : nullable HashNode[Object] */;
 val* var_c /* var c: nullable HashSetNode[Object] */;
 val* var3 /* : null */;
 short int var4 /* : Bool */;
-val* var5 /* : HashSetNode[Object] */;
+short int var5 /* : Bool */;
+val* var_other /* var other: nullable Object */;
+short int var7 /* : Bool */;
+short int var8 /* : Bool */;
+short int var9 /* : Bool */;
+val* var10 /* : HashSetNode[Object] */;
 /* Covariant cast for argument 0 (item) <p0:Object> isa SimpleCollection#0 */
 /* <p0:Object> isa SimpleCollection#0 */
 type_struct = self->type->resolution_table->types[COLOR_abstract_collection__SimpleCollection_FT0];
@@ -3036,16 +3480,20 @@ var = 0;
 } else {
 var = p0->type->type_table[cltype] == idtype;
 }
-if (!var) {
+if (unlikely(!var)) {
 var_class_name = p0 == NULL ? "null" : p0->type->name;
-fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "SimpleCollection#0", var_class_name);
-fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 415);
+PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "SimpleCollection#0", var_class_name);
+PRINT_ERROR(" (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 415);
 show_backtrace(1);
 }
 var_item = p0;
-var1 = ((long (*)(val*, val*))(self->class->vft[COLOR_hash_collection__HashCollection__index_at]))(self, var_item) /* index_at on <self:HashSet[Object]>*/;
+{
+var1 = hash_collection__HashCollection__index_at(self, var_item);
+}
 var_i = var1;
-var2 = ((val* (*)(val*, long, val*))(self->class->vft[COLOR_hash_collection__HashCollection__node_at_idx]))(self, var_i, var_item) /* node_at_idx on <self:HashSet[Object]>*/;
+{
+var2 = hash_collection__HashCollection__node_at_idx(self, var_i, var_item);
+}
 var_c = var2;
 var3 = NULL;
 if (var_c == NULL) {
@@ -3053,18 +3501,36 @@ var4 = 0; /* is null */
 } else {
 var4 = 1; /* arg is null and recv is not */
 }
+if (0) {
+{ /* Inline kernel#Object#!= (var_c,var3) on <var_c:nullable HashSetNode[Object]> */
+var_other = var3;
+{
+var8 = ((short int (*)(val*, val*))(var_c->class->vft[COLOR_kernel__Object___61d_61d]))(var_c, var_other) /* == on <var_c:nullable HashSetNode[Object](HashSetNode[Object])>*/;
+var7 = var8;
+}
+var9 = !var7;
+var5 = var9;
+goto RET_LABEL6;
+RET_LABEL6:(void)0;
+}
+var4 = var5;
+}
 if (var4){
 var_c->attrs[COLOR_hash_collection__HashNode___key].val = var_item; /* _key on <var_c:nullable HashSetNode[Object](HashSetNode[Object])> */
 } else {
-var5 = NEW_hash_collection__HashSetNode(self->type->resolution_table->types[COLOR_hash_collection__HashSetNodehash_collection__HashSet_FT0]);
-((void (*)(val*, val*))(var5->class->vft[COLOR_hash_collection__HashSetNode__init]))(var5, var_item) /* init on <var5:HashSetNode[Object]>*/;
-((void (*)(val*, long, val*))(self->class->vft[COLOR_hash_collection__HashCollection__store]))(self, var_i, var5) /* store on <self:HashSet[Object]>*/;
+var10 = NEW_hash_collection__HashSetNode(self->type->resolution_table->types[COLOR_hash_collection__HashSetNodehash_collection__HashSet_FT0]);
+{
+hash_collection__HashSetNode__init(var10, var_item); /* Direct call hash_collection#HashSetNode#init on <var10:HashSetNode[Object]>*/
+}
+{
+hash_collection__HashCollection__store(self, var_i, var10); /* Direct call hash_collection#HashCollection#store on <self:HashSet[Object]>*/
+}
 }
 RET_LABEL:;
 }
 /* method hash_collection#HashSet#add for (self: Object, nullable Object) */
 void VIRTUAL_hash_collection__HashSet__add(val* self, val* p0) {
-hash_collection__HashSet__add(self, p0);
+hash_collection__HashSet__add(self, p0); /* Direct call hash_collection#HashSet#add on <self:Object(HashSet[Object])>*/
 RET_LABEL:;
 }
 /* method hash_collection#HashSet#remove for (self: HashSet[Object], Object) */
@@ -3085,29 +3551,33 @@ var = 0;
 } else {
 var = p0->type->type_table[cltype] == idtype;
 }
-if (!var) {
+if (unlikely(!var)) {
 var_class_name = p0 == NULL ? "null" : p0->type->name;
-fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "RemovableCollection#0", var_class_name);
-fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 426);
+PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "RemovableCollection#0", var_class_name);
+PRINT_ERROR(" (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 426);
 show_backtrace(1);
 }
 var_item = p0;
-((void (*)(val*, val*))(self->class->vft[COLOR_hash_collection__HashCollection__remove_node]))(self, var_item) /* remove_node on <self:HashSet[Object]>*/;
+{
+hash_collection__HashCollection__remove_node(self, var_item); /* Direct call hash_collection#HashCollection#remove_node on <self:HashSet[Object]>*/
+}
 RET_LABEL:;
 }
 /* method hash_collection#HashSet#remove for (self: Object, nullable Object) */
 void VIRTUAL_hash_collection__HashSet__remove(val* self, val* p0) {
-hash_collection__HashSet__remove(self, p0);
+hash_collection__HashSet__remove(self, p0); /* Direct call hash_collection#HashSet#remove on <self:Object(HashSet[Object])>*/
 RET_LABEL:;
 }
 /* method hash_collection#HashSet#clear for (self: HashSet[Object]) */
 void hash_collection__HashSet__clear(val* self) {
-((void (*)(val*))(self->class->vft[COLOR_hash_collection__HashCollection__raz]))(self) /* raz on <self:HashSet[Object]>*/;
+{
+hash_collection__HashCollection__raz(self); /* Direct call hash_collection#HashCollection#raz on <self:HashSet[Object]>*/
+}
 RET_LABEL:;
 }
 /* method hash_collection#HashSet#clear for (self: Object) */
 void VIRTUAL_hash_collection__HashSet__clear(val* self) {
-hash_collection__HashSet__clear(self);
+hash_collection__HashSet__clear(self); /* Direct call hash_collection#HashSet#clear on <self:Object(HashSet[Object])>*/
 RET_LABEL:;
 }
 /* method hash_collection#HashSet#iterator for (self: HashSet[Object]): Iterator[Object] */
@@ -3115,7 +3585,9 @@ val* hash_collection__HashSet__iterator(val* self) {
 val* var /* : Iterator[Object] */;
 val* var1 /* : HashSetIterator[Object] */;
 var1 = NEW_hash_collection__HashSetIterator(self->type->resolution_table->types[COLOR_hash_collection__HashSetIteratorhash_collection__HashSet_FT0]);
-((void (*)(val*, val*))(var1->class->vft[COLOR_hash_collection__HashSetIterator__init]))(var1, self) /* init on <var1:HashSetIterator[Object]>*/;
+{
+hash_collection__HashSetIterator__init(var1, self); /* Direct call hash_collection#HashSetIterator#init on <var1:HashSetIterator[Object]>*/
+}
 var = var1;
 goto RET_LABEL;
 RET_LABEL:;
@@ -3133,20 +3605,26 @@ return var;
 /* method hash_collection#HashSet#init for (self: HashSet[Object]) */
 void hash_collection__HashSet__init(val* self) {
 long var /* : Int */;
-long var1 /* : Int */;
 long var2 /* : Int */;
-((void (*)(val*))(self->class->vft[COLOR_hash_collection__HashCollection__init]))(self) /* init on <self:HashSet[Object]>*/;
+long var3 /* : Int */;
+{
+{ /* Inline hash_collection#HashCollection#init (self) on <self:HashSet[Object]> */
+RET_LABEL1:(void)0;
+}
+}
 var = 0;
 self->attrs[COLOR_hash_collection__HashCollection___capacity].l = var; /* _capacity on <self:HashSet[Object]> */
-var1 = 0;
-self->attrs[COLOR_hash_collection__HashCollection___length].l = var1; /* _length on <self:HashSet[Object]> */
 var2 = 0;
-((void (*)(val*, long))(self->class->vft[COLOR_hash_collection__HashCollection__enlarge]))(self, var2) /* enlarge on <self:HashSet[Object]>*/;
+self->attrs[COLOR_hash_collection__HashCollection___length].l = var2; /* _length on <self:HashSet[Object]> */
+var3 = 0;
+{
+hash_collection__HashCollection__enlarge(self, var3); /* Direct call hash_collection#HashCollection#enlarge on <self:HashSet[Object]>*/
+}
 RET_LABEL:;
 }
 /* method hash_collection#HashSet#init for (self: Object) */
 void VIRTUAL_hash_collection__HashSet__init(val* self) {
-hash_collection__HashSet__init(self);
+hash_collection__HashSet__init(self); /* Direct call hash_collection#HashSet#init on <self:Object(HashSet[Object])>*/
 RET_LABEL:;
 }
 /* method hash_collection#HashSet#from for (self: HashSet[Object], Collection[Object]) */
@@ -3167,20 +3645,24 @@ var = 0;
 } else {
 var = p0->type->type_table[cltype] == idtype;
 }
-if (!var) {
+if (unlikely(!var)) {
 var_class_name = p0 == NULL ? "null" : p0->type->name;
-fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "Collection[HashSet#0]", var_class_name);
-fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 439);
+PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "Collection[HashSet#0]", var_class_name);
+PRINT_ERROR(" (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 439);
 show_backtrace(1);
 }
 var_coll = p0;
-((void (*)(val*))(self->class->vft[COLOR_hash_collection__HashSet__init]))(self) /* init on <self:HashSet[Object]>*/;
-((void (*)(val*, val*))(self->class->vft[COLOR_abstract_collection__SimpleCollection__add_all]))(self, var_coll) /* add_all on <self:HashSet[Object]>*/;
+{
+hash_collection__HashSet__init(self); /* Direct call hash_collection#HashSet#init on <self:HashSet[Object]>*/
+}
+{
+abstract_collection__SimpleCollection__add_all(self, var_coll); /* Direct call abstract_collection#SimpleCollection#add_all on <self:HashSet[Object]>*/
+}
 RET_LABEL:;
 }
 /* method hash_collection#HashSet#from for (self: Object, Collection[Object]) */
 void VIRTUAL_hash_collection__HashSet__from(val* self, val* p0) {
-hash_collection__HashSet__from(self, p0);
+hash_collection__HashSet__from(self, p0); /* Direct call hash_collection#HashSet#from on <self:Object(HashSet[Object])>*/
 RET_LABEL:;
 }
 /* method hash_collection#HashSetNode#init for (self: HashSetNode[Object], Object) */
@@ -3201,20 +3683,22 @@ var = 0;
 } else {
 var = p0->type->type_table[cltype] == idtype;
 }
-if (!var) {
+if (unlikely(!var)) {
 var_class_name = p0 == NULL ? "null" : p0->type->name;
-fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "HashSetNode#0", var_class_name);
-fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 450);
+PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "HashSetNode#0", var_class_name);
+PRINT_ERROR(" (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 452);
 show_backtrace(1);
 }
+{
+hash_collection__HashNode__init(self, p0); /* Direct call hash_collection#HashNode#init on <self:HashSetNode[Object]>*/
+}
 var_e = p0;
-((void (*)(val*, val*))(self->class->vft[COLOR_hash_collection__HashNode__init]))(self, p0) /* init on <self:HashSetNode[Object]>*/;
 self->attrs[COLOR_hash_collection__HashNode___key].val = var_e; /* _key on <self:HashSetNode[Object]> */
 RET_LABEL:;
 }
 /* method hash_collection#HashSetNode#init for (self: Object, Object) */
 void VIRTUAL_hash_collection__HashSetNode__init(val* self, val* p0) {
-hash_collection__HashSetNode__init(self, p0);
+hash_collection__HashSetNode__init(self, p0); /* Direct call hash_collection#HashSetNode#init on <self:Object(HashSetNode[Object])>*/
 RET_LABEL:;
 }
 /* method hash_collection#HashSetIterator#is_ok for (self: HashSetIterator[Object]): Bool */
@@ -3223,6 +3707,11 @@ short int var /* : Bool */;
 val* var1 /* : nullable HashSetNode[Object] */;
 val* var2 /* : null */;
 short int var3 /* : Bool */;
+short int var4 /* : Bool */;
+val* var_other /* var other: nullable Object */;
+short int var6 /* : Bool */;
+short int var7 /* : Bool */;
+short int var8 /* : Bool */;
 var1 = self->attrs[COLOR_hash_collection__HashSetIterator___node].val; /* _node on <self:HashSetIterator[Object]> */
 var2 = NULL;
 if (var1 == NULL) {
@@ -3230,6 +3719,20 @@ var3 = 0; /* is null */
 } else {
 var3 = 1; /* arg is null and recv is not */
 }
+if (0) {
+{ /* Inline kernel#Object#!= (var1,var2) on <var1:nullable HashSetNode[Object]> */
+var_other = var2;
+{
+var7 = ((short int (*)(val*, val*))(var1->class->vft[COLOR_kernel__Object___61d_61d]))(var1, var_other) /* == on <var1:nullable HashSetNode[Object](HashSetNode[Object])>*/;
+var6 = var7;
+}
+var8 = !var6;
+var4 = var8;
+goto RET_LABEL5;
+RET_LABEL5:(void)0;
+}
+var3 = var4;
+}
 var = var3;
 goto RET_LABEL;
 RET_LABEL:;
@@ -3250,22 +3753,24 @@ val* var /* : Object */;
 short int var1 /* : Bool */;
 val* var2 /* : nullable HashSetNode[Object] */;
 val* var3 /* : Object */;
-var1 = ((short int (*)(val*))(self->class->vft[COLOR_abstract_collection__Iterator__is_ok]))(self) /* is_ok on <self:HashSetIterator[Object]>*/;
-if (!var1) {
-fprintf(stderr, "Runtime error: %s", "Assert failed");
-fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 462);
+{
+var1 = hash_collection__HashSetIterator__is_ok(self);
+}
+if (unlikely(!var1)) {
+PRINT_ERROR("Runtime error: %s", "Assert failed");
+PRINT_ERROR(" (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 464);
 show_backtrace(1);
 }
 var2 = self->attrs[COLOR_hash_collection__HashSetIterator___node].val; /* _node on <self:HashSetIterator[Object]> */
-if (var2 == NULL) {
-fprintf(stderr, "Runtime error: %s", "Receiver is null");
-fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 463);
+if (unlikely(var2 == NULL)) {
+PRINT_ERROR("Runtime error: %s", "Receiver is null");
+PRINT_ERROR(" (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 465);
 show_backtrace(1);
 }
 var3 = var2->attrs[COLOR_hash_collection__HashNode___key].val; /* _key on <var2:nullable HashSetNode[Object]> */
-if (var3 == NULL) {
-fprintf(stderr, "Runtime error: %s", "Uninitialized attribute _key");
-fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 463);
+if (unlikely(var3 == NULL)) {
+PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _key");
+PRINT_ERROR(" (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 465);
 show_backtrace(1);
 }
 var = var3;
@@ -3287,16 +3792,18 @@ void hash_collection__HashSetIterator__next(val* self) {
 short int var /* : Bool */;
 val* var1 /* : nullable HashSetNode[Object] */;
 val* var2 /* : nullable HashNode[Object] */;
-var = ((short int (*)(val*))(self->class->vft[COLOR_abstract_collection__Iterator__is_ok]))(self) /* is_ok on <self:HashSetIterator[Object]>*/;
-if (!var) {
-fprintf(stderr, "Runtime error: %s", "Assert failed");
-fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 468);
+{
+var = hash_collection__HashSetIterator__is_ok(self);
+}
+if (unlikely(!var)) {
+PRINT_ERROR("Runtime error: %s", "Assert failed");
+PRINT_ERROR(" (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 470);
 show_backtrace(1);
 }
 var1 = self->attrs[COLOR_hash_collection__HashSetIterator___node].val; /* _node on <self:HashSetIterator[Object]> */
-if (var1 == NULL) {
-fprintf(stderr, "Runtime error: %s", "Receiver is null");
-fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 469);
+if (unlikely(var1 == NULL)) {
+PRINT_ERROR("Runtime error: %s", "Receiver is null");
+PRINT_ERROR(" (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 471);
 show_backtrace(1);
 }
 var2 = var1->attrs[COLOR_hash_collection__HashNode___next_item].val; /* _next_item on <var1:nullable HashSetNode[Object]> */
@@ -3305,7 +3812,7 @@ RET_LABEL:;
 }
 /* method hash_collection#HashSetIterator#next for (self: Object) */
 void VIRTUAL_hash_collection__HashSetIterator__next(val* self) {
-hash_collection__HashSetIterator__next(self);
+hash_collection__HashSetIterator__next(self); /* Direct call hash_collection#HashSetIterator#next on <self:Object(HashSetIterator[Object])>*/
 RET_LABEL:;
 }
 /* method hash_collection#HashSetIterator#init for (self: HashSetIterator[Object], HashSet[Object]) */
@@ -3327,10 +3834,10 @@ var = 0;
 } else {
 var = p0->type->type_table[cltype] == idtype;
 }
-if (!var) {
+if (unlikely(!var)) {
 var_class_name = p0 == NULL ? "null" : p0->type->name;
-fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "HashSet[HashSetIterator#0]", var_class_name);
-fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 478);
+PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "HashSet[HashSetIterator#0]", var_class_name);
+PRINT_ERROR(" (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 480);
 show_backtrace(1);
 }
 var_set = p0;
@@ -3341,6 +3848,6 @@ RET_LABEL:;
 }
 /* method hash_collection#HashSetIterator#init for (self: Object, HashSet[Object]) */
 void VIRTUAL_hash_collection__HashSetIterator__init(val* self, val* p0) {
-hash_collection__HashSetIterator__init(self, p0);
+hash_collection__HashSetIterator__init(self, p0); /* Direct call hash_collection#HashSetIterator#init on <self:Object(HashSetIterator[Object])>*/
 RET_LABEL:;
 }