+{
+{ /* Inline model#MSignature#mparameters (var_sig) on <var_sig:MSignature> */
+var186 = var_sig->attrs[COLOR_model__MSignature___mparameters].val; /* _mparameters on <var_sig:MSignature> */
+if (unlikely(var186 == NULL)) {
+PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mparameters");
+PRINT_ERROR(" (%s:%d)\n", "src/model/model.nit", 1452);
+show_backtrace(1);
+}
+var184 = var186;
+RET_LABEL185:(void)0;
+}
+}
+{
+var187 = array__Array___91d_93d(var184, var_i);
+}
+{
+{ /* Inline model#MParameter#mtype (var187) on <var187:nullable Object(MParameter)> */
+var190 = var187->attrs[COLOR_model__MParameter___mtype].val; /* _mtype on <var187:nullable Object(MParameter)> */
+if (unlikely(var190 == NULL)) {
+PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mtype");
+PRINT_ERROR(" (%s:%d)\n", "src/model/model.nit", 1552);
+show_backtrace(1);
+}
+var188 = var190;
+RET_LABEL189:(void)0;
+}
+}
+var_paramtype = var188;
+{
+rapid_type_analysis__RapidTypeAnalysis__add_cast(self, var_paramtype); /* Direct call rapid_type_analysis#RapidTypeAnalysis#add_cast on <self:RapidTypeAnalysis>*/
+}
+CONTINUE_label: (void)0;
+{
+((void (*)(val*))(var171->class->vft[COLOR_abstract_collection__Iterator__next]))(var171) /* next on <var171:Iterator[Discrete]>*/;
+}
+}
+BREAK_label: (void)0;
+{
+{ /* Inline rapid_type_analysis#RapidTypeAnalysis#modelbuilder (self) on <self:RapidTypeAnalysis> */
+var193 = self->attrs[COLOR_rapid_type_analysis__RapidTypeAnalysis___modelbuilder].val; /* _modelbuilder on <self:RapidTypeAnalysis> */
+if (unlikely(var193 == NULL)) {
+PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _modelbuilder");
+PRINT_ERROR(" (%s:%d)\n", "src/rapid_type_analysis.nit", 48);
+show_backtrace(1);
+}
+var191 = var193;
+RET_LABEL192:(void)0;
+}
+}
+{
+{ /* Inline modelize_property#ModelBuilder#mpropdef2npropdef (var191) on <var191:ModelBuilder> */
+var196 = var191->attrs[COLOR_modelize_property__ModelBuilder___mpropdef2npropdef].val; /* _mpropdef2npropdef on <var191:ModelBuilder> */
+if (unlikely(var196 == NULL)) {
+PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mpropdef2npropdef");
+PRINT_ERROR(" (%s:%d)\n", "src/modelize_property.nit", 39);
+show_backtrace(1);
+}
+var194 = var196;
+RET_LABEL195:(void)0;
+}
+}
+{
+var197 = abstract_collection__MapRead__has_key(var194, var_mmethoddef);
+}
+var198 = !var197;
+if (var198){
+{
+{ /* Inline model#MProperty#name (var_mmeth) on <var_mmeth:MMethod> */
+var201 = var_mmeth->attrs[COLOR_model__MProperty___name].val; /* _name on <var_mmeth:MMethod> */
+if (unlikely(var201 == NULL)) {
+PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _name");
+PRINT_ERROR(" (%s:%d)\n", "src/model/model.nit", 1607);
+show_backtrace(1);
+}
+var199 = var201;
+RET_LABEL200:(void)0;
+}
+}
+if (varonce202) {
+var203 = varonce202;
+} else {
+var204 = "init";
+var205 = 4;
+var206 = string__NativeString__to_s_with_length(var204, var205);
+var203 = var206;
+varonce202 = var203;
+}
+{
+var208 = string__FlatString___61d_61d(var199, var203);
+var207 = var208;
+}
+if (var207){
+{
+{ /* Inline rapid_type_analysis#RapidTypeAnalysis#modelbuilder (self) on <self:RapidTypeAnalysis> */
+var211 = self->attrs[COLOR_rapid_type_analysis__RapidTypeAnalysis___modelbuilder].val; /* _modelbuilder on <self:RapidTypeAnalysis> */
+if (unlikely(var211 == NULL)) {
+PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _modelbuilder");
+PRINT_ERROR(" (%s:%d)\n", "src/rapid_type_analysis.nit", 48);
+show_backtrace(1);
+}
+var209 = var211;
+RET_LABEL210:(void)0;
+}
+}
+{
+{ /* Inline modelize_class#ModelBuilder#mclassdef2nclassdef (var209) on <var209:ModelBuilder> */
+var214 = var209->attrs[COLOR_modelize_class__ModelBuilder___mclassdef2nclassdef].val; /* _mclassdef2nclassdef on <var209:ModelBuilder> */
+if (unlikely(var214 == NULL)) {
+PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mclassdef2nclassdef");
+PRINT_ERROR(" (%s:%d)\n", "src/modelize_class.nit", 399);
+show_backtrace(1);
+}
+var212 = var214;
+RET_LABEL213:(void)0;
+}
+}
+{
+{ /* Inline model#MPropDef#mclassdef (var_mmethoddef) on <var_mmethoddef:MMethodDef> */
+var217 = var_mmethoddef->attrs[COLOR_model__MPropDef___mclassdef].val; /* _mclassdef on <var_mmethoddef:MMethodDef> */
+if (unlikely(var217 == NULL)) {
+PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mclassdef");
+PRINT_ERROR(" (%s:%d)\n", "src/model/model.nit", 1879);
+show_backtrace(1);
+}
+var215 = var217;
+RET_LABEL216:(void)0;
+}
+}
+{
+var218 = hash_collection__HashMap___91d_93d(var212, var215);
+}
+var_nclassdef = var218;
+{
+{ /* Inline modelize_property#AClassdef#super_inits (var_nclassdef) on <var_nclassdef:AClassdef> */
+var221 = var_nclassdef->attrs[COLOR_modelize_property__AClassdef___super_inits].val; /* _super_inits on <var_nclassdef:AClassdef> */
+var219 = var221;
+RET_LABEL220:(void)0;
+}
+}
+var_super_inits = var219;
+var222 = NULL;
+if (var_super_inits == NULL) {
+var223 = 0; /* is null */
+} else {
+var223 = 1; /* arg is null and recv is not */
+}
+if (0) {
+{ /* Inline kernel#Object#!= (var_super_inits,var222) on <var_super_inits:nullable Collection[MMethod]> */
+var_other26 = var222;
+{
+var227 = ((short int (*)(val*, val*))(var_super_inits->class->vft[COLOR_kernel__Object___61d_61d]))(var_super_inits, var_other26) /* == on <var_super_inits:nullable Collection[MMethod](Collection[MMethod])>*/;
+var226 = var227;
+}
+var228 = !var226;
+var224 = var228;
+goto RET_LABEL225;
+RET_LABEL225:(void)0;
+}
+var223 = var224;
+}
+if (var223){
+{
+var229 = ((val* (*)(val*))(var_super_inits->class->vft[COLOR_abstract_collection__Collection__iterator]))(var_super_inits) /* iterator on <var_super_inits:nullable Collection[MMethod](Collection[MMethod])>*/;
+}
+for(;;) {
+{
+var230 = ((short int (*)(val*))(var229->class->vft[COLOR_abstract_collection__Iterator__is_ok]))(var229) /* is_ok on <var229:Iterator[nullable Object]>*/;
+}
+if(!var230) break;
+{
+var231 = ((val* (*)(val*))(var229->class->vft[COLOR_abstract_collection__Iterator__item]))(var229) /* item on <var229:Iterator[nullable Object]>*/;
+}
+var_su = var231;
+{
+{ /* Inline rapid_type_analysis#RapidTypeVisitor#receiver (var_v) on <var_v:RapidTypeVisitor> */
+var234 = var_v->attrs[COLOR_rapid_type_analysis__RapidTypeVisitor___receiver].val; /* _receiver on <var_v:RapidTypeVisitor> */
+if (unlikely(var234 == NULL)) {
+PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _receiver");
+PRINT_ERROR(" (%s:%d)\n", "src/rapid_type_analysis.nit", 431);
+show_backtrace(1);
+}
+var232 = var234;
+RET_LABEL233:(void)0;
+}
+}
+{
+rapid_type_analysis__RapidTypeVisitor__add_monomorphic_send(var_v, var232, var_su); /* Direct call rapid_type_analysis#RapidTypeVisitor#add_monomorphic_send on <var_v:RapidTypeVisitor>*/
+}
+CONTINUE_label235: (void)0;
+{
+((void (*)(val*))(var229->class->vft[COLOR_abstract_collection__Iterator__next]))(var229) /* next on <var229:Iterator[nullable Object]>*/;
+}
+}
+BREAK_label235: (void)0;
+} else {
+}
+} else {
+PRINT_ERROR("Runtime error: %s", "Aborted");
+PRINT_ERROR(" (%s:%d)\n", "src/rapid_type_analysis.nit", 244);
+show_backtrace(1);
+}
+goto CONTINUE_label236;
+} else {
+}
+{
+{ /* Inline rapid_type_analysis#RapidTypeAnalysis#modelbuilder (self) on <self:RapidTypeAnalysis> */
+var239 = self->attrs[COLOR_rapid_type_analysis__RapidTypeAnalysis___modelbuilder].val; /* _modelbuilder on <self:RapidTypeAnalysis> */
+if (unlikely(var239 == NULL)) {
+PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _modelbuilder");
+PRINT_ERROR(" (%s:%d)\n", "src/rapid_type_analysis.nit", 48);
+show_backtrace(1);
+}
+var237 = var239;
+RET_LABEL238:(void)0;
+}
+}
+{
+{ /* Inline modelize_property#ModelBuilder#mpropdef2npropdef (var237) on <var237:ModelBuilder> */
+var242 = var237->attrs[COLOR_modelize_property__ModelBuilder___mpropdef2npropdef].val; /* _mpropdef2npropdef on <var237:ModelBuilder> */
+if (unlikely(var242 == NULL)) {
+PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mpropdef2npropdef");
+PRINT_ERROR(" (%s:%d)\n", "src/modelize_property.nit", 39);
+show_backtrace(1);
+}
+var240 = var242;
+RET_LABEL241:(void)0;
+}
+}
+{
+var243 = hash_collection__HashMap___91d_93d(var240, var_mmethoddef);
+}
+var_npropdef = var243;
+/* <var_npropdef:APropdef> isa AMethPropdef */
+cltype245 = type_parser_nodes__AMethPropdef.color;
+idtype246 = type_parser_nodes__AMethPropdef.id;
+if(cltype245 >= var_npropdef->type->table_size) {
+var244 = 0;
+} else {
+var244 = var_npropdef->type->type_table[cltype245] == idtype246;
+}
+if (var244){
+{
+{ /* Inline auto_super_init#AMethPropdef#auto_super_inits (var_npropdef) on <var_npropdef:APropdef(AMethPropdef)> */
+var249 = var_npropdef->attrs[COLOR_auto_super_init__AMethPropdef___auto_super_inits].val; /* _auto_super_inits on <var_npropdef:APropdef(AMethPropdef)> */
+var247 = var249;
+RET_LABEL248:(void)0;
+}
+}
+var_auto_super_inits = var247;
+var250 = NULL;
+if (var_auto_super_inits == NULL) {
+var251 = 0; /* is null */
+} else {
+var251 = 1; /* arg is null and recv is not */
+}
+if (0) {
+{ /* Inline kernel#Object#!= (var_auto_super_inits,var250) on <var_auto_super_inits:nullable Array[CallSite]> */
+var_other26 = var250;
+{
+var255 = ((short int (*)(val*, val*))(var_auto_super_inits->class->vft[COLOR_kernel__Object___61d_61d]))(var_auto_super_inits, var_other26) /* == on <var_auto_super_inits:nullable Array[CallSite](Array[CallSite])>*/;
+var254 = var255;
+}
+var256 = !var254;
+var252 = var256;
+goto RET_LABEL253;
+RET_LABEL253:(void)0;
+}
+var251 = var252;
+}
+if (var251){
+{
+var257 = array__AbstractArrayRead__iterator(var_auto_super_inits);
+}
+for(;;) {
+{
+var258 = array__ArrayIterator__is_ok(var257);
+}
+if(!var258) break;
+{
+var259 = array__ArrayIterator__item(var257);
+}
+var_auto_super_init = var259;
+{
+rapid_type_analysis__RapidTypeVisitor__add_callsite(var_v, var_auto_super_init); /* Direct call rapid_type_analysis#RapidTypeVisitor#add_callsite on <var_v:RapidTypeVisitor>*/
+}
+CONTINUE_label260: (void)0;
+{
+array__ArrayIterator__next(var257); /* Direct call array#ArrayIterator#next on <var257:ArrayIterator[nullable Object]>*/
+}
+}
+BREAK_label260: (void)0;
+} else {
+}
+} else {
+}
+{
+{ /* Inline model#MMethod#is_new (var_mmeth) on <var_mmeth:MMethod> */
+var263 = var_mmeth->attrs[COLOR_model__MMethod___is_new].s; /* _is_new on <var_mmeth:MMethod> */
+var261 = var263;
+RET_LABEL262:(void)0;
+}
+}
+if (var261){
+{
+{ /* Inline rapid_type_analysis#RapidTypeVisitor#receiver (var_v) on <var_v:RapidTypeVisitor> */
+var266 = var_v->attrs[COLOR_rapid_type_analysis__RapidTypeVisitor___receiver].val; /* _receiver on <var_v:RapidTypeVisitor> */
+if (unlikely(var266 == NULL)) {
+PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _receiver");
+PRINT_ERROR(" (%s:%d)\n", "src/rapid_type_analysis.nit", 431);
+show_backtrace(1);
+}
+var264 = var266;
+RET_LABEL265:(void)0;
+}
+}
+{
+rapid_type_analysis__RapidTypeVisitor__add_type(var_v, var264); /* Direct call rapid_type_analysis#RapidTypeVisitor#add_type on <var_v:RapidTypeVisitor>*/
+}
+} else {
+{
+{ /* Inline model#MMethodDef#is_intern (var_mmethoddef) on <var_mmethoddef:MMethodDef> */
+var270 = var_mmethoddef->attrs[COLOR_model__MMethodDef___is_intern].s; /* _is_intern on <var_mmethoddef:MMethodDef> */
+var268 = var270;
+RET_LABEL269:(void)0;
+}
+}
+var_271 = var268;
+if (var268){
+var267 = var_271;
+} else {
+{
+{ /* Inline model#MMethodDef#is_extern (var_mmethoddef) on <var_mmethoddef:MMethodDef> */
+var274 = var_mmethoddef->attrs[COLOR_model__MMethodDef___is_extern].s; /* _is_extern on <var_mmethoddef:MMethodDef> */
+var272 = var274;
+RET_LABEL273:(void)0;
+}
+}
+var267 = var272;
+}
+if (var267){
+{
+{ /* Inline model#MMethodDef#msignature (var_mmethoddef) on <var_mmethoddef:MMethodDef> */
+var277 = var_mmethoddef->attrs[COLOR_model__MMethodDef___msignature].val; /* _msignature on <var_mmethoddef:MMethodDef> */
+var275 = var277;
+RET_LABEL276:(void)0;
+}
+}
+if (var275 == NULL) {
+PRINT_ERROR("Runtime error: %s", "Receiver is null");
+PRINT_ERROR(" (%s:%d)\n", "src/rapid_type_analysis.nit", 264);
+show_backtrace(1);
+} else {
+{ /* Inline model#MSignature#return_mtype (var275) on <var275:nullable MSignature> */
+if (unlikely(var275 == NULL)) {
+PRINT_ERROR("Runtime error: %s", "Receiver is null");
+PRINT_ERROR(" (%s:%d)\n", "src/model/model.nit", 1455);
+show_backtrace(1);
+}
+var280 = var275->attrs[COLOR_model__MSignature___return_mtype].val; /* _return_mtype on <var275:nullable MSignature> */
+var278 = var280;
+RET_LABEL279:(void)0;
+}
+}
+var_ret = var278;
+var284 = NULL;
+if (var_ret == NULL) {
+var285 = 0; /* is null */
+} else {
+var285 = 1; /* arg is null and recv is not */
+}
+if (0) {
+{ /* Inline kernel#Object#!= (var_ret,var284) on <var_ret:nullable MType> */
+var_other26 = var284;
+{
+var289 = ((short int (*)(val*, val*))(var_ret->class->vft[COLOR_kernel__Object___61d_61d]))(var_ret, var_other26) /* == on <var_ret:nullable MType(MType)>*/;
+var288 = var289;
+}
+var290 = !var288;
+var286 = var290;
+goto RET_LABEL287;
+RET_LABEL287:(void)0;
+}
+var285 = var286;
+}
+var_291 = var285;
+if (var285){
+/* <var_ret:nullable MType(MType)> isa MClassType */
+cltype293 = type_model__MClassType.color;
+idtype294 = type_model__MClassType.id;
+if(cltype293 >= var_ret->type->table_size) {
+var292 = 0;
+} else {
+var292 = var_ret->type->type_table[cltype293] == idtype294;
+}
+var283 = var292;
+} else {
+var283 = var_291;
+}
+var_295 = var283;
+if (var283){
+{
+{ /* Inline model#MClassType#mclass (var_ret) on <var_ret:nullable MType(MClassType)> */
+var298 = var_ret->attrs[COLOR_model__MClassType___mclass].val; /* _mclass on <var_ret:nullable MType(MClassType)> */
+if (unlikely(var298 == NULL)) {
+PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mclass");
+PRINT_ERROR(" (%s:%d)\n", "src/model/model.nit", 969);
+show_backtrace(1);
+}
+var296 = var298;
+RET_LABEL297:(void)0;
+}
+}
+{
+{ /* Inline model#MClass#kind (var296) on <var296:MClass> */
+var301 = var296->attrs[COLOR_model__MClass___kind].val; /* _kind on <var296:MClass> */
+if (unlikely(var301 == NULL)) {
+PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _kind");
+PRINT_ERROR(" (%s:%d)\n", "src/model/model.nit", 355);
+show_backtrace(1);
+}
+var299 = var301;
+RET_LABEL300:(void)0;
+}
+}
+{
+var302 = model__Object__abstract_kind(self);
+}
+{
+{ /* Inline kernel#Object#!= (var299,var302) on <var299:MClassKind> */
+var_other26 = var302;
+{
+var307 = ((short int (*)(val*, val*))(var299->class->vft[COLOR_kernel__Object___61d_61d]))(var299, var_other26) /* == on <var299:MClassKind>*/;
+var306 = var307;
+}
+var308 = !var306;
+var304 = var308;
+goto RET_LABEL305;
+RET_LABEL305:(void)0;
+}
+var303 = var304;
+}
+var282 = var303;
+} else {
+var282 = var_295;
+}
+var_309 = var282;
+if (var282){
+{
+{ /* Inline model#MClassType#mclass (var_ret) on <var_ret:nullable MType(MClassType)> */
+var312 = var_ret->attrs[COLOR_model__MClassType___mclass].val; /* _mclass on <var_ret:nullable MType(MClassType)> */
+if (unlikely(var312 == NULL)) {
+PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mclass");
+PRINT_ERROR(" (%s:%d)\n", "src/model/model.nit", 969);
+show_backtrace(1);
+}
+var310 = var312;
+RET_LABEL311:(void)0;
+}
+}
+{
+{ /* Inline model#MClass#kind (var310) on <var310:MClass> */
+var315 = var310->attrs[COLOR_model__MClass___kind].val; /* _kind on <var310:MClass> */
+if (unlikely(var315 == NULL)) {
+PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _kind");
+PRINT_ERROR(" (%s:%d)\n", "src/model/model.nit", 355);
+show_backtrace(1);
+}
+var313 = var315;
+RET_LABEL314:(void)0;
+}
+}
+{
+var316 = model__Object__interface_kind(self);
+}
+{
+{ /* Inline kernel#Object#!= (var313,var316) on <var313:MClassKind> */
+var_other26 = var316;
+{
+var321 = ((short int (*)(val*, val*))(var313->class->vft[COLOR_kernel__Object___61d_61d]))(var313, var_other26) /* == on <var313:MClassKind>*/;
+var320 = var321;
+}
+var322 = !var320;
+var318 = var322;
+goto RET_LABEL319;
+RET_LABEL319:(void)0;
+}
+var317 = var318;
+}
+var281 = var317;
+} else {
+var281 = var_309;
+}
+if (var281){
+{
+rapid_type_analysis__RapidTypeVisitor__add_type(var_v, var_ret); /* Direct call rapid_type_analysis#RapidTypeVisitor#add_type on <var_v:RapidTypeVisitor>*/
+}
+} else {
+}
+} else {
+}
+}
+{
+parser_nodes__Visitor__enter_visit(var_v, var_npropdef); /* Direct call parser_nodes#Visitor#enter_visit on <var_v:RapidTypeVisitor>*/
+}
+CONTINUE_label236: (void)0;
+}
+BREAK_label236: (void)0;
+var323 = NEW_list__List(&type_list__Listmodel__MClassType);
+{
+{ /* Inline list#List#init (var323) on <var323:List[MClassType]> */
+RET_LABEL324:(void)0;
+}
+}
+var_todo_types = var323;
+{
+{ /* Inline rapid_type_analysis#RapidTypeAnalysis#live_types (self) on <self:RapidTypeAnalysis> */
+var327 = self->attrs[COLOR_rapid_type_analysis__RapidTypeAnalysis___live_types].val; /* _live_types on <self:RapidTypeAnalysis> */
+if (unlikely(var327 == NULL)) {
+PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _live_types");
+PRINT_ERROR(" (%s:%d)\n", "src/rapid_type_analysis.nit", 55);
+show_backtrace(1);
+}
+var325 = var327;
+RET_LABEL326:(void)0;
+}
+}
+{
+abstract_collection__SimpleCollection__add_all(var_todo_types, var325); /* Direct call abstract_collection#SimpleCollection#add_all on <var_todo_types:List[MClassType]>*/
+}
+for(;;) {
+{
+var328 = list__List__is_empty(var_todo_types);
+}
+var329 = !var328;
+if (!var329) break;
+{
+var330 = list__List__shift(var_todo_types);
+}
+var_t = var330;
+{
+{ /* Inline rapid_type_analysis#RapidTypeAnalysis#live_open_types (self) on <self:RapidTypeAnalysis> */
+var333 = self->attrs[COLOR_rapid_type_analysis__RapidTypeAnalysis___live_open_types].val; /* _live_open_types on <self:RapidTypeAnalysis> */
+if (unlikely(var333 == NULL)) {
+PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _live_open_types");
+PRINT_ERROR(" (%s:%d)\n", "src/rapid_type_analysis.nit", 60);
+show_backtrace(1);
+}
+var331 = var333;
+RET_LABEL332:(void)0;
+}
+}
+{
+var334 = hash_collection__HashSet__iterator(var331);
+}
+for(;;) {
+{
+var335 = ((short int (*)(val*))(var334->class->vft[COLOR_abstract_collection__Iterator__is_ok]))(var334) /* is_ok on <var334:Iterator[Object]>*/;
+}
+if(!var335) break;
+{
+var336 = ((val* (*)(val*))(var334->class->vft[COLOR_abstract_collection__Iterator__item]))(var334) /* item on <var334:Iterator[Object]>*/;
+}
+var_ot = var336;
+{
+{ /* Inline rapid_type_analysis#RapidTypeAnalysis#mainmodule (self) on <self:RapidTypeAnalysis> */
+var339 = self->attrs[COLOR_rapid_type_analysis__RapidTypeAnalysis___mainmodule].val; /* _mainmodule on <self:RapidTypeAnalysis> */
+if (unlikely(var339 == NULL)) {
+PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mainmodule");
+PRINT_ERROR(" (%s:%d)\n", "src/rapid_type_analysis.nit", 51);
+show_backtrace(1);
+}
+var337 = var339;
+RET_LABEL338:(void)0;
+}
+}
+{
+var340 = ((short int (*)(val*, val*, val*, val*))(var_ot->class->vft[COLOR_model__MType__can_resolve_for]))(var_ot, var_t, var_t, var337) /* can_resolve_for on <var_ot:MClassType>*/;
+}
+var341 = !var340;
+if (var341){
+goto CONTINUE_label342;
+} else {
+}
+{
+{ /* Inline rapid_type_analysis#RapidTypeAnalysis#mainmodule (self) on <self:RapidTypeAnalysis> */
+var345 = self->attrs[COLOR_rapid_type_analysis__RapidTypeAnalysis___mainmodule].val; /* _mainmodule on <self:RapidTypeAnalysis> */
+if (unlikely(var345 == NULL)) {
+PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mainmodule");
+PRINT_ERROR(" (%s:%d)\n", "src/rapid_type_analysis.nit", 51);