c_src: update

[nit.git] / c_src / range.sep.1.c

diff --git a/c_src/range.sep.1.c b/c_src/range.sep.1.c
index 3a5740e..266a030 100644 (file)
--- a/c_src/range.sep.1.c
+++ b/c_src/range.sep.1.c
@@ -4,9 +4,9 @@ val* range__Range__first(val* self) {
 val* var /* : Discrete */;
 val* var1 /* : Discrete */;
 var1 = self->attrs[COLOR_range__Range___first].val; /* _first on <self:Range[Discrete]> */
-if (var1 == NULL) {
-fprintf(stderr, "Runtime error: %s", "Uninitialized attribute _first");
-fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/range.nit", 22);
+if (unlikely(var1 == NULL)) {
+PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _first");
+PRINT_ERROR(" (%s:%d)\n", "lib/standard/collection/range.nit", 22);
 show_backtrace(1);
 }
 var = var1;
@@ -17,19 +17,84 @@ return var;
 val* VIRTUAL_range__Range__first(val* self) {
 val* var /* : nullable Object */;
 val* var1 /* : Discrete */;
-var1 = range__Range__first(self);
+val* var3 /* : Discrete */;
+{ /* Inline range#Range#first (self) on <self:Object(Range[Discrete])> */
+var3 = self->attrs[COLOR_range__Range___first].val; /* _first on <self:Object(Range[Discrete])> */
+if (unlikely(var3 == NULL)) {
+PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _first");
+PRINT_ERROR(" (%s:%d)\n", "lib/standard/collection/range.nit", 22);
+show_backtrace(1);
+}
+var1 = var3;
+RET_LABEL2:(void)0;
+}
 var = var1;
 RET_LABEL:;
 return var;
 }
+/* method range#Range#first= for (self: Range[Discrete], Discrete) */
+void range__Range__first_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 (first) <p0:Discrete> isa Range#0 */
+/* <p0:Discrete> isa Range#0 */
+type_struct = self->type->resolution_table->types[COLOR_range__Range_FT0];
+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 (unlikely(!var)) {
+var_class_name = p0 == NULL ? "null" : p0->type->name;
+PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "Range#0", var_class_name);
+PRINT_ERROR(" (%s:%d)\n", "lib/standard/collection/range.nit", 22);
+show_backtrace(1);
+}
+self->attrs[COLOR_range__Range___first].val = p0; /* _first on <self:Range[Discrete]> */
+RET_LABEL:;
+}
+/* method range#Range#first= for (self: Object, Discrete) */
+void VIRTUAL_range__Range__first_61d(val* self, val* p0) {
+short int var /* : Bool */;
+int cltype;
+int idtype;
+const struct type* type_struct;
+const char* var_class_name;
+{ /* Inline range#Range#first= (self,p0) on <self:Object(Range[Discrete])> */
+/* Covariant cast for argument 0 (first) <p0:Discrete> isa Range#0 */
+/* <p0:Discrete> isa Range#0 */
+type_struct = self->type->resolution_table->types[COLOR_range__Range_FT0];
+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 (unlikely(!var)) {
+var_class_name = p0 == NULL ? "null" : p0->type->name;
+PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "Range#0", var_class_name);
+PRINT_ERROR(" (%s:%d)\n", "lib/standard/collection/range.nit", 22);
+show_backtrace(1);
+}
+self->attrs[COLOR_range__Range___first].val = p0; /* _first on <self:Object(Range[Discrete])> */
+RET_LABEL1:(void)0;
+}
+RET_LABEL:;
+}
 /* method range#Range#last for (self: Range[Discrete]): Discrete */
 val* range__Range__last(val* self) {
 val* var /* : Discrete */;
 val* var1 /* : Discrete */;
 var1 = self->attrs[COLOR_range__Range___last].val; /* _last on <self:Range[Discrete]> */
-if (var1 == NULL) {
-fprintf(stderr, "Runtime error: %s", "Uninitialized attribute _last");
-fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/range.nit", 24);
+if (unlikely(var1 == NULL)) {
+PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _last");
+PRINT_ERROR(" (%s:%d)\n", "lib/standard/collection/range.nit", 24);
 show_backtrace(1);
 }
 var = var1;
@@ -40,19 +105,84 @@ return var;
 val* VIRTUAL_range__Range__last(val* self) {
 val* var /* : Discrete */;
 val* var1 /* : Discrete */;
-var1 = range__Range__last(self);
+val* var3 /* : Discrete */;
+{ /* Inline range#Range#last (self) on <self:Object(Range[Discrete])> */
+var3 = self->attrs[COLOR_range__Range___last].val; /* _last on <self:Object(Range[Discrete])> */
+if (unlikely(var3 == NULL)) {
+PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _last");
+PRINT_ERROR(" (%s:%d)\n", "lib/standard/collection/range.nit", 24);
+show_backtrace(1);
+}
+var1 = var3;
+RET_LABEL2:(void)0;
+}
 var = var1;
 RET_LABEL:;
 return var;
 }
+/* method range#Range#last= for (self: Range[Discrete], Discrete) */
+void range__Range__last_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 (last) <p0:Discrete> isa Range#0 */
+/* <p0:Discrete> isa Range#0 */
+type_struct = self->type->resolution_table->types[COLOR_range__Range_FT0];
+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 (unlikely(!var)) {
+var_class_name = p0 == NULL ? "null" : p0->type->name;
+PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "Range#0", var_class_name);
+PRINT_ERROR(" (%s:%d)\n", "lib/standard/collection/range.nit", 24);
+show_backtrace(1);
+}
+self->attrs[COLOR_range__Range___last].val = p0; /* _last on <self:Range[Discrete]> */
+RET_LABEL:;
+}
+/* method range#Range#last= for (self: Object, Discrete) */
+void VIRTUAL_range__Range__last_61d(val* self, val* p0) {
+short int var /* : Bool */;
+int cltype;
+int idtype;
+const struct type* type_struct;
+const char* var_class_name;
+{ /* Inline range#Range#last= (self,p0) on <self:Object(Range[Discrete])> */
+/* Covariant cast for argument 0 (last) <p0:Discrete> isa Range#0 */
+/* <p0:Discrete> isa Range#0 */
+type_struct = self->type->resolution_table->types[COLOR_range__Range_FT0];
+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 (unlikely(!var)) {
+var_class_name = p0 == NULL ? "null" : p0->type->name;
+PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "Range#0", var_class_name);
+PRINT_ERROR(" (%s:%d)\n", "lib/standard/collection/range.nit", 24);
+show_backtrace(1);
+}
+self->attrs[COLOR_range__Range___last].val = p0; /* _last on <self:Object(Range[Discrete])> */
+RET_LABEL1:(void)0;
+}
+RET_LABEL:;
+}
 /* method range#Range#after for (self: Range[Discrete]): Discrete */
 val* range__Range__after(val* self) {
 val* var /* : Discrete */;
 val* var1 /* : Discrete */;
 var1 = self->attrs[COLOR_range__Range___after].val; /* _after on <self:Range[Discrete]> */
-if (var1 == NULL) {
-fprintf(stderr, "Runtime error: %s", "Uninitialized attribute _after");
-fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/range.nit", 27);
+if (unlikely(var1 == NULL)) {
+PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _after");
+PRINT_ERROR(" (%s:%d)\n", "lib/standard/collection/range.nit", 27);
 show_backtrace(1);
 }
 var = var1;
@@ -63,165 +193,93 @@ return var;
 val* VIRTUAL_range__Range__after(val* self) {
 val* var /* : Discrete */;
 val* var1 /* : Discrete */;
-var1 = range__Range__after(self);
+val* var3 /* : Discrete */;
+{ /* Inline range#Range#after (self) on <self:Object(Range[Discrete])> */
+var3 = self->attrs[COLOR_range__Range___after].val; /* _after on <self:Object(Range[Discrete])> */
+if (unlikely(var3 == NULL)) {
+PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _after");
+PRINT_ERROR(" (%s:%d)\n", "lib/standard/collection/range.nit", 27);
+show_backtrace(1);
+}
+var1 = var3;
+RET_LABEL2:(void)0;
+}
 var = var1;
 RET_LABEL:;
 return var;
 }
-/* method range#Range#has for (self: Range[Discrete], Discrete): Bool */
-short int range__Range__has(val* self, val* p0) {
+/* method range#Range#after= for (self: Range[Discrete], Discrete) */
+void range__Range__after_61d(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_item /* var item: Discrete */;
-short int var2 /* : Bool */;
-val* var3 /* : Discrete */;
-short int var4 /* : Bool */;
-short int var_ /* var : Bool */;
-val* var5 /* : Discrete */;
-short int var6 /* : Bool */;
-/* Covariant cast for argument 0 (item) <p0:Discrete> isa Collection#0 */
-/* <p0:Discrete> isa Collection#0 */
-type_struct = self->type->resolution_table->types[COLOR_abstract_collection__Collection_FT0];
+/* Covariant cast for argument 0 (after) <p0:Discrete> isa Range#0 */
+/* <p0:Discrete> isa Range#0 */
+type_struct = self->type->resolution_table->types[COLOR_range__Range_FT0];
 cltype = type_struct->color;
 idtype = type_struct->id;
 if(cltype >= p0->type->table_size) {
-var1 = 0;
+var = 0;
 } else {
-var1 = p0->type->type_table[cltype] == idtype;
+var = p0->type->type_table[cltype] == idtype;
 }
-if (!var1) {
+if (unlikely(!var)) {
 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/range.nit", 30);
-show_backtrace(1);
-}
-var_item = p0;
-var3 = self->attrs[COLOR_range__Range___first].val; /* _first on <self:Range[Discrete]> */
-if (var3 == NULL) {
-fprintf(stderr, "Runtime error: %s", "Uninitialized attribute _first");
-fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/range.nit", 30);
-show_backtrace(1);
-}
-var4 = ((short int (*)(val*, val*))(var_item->class->vft[COLOR_kernel__Comparable___62d_61d]))(var_item, var3) /* >= on <var_item:Discrete>*/;
-var_ = var4;
-if (var4){
-var5 = self->attrs[COLOR_range__Range___last].val; /* _last on <self:Range[Discrete]> */
-if (var5 == NULL) {
-fprintf(stderr, "Runtime error: %s", "Uninitialized attribute _last");
-fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/range.nit", 30);
+PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "Range#0", var_class_name);
+PRINT_ERROR(" (%s:%d)\n", "lib/standard/collection/range.nit", 27);
 show_backtrace(1);
 }
-var6 = ((short int (*)(val*, val*))(var_item->class->vft[COLOR_kernel__Comparable___60d_61d]))(var_item, var5) /* <= on <var_item:Discrete>*/;
-var2 = var6;
-} else {
-var2 = var_;
-}
-var = var2;
-goto RET_LABEL;
+self->attrs[COLOR_range__Range___after].val = p0; /* _after on <self:Range[Discrete]> */
 RET_LABEL:;
-return var;
 }
-/* method range#Range#has for (self: Object, nullable Object): Bool */
-short int VIRTUAL_range__Range__has(val* self, val* p0) {
+/* method range#Range#after= for (self: Object, Discrete) */
+void VIRTUAL_range__Range__after_61d(val* self, val* p0) {
 short int var /* : Bool */;
-short int var1 /* : Bool */;
-var1 = range__Range__has(self, p0);
-var = var1;
-RET_LABEL:;
-return var;
-}
-/* method range#Range#has_only for (self: Range[Discrete], Discrete): Bool */
-short int range__Range__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_item /* var item: Discrete */;
-short int var2 /* : Bool */;
-short int var3 /* : Bool */;
-val* var4 /* : Discrete */;
-short int var5 /* : Bool */;
-short int var_ /* var : Bool */;
-val* var6 /* : Discrete */;
-short int var7 /* : Bool */;
-short int var_8 /* var : Bool */;
-short int var9 /* : Bool */;
-/* Covariant cast for argument 0 (item) <p0:Discrete> isa Collection#0 */
-/* <p0:Discrete> isa Collection#0 */
-type_struct = self->type->resolution_table->types[COLOR_abstract_collection__Collection_FT0];
+{ /* Inline range#Range#after= (self,p0) on <self:Object(Range[Discrete])> */
+/* Covariant cast for argument 0 (after) <p0:Discrete> isa Range#0 */
+/* <p0:Discrete> isa Range#0 */
+type_struct = self->type->resolution_table->types[COLOR_range__Range_FT0];
 cltype = type_struct->color;
 idtype = type_struct->id;
 if(cltype >= p0->type->table_size) {
-var1 = 0;
+var = 0;
 } else {
-var1 = p0->type->type_table[cltype] == idtype;
+var = p0->type->type_table[cltype] == idtype;
 }
-if (!var1) {
+if (unlikely(!var)) {
 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/range.nit", 32);
+PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "Range#0", var_class_name);
+PRINT_ERROR(" (%s:%d)\n", "lib/standard/collection/range.nit", 27);
 show_backtrace(1);
 }
-var_item = p0;
-var4 = self->attrs[COLOR_range__Range___first].val; /* _first on <self:Range[Discrete]> */
-if (var4 == NULL) {
-fprintf(stderr, "Runtime error: %s", "Uninitialized attribute _first");
-fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/range.nit", 32);
-show_backtrace(1);
-}
-var5 = ((short int (*)(val*, val*))(var4->class->vft[COLOR_kernel__Object___61d_61d]))(var4, var_item) /* == on <var4:Discrete>*/;
-var_ = var5;
-if (var5){
-var6 = self->attrs[COLOR_range__Range___last].val; /* _last on <self:Range[Discrete]> */
-if (var6 == NULL) {
-fprintf(stderr, "Runtime error: %s", "Uninitialized attribute _last");
-fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/range.nit", 32);
-show_backtrace(1);
+self->attrs[COLOR_range__Range___after].val = p0; /* _after on <self:Object(Range[Discrete])> */
+RET_LABEL1:(void)0;
 }
-var7 = ((short int (*)(val*, val*))(var_item->class->vft[COLOR_kernel__Object___61d_61d]))(var_item, var6) /* == on <var_item:Discrete>*/;
-var3 = var7;
-} else {
-var3 = var_;
-}
-var_8 = var3;
-if (var3){
-var2 = var_8;
-} else {
-var9 = ((short int (*)(val*))(self->class->vft[COLOR_abstract_collection__Collection__is_empty]))(self) /* is_empty on <self:Range[Discrete]>*/;
-var2 = var9;
-}
-var = var2;
-goto RET_LABEL;
 RET_LABEL:;
-return var;
 }
-/* method range#Range#has_only for (self: Object, nullable Object): Bool */
-short int VIRTUAL_range__Range__has_only(val* self, val* p0) {
+/* method range#Range#has for (self: Range[Discrete], Discrete): Bool */
+short int range__Range__has(val* self, val* p0) {
 short int var /* : Bool */;
 short int var1 /* : Bool */;
-var1 = range__Range__has_only(self, p0);
-var = var1;
-RET_LABEL:;
-return var;
-}
-/* method range#Range#count for (self: Range[Discrete], Discrete): Int */
-long range__Range__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_item /* var item: Discrete */;
 short int var2 /* : Bool */;
-long var3 /* : Int */;
-long var4 /* : Int */;
+val* var3 /* : Discrete */;
+val* var5 /* : Discrete */;
+short int var6 /* : Bool */;
+short int var_ /* var : Bool */;
+val* var7 /* : Discrete */;
+val* var9 /* : Discrete */;
+short int var10 /* : Bool */;
 /* Covariant cast for argument 0 (item) <p0:Discrete> isa Collection#0 */
 /* <p0:Discrete> isa Collection#0 */
 type_struct = self->type->resolution_table->types[COLOR_abstract_collection__Collection_FT0];
@@ -232,31 +290,59 @@ 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/range.nit", 34);
+PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "Collection#0", var_class_name);
+PRINT_ERROR(" (%s:%d)\n", "lib/standard/collection/range.nit", 30);
 show_backtrace(1);
 }
 var_item = p0;
-var2 = ((short int (*)(val*, val*))(self->class->vft[COLOR_abstract_collection__Collection__has]))(self, var_item) /* has on <self:Range[Discrete]>*/;
-if (var2){
-var3 = 1;
-var = var3;
-goto RET_LABEL;
+{
+{ /* Inline range#Range#first (self) on <self:Range[Discrete]> */
+var5 = self->attrs[COLOR_range__Range___first].val; /* _first on <self:Range[Discrete]> */
+if (unlikely(var5 == NULL)) {
+PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _first");
+PRINT_ERROR(" (%s:%d)\n", "lib/standard/collection/range.nit", 22);
+show_backtrace(1);
+}
+var3 = var5;
+RET_LABEL4:(void)0;
+}
+}
+{
+var6 = ((short int (*)(val*, val*))(var_item->class->vft[COLOR_kernel__Comparable___62d_61d]))(var_item, var3) /* >= on <var_item:Discrete>*/;
+}
+var_ = var6;
+if (var6){
+{
+{ /* Inline range#Range#last (self) on <self:Range[Discrete]> */
+var9 = self->attrs[COLOR_range__Range___last].val; /* _last on <self:Range[Discrete]> */
+if (unlikely(var9 == NULL)) {
+PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _last");
+PRINT_ERROR(" (%s:%d)\n", "lib/standard/collection/range.nit", 24);
+show_backtrace(1);
+}
+var7 = var9;
+RET_LABEL8:(void)0;
+}
+}
+{
+var10 = ((short int (*)(val*, val*))(var_item->class->vft[COLOR_kernel__Comparable___60d_61d]))(var_item, var7) /* <= on <var_item:Discrete>*/;
+}
+var2 = var10;
 } else {
-var4 = 0;
-var = var4;
-goto RET_LABEL;
+var2 = var_;
 }
+var = var2;
+goto RET_LABEL;
 RET_LABEL:;
 return var;
 }
-/* method range#Range#count for (self: Object, nullable Object): Int */
-long VIRTUAL_range__Range__count(val* self, val* p0) {
-long var /* : Int */;
-long var1 /* : Int */;
-var1 = range__Range__count(self, p0);
+/* method range#Range#has for (self: Object, nullable Object): Bool */
+short int VIRTUAL_range__Range__has(val* self, val* p0) {
+short int var /* : Bool */;
+short int var1 /* : Bool */;
+var1 = range__Range__has(self, p0);
 var = var1;
 RET_LABEL:;
 return var;
@@ -266,7 +352,9 @@ val* range__Range__iterator(val* self) {
 val* var /* : Iterator[Discrete] */;
 val* var1 /* : IteratorRange[Discrete] */;
 var1 = NEW_range__IteratorRange(self->type->resolution_table->types[COLOR_range__IteratorRangerange__Range_FT0]);
-((void (*)(val*, val*))(var1->class->vft[COLOR_range__IteratorRange__init]))(var1, self) /* init on <var1:IteratorRange[Discrete]>*/;
+{
+range__IteratorRange__init(var1, self); /* Direct call range#IteratorRange#init on <var1:IteratorRange[Discrete]>*/
+}
 var = var1;
 goto RET_LABEL;
 RET_LABEL:;
@@ -285,53 +373,71 @@ return var;
 long range__Range__length(val* self) {
 long var /* : Int */;
 val* var1 /* : Discrete */;
-val* var2 /* : Discrete */;
-long var3 /* : Int */;
+val* var3 /* : Discrete */;
+val* var4 /* : Discrete */;
+val* var6 /* : Discrete */;
+long var7 /* : Int */;
 long var_nb /* var nb: Int */;
-long var4 /* : Int */;
-short int var5 /* : Bool */;
-short int var7 /* : Bool */;
+long var8 /* : Int */;
+short int var9 /* : Bool */;
+short int var11 /* : Bool */;
 int cltype;
 int idtype;
 const char* var_class_name;
-short int var8 /* : Bool */;
-long var9 /* : Int */;
-var1 = self->attrs[COLOR_range__Range___first].val; /* _first on <self:Range[Discrete]> */
-if (var1 == NULL) {
-fprintf(stderr, "Runtime error: %s", "Uninitialized attribute _first");
-fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/range.nit", 47);
+short int var12 /* : Bool */;
+long var13 /* : Int */;
+{
+{ /* Inline range#Range#first (self) on <self:Range[Discrete]> */
+var3 = self->attrs[COLOR_range__Range___first].val; /* _first on <self:Range[Discrete]> */
+if (unlikely(var3 == NULL)) {
+PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _first");
+PRINT_ERROR(" (%s:%d)\n", "lib/standard/collection/range.nit", 22);
 show_backtrace(1);
 }
-var2 = self->attrs[COLOR_range__Range___after].val; /* _after on <self:Range[Discrete]> */
-if (var2 == NULL) {
-fprintf(stderr, "Runtime error: %s", "Uninitialized attribute _after");
-fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/range.nit", 47);
+var1 = var3;
+RET_LABEL2:(void)0;
+}
+}
+{
+{ /* Inline range#Range#after (self) on <self:Range[Discrete]> */
+var6 = self->attrs[COLOR_range__Range___after].val; /* _after on <self:Range[Discrete]> */
+if (unlikely(var6 == NULL)) {
+PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _after");
+PRINT_ERROR(" (%s:%d)\n", "lib/standard/collection/range.nit", 27);
 show_backtrace(1);
 }
-var3 = ((long (*)(val*, val*))(var1->class->vft[COLOR_kernel__Discrete__distance]))(var1, var2) /* distance on <var1:Discrete>*/;
-var_nb = var3;
-var4 = 0;
-{ /* Inline kernel#Int#> (var_nb,var4) */
-/* Covariant cast for argument 0 (i) <var4:Int> isa OTHER */
-/* <var4:Int> isa OTHER */
-var7 = 1; /* easy <var4:Int> isa OTHER*/
-if (!var7) {
+var4 = var6;
+RET_LABEL5:(void)0;
+}
+}
+{
+var7 = ((long (*)(val*, val*))(var1->class->vft[COLOR_kernel__Discrete__distance]))(var1, var4) /* distance on <var1:Discrete>*/;
+}
+var_nb = var7;
+var8 = 0;
+{
+{ /* Inline kernel#Int#> (var_nb,var8) on <var_nb:Int> */
+/* Covariant cast for argument 0 (i) <var8:Int> isa OTHER */
+/* <var8:Int> isa OTHER */
+var11 = 1; /* easy <var8:Int> isa OTHER*/
+if (unlikely(!var11)) {
 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);
 }
-var8 = var_nb > var4;
-var5 = var8;
-goto RET_LABEL6;
-RET_LABEL6:(void)0;
+var12 = var_nb > var8;
+var9 = var12;
+goto RET_LABEL10;
+RET_LABEL10:(void)0;
+}
 }
-if (var5){
+if (var9){
 var = var_nb;
 goto RET_LABEL;
 } else {
-var9 = 0;
-var = var9;
+var13 = 0;
+var = var13;
 goto RET_LABEL;
 }
 RET_LABEL:;
@@ -350,22 +456,38 @@ return var;
 short int range__Range__is_empty(val* self) {
 short int var /* : Bool */;
 val* var1 /* : Discrete */;
-val* var2 /* : Discrete */;
-short int var3 /* : Bool */;
-var1 = self->attrs[COLOR_range__Range___first].val; /* _first on <self:Range[Discrete]> */
-if (var1 == NULL) {
-fprintf(stderr, "Runtime error: %s", "Uninitialized attribute _first");
-fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/range.nit", 55);
+val* var3 /* : Discrete */;
+val* var4 /* : Discrete */;
+val* var6 /* : Discrete */;
+short int var7 /* : Bool */;
+{
+{ /* Inline range#Range#first (self) on <self:Range[Discrete]> */
+var3 = self->attrs[COLOR_range__Range___first].val; /* _first on <self:Range[Discrete]> */
+if (unlikely(var3 == NULL)) {
+PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _first");
+PRINT_ERROR(" (%s:%d)\n", "lib/standard/collection/range.nit", 22);
 show_backtrace(1);
 }
-var2 = self->attrs[COLOR_range__Range___after].val; /* _after on <self:Range[Discrete]> */
-if (var2 == NULL) {
-fprintf(stderr, "Runtime error: %s", "Uninitialized attribute _after");
-fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/range.nit", 55);
+var1 = var3;
+RET_LABEL2:(void)0;
+}
+}
+{
+{ /* Inline range#Range#after (self) on <self:Range[Discrete]> */
+var6 = self->attrs[COLOR_range__Range___after].val; /* _after on <self:Range[Discrete]> */
+if (unlikely(var6 == NULL)) {
+PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _after");
+PRINT_ERROR(" (%s:%d)\n", "lib/standard/collection/range.nit", 27);
 show_backtrace(1);
 }
-var3 = ((short int (*)(val*, val*))(var1->class->vft[COLOR_kernel__Comparable___62d_61d]))(var1, var2) /* >= on <var1:Discrete>*/;
-var = var3;
+var4 = var6;
+RET_LABEL5:(void)0;
+}
+}
+{
+var7 = ((short int (*)(val*, val*))(var1->class->vft[COLOR_kernel__Comparable___62d_61d]))(var1, var4) /* >= on <var1:Discrete>*/;
+}
+var = var7;
 goto RET_LABEL;
 RET_LABEL:;
 return var;
@@ -393,12 +515,28 @@ const struct type* type_struct4;
 const char* var_class_name5;
 val* var_from /* var from: Discrete */;
 val* var_to /* var to: Discrete */;
-val* var6 /* : Discrete */;
 short int var7 /* : Bool */;
 int cltype8;
 int idtype9;
 const struct type* type_struct10;
 const char* var_class_name11;
+short int var13 /* : Bool */;
+int cltype14;
+int idtype15;
+const struct type* type_struct16;
+const char* var_class_name17;
+long var18 /* : Int */;
+val* var19 /* : Discrete */;
+short int var20 /* : Bool */;
+int cltype21;
+int idtype22;
+const struct type* type_struct23;
+const char* var_class_name24;
+short int var26 /* : Bool */;
+int cltype27;
+int idtype28;
+const struct type* type_struct29;
+const char* var_class_name30;
 /* Covariant cast for argument 0 (from) <p0:Discrete> isa Range#0 */
 /* <p0:Discrete> isa Range#0 */
 type_struct = self->type->resolution_table->types[COLOR_range__Range_FT0];
@@ -409,10 +547,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`", "Range#0", var_class_name);
-fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/range.nit", 57);
+PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "Range#0", var_class_name);
+PRINT_ERROR(" (%s:%d)\n", "lib/standard/collection/range.nit", 57);
 show_backtrace(1);
 }
 /* Covariant cast for argument 1 (to) <p1:Discrete> isa Range#0 */
@@ -425,38 +563,104 @@ var1 = 0;
 } else {
 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`", "Range#0", var_class_name5);
-fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/range.nit", 57);
+PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "Range#0", var_class_name5);
+PRINT_ERROR(" (%s:%d)\n", "lib/standard/collection/range.nit", 57);
 show_backtrace(1);
 }
 var_from = p0;
 var_to = p1;
-self->attrs[COLOR_range__Range___first].val = var_from; /* _first on <self:Range[Discrete]> */
-self->attrs[COLOR_range__Range___last].val = var_to; /* _last on <self:Range[Discrete]> */
-var6 = ((val* (*)(val*))(var_to->class->vft[COLOR_kernel__Discrete__succ]))(var_to) /* succ on <var_to:Discrete>*/;
-/* <var6:Discrete> isa Range#0 */
+{
+{ /* Inline range#Range#first= (self,var_from) on <self:Range[Discrete]> */
+/* Covariant cast for argument 0 (first) <var_from:Discrete> isa Range#0 */
+/* <var_from:Discrete> isa Range#0 */
 type_struct10 = self->type->resolution_table->types[COLOR_range__Range_FT0];
 cltype8 = type_struct10->color;
 idtype9 = type_struct10->id;
-if(cltype8 >= var6->type->table_size) {
+if(cltype8 >= var_from->type->table_size) {
 var7 = 0;
 } else {
-var7 = var6->type->type_table[cltype8] == idtype9;
+var7 = var_from->type->type_table[cltype8] == idtype9;
+}
+if (unlikely(!var7)) {
+var_class_name11 = var_from == NULL ? "null" : var_from->type->name;
+PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "Range#0", var_class_name11);
+PRINT_ERROR(" (%s:%d)\n", "lib/standard/collection/range.nit", 22);
+show_backtrace(1);
+}
+self->attrs[COLOR_range__Range___first].val = var_from; /* _first on <self:Range[Discrete]> */
+RET_LABEL6:(void)0;
+}
+}
+{
+{ /* Inline range#Range#last= (self,var_to) on <self:Range[Discrete]> */
+/* Covariant cast for argument 0 (last) <var_to:Discrete> isa Range#0 */
+/* <var_to:Discrete> isa Range#0 */
+type_struct16 = self->type->resolution_table->types[COLOR_range__Range_FT0];
+cltype14 = type_struct16->color;
+idtype15 = type_struct16->id;
+if(cltype14 >= var_to->type->table_size) {
+var13 = 0;
+} else {
+var13 = var_to->type->type_table[cltype14] == idtype15;
 }
-if (!var7) {
-var_class_name11 = var6 == NULL ? "null" : var6->type->name;
-fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "Range#0", var_class_name11);
-fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/range.nit", 63);
+if (unlikely(!var13)) {
+var_class_name17 = var_to == NULL ? "null" : var_to->type->name;
+PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "Range#0", var_class_name17);
+PRINT_ERROR(" (%s:%d)\n", "lib/standard/collection/range.nit", 24);
 show_backtrace(1);
 }
-self->attrs[COLOR_range__Range___after].val = var6; /* _after on <self:Range[Discrete]> */
+self->attrs[COLOR_range__Range___last].val = var_to; /* _last on <self:Range[Discrete]> */
+RET_LABEL12:(void)0;
+}
+}
+var18 = 1;
+{
+var19 = ((val* (*)(val*, long))(var_to->class->vft[COLOR_kernel__Discrete__successor]))(var_to, var18) /* successor on <var_to:Discrete>*/;
+}
+/* <var19:Discrete> isa Range#0 */
+type_struct23 = self->type->resolution_table->types[COLOR_range__Range_FT0];
+cltype21 = type_struct23->color;
+idtype22 = type_struct23->id;
+if(cltype21 >= var19->type->table_size) {
+var20 = 0;
+} else {
+var20 = var19->type->type_table[cltype21] == idtype22;
+}
+if (unlikely(!var20)) {
+var_class_name24 = var19 == NULL ? "null" : var19->type->name;
+PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "Range#0", var_class_name24);
+PRINT_ERROR(" (%s:%d)\n", "lib/standard/collection/range.nit", 63);
+show_backtrace(1);
+}
+{
+{ /* Inline range#Range#after= (self,var19) on <self:Range[Discrete]> */
+/* Covariant cast for argument 0 (after) <var19:Discrete> isa Range#0 */
+/* <var19:Discrete> isa Range#0 */
+type_struct29 = self->type->resolution_table->types[COLOR_range__Range_FT0];
+cltype27 = type_struct29->color;
+idtype28 = type_struct29->id;
+if(cltype27 >= var19->type->table_size) {
+var26 = 0;
+} else {
+var26 = var19->type->type_table[cltype27] == idtype28;
+}
+if (unlikely(!var26)) {
+var_class_name30 = var19 == NULL ? "null" : var19->type->name;
+PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "Range#0", var_class_name30);
+PRINT_ERROR(" (%s:%d)\n", "lib/standard/collection/range.nit", 27);
+show_backtrace(1);
+}
+self->attrs[COLOR_range__Range___after].val = var19; /* _after on <self:Range[Discrete]> */
+RET_LABEL25:(void)0;
+}
+}
 RET_LABEL:;
 }
 /* method range#Range#init for (self: Object, Discrete, Discrete) */
 void VIRTUAL_range__Range__init(val* self, val* p0, val* p1) {
-range__Range__init(self, p0, p1);
+range__Range__init(self, p0, p1); /* Direct call range#Range#init on <self:Object(Range[Discrete])>*/
 RET_LABEL:;
 }
 /* method range#Range#without_last for (self: Range[Discrete], Discrete, Discrete) */
@@ -473,12 +677,28 @@ const struct type* type_struct4;
 const char* var_class_name5;
 val* var_from /* var from: Discrete */;
 val* var_to /* var to: Discrete */;
-val* var6 /* : Discrete */;
 short int var7 /* : Bool */;
 int cltype8;
 int idtype9;
 const struct type* type_struct10;
 const char* var_class_name11;
+long var12 /* : Int */;
+val* var13 /* : Discrete */;
+short int var14 /* : Bool */;
+int cltype15;
+int idtype16;
+const struct type* type_struct17;
+const char* var_class_name18;
+short int var20 /* : Bool */;
+int cltype21;
+int idtype22;
+const struct type* type_struct23;
+const char* var_class_name24;
+short int var26 /* : Bool */;
+int cltype27;
+int idtype28;
+const struct type* type_struct29;
+const char* var_class_name30;
 /* Covariant cast for argument 0 (from) <p0:Discrete> isa Range#0 */
 /* <p0:Discrete> isa Range#0 */
 type_struct = self->type->resolution_table->types[COLOR_range__Range_FT0];
@@ -489,10 +709,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`", "Range#0", var_class_name);
-fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/range.nit", 66);
+PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "Range#0", var_class_name);
+PRINT_ERROR(" (%s:%d)\n", "lib/standard/collection/range.nit", 66);
 show_backtrace(1);
 }
 /* Covariant cast for argument 1 (to) <p1:Discrete> isa Range#0 */
@@ -505,38 +725,104 @@ var1 = 0;
 } else {
 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`", "Range#0", var_class_name5);
-fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/range.nit", 66);
+PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "Range#0", var_class_name5);
+PRINT_ERROR(" (%s:%d)\n", "lib/standard/collection/range.nit", 66);
 show_backtrace(1);
 }
 var_from = p0;
 var_to = p1;
-self->attrs[COLOR_range__Range___first].val = var_from; /* _first on <self:Range[Discrete]> */
-var6 = ((val* (*)(val*))(var_to->class->vft[COLOR_kernel__Discrete__prec]))(var_to) /* prec on <var_to:Discrete>*/;
-/* <var6:Discrete> isa Range#0 */
+{
+{ /* Inline range#Range#first= (self,var_from) on <self:Range[Discrete]> */
+/* Covariant cast for argument 0 (first) <var_from:Discrete> isa Range#0 */
+/* <var_from:Discrete> isa Range#0 */
 type_struct10 = self->type->resolution_table->types[COLOR_range__Range_FT0];
 cltype8 = type_struct10->color;
 idtype9 = type_struct10->id;
-if(cltype8 >= var6->type->table_size) {
+if(cltype8 >= var_from->type->table_size) {
 var7 = 0;
 } else {
-var7 = var6->type->type_table[cltype8] == idtype9;
+var7 = var_from->type->type_table[cltype8] == idtype9;
 }
-if (!var7) {
-var_class_name11 = var6 == NULL ? "null" : var6->type->name;
-fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "Range#0", var_class_name11);
-fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/range.nit", 71);
+if (unlikely(!var7)) {
+var_class_name11 = var_from == NULL ? "null" : var_from->type->name;
+PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "Range#0", var_class_name11);
+PRINT_ERROR(" (%s:%d)\n", "lib/standard/collection/range.nit", 22);
+show_backtrace(1);
+}
+self->attrs[COLOR_range__Range___first].val = var_from; /* _first on <self:Range[Discrete]> */
+RET_LABEL6:(void)0;
+}
+}
+var12 = 1;
+{
+var13 = ((val* (*)(val*, long))(var_to->class->vft[COLOR_kernel__Discrete__predecessor]))(var_to, var12) /* predecessor on <var_to:Discrete>*/;
+}
+/* <var13:Discrete> isa Range#0 */
+type_struct17 = self->type->resolution_table->types[COLOR_range__Range_FT0];
+cltype15 = type_struct17->color;
+idtype16 = type_struct17->id;
+if(cltype15 >= var13->type->table_size) {
+var14 = 0;
+} else {
+var14 = var13->type->type_table[cltype15] == idtype16;
+}
+if (unlikely(!var14)) {
+var_class_name18 = var13 == NULL ? "null" : var13->type->name;
+PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "Range#0", var_class_name18);
+PRINT_ERROR(" (%s:%d)\n", "lib/standard/collection/range.nit", 71);
+show_backtrace(1);
+}
+{
+{ /* Inline range#Range#last= (self,var13) on <self:Range[Discrete]> */
+/* Covariant cast for argument 0 (last) <var13:Discrete> isa Range#0 */
+/* <var13:Discrete> isa Range#0 */
+type_struct23 = self->type->resolution_table->types[COLOR_range__Range_FT0];
+cltype21 = type_struct23->color;
+idtype22 = type_struct23->id;
+if(cltype21 >= var13->type->table_size) {
+var20 = 0;
+} else {
+var20 = var13->type->type_table[cltype21] == idtype22;
+}
+if (unlikely(!var20)) {
+var_class_name24 = var13 == NULL ? "null" : var13->type->name;
+PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "Range#0", var_class_name24);
+PRINT_ERROR(" (%s:%d)\n", "lib/standard/collection/range.nit", 24);
+show_backtrace(1);
+}
+self->attrs[COLOR_range__Range___last].val = var13; /* _last on <self:Range[Discrete]> */
+RET_LABEL19:(void)0;
+}
+}
+{
+{ /* Inline range#Range#after= (self,var_to) on <self:Range[Discrete]> */
+/* Covariant cast for argument 0 (after) <var_to:Discrete> isa Range#0 */
+/* <var_to:Discrete> isa Range#0 */
+type_struct29 = self->type->resolution_table->types[COLOR_range__Range_FT0];
+cltype27 = type_struct29->color;
+idtype28 = type_struct29->id;
+if(cltype27 >= var_to->type->table_size) {
+var26 = 0;
+} else {
+var26 = var_to->type->type_table[cltype27] == idtype28;
+}
+if (unlikely(!var26)) {
+var_class_name30 = var_to == NULL ? "null" : var_to->type->name;
+PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "Range#0", var_class_name30);
+PRINT_ERROR(" (%s:%d)\n", "lib/standard/collection/range.nit", 27);
 show_backtrace(1);
 }
-self->attrs[COLOR_range__Range___last].val = var6; /* _last on <self:Range[Discrete]> */
 self->attrs[COLOR_range__Range___after].val = var_to; /* _after on <self:Range[Discrete]> */
+RET_LABEL25:(void)0;
+}
+}
 RET_LABEL:;
 }
 /* method range#Range#without_last for (self: Object, Discrete, Discrete) */
 void VIRTUAL_range__Range__without_last(val* self, val* p0, val* p1) {
-range__Range__without_last(self, p0, p1);
+range__Range__without_last(self, p0, p1); /* Direct call range#Range#without_last on <self:Object(Range[Discrete])>*/
 RET_LABEL:;
 }
 /* method range#IteratorRange#item for (self: IteratorRange[Discrete]): Discrete */
@@ -544,12 +830,13 @@ val* range__IteratorRange__item(val* self) {
 val* var /* : Discrete */;
 val* var1 /* : Discrete */;
 var1 = self->attrs[COLOR_range__IteratorRange___item].val; /* _item on <self:IteratorRange[Discrete]> */
-if (var1 == NULL) {
-fprintf(stderr, "Runtime error: %s", "Uninitialized attribute _item");
-fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/range.nit", 80);
+if (unlikely(var1 == NULL)) {
+PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _item");
+PRINT_ERROR(" (%s:%d)\n", "lib/standard/collection/range.nit", 81);
 show_backtrace(1);
 }
 var = var1;
+goto RET_LABEL;
 RET_LABEL:;
 return var;
 }
@@ -568,22 +855,36 @@ short int var /* : Bool */;
 val* var1 /* : Discrete */;
 val* var2 /* : Range[Discrete] */;
 val* var3 /* : Discrete */;
-short int var4 /* : Bool */;
+val* var5 /* : Discrete */;
+short int var6 /* : Bool */;
 var1 = self->attrs[COLOR_range__IteratorRange___item].val; /* _item on <self:IteratorRange[Discrete]> */
-if (var1 == NULL) {
-fprintf(stderr, "Runtime error: %s", "Uninitialized attribute _item");
-fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/range.nit", 82);
+if (unlikely(var1 == NULL)) {
+PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _item");
+PRINT_ERROR(" (%s:%d)\n", "lib/standard/collection/range.nit", 83);
 show_backtrace(1);
 }
 var2 = self->attrs[COLOR_range__IteratorRange___range].val; /* _range on <self:IteratorRange[Discrete]> */
-if (var2 == NULL) {
-fprintf(stderr, "Runtime error: %s", "Uninitialized attribute _range");
-fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/range.nit", 82);
+if (unlikely(var2 == NULL)) {
+PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _range");
+PRINT_ERROR(" (%s:%d)\n", "lib/standard/collection/range.nit", 83);
+show_backtrace(1);
+}
+{
+{ /* Inline range#Range#after (var2) on <var2:Range[Discrete]> */
+var5 = var2->attrs[COLOR_range__Range___after].val; /* _after on <var2:Range[Discrete]> */
+if (unlikely(var5 == NULL)) {
+PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _after");
+PRINT_ERROR(" (%s:%d)\n", "lib/standard/collection/range.nit", 27);
 show_backtrace(1);
 }
-var3 = ((val* (*)(val*))(var2->class->vft[COLOR_range__Range__after]))(var2) /* after on <var2:Range[Discrete]>*/;
-var4 = ((short int (*)(val*, val*))(var1->class->vft[COLOR_kernel__Comparable___60d]))(var1, var3) /* < on <var1:Discrete>*/;
-var = var4;
+var3 = var5;
+RET_LABEL4:(void)0;
+}
+}
+{
+var6 = ((short int (*)(val*, val*))(var1->class->vft[COLOR_kernel__Comparable___60d]))(var1, var3) /* < on <var1:Discrete>*/;
+}
+var = var6;
 goto RET_LABEL;
 RET_LABEL:;
 return var;
@@ -600,40 +901,44 @@ return var;
 /* method range#IteratorRange#next for (self: IteratorRange[Discrete]) */
 void range__IteratorRange__next(val* self) {
 val* var /* : Discrete */;
-val* var1 /* : Discrete */;
-short int var2 /* : Bool */;
+long var1 /* : Int */;
+val* var2 /* : Discrete */;
+short int var3 /* : Bool */;
 int cltype;
 int idtype;
 const struct type* type_struct;
 const char* var_class_name;
 var = self->attrs[COLOR_range__IteratorRange___item].val; /* _item on <self:IteratorRange[Discrete]> */
-if (var == NULL) {
-fprintf(stderr, "Runtime error: %s", "Uninitialized attribute _item");
-fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/range.nit", 84);
+if (unlikely(var == NULL)) {
+PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _item");
+PRINT_ERROR(" (%s:%d)\n", "lib/standard/collection/range.nit", 85);
 show_backtrace(1);
 }
-var1 = ((val* (*)(val*))(var->class->vft[COLOR_kernel__Discrete__succ]))(var) /* succ on <var:Discrete>*/;
-/* <var1:Discrete> isa IteratorRange#0 */
+var1 = 1;
+{
+var2 = ((val* (*)(val*, long))(var->class->vft[COLOR_kernel__Discrete__successor]))(var, var1) /* successor on <var:Discrete>*/;
+}
+/* <var2:Discrete> isa IteratorRange#0 */
 type_struct = self->type->resolution_table->types[COLOR_range__IteratorRange_FT0];
 cltype = type_struct->color;
 idtype = type_struct->id;
-if(cltype >= var1->type->table_size) {
-var2 = 0;
+if(cltype >= var2->type->table_size) {
+var3 = 0;
 } else {
-var2 = var1->type->type_table[cltype] == idtype;
+var3 = var2->type->type_table[cltype] == idtype;
 }
-if (!var2) {
-var_class_name = var1 == NULL ? "null" : var1->type->name;
-fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "IteratorRange#0", var_class_name);
-fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/range.nit", 84);
+if (unlikely(!var3)) {
+var_class_name = var2 == NULL ? "null" : var2->type->name;
+PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "IteratorRange#0", var_class_name);
+PRINT_ERROR(" (%s:%d)\n", "lib/standard/collection/range.nit", 85);
 show_backtrace(1);
 }
-self->attrs[COLOR_range__IteratorRange___item].val = var1; /* _item on <self:IteratorRange[Discrete]> */
+self->attrs[COLOR_range__IteratorRange___item].val = var2; /* _item on <self:IteratorRange[Discrete]> */
 RET_LABEL:;
 }
 /* method range#IteratorRange#next for (self: Object) */
 void VIRTUAL_range__IteratorRange__next(val* self) {
-range__IteratorRange__next(self);
+range__IteratorRange__next(self); /* Direct call range#IteratorRange#next on <self:Object(IteratorRange[Discrete])>*/
 RET_LABEL:;
 }
 /* method range#IteratorRange#init for (self: IteratorRange[Discrete], Range[Discrete]) */
@@ -644,7 +949,8 @@ int idtype;
 const struct type* type_struct;
 const char* var_class_name;
 val* var_r /* var r: Range[Discrete] */;
-val* var1 /* : nullable Object */;
+val* var1 /* : Discrete */;
+val* var3 /* : Discrete */;
 /* Covariant cast for argument 0 (r) <p0:Range[Discrete]> isa Range[IteratorRange#0] */
 /* <p0:Range[Discrete]> isa Range[IteratorRange#0] */
 type_struct = self->type->resolution_table->types[COLOR_range__Rangerange__IteratorRange_FT0];
@@ -655,48 +961,31 @@ 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`", "Range[IteratorRange#0]", var_class_name);
-fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/range.nit", 86);
+PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "Range[IteratorRange#0]", var_class_name);
+PRINT_ERROR(" (%s:%d)\n", "lib/standard/collection/range.nit", 87);
 show_backtrace(1);
 }
 var_r = p0;
 self->attrs[COLOR_range__IteratorRange___range].val = var_r; /* _range on <self:IteratorRange[Discrete]> */
-var1 = ((val* (*)(val*))(var_r->class->vft[COLOR_abstract_collection__Collection__first]))(var_r) /* first on <var_r:Range[Discrete]>*/;
+{
+{ /* Inline range#Range#first (var_r) on <var_r:Range[Discrete]> */
+var3 = var_r->attrs[COLOR_range__Range___first].val; /* _first on <var_r:Range[Discrete]> */
+if (unlikely(var3 == NULL)) {
+PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _first");
+PRINT_ERROR(" (%s:%d)\n", "lib/standard/collection/range.nit", 22);
+show_backtrace(1);
+}
+var1 = var3;
+RET_LABEL2:(void)0;
+}
+}
 self->attrs[COLOR_range__IteratorRange___item].val = var1; /* _item on <self:IteratorRange[Discrete]> */
 RET_LABEL:;
 }
 /* method range#IteratorRange#init for (self: Object, Range[Discrete]) */
 void VIRTUAL_range__IteratorRange__init(val* self, val* p0) {
-range__IteratorRange__init(self, p0);
-RET_LABEL:;
-}
-/* method range#Int#times for (self: Int): Range[Int] */
-val* range__Int__times(long self) {
-val* var /* : Range[Int] */;
-val* var1 /* : Range[Int] */;
-long var2 /* : Int */;
-val* var3 /* : Discrete */;
-val* var4 /* : Discrete */;
-var1 = NEW_range__Range(&type_range__Rangekernel__Int);
-var2 = 0;
-var3 = BOX_kernel__Int(var2); /* autobox from Int to Discrete */
-var4 = BOX_kernel__Int(self); /* autobox from Int to Discrete */
-((void (*)(val*, val*, val*))(var1->class->vft[COLOR_range__Range__without_last]))(var1, var3, var4) /* without_last on <var1:Range[Int]>*/;
-var = var1;
-goto RET_LABEL;
+range__IteratorRange__init(self, p0); /* Direct call range#IteratorRange#init on <self:Object(IteratorRange[Discrete])>*/
 RET_LABEL:;
-return var;
-}
-/* method range#Int#times for (self: Object): Range[Int] */
-val* VIRTUAL_range__Int__times(val* self) {
-val* var /* : Range[Int] */;
-val* var1 /* : Range[Int] */;
-long var2 /* : Int */;
-var2 = ((struct instance_kernel__Int*)self)->value; /* autounbox from Object to Int */;
-var1 = range__Int__times(var2);
-var = var1;
-RET_LABEL:;
-return var;
 }