-var_name = var4;
-var6 = NULL;
-if (var_mclassdef == NULL) {
-var7 = 0; /* is null */
-} else {
-var7 = 1; /* arg is null and recv is not */
-}
-if (0) {
-{ /* Inline kernel#Object#!= (var_mclassdef,var6) on <var_mclassdef:nullable MClassDef> */
-var_other = var6;
-{
-var10 = ((short int (*)(val* self, val* p0))(var_mclassdef->class->vft[COLOR_standard__kernel__Object___61d_61d]))(var_mclassdef, var_other) /* == on <var_mclassdef:nullable MClassDef(MClassDef)>*/;
-}
-var11 = !var10;
-var8 = var11;
-goto RET_LABEL9;
-RET_LABEL9:(void)0;
-}
-var7 = var8;
-}
-var_ = var7;
-if (var7){
-var5 = var_with_virtual;
-} else {
-var5 = var_;
-}
-if (var5){
-{
-var12 = nit___nit__ModelBuilder___try_get_mproperty_by_name(self, var_ntype, var_mclassdef, var_name);
-}
-/* <var12:nullable MProperty> isa nullable MVirtualTypeProp */
-cltype = type_nullable__nit__MVirtualTypeProp.color;
-idtype = type_nullable__nit__MVirtualTypeProp.id;
-if(var12 == NULL) {
-var13 = 1;
-} else {
-if(cltype >= var12->type->table_size) {
-var13 = 0;
-} else {
-var13 = var12->type->type_table[cltype] == idtype;
-}
-}
-if (unlikely(!var13)) {
-var_class_name = var12 == NULL ? "null" : var12->type->name;
-PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "nullable MVirtualTypeProp", var_class_name);
-PRINT_ERROR(" (%s:%d)\n", FILE_nit__modelize_class, 440);
-show_backtrace(1);
-}
-var_prop = var12;
-var14 = NULL;
-if (var_prop == NULL) {
-var15 = 0; /* is null */
-} else {
-var15 = 1; /* arg is null and recv is not */
-}
-if (0) {
-{ /* Inline kernel#Object#!= (var_prop,var14) on <var_prop:nullable MVirtualTypeProp> */
-var_other = var14;
-{
-var18 = ((short int (*)(val* self, val* p0))(var_prop->class->vft[COLOR_standard__kernel__Object___61d_61d]))(var_prop, var_other) /* == on <var_prop:nullable MVirtualTypeProp(MVirtualTypeProp)>*/;
-}
-var19 = !var18;
-var16 = var19;
-goto RET_LABEL17;
-RET_LABEL17:(void)0;
-}
-var15 = var16;
-}
-if (var15){
-{
-{ /* Inline parser_nodes#AType#n_types (var_ntype) on <var_ntype:AType> */
-var22 = var_ntype->attrs[COLOR_nit__parser_nodes__AType___n_types].val; /* _n_types on <var_ntype:AType> */
-if (unlikely(var22 == NULL)) {
-PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _n_types");
-PRINT_ERROR(" (%s:%d)\n", FILE_nit__parser_nodes, 1539);
-show_backtrace(1);
-}
-var20 = var22;
-RET_LABEL21:(void)0;
-}
-}
-{
-var23 = nit___nit__ANodes___standard__abstract_collection__Collection__is_empty(var20);
-}
-var24 = !var23;
-if (var24){
-if (varonce) {
-var25 = varonce;
-} else {
-var26 = "Type error: formal type ";
-var27 = 24;
-var28 = standard___standard__NativeString___to_s_with_length(var26, var27);
-var25 = var28;
-varonce = var25;
-}
-if (varonce29) {
-var30 = varonce29;
-} else {
-var31 = " cannot have formal parameters.";
-var32 = 31;
-var33 = standard___standard__NativeString___to_s_with_length(var31, var32);
-var30 = var33;
-varonce29 = var30;
-}
-var34 = NEW_standard__Array(&type_standard__Array__standard__Object);
-{ /* var34 = array_instance Array[Object] */
-var35 = 3;
-var36 = NEW_standard__NativeArray(var35, &type_standard__NativeArray__standard__Object);
-((struct instance_standard__NativeArray*)var36)->values[0] = (val*) var25;
-((struct instance_standard__NativeArray*)var36)->values[1] = (val*) var_name;
-((struct instance_standard__NativeArray*)var36)->values[2] = (val*) var30;
-{
-((void (*)(val* self, val* p0, long p1))(var34->class->vft[COLOR_standard__array__Array__with_native]))(var34, var36, var35) /* with_native on <var34:Array[Object]>*/;
-}
-}
-{
-var37 = ((val* (*)(val* self))(var34->class->vft[COLOR_standard__string__Object__to_s]))(var34) /* to_s on <var34:Array[Object]>*/;
-}
-{
-nit___nit__ModelBuilder___error(self, var_ntype, var37); /* Direct call modelbuilder_base#ModelBuilder#error on <self:ModelBuilder>*/
-}
-} else {
-}
-{
-{ /* Inline model#MVirtualTypeProp#mvirtualtype (var_prop) on <var_prop:nullable MVirtualTypeProp(MVirtualTypeProp)> */
-var40 = var_prop->attrs[COLOR_nit__model__MVirtualTypeProp___mvirtualtype].val; /* _mvirtualtype on <var_prop:nullable MVirtualTypeProp(MVirtualTypeProp)> */
-if (unlikely(var40 == NULL)) {
-PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mvirtualtype");
-PRINT_ERROR(" (%s:%d)\n", FILE_nit__model, 1992);
-show_backtrace(1);
-}
-var38 = var40;
-RET_LABEL39:(void)0;
-}
-}
-var_res = var38;
-{
-{ /* Inline parser_nodes#AType#n_kwnullable (var_ntype) on <var_ntype:AType> */
-var43 = var_ntype->attrs[COLOR_nit__parser_nodes__AType___n_kwnullable].val; /* _n_kwnullable on <var_ntype:AType> */
-var41 = var43;
-RET_LABEL42:(void)0;
-}
-}
-var44 = NULL;
-if (var41 == NULL) {
-var45 = 0; /* is null */
-} else {
-var45 = 1; /* arg is null and recv is not */
-}
-if (0) {
-{ /* Inline kernel#Object#!= (var41,var44) on <var41:nullable TKwnullable> */
-var_other = var44;
-{
-var48 = ((short int (*)(val* self, val* p0))(var41->class->vft[COLOR_standard__kernel__Object___61d_61d]))(var41, var_other) /* == on <var41:nullable TKwnullable(TKwnullable)>*/;
-}
-var49 = !var48;
-var46 = var49;
-goto RET_LABEL47;
-RET_LABEL47:(void)0;
-}
-var45 = var46;
-}
-if (var45){
-{
-var50 = nit___nit__MType___as_nullable(var_res);
-}
-var_res = var50;
-} else {
-}
-{
-{ /* Inline modelize_class#AType#mtype= (var_ntype,var_res) on <var_ntype:AType> */
-var_ntype->attrs[COLOR_nit__modelize_class__AType___mtype].val = var_res; /* _mtype on <var_ntype:AType> */
-RET_LABEL51:(void)0;
-}
-}
-var = var_res;
-goto RET_LABEL;
-} else {
-}
-} else {
-}
-var52 = NULL;
-if (var_mclassdef == NULL) {
-var53 = 0; /* is null */
-} else {
-var53 = 1; /* arg is null and recv is not */
-}
-if (0) {
-{ /* Inline kernel#Object#!= (var_mclassdef,var52) on <var_mclassdef:nullable MClassDef> */
-var_other = var52;
-{
-var56 = ((short int (*)(val* self, val* p0))(var_mclassdef->class->vft[COLOR_standard__kernel__Object___61d_61d]))(var_mclassdef, var_other) /* == on <var_mclassdef:nullable MClassDef(MClassDef)>*/;
-}
-var57 = !var56;
-var54 = var57;
-goto RET_LABEL55;
-RET_LABEL55:(void)0;
-}
-var53 = var54;
-}
-if (var53){
-{
-{ /* Inline model#MClassDef#mclass (var_mclassdef) on <var_mclassdef:nullable MClassDef(MClassDef)> */
-var60 = var_mclassdef->attrs[COLOR_nit__model__MClassDef___mclass].val; /* _mclass on <var_mclassdef:nullable MClassDef(MClassDef)> */
-if (unlikely(var60 == NULL)) {
-PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mclass");
-PRINT_ERROR(" (%s:%d)\n", FILE_nit__model, 492);
-show_backtrace(1);
-}
-var58 = var60;
-RET_LABEL59:(void)0;
-}
-}
-{
-{ /* Inline model#MClass#mparameters (var58) on <var58:MClass> */
-var63 = var58->attrs[COLOR_nit__model__MClass___mparameters].val; /* _mparameters on <var58:MClass> */
-if (unlikely(var63 == NULL)) {
-PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mparameters");
-PRINT_ERROR(" (%s:%d)\n", FILE_nit__model, 368);
-show_backtrace(1);
-}
-var61 = var63;
-RET_LABEL62:(void)0;
-}
-}
-var_64 = var61;
-{
-var65 = standard___standard__AbstractArrayRead___standard__abstract_collection__Collection__iterator(var_64);
-}
-var_66 = var65;
-for(;;) {
-{
-var67 = standard__array___standard__array__ArrayIterator___standard__abstract_collection__Iterator__is_ok(var_66);
-}
-if (var67){
-{
-var68 = standard__array___standard__array__ArrayIterator___standard__abstract_collection__Iterator__item(var_66);
-}
-var_p = var68;
-{
-{ /* Inline model#MParameterType#name (var_p) on <var_p:MParameterType> */
-var71 = var_p->attrs[COLOR_nit__model__MParameterType___name].val; /* _name on <var_p:MParameterType> */
-if (unlikely(var71 == NULL)) {
-PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _name");
-PRINT_ERROR(" (%s:%d)\n", FILE_nit__model, 1391);
-show_backtrace(1);
-}
-var69 = var71;
-RET_LABEL70:(void)0;
-}
-}
-{
-{ /* Inline kernel#Object#!= (var69,var_name) on <var69:String> */
-var_other = var_name;
-{
-var74 = ((short int (*)(val* self, val* p0))(var69->class->vft[COLOR_standard__kernel__Object___61d_61d]))(var69, var_other) /* == on <var69:String>*/;
-}
-var75 = !var74;
-var72 = var75;
-goto RET_LABEL73;
-RET_LABEL73:(void)0;
-}
-}
-if (var72){
-goto BREAK_label;
-} else {
-}
-{
-{ /* Inline parser_nodes#AType#n_types (var_ntype) on <var_ntype:AType> */
-var78 = var_ntype->attrs[COLOR_nit__parser_nodes__AType___n_types].val; /* _n_types on <var_ntype:AType> */
-if (unlikely(var78 == NULL)) {
-PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _n_types");
-PRINT_ERROR(" (%s:%d)\n", FILE_nit__parser_nodes, 1539);
-show_backtrace(1);
-}
-var76 = var78;
-RET_LABEL77:(void)0;
-}
-}
-{
-var79 = nit___nit__ANodes___standard__abstract_collection__Collection__is_empty(var76);
-}
-var80 = !var79;
-if (var80){
-if (varonce81) {
-var82 = varonce81;
-} else {
-var83 = "Type error: formal type ";
-var84 = 24;
-var85 = standard___standard__NativeString___to_s_with_length(var83, var84);
-var82 = var85;
-varonce81 = var82;
-}
-if (varonce86) {
-var87 = varonce86;
-} else {
-var88 = " cannot have formal parameters.";
-var89 = 31;
-var90 = standard___standard__NativeString___to_s_with_length(var88, var89);
-var87 = var90;
-varonce86 = var87;
-}
-var91 = NEW_standard__Array(&type_standard__Array__standard__Object);
-{ /* var91 = array_instance Array[Object] */
-var92 = 3;
-var93 = NEW_standard__NativeArray(var92, &type_standard__NativeArray__standard__Object);
-((struct instance_standard__NativeArray*)var93)->values[0] = (val*) var82;
-((struct instance_standard__NativeArray*)var93)->values[1] = (val*) var_name;
-((struct instance_standard__NativeArray*)var93)->values[2] = (val*) var87;
-{
-((void (*)(val* self, val* p0, long p1))(var91->class->vft[COLOR_standard__array__Array__with_native]))(var91, var93, var92) /* with_native on <var91:Array[Object]>*/;
-}
-}
-{
-var94 = ((val* (*)(val* self))(var91->class->vft[COLOR_standard__string__Object__to_s]))(var91) /* to_s on <var91:Array[Object]>*/;
-}
-{
-nit___nit__ModelBuilder___error(self, var_ntype, var94); /* Direct call modelbuilder_base#ModelBuilder#error on <self:ModelBuilder>*/
-}
-} else {
-}
-var_res = var_p;
-{
-{ /* Inline parser_nodes#AType#n_kwnullable (var_ntype) on <var_ntype:AType> */
-var97 = var_ntype->attrs[COLOR_nit__parser_nodes__AType___n_kwnullable].val; /* _n_kwnullable on <var_ntype:AType> */
-var95 = var97;
-RET_LABEL96:(void)0;
-}
-}
-var98 = NULL;
-if (var95 == NULL) {
-var99 = 0; /* is null */
-} else {
-var99 = 1; /* arg is null and recv is not */
-}
-if (0) {
-{ /* Inline kernel#Object#!= (var95,var98) on <var95:nullable TKwnullable> */
-var_other = var98;
-{
-var102 = ((short int (*)(val* self, val* p0))(var95->class->vft[COLOR_standard__kernel__Object___61d_61d]))(var95, var_other) /* == on <var95:nullable TKwnullable(TKwnullable)>*/;
-}
-var103 = !var102;
-var100 = var103;
-goto RET_LABEL101;
-RET_LABEL101:(void)0;
-}
-var99 = var100;
-}
-if (var99){
-{
-var104 = nit___nit__MType___as_nullable(var_res);
-}
-var_res = var104;
-} else {
-}
-{
-{ /* Inline modelize_class#AType#mtype= (var_ntype,var_res) on <var_ntype:AType> */
-var_ntype->attrs[COLOR_nit__modelize_class__AType___mtype].val = var_res; /* _mtype on <var_ntype:AType> */
-RET_LABEL105:(void)0;
-}
-}
-var = var_res;
-goto RET_LABEL;
-BREAK_label: (void)0;
-{
-standard__array___standard__array__ArrayIterator___standard__abstract_collection__Iterator__next(var_66); /* Direct call array#ArrayIterator#next on <var_66:ArrayIterator[MParameterType]>*/
-}
-} else {
-goto BREAK_label106;
-}
-}
-BREAK_label106: (void)0;
-{
-{ /* Inline abstract_collection#Iterator#finish (var_66) on <var_66:ArrayIterator[MParameterType]> */
-RET_LABEL107:(void)0;
-}
-}
-} else {
-}
-{
-var108 = nit___nit__ModelBuilder___try_get_mclass_by_name(self, var_ntype, var_mmodule, var_name);
-}
-var_mclass = var108;
-var109 = NULL;
-if (var_mclass == NULL) {
-var110 = 0; /* is null */
-} else {
-var110 = 1; /* arg is null and recv is not */
-}
-if (0) {
-{ /* Inline kernel#Object#!= (var_mclass,var109) on <var_mclass:nullable MClass> */
-var_other = var109;
-{
-var113 = ((short int (*)(val* self, val* p0))(var_mclass->class->vft[COLOR_standard__kernel__Object___61d_61d]))(var_mclass, var_other) /* == on <var_mclass:nullable MClass(MClass)>*/;
-}
-var114 = !var113;
-var111 = var114;
-goto RET_LABEL112;
-RET_LABEL112:(void)0;
-}
-var110 = var111;
-}
-if (var110){
-{
-{ /* Inline parser_nodes#AType#n_types (var_ntype) on <var_ntype:AType> */
-var117 = var_ntype->attrs[COLOR_nit__parser_nodes__AType___n_types].val; /* _n_types on <var_ntype:AType> */
-if (unlikely(var117 == NULL)) {
-PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _n_types");
-PRINT_ERROR(" (%s:%d)\n", FILE_nit__parser_nodes, 1539);
-show_backtrace(1);
-}
-var115 = var117;
-RET_LABEL116:(void)0;
-}
-}
-{
-var118 = nit___nit__ANodes___standard__abstract_collection__Collection__length(var115);
-}
-var_arity = var118;
-{
-{ /* Inline model#MClass#arity (var_mclass) on <var_mclass:nullable MClass(MClass)> */
-var121 = var_mclass->attrs[COLOR_nit__model__MClass___arity].l; /* _arity on <var_mclass:nullable MClass(MClass)> */
-var119 = var121;
-RET_LABEL120:(void)0;
-}
-}
-{
-{ /* Inline kernel#Int#!= (var_arity,var119) on <var_arity:Int> */
-var124 = var_arity == var119;
-var125 = !var124;
-var122 = var125;
-goto RET_LABEL123;
-RET_LABEL123:(void)0;
-}
-}
-if (var122){
-var126 = 0;
-{
-{ /* Inline kernel#Int#== (var_arity,var126) on <var_arity:Int> */
-var129 = var_arity == var126;
-var127 = var129;
-goto RET_LABEL128;
-RET_LABEL128:(void)0;
-}
-}
-if (var127){
-if (varonce130) {
-var131 = varonce130;
-} else {
-var132 = "Type error: \'";
-var133 = 13;
-var134 = standard___standard__NativeString___to_s_with_length(var132, var133);
-var131 = var134;
-varonce130 = var131;
-}
-if (varonce135) {
-var136 = varonce135;
-} else {
-var137 = "\' is a generic class.";
-var138 = 21;
-var139 = standard___standard__NativeString___to_s_with_length(var137, var138);
-var136 = var139;
-varonce135 = var136;
-}
-var140 = NEW_standard__Array(&type_standard__Array__standard__Object);
-{ /* var140 = array_instance Array[Object] */
-var141 = 3;
-var142 = NEW_standard__NativeArray(var141, &type_standard__NativeArray__standard__Object);
-((struct instance_standard__NativeArray*)var142)->values[0] = (val*) var131;
-((struct instance_standard__NativeArray*)var142)->values[1] = (val*) var_name;
-((struct instance_standard__NativeArray*)var142)->values[2] = (val*) var136;
-{
-((void (*)(val* self, val* p0, long p1))(var140->class->vft[COLOR_standard__array__Array__with_native]))(var140, var142, var141) /* with_native on <var140:Array[Object]>*/;
-}
-}
-{
-var143 = ((val* (*)(val* self))(var140->class->vft[COLOR_standard__string__Object__to_s]))(var140) /* to_s on <var140:Array[Object]>*/;
-}
-{
-nit___nit__ModelBuilder___error(self, var_ntype, var143); /* Direct call modelbuilder_base#ModelBuilder#error on <self:ModelBuilder>*/
-}
-} else {
-{
-{ /* Inline model#MClass#arity (var_mclass) on <var_mclass:nullable MClass(MClass)> */
-var146 = var_mclass->attrs[COLOR_nit__model__MClass___arity].l; /* _arity on <var_mclass:nullable MClass(MClass)> */
-var144 = var146;
-RET_LABEL145:(void)0;
-}
-}
-var147 = 0;
-{
-{ /* Inline kernel#Int#== (var144,var147) on <var144:Int> */
-var150 = var144 == var147;
-var148 = var150;
-goto RET_LABEL149;
-RET_LABEL149:(void)0;
-}
-}
-if (var148){
-if (varonce151) {
-var152 = varonce151;
-} else {
-var153 = "Type error: \'";
-var154 = 13;
-var155 = standard___standard__NativeString___to_s_with_length(var153, var154);
-var152 = var155;
-varonce151 = var152;
-}
-if (varonce156) {
-var157 = varonce156;
-} else {
-var158 = "\' is not a generic class.";
-var159 = 25;
-var160 = standard___standard__NativeString___to_s_with_length(var158, var159);
-var157 = var160;
-varonce156 = var157;
-}
-var161 = NEW_standard__Array(&type_standard__Array__standard__Object);
-{ /* var161 = array_instance Array[Object] */
-var162 = 3;
-var163 = NEW_standard__NativeArray(var162, &type_standard__NativeArray__standard__Object);
-((struct instance_standard__NativeArray*)var163)->values[0] = (val*) var152;
-((struct instance_standard__NativeArray*)var163)->values[1] = (val*) var_name;
-((struct instance_standard__NativeArray*)var163)->values[2] = (val*) var157;
-{
-((void (*)(val* self, val* p0, long p1))(var161->class->vft[COLOR_standard__array__Array__with_native]))(var161, var163, var162) /* with_native on <var161:Array[Object]>*/;
-}
-}
-{
-var164 = ((val* (*)(val* self))(var161->class->vft[COLOR_standard__string__Object__to_s]))(var161) /* to_s on <var161:Array[Object]>*/;
-}
-{
-nit___nit__ModelBuilder___error(self, var_ntype, var164); /* Direct call modelbuilder_base#ModelBuilder#error on <self:ModelBuilder>*/
-}
-} else {
-if (varonce165) {
-var166 = varonce165;
-} else {
-var167 = "Type error: \'";
-var168 = 13;
-var169 = standard___standard__NativeString___to_s_with_length(var167, var168);
-var166 = var169;
-varonce165 = var166;
-}
-if (varonce170) {
-var171 = varonce170;
-} else {
-var172 = "\' has ";
-var173 = 6;
-var174 = standard___standard__NativeString___to_s_with_length(var172, var173);
-var171 = var174;
-varonce170 = var171;
-}
-{
-{ /* Inline model#MClass#arity (var_mclass) on <var_mclass:nullable MClass(MClass)> */
-var177 = var_mclass->attrs[COLOR_nit__model__MClass___arity].l; /* _arity on <var_mclass:nullable MClass(MClass)> */
-var175 = var177;
-RET_LABEL176:(void)0;
-}
-}
-if (varonce178) {
-var179 = varonce178;
-} else {
-var180 = " parameters (";
-var181 = 13;
-var182 = standard___standard__NativeString___to_s_with_length(var180, var181);
-var179 = var182;
-varonce178 = var179;
-}
-if (varonce183) {
-var184 = varonce183;
-} else {
-var185 = " are provided).";
-var186 = 15;
-var187 = standard___standard__NativeString___to_s_with_length(var185, var186);
-var184 = var187;
-varonce183 = var184;
-}
-var188 = NEW_standard__Array(&type_standard__Array__standard__Object);
-{ /* var188 = array_instance Array[Object] */
-var189 = 7;
-var190 = NEW_standard__NativeArray(var189, &type_standard__NativeArray__standard__Object);
-((struct instance_standard__NativeArray*)var190)->values[0] = (val*) var166;
-((struct instance_standard__NativeArray*)var190)->values[1] = (val*) var_name;
-((struct instance_standard__NativeArray*)var190)->values[2] = (val*) var171;
-var191 = BOX_standard__Int(var175); /* autobox from Int to Object */
-((struct instance_standard__NativeArray*)var190)->values[3] = (val*) var191;
-((struct instance_standard__NativeArray*)var190)->values[4] = (val*) var179;
-var192 = BOX_standard__Int(var_arity); /* autobox from Int to Object */
-((struct instance_standard__NativeArray*)var190)->values[5] = (val*) var192;
-((struct instance_standard__NativeArray*)var190)->values[6] = (val*) var184;
-{
-((void (*)(val* self, val* p0, long p1))(var188->class->vft[COLOR_standard__array__Array__with_native]))(var188, var190, var189) /* with_native on <var188:Array[Object]>*/;
-}
-}
-{
-var193 = ((val* (*)(val* self))(var188->class->vft[COLOR_standard__string__Object__to_s]))(var188) /* to_s on <var188:Array[Object]>*/;
-}
-{
-nit___nit__ModelBuilder___error(self, var_ntype, var193); /* Direct call modelbuilder_base#ModelBuilder#error on <self:ModelBuilder>*/
-}
-}
-}
-var194 = NULL;
-var = var194;
-goto RET_LABEL;
-} else {
-}
-var195 = 0;
-{
-{ /* Inline kernel#Int#== (var_arity,var195) on <var_arity:Int> */
-var198 = var_arity == var195;
-var196 = var198;
-goto RET_LABEL197;
-RET_LABEL197:(void)0;
-}
-}
-if (var196){
-{
-{ /* Inline model#MClass#mclass_type (var_mclass) on <var_mclass:nullable MClass(MClass)> */
-var201 = var_mclass->attrs[COLOR_nit__model__MClass___mclass_type].val; /* _mclass_type on <var_mclass:nullable MClass(MClass)> */
-if (unlikely(var201 == NULL)) {
-PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mclass_type");
-PRINT_ERROR(" (%s:%d)\n", FILE_nit__model, 438);
-show_backtrace(1);
-}
-var199 = var201;
-RET_LABEL200:(void)0;
-}
-}
-var_res = var199;
-{
-{ /* Inline parser_nodes#AType#n_kwnullable (var_ntype) on <var_ntype:AType> */
-var204 = var_ntype->attrs[COLOR_nit__parser_nodes__AType___n_kwnullable].val; /* _n_kwnullable on <var_ntype:AType> */
-var202 = var204;
-RET_LABEL203:(void)0;
-}
-}
-var205 = NULL;
-if (var202 == NULL) {
-var206 = 0; /* is null */
-} else {
-var206 = 1; /* arg is null and recv is not */
-}
-if (0) {
-{ /* Inline kernel#Object#!= (var202,var205) on <var202:nullable TKwnullable> */
-var_other = var205;
-{
-var209 = ((short int (*)(val* self, val* p0))(var202->class->vft[COLOR_standard__kernel__Object___61d_61d]))(var202, var_other) /* == on <var202:nullable TKwnullable(TKwnullable)>*/;
-}
-var210 = !var209;
-var207 = var210;
-goto RET_LABEL208;
-RET_LABEL208:(void)0;
-}
-var206 = var207;
-}
-if (var206){
-{
-var211 = nit___nit__MType___as_nullable(var_res);
-}
-var_res = var211;
-} else {
-}
-{
-{ /* Inline modelize_class#AType#mtype= (var_ntype,var_res) on <var_ntype:AType> */
-var_ntype->attrs[COLOR_nit__modelize_class__AType___mtype].val = var_res; /* _mtype on <var_ntype:AType> */
-RET_LABEL212:(void)0;
-}
-}
-var = var_res;
-goto RET_LABEL;
-} else {
-var213 = NEW_standard__Array(&type_standard__Array__nit__MType);
-{
-standard___standard__Array___standard__kernel__Object__init(var213); /* Direct call array#Array#init on <var213:Array[MType]>*/
-}
-var_mtypes = var213;
-{
-{ /* Inline parser_nodes#AType#n_types (var_ntype) on <var_ntype:AType> */
-var216 = var_ntype->attrs[COLOR_nit__parser_nodes__AType___n_types].val; /* _n_types on <var_ntype:AType> */
-if (unlikely(var216 == NULL)) {
-PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _n_types");
-PRINT_ERROR(" (%s:%d)\n", FILE_nit__parser_nodes, 1539);
-show_backtrace(1);
-}
-var214 = var216;
-RET_LABEL215:(void)0;
-}
-}
-var_217 = var214;
-{
-var218 = nit___nit__ANodes___standard__abstract_collection__Collection__iterator(var_217);
-}
-var_219 = var218;
-for(;;) {
-{
-var220 = ((short int (*)(val* self))(var_219->class->vft[COLOR_standard__abstract_collection__Iterator__is_ok]))(var_219) /* is_ok on <var_219:Iterator[AType]>*/;
-}
-if (var220){
-{
-var221 = ((val* (*)(val* self))(var_219->class->vft[COLOR_standard__abstract_collection__Iterator__item]))(var_219) /* item on <var_219:Iterator[AType]>*/;
-}
-var_nt = var221;
-{
-var222 = nit__modelize_class___ModelBuilder___resolve_mtype_unchecked(self, var_mmodule, var_mclassdef, var_nt, var_with_virtual);
-}
-var_mt = var222;
-var223 = NULL;
-if (var_mt == NULL) {
-var224 = 1; /* is null */
-} else {
-var224 = 0; /* arg is null but recv is not */
-}
-if (0) {
-{ /* Inline kernel#Object#== (var_mt,var223) on <var_mt:nullable MType> */
-var_other227 = var223;
-{
-{ /* Inline kernel#Object#is_same_instance (var_mt,var_other227) on <var_mt:nullable MType(MType)> */
-var230 = var_mt == var_other227;
-var228 = var230;
-goto RET_LABEL229;
-RET_LABEL229:(void)0;
-}
-}
-var225 = var228;
-goto RET_LABEL226;
-RET_LABEL226:(void)0;
-}
-var224 = var225;
-}
-if (var224){
-var231 = NULL;
-var = var231;
-goto RET_LABEL;
-} else {
-}
-{
-standard___standard__Array___standard__abstract_collection__SimpleCollection__add(var_mtypes, var_mt); /* Direct call array#Array#add on <var_mtypes:Array[MType]>*/
-}
-{
-((void (*)(val* self))(var_219->class->vft[COLOR_standard__abstract_collection__Iterator__next]))(var_219) /* next on <var_219:Iterator[AType]>*/;
-}
-} else {
-goto BREAK_label232;
-}
-}
-BREAK_label232: (void)0;
-{
-{ /* Inline abstract_collection#Iterator#finish (var_219) on <var_219:Iterator[AType]> */
-RET_LABEL233:(void)0;
-}
-}
-{
-var234 = nit___nit__MClass___get_mtype(var_mclass, var_mtypes);
-}
-var_res = var234;
-{
-{ /* Inline parser_nodes#AType#n_kwnullable (var_ntype) on <var_ntype:AType> */
-var237 = var_ntype->attrs[COLOR_nit__parser_nodes__AType___n_kwnullable].val; /* _n_kwnullable on <var_ntype:AType> */
-var235 = var237;
-RET_LABEL236:(void)0;
-}
-}
-var238 = NULL;
-if (var235 == NULL) {
-var239 = 0; /* is null */
-} else {
-var239 = 1; /* arg is null and recv is not */
-}
-if (0) {
-{ /* Inline kernel#Object#!= (var235,var238) on <var235:nullable TKwnullable> */
-var_other = var238;
-{
-var242 = ((short int (*)(val* self, val* p0))(var235->class->vft[COLOR_standard__kernel__Object___61d_61d]))(var235, var_other) /* == on <var235:nullable TKwnullable(TKwnullable)>*/;
-}
-var243 = !var242;
-var240 = var243;
-goto RET_LABEL241;
-RET_LABEL241:(void)0;
-}
-var239 = var240;
-}
-if (var239){
-{
-var244 = nit___nit__MType___as_nullable(var_res);
-}
-var_res = var244;
-} else {
-}
-{
-{ /* Inline modelize_class#AType#mtype= (var_ntype,var_res) on <var_ntype:AType> */
-var_ntype->attrs[COLOR_nit__modelize_class__AType___mtype].val = var_res; /* _mtype on <var_ntype:AType> */
-RET_LABEL245:(void)0;
-}
-}
-var = var_res;
-goto RET_LABEL;
-}
-} else {
-}
-if (varonce246) {
-var247 = varonce246;
-} else {
-var248 = "Type error: class ";
-var249 = 18;
-var250 = standard___standard__NativeString___to_s_with_length(var248, var249);
-var247 = var250;
-varonce246 = var247;
-}
-if (varonce251) {
-var252 = varonce251;
-} else {
-var253 = " not found in module ";
-var254 = 21;
-var255 = standard___standard__NativeString___to_s_with_length(var253, var254);
-var252 = var255;
-varonce251 = var252;
-}
-if (varonce256) {
-var257 = varonce256;
-} else {
-var258 = ".";
-var259 = 1;
-var260 = standard___standard__NativeString___to_s_with_length(var258, var259);
-var257 = var260;
-varonce256 = var257;
-}
-var261 = NEW_standard__Array(&type_standard__Array__standard__Object);
-{ /* var261 = array_instance Array[Object] */
-var262 = 5;
-var263 = NEW_standard__NativeArray(var262, &type_standard__NativeArray__standard__Object);
-((struct instance_standard__NativeArray*)var263)->values[0] = (val*) var247;
-((struct instance_standard__NativeArray*)var263)->values[1] = (val*) var_name;
-((struct instance_standard__NativeArray*)var263)->values[2] = (val*) var252;
-((struct instance_standard__NativeArray*)var263)->values[3] = (val*) var_mmodule;
-((struct instance_standard__NativeArray*)var263)->values[4] = (val*) var257;
-{
-((void (*)(val* self, val* p0, long p1))(var261->class->vft[COLOR_standard__array__Array__with_native]))(var261, var263, var262) /* with_native on <var261:Array[Object]>*/;
-}
-}
-{
-var264 = ((val* (*)(val* self))(var261->class->vft[COLOR_standard__string__Object__to_s]))(var261) /* to_s on <var261:Array[Object]>*/;
-}
-{
-nit___nit__ModelBuilder___error(self, var_ntype, var264); /* Direct call modelbuilder_base#ModelBuilder#error on <self:ModelBuilder>*/
-}
-var265 = NULL;
-var = var265;
-goto RET_LABEL;
-RET_LABEL:;
-return var;
-}
-/* method modelize_class#ModelBuilder#resolve_mtype for (self: ModelBuilder, MModule, nullable MClassDef, AType): nullable MType */
-val* nit__modelize_class___ModelBuilder___resolve_mtype(val* self, val* p0, val* p1, val* p2) {
-val* var /* : nullable MType */;
-val* var_mmodule /* var mmodule: MModule */;
-val* var_mclassdef /* var mclassdef: nullable MClassDef */;
-val* var_ntype /* var ntype: AType */;
-val* var1 /* : nullable MType */;
-val* var3 /* : nullable MType */;
-val* var_mtype /* var mtype: nullable MType */;
-val* var4 /* : null */;
-short int var5 /* : Bool */;
-short int var6 /* : Bool */;
-val* var_other /* var other: nullable Object */;
-short int var8 /* : Bool */;
-short int var10 /* : Bool */;
-short int var11 /* : Bool */;
-val* var12 /* : nullable MType */;
-val* var13 /* : null */;
-short int var14 /* : Bool */;
-short int var15 /* : Bool */;
-short int var17 /* : Bool */;
-short int var19 /* : Bool */;
-val* var20 /* : null */;
-short int var21 /* : Bool */;
-short int var23 /* : Bool */;
-short int var24 /* : Bool */;
-int cltype;
-int idtype;
-val* var25 /* : MClass */;
-val* var27 /* : MClass */;
-val* var_mclass /* var mclass: MClass */;
-long var28 /* : Int */;
-long var_i /* var i: Int */;
-long var29 /* : Int */;
-long var31 /* : Int */;
-long var_ /* var : Int */;
-short int var32 /* : Bool */;
-short int var34 /* : Bool */;
-int cltype35;
-int idtype36;
-const char* var_class_name;
-short int var37 /* : Bool */;
-val* var38 /* : MClassDef */;
-val* var40 /* : MClassDef */;
-val* var41 /* : MClassType */;
-val* var43 /* : MClassType */;
-val* var44 /* : Array[MType] */;
-val* var45 /* : nullable Object */;
-val* var_bound /* var bound: MType */;
-val* var46 /* : ANodes[AType] */;
-val* var48 /* : ANodes[AType] */;
-val* var49 /* : ANode */;
-val* var_nt /* var nt: AType */;
-val* var50 /* : nullable MType */;
-val* var_mt /* var mt: nullable MType */;
-val* var51 /* : null */;
-short int var52 /* : Bool */;
-short int var53 /* : Bool */;
-short int var55 /* : Bool */;
-short int var57 /* : Bool */;
-val* var58 /* : null */;
-val* var59 /* : null */;
-short int var60 /* : Bool */;
-short int var61 /* : Bool */;
-val* var_other63 /* var other: nullable Object */;
-short int var64 /* : Bool */;
-short int var65 /* : Bool */;
-val* var66 /* : MClassType */;
-val* var68 /* : MClassType */;
-val* var_anchor /* var anchor: nullable Object */;
-val* var69 /* : null */;
-short int var70 /* : Bool */;
-short int var71 /* : Bool */;
-static val* varonce;
-val* var72 /* : String */;
-char* var73 /* : NativeString */;
-long var74 /* : Int */;
-val* var75 /* : FlatString */;
-static val* varonce76;
-val* var77 /* : String */;
-char* var78 /* : NativeString */;
-long var79 /* : Int */;
-val* var80 /* : FlatString */;
-val* var81 /* : Array[Object] */;
-long var82 /* : Int */;
-val* var83 /* : NativeArray[Object] */;
-val* var84 /* : String */;
-val* var85 /* : null */;
-long var86 /* : Int */;
-long var87 /* : Int */;
-short int var88 /* : Bool */;
-var_mmodule = p0;
-var_mclassdef = p1;
-var_ntype = p2;
-{
-{ /* Inline modelize_class#AType#mtype (var_ntype) on <var_ntype:AType> */
-var3 = var_ntype->attrs[COLOR_nit__modelize_class__AType___mtype].val; /* _mtype on <var_ntype:AType> */
-var1 = var3;
-RET_LABEL2:(void)0;
-}
-}
-var_mtype = var1;
-var4 = NULL;
-if (var_mtype == NULL) {
-var5 = 1; /* is null */
-} else {
-var5 = 0; /* arg is null but recv is not */
-}
-if (0) {
-{ /* Inline kernel#Object#== (var_mtype,var4) on <var_mtype:nullable MType> */
-var_other = var4;
-{
-{ /* Inline kernel#Object#is_same_instance (var_mtype,var_other) on <var_mtype:nullable MType(MType)> */
-var10 = var_mtype == var_other;
-var8 = var10;
-goto RET_LABEL9;
-RET_LABEL9:(void)0;
-}
-}
-var6 = var8;
-goto RET_LABEL7;
-RET_LABEL7:(void)0;
-}
-var5 = var6;
-}
-if (var5){
-var11 = 1;
-{
-var12 = nit__modelize_class___ModelBuilder___resolve_mtype_unchecked(self, var_mmodule, var_mclassdef, var_ntype, var11);
-}
-var_mtype = var12;
-} else {
-}
-var13 = NULL;
-if (var_mtype == NULL) {
-var14 = 1; /* is null */
-} else {
-var14 = 0; /* arg is null but recv is not */
-}
-if (0) {
-{ /* Inline kernel#Object#== (var_mtype,var13) on <var_mtype:nullable MType> */
-var_other = var13;
-{
-{ /* Inline kernel#Object#is_same_instance (var_mtype,var_other) on <var_mtype:nullable MType(MType)> */
-var19 = var_mtype == var_other;
-var17 = var19;
-goto RET_LABEL18;
-RET_LABEL18:(void)0;
-}
-}
-var15 = var17;
-goto RET_LABEL16;
-RET_LABEL16:(void)0;
-}
-var14 = var15;
-}
-if (var14){
-var20 = NULL;
-var = var20;
-goto RET_LABEL;
-} else {
-}
-{
-{ /* Inline modelize_class#AType#checked_mtype (var_ntype) on <var_ntype:AType> */
-var23 = var_ntype->attrs[COLOR_nit__modelize_class__AType___checked_mtype].s; /* _checked_mtype on <var_ntype:AType> */
-var21 = var23;
-RET_LABEL22:(void)0;
-}
-}
-if (var21){
-var = var_mtype;
-goto RET_LABEL;
-} else {
-}
-/* <var_mtype:nullable MType(MType)> isa MGenericType */
-cltype = type_nit__MGenericType.color;
-idtype = type_nit__MGenericType.id;
-if(cltype >= var_mtype->type->table_size) {
-var24 = 0;
-} else {
-var24 = var_mtype->type->type_table[cltype] == idtype;
-}
-if (var24){
-{
-{ /* Inline model#MClassType#mclass (var_mtype) on <var_mtype:nullable MType(MGenericType)> */
-var27 = var_mtype->attrs[COLOR_nit__model__MClassType___mclass].val; /* _mclass on <var_mtype:nullable MType(MGenericType)> */
-if (unlikely(var27 == NULL)) {
-PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mclass");
-PRINT_ERROR(" (%s:%d)\n", FILE_nit__model, 1058);
-show_backtrace(1);
-}
-var25 = var27;
-RET_LABEL26:(void)0;
-}
-}
-var_mclass = var25;
-var28 = 0;
-var_i = var28;
-{
-{ /* Inline model#MClass#arity (var_mclass) on <var_mclass:MClass> */
-var31 = var_mclass->attrs[COLOR_nit__model__MClass___arity].l; /* _arity on <var_mclass:MClass> */
-var29 = var31;
-RET_LABEL30:(void)0;
-}
-}
-var_ = var29;
-for(;;) {
-{
-{ /* Inline kernel#Int#< (var_i,var_) on <var_i:Int> */
-/* Covariant cast for argument 0 (i) <var_:Int> isa OTHER */
-/* <var_:Int> isa OTHER */
-var34 = 1; /* easy <var_:Int> isa OTHER*/
-if (unlikely(!var34)) {
-var_class_name = type_standard__Int.name;
-PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name);
-PRINT_ERROR(" (%s:%d)\n", FILE_standard__kernel, 410);
-show_backtrace(1);
-}
-var37 = var_i < var_;
-var32 = var37;
-goto RET_LABEL33;
-RET_LABEL33:(void)0;
-}
-}
-if (var32){
-{
-{ /* Inline model#MClass#intro (var_mclass) on <var_mclass:MClass> */
-var40 = var_mclass->attrs[COLOR_nit__model__MClass___intro].val; /* _intro on <var_mclass:MClass> */
-if (unlikely(var40 == NULL)) {
-PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _intro");
-PRINT_ERROR(" (%s:%d)\n", FILE_nit__model, 423);
-show_backtrace(1);
-}
-var38 = var40;
-RET_LABEL39:(void)0;
-}
-}
-{
-{ /* Inline model#MClassDef#bound_mtype (var38) on <var38:MClassDef> */
-var43 = var38->attrs[COLOR_nit__model__MClassDef___bound_mtype].val; /* _bound_mtype on <var38:MClassDef> */
-if (unlikely(var43 == NULL)) {
-PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _bound_mtype");
-PRINT_ERROR(" (%s:%d)\n", FILE_nit__model, 495);
-show_backtrace(1);
-}
-var41 = var43;
-RET_LABEL42:(void)0;
-}
-}
-{
-var44 = ((val* (*)(val* self))(var41->class->vft[COLOR_nit__model__MClassType__arguments]))(var41) /* arguments on <var41:MClassType>*/;
-}
-{
-var45 = standard___standard__Array___standard__abstract_collection__SequenceRead___91d_93d(var44, var_i);
-}
-var_bound = var45;
-{
-{ /* Inline parser_nodes#AType#n_types (var_ntype) on <var_ntype:AType> */
-var48 = var_ntype->attrs[COLOR_nit__parser_nodes__AType___n_types].val; /* _n_types on <var_ntype:AType> */
-if (unlikely(var48 == NULL)) {
-PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _n_types");
-PRINT_ERROR(" (%s:%d)\n", FILE_nit__parser_nodes, 1539);
-show_backtrace(1);
-}
-var46 = var48;
-RET_LABEL47:(void)0;
-}
-}
-{
-var49 = nit___nit__ANodes___standard__abstract_collection__SequenceRead___91d_93d(var46, var_i);
-}
-var_nt = var49;
-{
-var50 = nit__modelize_class___ModelBuilder___resolve_mtype(self, var_mmodule, var_mclassdef, var_nt);
-}
-var_mt = var50;
-var51 = NULL;
-if (var_mt == NULL) {
-var52 = 1; /* is null */
-} else {
-var52 = 0; /* arg is null but recv is not */
-}
-if (0) {
-{ /* Inline kernel#Object#== (var_mt,var51) on <var_mt:nullable MType> */
-var_other = var51;
-{
-{ /* Inline kernel#Object#is_same_instance (var_mt,var_other) on <var_mt:nullable MType(MType)> */
-var57 = var_mt == var_other;
-var55 = var57;
-goto RET_LABEL56;
-RET_LABEL56:(void)0;
-}
-}
-var53 = var55;
-goto RET_LABEL54;
-RET_LABEL54:(void)0;
-}
-var52 = var53;
-}
-if (var52){
-var58 = NULL;
-var = var58;
-goto RET_LABEL;
-} else {
-}
-var59 = NULL;
-if (var_mclassdef == NULL) {
-var60 = 0; /* is null */
-} else {
-var60 = 1; /* arg is null and recv is not */
-}
-if (0) {
-{ /* Inline kernel#Object#!= (var_mclassdef,var59) on <var_mclassdef:nullable MClassDef> */
-var_other63 = var59;
-{
-var64 = ((short int (*)(val* self, val* p0))(var_mclassdef->class->vft[COLOR_standard__kernel__Object___61d_61d]))(var_mclassdef, var_other63) /* == on <var_mclassdef:nullable MClassDef(MClassDef)>*/;
-}
-var65 = !var64;
-var61 = var65;
-goto RET_LABEL62;
-RET_LABEL62:(void)0;
-}
-var60 = var61;
-}
-if (var60){
-{
-{ /* Inline model#MClassDef#bound_mtype (var_mclassdef) on <var_mclassdef:nullable MClassDef(MClassDef)> */
-var68 = var_mclassdef->attrs[COLOR_nit__model__MClassDef___bound_mtype].val; /* _bound_mtype on <var_mclassdef:nullable MClassDef(MClassDef)> */
-if (unlikely(var68 == NULL)) {
-PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _bound_mtype");
-PRINT_ERROR(" (%s:%d)\n", FILE_nit__model, 495);
-show_backtrace(1);
-}
-var66 = var68;
-RET_LABEL67:(void)0;
-}
-}
-var_anchor = var66;
-} else {
-var69 = NULL;
-var_anchor = var69;
-}
-{
-var70 = nit___nit__MType___is_subtype(var_mt, var_mmodule, var_anchor, var_bound);
-}
-var71 = !var70;
-if (var71){
-if (varonce) {
-var72 = varonce;
-} else {
-var73 = "Type error: expected ";
-var74 = 21;
-var75 = standard___standard__NativeString___to_s_with_length(var73, var74);
-var72 = var75;
-varonce = var72;
-}
-if (varonce76) {
-var77 = varonce76;
-} else {
-var78 = ", got ";
-var79 = 6;
-var80 = standard___standard__NativeString___to_s_with_length(var78, var79);
-var77 = var80;
-varonce76 = var77;
-}
-var81 = NEW_standard__Array(&type_standard__Array__standard__Object);
-{ /* var81 = array_instance Array[Object] */
-var82 = 4;
-var83 = NEW_standard__NativeArray(var82, &type_standard__NativeArray__standard__Object);
-((struct instance_standard__NativeArray*)var83)->values[0] = (val*) var72;
-((struct instance_standard__NativeArray*)var83)->values[1] = (val*) var_bound;
-((struct instance_standard__NativeArray*)var83)->values[2] = (val*) var77;
-((struct instance_standard__NativeArray*)var83)->values[3] = (val*) var_mt;
-{
-((void (*)(val* self, val* p0, long p1))(var81->class->vft[COLOR_standard__array__Array__with_native]))(var81, var83, var82) /* with_native on <var81:Array[Object]>*/;
-}
-}
-{
-var84 = ((val* (*)(val* self))(var81->class->vft[COLOR_standard__string__Object__to_s]))(var81) /* to_s on <var81:Array[Object]>*/;
-}
-{
-nit___nit__ModelBuilder___error(self, var_nt, var84); /* Direct call modelbuilder_base#ModelBuilder#error on <self:ModelBuilder>*/
-}
-var85 = NULL;
-var = var85;
-goto RET_LABEL;
-} else {
-}
-var86 = 1;
-{
-var87 = standard___standard__Int___Discrete__successor(var_i, var86);
-}
-var_i = var87;
-} else {
-goto BREAK_label;
-}
-}
-BREAK_label: (void)0;
-} else {
-}
-var88 = 1;
-{
-{ /* Inline modelize_class#AType#checked_mtype= (var_ntype,var88) on <var_ntype:AType> */
-var_ntype->attrs[COLOR_nit__modelize_class__AType___checked_mtype].s = var88; /* _checked_mtype on <var_ntype:AType> */
-RET_LABEL89:(void)0;
-}
-}
-var = var_mtype;
-goto RET_LABEL;
-RET_LABEL:;
-return var;
-}
-/* method modelize_class#AModule#build_classes_is_done for (self: AModule): Bool */
-short int nit__modelize_class___AModule___build_classes_is_done(val* self) {
-short int var /* : Bool */;
-short int var1 /* : Bool */;
-var1 = self->attrs[COLOR_nit__modelize_class__AModule___build_classes_is_done].s; /* _build_classes_is_done on <self:AModule> */
-var = var1;
-RET_LABEL:;
-return var;
-}
-/* method modelize_class#AModule#build_classes_is_done= for (self: AModule, Bool) */
-void nit__modelize_class___AModule___build_classes_is_done_61d(val* self, short int p0) {
-self->attrs[COLOR_nit__modelize_class__AModule___build_classes_is_done].s = p0; /* _build_classes_is_done on <self:AModule> */
-RET_LABEL:;
-}
-/* method modelize_class#AModule#mclass2nclassdef for (self: AModule): Map[MClass, AClassdef] */
-val* nit__modelize_class___AModule___mclass2nclassdef(val* self) {
-val* var /* : Map[MClass, AClassdef] */;
-val* var1 /* : Map[MClass, AClassdef] */;
-var1 = self->attrs[COLOR_nit__modelize_class__AModule___mclass2nclassdef].val; /* _mclass2nclassdef on <self:AModule> */
-if (unlikely(var1 == NULL)) {
-PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mclass2nclassdef");
-PRINT_ERROR(" (%s:%d)\n", FILE_nit__modelize_class, 541);
-show_backtrace(1);
-}
-var = var1;
-RET_LABEL:;
-return var;
-}
-/* method modelize_class#AClassdef#mclass for (self: AClassdef): nullable MClass */
-val* nit__modelize_class___AClassdef___mclass(val* self) {
-val* var /* : nullable MClass */;
-val* var1 /* : nullable MClass */;
-var1 = self->attrs[COLOR_nit__modelize_class__AClassdef___mclass].val; /* _mclass on <self:AClassdef> */
-var = var1;
-RET_LABEL:;
-return var;