-short int var94 /* : Bool */;
-int cltype;
-int idtype;
-const char* var_class_name;
-short int var95 /* : Bool */;
-long var_i /* var i: Int */;
-long var96 /* : Int */;
-long var_97 /* var : Int */;
-short int var98 /* : Bool */;
-short int var100 /* : Bool */;
-int cltype101;
-int idtype102;
-const char* var_class_name103;
-short int var104 /* : Bool */;
-val* var105 /* : Array[MParameter] */;
-val* var107 /* : Array[MParameter] */;
-val* var108 /* : nullable Object */;
-val* var109 /* : MType */;
-val* var111 /* : MType */;
-val* var_myt /* var myt: MType */;
-val* var112 /* : Array[MParameter] */;
-val* var114 /* : Array[MParameter] */;
-val* var115 /* : nullable Object */;
-val* var116 /* : MType */;
-val* var118 /* : MType */;
-val* var_prt /* var prt: MType */;
-val* var119 /* : ANodes[AParam] */;
-val* var121 /* : ANodes[AParam] */;
-val* var122 /* : ANode */;
-val* var_node /* var node: AParam */;
-val* var123 /* : MClassType */;
-val* var125 /* : MClassType */;
-short int var126 /* : Bool */;
-short int var127 /* : Bool */;
-val* var129 /* : NativeArray[String] */;
-static val* varonce128;
-static val* varonce130;
-val* var131 /* : String */;
-char* var132 /* : NativeString */;
-val* var133 /* : String */;
-static val* varonce134;
-val* var135 /* : String */;
-char* var136 /* : NativeString */;
-val* var137 /* : String */;
-static val* varonce138;
-val* var139 /* : String */;
-char* var140 /* : NativeString */;
-val* var141 /* : String */;
-static val* varonce142;
-val* var143 /* : String */;
-char* var144 /* : NativeString */;
-val* var145 /* : String */;
-val* var146 /* : String */;
-val* var147 /* : Array[MParameter] */;
-val* var149 /* : Array[MParameter] */;
-val* var150 /* : nullable Object */;
-val* var151 /* : String */;
-val* var153 /* : String */;
-val* var154 /* : String */;
-val* var155 /* : String */;
-long var158 /* : Int */;
-short int var159 /* : Bool */;
-short int var160 /* : Bool */;
-short int var162 /* : Bool */;
-short int var163 /* : Bool */;
-val* var_node164 /* var node: nullable ANode */;
-short int var165 /* : Bool */;
-short int var166 /* : Bool */;
-short int var168 /* : Bool */;
-short int var169 /* : Bool */;
-val* var170 /* : nullable AType */;
-val* var172 /* : nullable AType */;
-short int var173 /* : Bool */;
-short int var174 /* : Bool */;
-short int var176 /* : Bool */;
-short int var178 /* : Bool */;
-short int var179 /* : Bool */;
-short int var180 /* : Bool */;
-short int var182 /* : Bool */;
-short int var184 /* : Bool */;
-val* var185 /* : MClassType */;
-val* var187 /* : MClassType */;
-short int var188 /* : Bool */;
-short int var189 /* : Bool */;
-val* var191 /* : NativeArray[String] */;
-static val* varonce190;
-static val* varonce192;
-val* var193 /* : String */;
-char* var194 /* : NativeString */;
-val* var195 /* : String */;
-static val* varonce196;
-val* var197 /* : String */;
-char* var198 /* : NativeString */;
-val* var199 /* : String */;
-static val* varonce200;
-val* var201 /* : String */;
-char* var202 /* : NativeString */;
-val* var203 /* : String */;
-val* var204 /* : String */;
-val* var205 /* : String */;
-val* var206 /* : String */;
-short int var209 /* : Bool */;
-short int var210 /* : Bool */;
-short int var212 /* : Bool */;
-short int var213 /* : Bool */;
-long var_i214 /* var i: Int */;
-long var215 /* : Int */;
-long var_216 /* var : Int */;
-short int var217 /* : Bool */;
-short int var219 /* : Bool */;
-int cltype220;
-int idtype221;
-const char* var_class_name222;
-short int var223 /* : Bool */;
-val* var225 /* : ANodes[AParam] */;
-val* var227 /* : ANodes[AParam] */;
-val* var228 /* : ANode */;
-val* var229 /* : nullable AType */;
-val* var231 /* : nullable AType */;
-val* var_nt /* var nt: nullable AType */;
-short int var232 /* : Bool */;
-short int var233 /* : Bool */;
-short int var235 /* : Bool */;
-short int var236 /* : Bool */;
-val* var237 /* : nullable MType */;
-val* var239 /* : nullable MType */;
-long var240 /* : Int */;
-val* var241 /* : nullable AType */;
-val* var243 /* : nullable AType */;
-val* var_nt244 /* var nt: nullable AType */;
-short int var245 /* : Bool */;
-short int var246 /* : Bool */;
-short int var248 /* : Bool */;
-short int var249 /* : Bool */;
-val* var250 /* : nullable MType */;
-val* var252 /* : nullable MType */;
-var_modelbuilder = p0;
-{
-{ /* Inline modelize_property#APropdef#mpropdef (self) on <self:AMethPropdef> */
-var2 = self->attrs[COLOR_nitc__modelize_property__APropdef___mpropdef].val; /* _mpropdef on <self:AMethPropdef> */
-var = var2;
-RET_LABEL1:(void)0;
-}
-}
-var_mpropdef = var;
-if (var_mpropdef == NULL) {
-var3 = 1; /* is null */
-} else {
-var3 = 0; /* arg is null but recv is not */
-}
-if (0) {
-{ /* Inline kernel#Object#== (var_mpropdef,((val*)NULL)) on <var_mpropdef:nullable MMethodDef> */
-var_other = ((val*)NULL);
-{
-{ /* Inline kernel#Object#is_same_instance (var_mpropdef,var_other) on <var_mpropdef:nullable MMethodDef(MMethodDef)> */
-var8 = var_mpropdef == var_other;
-var6 = var8;
-goto RET_LABEL7;
-RET_LABEL7:(void)0;
-}
-}
-var4 = var6;
-goto RET_LABEL5;
-RET_LABEL5:(void)0;
-}
-var3 = var4;
-}
-if (var3){
-goto RET_LABEL;
-} else {
-}
-{
-{ /* Inline model#MPropDef#mclassdef (var_mpropdef) on <var_mpropdef:nullable MMethodDef(MMethodDef)> */
-var11 = var_mpropdef->attrs[COLOR_nitc__model__MPropDef___mclassdef].val; /* _mclassdef on <var_mpropdef:nullable MMethodDef(MMethodDef)> */
-if (unlikely(var11 == NULL)) {
-PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mclassdef");
-PRINT_ERROR(" (%s:%d)\n", FILE_nitc__model, 2227);
-fatal_exit(1);
-}
-var9 = var11;
-RET_LABEL10:(void)0;
-}
-}
-var_mclassdef = var9;
-{
-{ /* Inline model#MClassDef#mmodule (var_mclassdef) on <var_mclassdef:MClassDef> */
-var14 = var_mclassdef->attrs[COLOR_nitc__model__MClassDef___mmodule].val; /* _mmodule on <var_mclassdef:MClassDef> */
-if (unlikely(var14 == NULL)) {
-PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mmodule");
-PRINT_ERROR(" (%s:%d)\n", FILE_nitc__model, 573);
-fatal_exit(1);
-}
-var12 = var14;
-RET_LABEL13:(void)0;
-}
-}
-var_mmodule = var12;
-{
-{ /* Inline parser_nodes#AMethPropdef#n_signature (self) on <self:AMethPropdef> */
-var17 = self->attrs[COLOR_nitc__parser_nodes__AMethPropdef___n_signature].val; /* _n_signature on <self:AMethPropdef> */
-var15 = var17;
-RET_LABEL16:(void)0;
-}
-}
-var_nsig = var15;
-{
-{ /* Inline model#MMethodDef#msignature (var_mpropdef) on <var_mpropdef:nullable MMethodDef(MMethodDef)> */
-var20 = var_mpropdef->attrs[COLOR_nitc__model__MMethodDef___msignature].val; /* _msignature on <var_mpropdef:nullable MMethodDef(MMethodDef)> */
-var18 = var20;
-RET_LABEL19:(void)0;
-}
-}
-var_mysignature = var18;
-if (var_mysignature == NULL) {
-var21 = 1; /* is null */
-} else {
-var21 = 0; /* arg is null but recv is not */
-}
-if (0) {
-{ /* Inline kernel#Object#== (var_mysignature,((val*)NULL)) on <var_mysignature:nullable MSignature> */
-var_other = ((val*)NULL);
-{
-{ /* Inline kernel#Object#is_same_instance (var_mysignature,var_other) on <var_mysignature:nullable MSignature(MSignature)> */
-var26 = var_mysignature == var_other;
-var24 = var26;
-goto RET_LABEL25;
-RET_LABEL25:(void)0;
-}
-}
-var22 = var24;
-goto RET_LABEL23;
-RET_LABEL23:(void)0;
-}
-var21 = var22;
-}
-if (var21){
-goto RET_LABEL;
-} else {
-}
-if (var_nsig == NULL) {
-var27 = 0; /* is null */
-} else {
-var27 = 1; /* arg is null and recv is not */
-}
-if (0) {
-{ /* Inline kernel#Object#!= (var_nsig,((val*)NULL)) on <var_nsig:nullable ASignature> */
-var_other30 = ((val*)NULL);
-{
-var31 = ((short int(*)(val* self, val* p0))(var_nsig->class->vft[COLOR_core__kernel__Object___61d_61d]))(var_nsig, var_other30); /* == on <var_nsig:nullable ASignature(ASignature)>*/
-}
-var32 = !var31;
-var28 = var32;
-goto RET_LABEL29;
-RET_LABEL29:(void)0;
-}
-var27 = var28;
-}
-if (var27){
-{
-var33 = nitc__modelize_property___ASignature___check_signature(var_nsig, var_modelbuilder, var_mclassdef);
-}
-var34 = !var33;
-if (var34){
-{
-{ /* Inline model#MMethodDef#msignature= (var_mpropdef,((val*)NULL)) on <var_mpropdef:nullable MMethodDef(MMethodDef)> */
-var_mpropdef->attrs[COLOR_nitc__model__MMethodDef___msignature].val = ((val*)NULL); /* _msignature on <var_mpropdef:nullable MMethodDef(MMethodDef)> */
-RET_LABEL35:(void)0;
-}
-}
-{
-{ /* Inline model_base#MEntity#is_broken= (var_mpropdef,1) on <var_mpropdef:nullable MMethodDef(MMethodDef)> */
-var_mpropdef->attrs[COLOR_nitc__model_base__MEntity___is_broken].s = 1; /* _is_broken on <var_mpropdef:nullable MMethodDef(MMethodDef)> */
-RET_LABEL36:(void)0;
-}
-}
-goto RET_LABEL;
-} else {
-}
-} else {
-}
-{
-var37 = nitc___nitc__MPropDef___is_intro(var_mpropdef);
-}
-var38 = !var37;
-if (var38){
-{
-{ /* Inline model#MPropDef#mproperty (var_mpropdef) on <var_mpropdef:nullable MMethodDef(MMethodDef)> */
-var41 = var_mpropdef->attrs[COLOR_nitc__model__MPropDef___mproperty].val; /* _mproperty on <var_mpropdef:nullable MMethodDef(MMethodDef)> */
-if (unlikely(var41 == NULL)) {
-PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mproperty");
-PRINT_ERROR(" (%s:%d)\n", FILE_nitc__model, 2230);
-fatal_exit(1);
-}
-var39 = var41;
-RET_LABEL40:(void)0;
-}
-}
-{
-{ /* Inline model#MProperty#intro (var39) on <var39:MProperty(MMethod)> */
-var44 = var39->attrs[COLOR_nitc__model__MProperty___intro].val; /* _intro on <var39:MProperty(MMethod)> */
-if (unlikely(var44 == NULL)) {
-PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _intro");
-PRINT_ERROR(" (%s:%d)\n", FILE_nitc__model, 1986);
-fatal_exit(1);
-}
-var42 = var44;
-RET_LABEL43:(void)0;
-}
-}
-{
-{ /* Inline model#MMethodDef#msignature (var42) on <var42:MPropDef(MMethodDef)> */
-var47 = var42->attrs[COLOR_nitc__model__MMethodDef___msignature].val; /* _msignature on <var42:MPropDef(MMethodDef)> */
-var45 = var47;
-RET_LABEL46:(void)0;
-}
-}
-var_msignature = var45;
-if (var_msignature == NULL) {
-var48 = 1; /* is null */
-} else {
-var48 = 0; /* arg is null but recv is not */
-}
-if (0) {
-{ /* Inline kernel#Object#== (var_msignature,((val*)NULL)) on <var_msignature:nullable MSignature> */
-var_other = ((val*)NULL);
-{
-{ /* Inline kernel#Object#is_same_instance (var_msignature,var_other) on <var_msignature:nullable MSignature(MSignature)> */
-var53 = var_msignature == var_other;
-var51 = var53;
-goto RET_LABEL52;
-RET_LABEL52:(void)0;
-}
-}
-var49 = var51;
-goto RET_LABEL50;
-RET_LABEL50:(void)0;
-}
-var48 = var49;
-}
-if (var48){
-goto RET_LABEL;
-} else {
-}
-{
-{ /* Inline model#MSignature#return_mtype (var_msignature) on <var_msignature:nullable MSignature(MSignature)> */
-var56 = var_msignature->attrs[COLOR_nitc__model__MSignature___return_mtype].val; /* _return_mtype on <var_msignature:nullable MSignature(MSignature)> */
-var54 = var56;
-RET_LABEL55:(void)0;
-}
-}
-var_precursor_ret_type = var54;
-{
-{ /* Inline model#MSignature#return_mtype (var_mysignature) on <var_mysignature:nullable MSignature(MSignature)> */
-var59 = var_mysignature->attrs[COLOR_nitc__model__MSignature___return_mtype].val; /* _return_mtype on <var_mysignature:nullable MSignature(MSignature)> */
-var57 = var59;
-RET_LABEL58:(void)0;
-}
-}
-var_ret_type = var57;
-if (var_ret_type == NULL) {
-var61 = 0; /* is null */
-} else {
-var61 = 1; /* arg is null and recv is not */
-}
-if (0) {
-{ /* Inline kernel#Object#!= (var_ret_type,((val*)NULL)) on <var_ret_type:nullable MType> */
-var_other30 = ((val*)NULL);
-{
-var64 = ((short int(*)(val* self, val* p0))(var_ret_type->class->vft[COLOR_core__kernel__Object___61d_61d]))(var_ret_type, var_other30); /* == on <var_ret_type:nullable MType(MType)>*/
-}
-var65 = !var64;
-var62 = var65;
-goto RET_LABEL63;
-RET_LABEL63:(void)0;
-}
-var61 = var62;
-}
-var_ = var61;
-if (var61){
-if (var_precursor_ret_type == NULL) {
-var66 = 1; /* is null */
-} else {
-var66 = 0; /* arg is null but recv is not */
-}
-if (0) {
-{ /* Inline kernel#Object#== (var_precursor_ret_type,((val*)NULL)) on <var_precursor_ret_type:nullable MType> */
-var_other = ((val*)NULL);
-{
-{ /* Inline kernel#Object#is_same_instance (var_precursor_ret_type,var_other) on <var_precursor_ret_type:nullable MType(MType)> */
-var71 = var_precursor_ret_type == var_other;
-var69 = var71;
-goto RET_LABEL70;
-RET_LABEL70:(void)0;
-}
-}
-var67 = var69;
-goto RET_LABEL68;
-RET_LABEL68:(void)0;
-}
-var66 = var67;
-}
-var60 = var66;
-} else {
-var60 = var_;
-}
-if (var60){
-if (var_nsig == NULL) {
-PRINT_ERROR("Runtime error: %s", "Receiver is null");
-PRINT_ERROR(" (%s:%d)\n", FILE_nitc__modelize_property, 1029);
-fatal_exit(1);
-} else {
-{ /* Inline parser_nodes#ASignature#n_type (var_nsig) on <var_nsig:nullable ASignature> */
-if (unlikely(var_nsig == NULL)) {
-PRINT_ERROR("Runtime error: %s", "Receiver is null");
-PRINT_ERROR(" (%s:%d)\n", FILE_nitc__parser_nodes, 1685);
-fatal_exit(1);
-}
-var74 = var_nsig->attrs[COLOR_nitc__parser_nodes__ASignature___n_type].val; /* _n_type on <var_nsig:nullable ASignature> */
-var72 = var74;
-RET_LABEL73:(void)0;
-}
-}
-if (unlikely(varonce==NULL)) {
-var75 = NEW_core__NativeArray(3l, &type_core__NativeArray__core__String);
-if (likely(varonce76!=NULL)) {
-var77 = varonce76;
-} else {
-var78 = "Redef Error: `";
-var79 = core__flat___NativeString___to_s_full(var78, 14l, 14l);
-var77 = var79;
-varonce76 = var77;
-}
-((struct instance_core__NativeArray*)var75)->values[0]=var77;
-if (likely(varonce80!=NULL)) {
-var81 = varonce80;
-} else {
-var82 = "` is a procedure, not a function.";
-var83 = core__flat___NativeString___to_s_full(var82, 33l, 33l);
-var81 = var83;
-varonce80 = var81;
-}
-((struct instance_core__NativeArray*)var75)->values[2]=var81;
-} else {
-var75 = varonce;
-varonce = NULL;
-}
-{
-{ /* Inline model#MPropDef#mproperty (var_mpropdef) on <var_mpropdef:nullable MMethodDef(MMethodDef)> */
-var86 = var_mpropdef->attrs[COLOR_nitc__model__MPropDef___mproperty].val; /* _mproperty on <var_mpropdef:nullable MMethodDef(MMethodDef)> */
-if (unlikely(var86 == NULL)) {
-PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mproperty");
-PRINT_ERROR(" (%s:%d)\n", FILE_nitc__model, 2230);
-fatal_exit(1);
-}
-var84 = var86;
-RET_LABEL85:(void)0;
-}
-}
-{
-var87 = ((val*(*)(val* self))(var84->class->vft[COLOR_core__abstract_text__Object__to_s]))(var84); /* to_s on <var84:MProperty(MMethod)>*/
-}
-((struct instance_core__NativeArray*)var75)->values[1]=var87;
-{
-var88 = ((val*(*)(val* self))(var75->class->vft[COLOR_core__abstract_text__NativeArray__native_to_s]))(var75); /* native_to_s on <var75:NativeArray[String]>*/
-}
-varonce = var75;
-{
-nitc___nitc__ModelBuilder___error(var_modelbuilder, var72, var88); /* Direct call modelbuilder_base#ModelBuilder#error on <var_modelbuilder:ModelBuilder>*/
-}
-{
-{ /* Inline model#MMethodDef#msignature= (var_mpropdef,((val*)NULL)) on <var_mpropdef:nullable MMethodDef(MMethodDef)> */
-var_mpropdef->attrs[COLOR_nitc__model__MMethodDef___msignature].val = ((val*)NULL); /* _msignature on <var_mpropdef:nullable MMethodDef(MMethodDef)> */
-RET_LABEL89:(void)0;
-}
-}
-{
-{ /* Inline model_base#MEntity#is_broken= (var_mpropdef,1) on <var_mpropdef:nullable MMethodDef(MMethodDef)> */
-var_mpropdef->attrs[COLOR_nitc__model_base__MEntity___is_broken].s = 1; /* _is_broken on <var_mpropdef:nullable MMethodDef(MMethodDef)> */
-RET_LABEL90:(void)0;
-}
-}
-goto RET_LABEL;
-} else {
-}
-{
-var91 = nitc___nitc__MSignature___arity(var_mysignature);
-}
-{
-{ /* Inline kernel#Int#> (var91,0l) on <var91:Int> */
-/* Covariant cast for argument 0 (i) <0l:Int> isa OTHER */
-/* <0l:Int> isa OTHER */
-var94 = 1; /* easy <0l:Int> isa OTHER*/
-if (unlikely(!var94)) {
-var_class_name = type_core__Int.name;
-PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name);
-PRINT_ERROR(" (%s:%d)\n", FILE_core__kernel, 730);
-fatal_exit(1);
-}
-var95 = var91 > 0l;
-var92 = var95;
-goto RET_LABEL93;
-RET_LABEL93:(void)0;
-}
-}
-if (var92){
-var_i = 0l;
-{
-var96 = nitc___nitc__MSignature___arity(var_mysignature);
-}
-var_97 = var96;
-for(;;) {
-{
-{ /* Inline kernel#Int#< (var_i,var_97) on <var_i:Int> */
-/* Covariant cast for argument 0 (i) <var_97:Int> isa OTHER */
-/* <var_97:Int> isa OTHER */
-var100 = 1; /* easy <var_97:Int> isa OTHER*/
-if (unlikely(!var100)) {
-var_class_name103 = type_core__Int.name;
-PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name103);
-PRINT_ERROR(" (%s:%d)\n", FILE_core__kernel, 728);
-fatal_exit(1);
-}
-var104 = var_i < var_97;
-var98 = var104;
-goto RET_LABEL99;
-RET_LABEL99:(void)0;
-}
-}
-if (var98){
-} else {
-goto BREAK_label;
-}
-{
-{ /* Inline model#MSignature#mparameters (var_mysignature) on <var_mysignature:nullable MSignature(MSignature)> */
-var107 = var_mysignature->attrs[COLOR_nitc__model__MSignature___mparameters].val; /* _mparameters on <var_mysignature:nullable MSignature(MSignature)> */
-if (unlikely(var107 == NULL)) {
-PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mparameters");
-PRINT_ERROR(" (%s:%d)\n", FILE_nitc__model, 1783);
-fatal_exit(1);
-}
-var105 = var107;
-RET_LABEL106:(void)0;
-}
-}
-{
-var108 = core___core__Array___core__abstract_collection__SequenceRead___91d_93d(var105, var_i);
-}
-{
-{ /* Inline model#MParameter#mtype (var108) on <var108:nullable Object(MParameter)> */
-var111 = var108->attrs[COLOR_nitc__model__MParameter___mtype].val; /* _mtype on <var108:nullable Object(MParameter)> */
-if (unlikely(var111 == NULL)) {
-PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mtype");
-PRINT_ERROR(" (%s:%d)\n", FILE_nitc__model, 1900);
-fatal_exit(1);
-}
-var109 = var111;
-RET_LABEL110:(void)0;
-}
-}
-var_myt = var109;
-{
-{ /* Inline model#MSignature#mparameters (var_msignature) on <var_msignature:nullable MSignature(MSignature)> */
-var114 = var_msignature->attrs[COLOR_nitc__model__MSignature___mparameters].val; /* _mparameters on <var_msignature:nullable MSignature(MSignature)> */
-if (unlikely(var114 == NULL)) {
-PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mparameters");
-PRINT_ERROR(" (%s:%d)\n", FILE_nitc__model, 1783);
-fatal_exit(1);
-}
-var112 = var114;
-RET_LABEL113:(void)0;
-}
-}
-{
-var115 = core___core__Array___core__abstract_collection__SequenceRead___91d_93d(var112, var_i);
-}
-{
-{ /* Inline model#MParameter#mtype (var115) on <var115:nullable Object(MParameter)> */
-var118 = var115->attrs[COLOR_nitc__model__MParameter___mtype].val; /* _mtype on <var115:nullable Object(MParameter)> */
-if (unlikely(var118 == NULL)) {
-PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mtype");
-PRINT_ERROR(" (%s:%d)\n", FILE_nitc__model, 1900);
-fatal_exit(1);
-}
-var116 = var118;
-RET_LABEL117:(void)0;
-}
-}
-var_prt = var116;
-if (var_nsig == NULL) {
-PRINT_ERROR("Runtime error: %s", "Receiver is null");
-PRINT_ERROR(" (%s:%d)\n", FILE_nitc__modelize_property, 1040);
-fatal_exit(1);
-} else {
-{ /* Inline parser_nodes#ASignature#n_params (var_nsig) on <var_nsig:nullable ASignature> */
-if (unlikely(var_nsig == NULL)) {
-PRINT_ERROR("Runtime error: %s", "Receiver is null");
-PRINT_ERROR(" (%s:%d)\n", FILE_nitc__parser_nodes, 1679);
-fatal_exit(1);
-}
-var121 = var_nsig->attrs[COLOR_nitc__parser_nodes__ASignature___n_params].val; /* _n_params on <var_nsig:nullable ASignature> */
-if (unlikely(var121 == NULL)) {
-PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _n_params");
-PRINT_ERROR(" (%s:%d)\n", FILE_nitc__parser_nodes, 1679);
-fatal_exit(1);
-}
-var119 = var121;
-RET_LABEL120:(void)0;
-}
-}
-{
-var122 = nitc___nitc__ANodes___core__abstract_collection__SequenceRead___91d_93d(var119, var_i);
-}
-var_node = var122;
-{
-{ /* Inline model#MClassDef#bound_mtype (var_mclassdef) on <var_mclassdef:MClassDef> */
-var125 = var_mclassdef->attrs[COLOR_nitc__model__MClassDef___bound_mtype].val; /* _bound_mtype on <var_mclassdef:MClassDef> */
-if (unlikely(var125 == NULL)) {
-PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _bound_mtype");
-PRINT_ERROR(" (%s:%d)\n", FILE_nitc__model, 579);
-fatal_exit(1);
-}
-var123 = var125;
-RET_LABEL124:(void)0;
-}
-}
-{
-var126 = nitc___nitc__ModelBuilder___check_sametype(var_modelbuilder, var_node, var_mmodule, var123, var_myt, var_prt);
-}
-var127 = !var126;
-if (var127){
-if (unlikely(varonce128==NULL)) {
-var129 = NEW_core__NativeArray(7l, &type_core__NativeArray__core__String);
-if (likely(varonce130!=NULL)) {
-var131 = varonce130;
-} else {
-var132 = "Redef Error: expected `";
-var133 = core__flat___NativeString___to_s_full(var132, 23l, 23l);
-var131 = var133;
-varonce130 = var131;
-}
-((struct instance_core__NativeArray*)var129)->values[0]=var131;
-if (likely(varonce134!=NULL)) {
-var135 = varonce134;
-} else {
-var136 = "` for parameter `";
-var137 = core__flat___NativeString___to_s_full(var136, 17l, 17l);
-var135 = var137;
-varonce134 = var135;
-}
-((struct instance_core__NativeArray*)var129)->values[2]=var135;
-if (likely(varonce138!=NULL)) {
-var139 = varonce138;
-} else {
-var140 = "\'; got `";
-var141 = core__flat___NativeString___to_s_full(var140, 8l, 8l);
-var139 = var141;
-varonce138 = var139;
-}
-((struct instance_core__NativeArray*)var129)->values[4]=var139;
-if (likely(varonce142!=NULL)) {
-var143 = varonce142;
-} else {
-var144 = "`.";
-var145 = core__flat___NativeString___to_s_full(var144, 2l, 2l);
-var143 = var145;
-varonce142 = var143;
-}
-((struct instance_core__NativeArray*)var129)->values[6]=var143;
-} else {
-var129 = varonce128;
-varonce128 = NULL;
-}
-{
-var146 = ((val*(*)(val* self))(var_prt->class->vft[COLOR_core__abstract_text__Object__to_s]))(var_prt); /* to_s on <var_prt:MType>*/
-}
-((struct instance_core__NativeArray*)var129)->values[1]=var146;
-{
-{ /* Inline model#MSignature#mparameters (var_mysignature) on <var_mysignature:nullable MSignature(MSignature)> */
-var149 = var_mysignature->attrs[COLOR_nitc__model__MSignature___mparameters].val; /* _mparameters on <var_mysignature:nullable MSignature(MSignature)> */
-if (unlikely(var149 == NULL)) {
-PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mparameters");
-PRINT_ERROR(" (%s:%d)\n", FILE_nitc__model, 1783);
-fatal_exit(1);
-}
-var147 = var149;
-RET_LABEL148:(void)0;
-}
-}
-{
-var150 = core___core__Array___core__abstract_collection__SequenceRead___91d_93d(var147, var_i);
-}
-{
-{ /* Inline model#MParameter#name (var150) on <var150:nullable Object(MParameter)> */
-var153 = var150->attrs[COLOR_nitc__model__MParameter___name].val; /* _name on <var150:nullable Object(MParameter)> */
-if (unlikely(var153 == NULL)) {
-PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _name");
-PRINT_ERROR(" (%s:%d)\n", FILE_nitc__model, 1897);
-fatal_exit(1);
-}
-var151 = var153;
-RET_LABEL152:(void)0;
-}
-}
-((struct instance_core__NativeArray*)var129)->values[3]=var151;
-{
-var154 = ((val*(*)(val* self))(var_myt->class->vft[COLOR_core__abstract_text__Object__to_s]))(var_myt); /* to_s on <var_myt:MType>*/
-}
-((struct instance_core__NativeArray*)var129)->values[5]=var154;
-{
-var155 = ((val*(*)(val* self))(var129->class->vft[COLOR_core__abstract_text__NativeArray__native_to_s]))(var129); /* native_to_s on <var129:NativeArray[String]>*/
-}
-varonce128 = var129;
-{
-nitc___nitc__ModelBuilder___error(var_modelbuilder, var_node, var155); /* Direct call modelbuilder_base#ModelBuilder#error on <var_modelbuilder:ModelBuilder>*/
-}
-{
-{ /* Inline model#MMethodDef#msignature= (var_mpropdef,((val*)NULL)) on <var_mpropdef:nullable MMethodDef(MMethodDef)> */
-var_mpropdef->attrs[COLOR_nitc__model__MMethodDef___msignature].val = ((val*)NULL); /* _msignature on <var_mpropdef:nullable MMethodDef(MMethodDef)> */
-RET_LABEL156:(void)0;
-}
-}
-{
-{ /* Inline model_base#MEntity#is_broken= (var_mpropdef,1) on <var_mpropdef:nullable MMethodDef(MMethodDef)> */
-var_mpropdef->attrs[COLOR_nitc__model_base__MEntity___is_broken].s = 1; /* _is_broken on <var_mpropdef:nullable MMethodDef(MMethodDef)> */
-RET_LABEL157:(void)0;
-}
-}
-} else {
-}
-{
-var158 = core___core__Int___Discrete__successor(var_i, 1l);
-}
-var_i = var158;
-}
-BREAK_label: (void)0;
-} else {
-}
-if (var_precursor_ret_type == NULL) {
-var159 = 0; /* is null */
-} else {
-var159 = 1; /* arg is null and recv is not */
-}
-if (0) {
-{ /* Inline kernel#Object#!= (var_precursor_ret_type,((val*)NULL)) on <var_precursor_ret_type:nullable MType> */
-var_other30 = ((val*)NULL);
-{
-var162 = ((short int(*)(val* self, val* p0))(var_precursor_ret_type->class->vft[COLOR_core__kernel__Object___61d_61d]))(var_precursor_ret_type, var_other30); /* == on <var_precursor_ret_type:nullable MType(MType)>*/
-}
-var163 = !var162;
-var160 = var163;
-goto RET_LABEL161;
-RET_LABEL161:(void)0;
-}
-var159 = var160;
-}
-if (var159){
-var_node164 = ((val*)NULL);
-if (var_nsig == NULL) {
-var165 = 0; /* is null */
-} else {
-var165 = 1; /* arg is null and recv is not */
-}
-if (0) {
-{ /* Inline kernel#Object#!= (var_nsig,((val*)NULL)) on <var_nsig:nullable ASignature> */
-var_other30 = ((val*)NULL);
-{
-var168 = ((short int(*)(val* self, val* p0))(var_nsig->class->vft[COLOR_core__kernel__Object___61d_61d]))(var_nsig, var_other30); /* == on <var_nsig:nullable ASignature(ASignature)>*/
-}
-var169 = !var168;
-var166 = var169;
-goto RET_LABEL167;
-RET_LABEL167:(void)0;
-}
-var165 = var166;
-}
-if (var165){
-{
-{ /* Inline parser_nodes#ASignature#n_type (var_nsig) on <var_nsig:nullable ASignature(ASignature)> */
-var172 = var_nsig->attrs[COLOR_nitc__parser_nodes__ASignature___n_type].val; /* _n_type on <var_nsig:nullable ASignature(ASignature)> */
-var170 = var172;
-RET_LABEL171:(void)0;
-}
-}
-var_node164 = var170;
-} else {
-}
-if (var_node164 == NULL) {
-var173 = 1; /* is null */
-} else {
-var173 = 0; /* arg is null but recv is not */
-}
-if (0) {
-{ /* Inline kernel#Object#== (var_node164,((val*)NULL)) on <var_node164:nullable ANode> */
-var_other = ((val*)NULL);
-{
-{ /* Inline kernel#Object#is_same_instance (var_node164,var_other) on <var_node164:nullable ANode(ANode)> */
-var178 = var_node164 == var_other;
-var176 = var178;
-goto RET_LABEL177;
-RET_LABEL177:(void)0;
-}
-}
-var174 = var176;
-goto RET_LABEL175;
-RET_LABEL175:(void)0;
-}
-var173 = var174;
-}
-if (var173){
-var_node164 = self;
-} else {
-}
-if (var_ret_type == NULL) {
-var179 = 1; /* is null */
-} else {
-var179 = 0; /* arg is null but recv is not */
-}
-if (0) {
-{ /* Inline kernel#Object#== (var_ret_type,((val*)NULL)) on <var_ret_type:nullable MType> */
-var_other = ((val*)NULL);
-{
-{ /* Inline kernel#Object#is_same_instance (var_ret_type,var_other) on <var_ret_type:nullable MType(MType)> */
-var184 = var_ret_type == var_other;
-var182 = var184;
-goto RET_LABEL183;
-RET_LABEL183:(void)0;
-}
-}
-var180 = var182;
-goto RET_LABEL181;
-RET_LABEL181:(void)0;
-}
-var179 = var180;
-}
-if (var179){
-var_ret_type = var_precursor_ret_type;
-} else {
-{
-{ /* Inline model#MClassDef#bound_mtype (var_mclassdef) on <var_mclassdef:MClassDef> */
-var187 = var_mclassdef->attrs[COLOR_nitc__model__MClassDef___bound_mtype].val; /* _bound_mtype on <var_mclassdef:MClassDef> */
-if (unlikely(var187 == NULL)) {
-PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _bound_mtype");
-PRINT_ERROR(" (%s:%d)\n", FILE_nitc__model, 579);
-fatal_exit(1);
-}
-var185 = var187;
-RET_LABEL186:(void)0;
-}
-}
-{
-var188 = nitc___nitc__ModelBuilder___check_subtype(var_modelbuilder, var_node164, var_mmodule, var185, var_ret_type, var_precursor_ret_type);
-}
-var189 = !var188;
-if (var189){
-if (unlikely(varonce190==NULL)) {
-var191 = NEW_core__NativeArray(5l, &type_core__NativeArray__core__String);
-if (likely(varonce192!=NULL)) {
-var193 = varonce192;
-} else {
-var194 = "Redef Error: expected `";
-var195 = core__flat___NativeString___to_s_full(var194, 23l, 23l);
-var193 = var195;
-varonce192 = var193;
-}
-((struct instance_core__NativeArray*)var191)->values[0]=var193;
-if (likely(varonce196!=NULL)) {
-var197 = varonce196;
-} else {
-var198 = "` for return type; got `";
-var199 = core__flat___NativeString___to_s_full(var198, 24l, 24l);
-var197 = var199;
-varonce196 = var197;
-}
-((struct instance_core__NativeArray*)var191)->values[2]=var197;
-if (likely(varonce200!=NULL)) {
-var201 = varonce200;
-} else {
-var202 = "`.";
-var203 = core__flat___NativeString___to_s_full(var202, 2l, 2l);
-var201 = var203;
-varonce200 = var201;
-}
-((struct instance_core__NativeArray*)var191)->values[4]=var201;
-} else {
-var191 = varonce190;
-varonce190 = NULL;
-}
-{
-var204 = ((val*(*)(val* self))(var_precursor_ret_type->class->vft[COLOR_core__abstract_text__Object__to_s]))(var_precursor_ret_type); /* to_s on <var_precursor_ret_type:nullable MType(MType)>*/
-}
-((struct instance_core__NativeArray*)var191)->values[1]=var204;
-{
-var205 = ((val*(*)(val* self))(var_ret_type->class->vft[COLOR_core__abstract_text__Object__to_s]))(var_ret_type); /* to_s on <var_ret_type:nullable MType(MType)>*/
-}
-((struct instance_core__NativeArray*)var191)->values[3]=var205;
-{
-var206 = ((val*(*)(val* self))(var191->class->vft[COLOR_core__abstract_text__NativeArray__native_to_s]))(var191); /* native_to_s on <var191:NativeArray[String]>*/
-}
-varonce190 = var191;
-{
-nitc___nitc__ModelBuilder___error(var_modelbuilder, var_node164, var206); /* Direct call modelbuilder_base#ModelBuilder#error on <var_modelbuilder:ModelBuilder>*/
-}
-{
-{ /* Inline model#MMethodDef#msignature= (var_mpropdef,((val*)NULL)) on <var_mpropdef:nullable MMethodDef(MMethodDef)> */
-var_mpropdef->attrs[COLOR_nitc__model__MMethodDef___msignature].val = ((val*)NULL); /* _msignature on <var_mpropdef:nullable MMethodDef(MMethodDef)> */
-RET_LABEL207:(void)0;
-}
-}
-{
-{ /* Inline model_base#MEntity#is_broken= (var_mpropdef,1) on <var_mpropdef:nullable MMethodDef(MMethodDef)> */
-var_mpropdef->attrs[COLOR_nitc__model_base__MEntity___is_broken].s = 1; /* _is_broken on <var_mpropdef:nullable MMethodDef(MMethodDef)> */
-RET_LABEL208:(void)0;
-}
-}
-} else {
-}
-}
-} else {
-}
-} else {
-}
-if (var_nsig == NULL) {
-var209 = 0; /* is null */
-} else {
-var209 = 1; /* arg is null and recv is not */
-}
-if (0) {
-{ /* Inline kernel#Object#!= (var_nsig,((val*)NULL)) on <var_nsig:nullable ASignature> */
-var_other30 = ((val*)NULL);
-{
-var212 = ((short int(*)(val* self, val* p0))(var_nsig->class->vft[COLOR_core__kernel__Object___61d_61d]))(var_nsig, var_other30); /* == on <var_nsig:nullable ASignature(ASignature)>*/
-}
-var213 = !var212;
-var210 = var213;
-goto RET_LABEL211;
-RET_LABEL211:(void)0;
-}
-var209 = var210;
-}
-if (var209){
-var_i214 = 0l;
-{
-var215 = nitc___nitc__MSignature___arity(var_mysignature);
-}
-var_216 = var215;
-for(;;) {
-{
-{ /* Inline kernel#Int#< (var_i214,var_216) on <var_i214:Int> */
-/* Covariant cast for argument 0 (i) <var_216:Int> isa OTHER */
-/* <var_216:Int> isa OTHER */
-var219 = 1; /* easy <var_216:Int> isa OTHER*/
-if (unlikely(!var219)) {
-var_class_name222 = type_core__Int.name;
-PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name222);
-PRINT_ERROR(" (%s:%d)\n", FILE_core__kernel, 728);
-fatal_exit(1);
-}
-var223 = var_i214 < var_216;
-var217 = var223;
-goto RET_LABEL218;
-RET_LABEL218:(void)0;
-}
-}
-if (var217){
-} else {
-goto BREAK_label224;
-}
-{
-{ /* Inline parser_nodes#ASignature#n_params (var_nsig) on <var_nsig:nullable ASignature(ASignature)> */
-var227 = var_nsig->attrs[COLOR_nitc__parser_nodes__ASignature___n_params].val; /* _n_params on <var_nsig:nullable ASignature(ASignature)> */
-if (unlikely(var227 == NULL)) {
-PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _n_params");
-PRINT_ERROR(" (%s:%d)\n", FILE_nitc__parser_nodes, 1679);
-fatal_exit(1);
-}
-var225 = var227;
-RET_LABEL226:(void)0;
-}
-}
-{
-var228 = nitc___nitc__ANodes___core__abstract_collection__SequenceRead___91d_93d(var225, var_i214);
-}
-{
-{ /* Inline parser_nodes#AParam#n_type (var228) on <var228:ANode(AParam)> */
-var231 = var228->attrs[COLOR_nitc__parser_nodes__AParam___n_type].val; /* _n_type on <var228:ANode(AParam)> */
-var229 = var231;
-RET_LABEL230:(void)0;
-}
-}
-var_nt = var229;
-if (var_nt == NULL) {
-var232 = 0; /* is null */
-} else {
-var232 = 1; /* arg is null and recv is not */
-}
-if (0) {
-{ /* Inline kernel#Object#!= (var_nt,((val*)NULL)) on <var_nt:nullable AType> */
-var_other30 = ((val*)NULL);
-{
-var235 = ((short int(*)(val* self, val* p0))(var_nt->class->vft[COLOR_core__kernel__Object___61d_61d]))(var_nt, var_other30); /* == on <var_nt:nullable AType(AType)>*/
-}
-var236 = !var235;
-var233 = var236;
-goto RET_LABEL234;
-RET_LABEL234:(void)0;
-}
-var232 = var233;
-}
-if (var232){
-{
-{ /* Inline modelbuilder_base#AType#mtype (var_nt) on <var_nt:nullable AType(AType)> */
-var239 = var_nt->attrs[COLOR_nitc__modelbuilder_base__AType___mtype].val; /* _mtype on <var_nt:nullable AType(AType)> */
-var237 = var239;
-RET_LABEL238:(void)0;
-}
-}
-if (unlikely(var237 == NULL)) {
-PRINT_ERROR("Runtime error: %s", "Cast failed");
-PRINT_ERROR(" (%s:%d)\n", FILE_nitc__modelize_property, 1067);
-fatal_exit(1);
-}
-{
-nitc__modelize_property___ModelBuilder___check_visibility(var_modelbuilder, var_nt, var237, var_mpropdef); /* Direct call modelize_property#ModelBuilder#check_visibility on <var_modelbuilder:ModelBuilder>*/
-}
-} else {
-}
-{
-var240 = core___core__Int___Discrete__successor(var_i214, 1l);
-}
-var_i214 = var240;
-}
-BREAK_label224: (void)0;
-{
-{ /* Inline parser_nodes#ASignature#n_type (var_nsig) on <var_nsig:nullable ASignature(ASignature)> */
-var243 = var_nsig->attrs[COLOR_nitc__parser_nodes__ASignature___n_type].val; /* _n_type on <var_nsig:nullable ASignature(ASignature)> */
-var241 = var243;
-RET_LABEL242:(void)0;
-}
-}
-var_nt244 = var241;
-if (var_nt244 == NULL) {
-var245 = 0; /* is null */
-} else {
-var245 = 1; /* arg is null and recv is not */
-}
-if (0) {
-{ /* Inline kernel#Object#!= (var_nt244,((val*)NULL)) on <var_nt244:nullable AType> */
-var_other30 = ((val*)NULL);
-{
-var248 = ((short int(*)(val* self, val* p0))(var_nt244->class->vft[COLOR_core__kernel__Object___61d_61d]))(var_nt244, var_other30); /* == on <var_nt244:nullable AType(AType)>*/
-}
-var249 = !var248;
-var246 = var249;
-goto RET_LABEL247;
-RET_LABEL247:(void)0;
-}
-var245 = var246;
-}
-if (var245){
-{
-{ /* Inline modelbuilder_base#AType#mtype (var_nt244) on <var_nt244:nullable AType(AType)> */
-var252 = var_nt244->attrs[COLOR_nitc__modelbuilder_base__AType___mtype].val; /* _mtype on <var_nt244:nullable AType(AType)> */
-var250 = var252;
-RET_LABEL251:(void)0;
-}
-}
-if (unlikely(var250 == NULL)) {
-PRINT_ERROR("Runtime error: %s", "Cast failed");
-PRINT_ERROR(" (%s:%d)\n", FILE_nitc__modelize_property, 1070);
-fatal_exit(1);
-}
-{
-nitc__modelize_property___ModelBuilder___check_visibility(var_modelbuilder, var_nt244, var250, var_mpropdef); /* Direct call modelize_property#ModelBuilder#check_visibility on <var_modelbuilder:ModelBuilder>*/
-}
-} else {
-}
-} else {
-}
-{
-nitc__modelize_property___AMethPropdef___APropdef__check_repeated_types(self, var_modelbuilder); /* Direct call modelize_property#AMethPropdef#check_repeated_types on <self:AMethPropdef>*/
-}
-RET_LABEL:;
-}
-/* method modelize_property#AMethPropdef#check_repeated_types for (self: AMethPropdef, ModelBuilder) */
-void nitc__modelize_property___AMethPropdef___APropdef__check_repeated_types(val* self, val* p0) {
-val* var_modelbuilder /* var modelbuilder: ModelBuilder */;
-val* var /* : nullable MPropDef */;
-val* var2 /* : nullable MPropDef */;
-val* var_mpropdef /* var mpropdef: nullable MMethodDef */;
-short int var3 /* : Bool */;
-short int var4 /* : Bool */;
-val* var_other /* var other: nullable Object */;
-short int var6 /* : Bool */;
-short int var8 /* : Bool */;
-short int var9 /* : Bool */;
-short int var10 /* : Bool */;
-short int var_ /* var : Bool */;
-val* var11 /* : nullable ASignature */;
-val* var13 /* : nullable ASignature */;
-short int var14 /* : Bool */;
-short int var15 /* : Bool */;
-short int var17 /* : Bool */;
-short int var19 /* : Bool */;
-val* var20 /* : nullable ASignature */;
-val* var22 /* : nullable ASignature */;
-val* var23 /* : ANodes[AParam] */;
-val* var25 /* : ANodes[AParam] */;
-val* var_26 /* var : ANodes[AParam] */;
-val* var27 /* : Iterator[ANode] */;
-val* var_28 /* var : Iterator[AParam] */;
-short int var29 /* : Bool */;
-val* var30 /* : nullable Object */;
-val* var_param /* var param: AParam */;
-val* var31 /* : nullable AType */;
-val* var33 /* : nullable AType */;
-short int var34 /* : Bool */;
-short int var35 /* : Bool */;
-val* var_other37 /* var other: nullable Object */;
-short int var38 /* : Bool */;
-short int var39 /* : Bool */;
-val* var40 /* : nullable AType */;
-val* var42 /* : nullable AType */;