+var728 = 1;
+{ /* Inline kernel#Int#+ (var_start_pos,var728) */
+var731 = var_start_pos + var728;
+var729 = var731;
+goto RET_LABEL730;
+RET_LABEL730:(void)0;
+}
+((void (*)(val*, val*, long, long, long, long))(var714->class->vft[COLOR_location__Location__init]))(var714, var715, var717, var721, var725, var729) /* init on <var714:Location>*/;
+var_location732 = var714;
+{ /* Inline kernel#Int#> (var_sp,var_start_stream_pos) */
+/* Covariant cast for argument 0 (i) <var_start_stream_pos:Int> isa OTHER */
+/* <var_start_stream_pos:Int> isa OTHER */
+var735 = 1; /* easy <var_start_stream_pos:Int> isa OTHER*/
+if (!var735) {
+var_class_name738 = type_kernel__Int.name;
+fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name738);
+fprintf(stderr, " (%s:%d)\n", "lib/standard/kernel.nit", 267);
+show_backtrace(1);
+}
+var739 = var_sp > var_start_stream_pos;
+var733 = var739;
+goto RET_LABEL734;
+RET_LABEL734:(void)0;
+}
+if (var733){