-{ /* Inline kernel#Int#+ (var_i,var41) on <var_i:Int> */
-/* Covariant cast for argument 0 (i) <var41:Int> isa OTHER */
-/* <var41:Int> isa OTHER */
-var44 = 1; /* easy <var41:Int> isa OTHER*/
-if (unlikely(!var44)) {
-var_class_name47 = type_kernel__Int.name;
-PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name47);
-PRINT_ERROR(" (%s:%d)\n", "../lib/standard/kernel.nit", 374);
+{ /* Inline kernel#Int#+ (var_i,var40) on <var_i:Int> */
+/* Covariant cast for argument 0 (i) <var40:Int> isa OTHER */
+/* <var40:Int> isa OTHER */
+var43 = 1; /* easy <var40:Int> isa OTHER*/
+if (unlikely(!var43)) {
+var_class_name46 = type_standard__Int.name;
+PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name46);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__kernel, 413);