c_src/control_flow._sep.c

   1 /* This C file is generated by NIT to compile module control_flow. */
   2 #include "control_flow._sep.h"
   3 val_t control_flow___VariableContext___to_s(val_t p0){
   4   struct {struct stack_frame_t me; val_t MORE_REG[6];} fra;
   5   val_t REGB0;
   6   val_t REGB1;
   7   val_t tmp;
   8       static val_t once_value_2; /* Once value */
   9       static val_t once_value_3; /* Once value */
  10       static val_t once_value_4; /* Once value */
  11   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
  12   fra.me.file = LOCATE_control_flow;
  13   fra.me.line = 179;
  14   fra.me.meth = LOCATE_control_flow___VariableContext___to_s;
  15   fra.me.has_broke = 0;
  16   fra.me.REG_size = 7;
  17   fra.me.REG[0] = NIT_NULL;
  18   fra.me.REG[1] = NIT_NULL;
  19   fra.me.REG[2] = NIT_NULL;
  20   fra.me.REG[3] = NIT_NULL;
  21   fra.me.REG[4] = NIT_NULL;
  22   fra.me.REG[5] = NIT_NULL;
  23   fra.me.REG[6] = NIT_NULL;
  24   fra.me.REG[0] = p0;
  25   fra.me.REG[1] = NEW_Buffer_string___Buffer___init();
  26   fra.me.REG[2] = CALL_control_flow___VariableContext___node(fra.me.REG[0])(fra.me.REG[0]);
  27   fra.me.REG[2] = CALL_parser_nodes___ANode___location(fra.me.REG[2])(fra.me.REG[2]);
  28   fra.me.REG[2] = CALL_string___Object___to_s(fra.me.REG[2])(fra.me.REG[2]);
  29   /* ./syntax//control_flow.nit:182 */
  30   CALL_abstract_collection___Sequence___append(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[2]);
  31   REGB0 = TAG_Bool(ATTR_control_flow___VariableContext____all_variables(fra.me.REG[0])!=NIT_NULL);
  32   /* ./syntax//control_flow.nit:183 */
  33   if (UNTAG_Bool(REGB0)) {
  34   } else {
  35     fprintf(stderr, "Uninitialized attribute %s", "_all_variables");
  36     fprintf(stderr, " (%s:%d)\n", LOCATE_control_flow, 183);
  37     nit_exit(1);
  38   }
  39   fra.me.REG[2] = ATTR_control_flow___VariableContext____all_variables(fra.me.REG[0]);
  40   fra.me.REG[2] = CALL_abstract_collection___Collection___iterator(fra.me.REG[2])(fra.me.REG[2]);
  41   while(1) {
  42     REGB0 = CALL_abstract_collection___Iterator___is_ok(fra.me.REG[2])(fra.me.REG[2]);
  43     if (UNTAG_Bool(REGB0)) {
  44       fra.me.REG[3] = CALL_abstract_collection___Iterator___item(fra.me.REG[2])(fra.me.REG[2]);
  45       fra.me.REG[4] = CALL_control_flow___VariableContext___stype(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[3]);
  46       REGB0 = TAG_Bool(fra.me.REG[4]==NIT_NULL);
  47       /* ./syntax//control_flow.nit:185 */
  48       if (UNTAG_Bool(REGB0)) {
  49       } else {
  50         REGB1 = TAG_Bool(fra.me.REG[4]==NIT_NULL);
  51         if (UNTAG_Bool(REGB1)) {
  52           REGB1 = TAG_Bool(false);
  53           REGB0 = REGB1;
  54         } else {
  55           REGB1 = CALL_kernel___Object_____eqeq(fra.me.REG[4])(fra.me.REG[4], NIT_NULL);
  56           REGB0 = REGB1;
  57         }
  58       }
  59       if (UNTAG_Bool(REGB0)) {
  60         goto label1;
  61       }
  62       REGB0 = TAG_Int(5);
  63       fra.me.REG[5] = NEW_Array_array___Array___with_capacity(REGB0);
  64       /* ./syntax//control_flow.nit:186 */
  65       if (!once_value_2) {
  66         fra.me.REG[6] = BOX_NativeString(" ");
  67         REGB0 = TAG_Int(1);
  68         fra.me.REG[6] = NEW_String_string___String___with_native(fra.me.REG[6], REGB0);
  69         once_value_2 = fra.me.REG[6];
  70         register_static_object(&once_value_2);
  71       } else fra.me.REG[6] = once_value_2;
  72       array___Array___add(fra.me.REG[5], fra.me.REG[6]);
  73       fra.me.REG[3] = CALL_string___Object___to_s(fra.me.REG[3])(fra.me.REG[3]);
  74       array___Array___add(fra.me.REG[5], fra.me.REG[3]);
  75       if (!once_value_3) {
  76         fra.me.REG[3] = BOX_NativeString(":");
  77         REGB0 = TAG_Int(1);
  78         fra.me.REG[3] = NEW_String_string___String___with_native(fra.me.REG[3], REGB0);
  79         once_value_3 = fra.me.REG[3];
  80         register_static_object(&once_value_3);
  81       } else fra.me.REG[3] = once_value_3;
  82       array___Array___add(fra.me.REG[5], fra.me.REG[3]);
  83       fra.me.REG[4] = CALL_string___Object___to_s(fra.me.REG[4])(fra.me.REG[4]);
  84       array___Array___add(fra.me.REG[5], fra.me.REG[4]);
  85       if (!once_value_4) {
  86         fra.me.REG[4] = BOX_NativeString("");
  87         REGB0 = TAG_Int(0);
  88         fra.me.REG[4] = NEW_String_string___String___with_native(fra.me.REG[4], REGB0);
  89         once_value_4 = fra.me.REG[4];
  90         register_static_object(&once_value_4);
  91       } else fra.me.REG[4] = once_value_4;
  92       array___Array___add(fra.me.REG[5], fra.me.REG[4]);
  93       fra.me.REG[5] = CALL_string___Object___to_s(fra.me.REG[5])(fra.me.REG[5]);
  94       CALL_abstract_collection___Sequence___append(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[5]);
  95       label1: while(0);
  96     } else {
  97       /* ./syntax//control_flow.nit:183 */
  98       goto label5;
  99     }
 100     CALL_abstract_collection___Iterator___next(fra.me.REG[2])(fra.me.REG[2]);
 101   }
 102   label5: while(0);
 103   fra.me.REG[1] = CALL_string___Object___to_s(fra.me.REG[1])(fra.me.REG[1]);
 104   /* ./syntax//control_flow.nit:188 */
 105   goto label6;
 106   label6: while(0);
 107   stack_frame_head = fra.me.prev;
 108   return fra.me.REG[1];
 109 }
 110 val_t control_flow___VariableContext_____bra(val_t p0, val_t p1){
 111   struct {struct stack_frame_t me; val_t MORE_REG[2];} fra;
 112   val_t REGB0;
 113   val_t tmp;
 114   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
 115   fra.me.file = LOCATE_control_flow;
 116   fra.me.line = 25;
 117   fra.me.meth = LOCATE_control_flow___VariableContext_____bra;
 118   fra.me.has_broke = 0;
 119   fra.me.REG_size = 3;
 120   fra.me.REG[0] = NIT_NULL;
 121   fra.me.REG[1] = NIT_NULL;
 122   fra.me.REG[2] = NIT_NULL;
 123   fra.me.REG[0] = p0;
 124   fra.me.REG[1] = p1;
 125   REGB0 = TAG_Bool(ATTR_control_flow___VariableContext____dico(fra.me.REG[0])!=NIT_NULL);
 126   /* ./syntax//control_flow.nit:29 */
 127   if (UNTAG_Bool(REGB0)) {
 128   } else {
 129     fprintf(stderr, "Uninitialized attribute %s", "_dico");
 130     fprintf(stderr, " (%s:%d)\n", LOCATE_control_flow, 29);
 131     nit_exit(1);
 132   }
 133   fra.me.REG[2] = ATTR_control_flow___VariableContext____dico(fra.me.REG[0]);
 134   REGB0 = CALL_abstract_collection___MapRead___has_key(fra.me.REG[2])(fra.me.REG[2], fra.me.REG[1]);
 135   if (UNTAG_Bool(REGB0)) {
 136     REGB0 = TAG_Bool(ATTR_control_flow___VariableContext____dico(fra.me.REG[0])!=NIT_NULL);
 137     /* ./syntax//control_flow.nit:30 */
 138     if (UNTAG_Bool(REGB0)) {
 139     } else {
 140       fprintf(stderr, "Uninitialized attribute %s", "_dico");
 141       fprintf(stderr, " (%s:%d)\n", LOCATE_control_flow, 30);
 142       nit_exit(1);
 143     }
 144     fra.me.REG[0] = ATTR_control_flow___VariableContext____dico(fra.me.REG[0]);
 145     fra.me.REG[1] = CALL_abstract_collection___MapRead_____bra(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[1]);
 146     goto label1;
 147   } else {
 148     fra.me.REG[1] = NIT_NULL;
 149     /* ./syntax//control_flow.nit:32 */
 150     goto label1;
 151   }
 152   label1: while(0);
 153   stack_frame_head = fra.me.prev;
 154   return fra.me.REG[1];
 155 }
 156 void control_flow___VariableContext___add(val_t p0, val_t p1){
 157   struct {struct stack_frame_t me; val_t MORE_REG[6];} fra;
 158   val_t REGB0;
 159   val_t REGB1;
 160   val_t tmp;
 161     static val_t once_value_1; /* Once value */
 162     static val_t once_value_2; /* Once value */
 163     static val_t once_value_3; /* Once value */
 164   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
 165   fra.me.file = LOCATE_control_flow;
 166   fra.me.line = 36;
 167   fra.me.meth = LOCATE_control_flow___VariableContext___add;
 168   fra.me.has_broke = 0;
 169   fra.me.REG_size = 7;
 170   fra.me.REG[0] = NIT_NULL;
 171   fra.me.REG[1] = NIT_NULL;
 172   fra.me.REG[2] = NIT_NULL;
 173   fra.me.REG[3] = NIT_NULL;
 174   fra.me.REG[4] = NIT_NULL;
 175   fra.me.REG[5] = NIT_NULL;
 176   fra.me.REG[6] = NIT_NULL;
 177   fra.me.REG[0] = p0;
 178   fra.me.REG[1] = p1;
 179   fra.me.REG[2] = CALL_syntax_base___Variable___name(fra.me.REG[1])(fra.me.REG[1]);
 180   fra.me.REG[2] = CALL_control_flow___VariableContext_____bra(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[2]);
 181   REGB0 = TAG_Bool(fra.me.REG[2]==NIT_NULL);
 182   /* ./syntax//control_flow.nit:40 */
 183   if (UNTAG_Bool(REGB0)) {
 184   } else {
 185     REGB1 = TAG_Bool(fra.me.REG[2]==NIT_NULL);
 186     if (UNTAG_Bool(REGB1)) {
 187       REGB1 = TAG_Bool(false);
 188       REGB0 = REGB1;
 189     } else {
 190       REGB1 = CALL_kernel___Object_____eqeq(fra.me.REG[2])(fra.me.REG[2], NIT_NULL);
 191       REGB0 = REGB1;
 192     }
 193   }
 194   REGB0 = TAG_Bool(!UNTAG_Bool(REGB0));
 195   if (UNTAG_Bool(REGB0)) {
 196     REGB0 = TAG_Bool(ATTR_control_flow___VariableContext____visitor(fra.me.REG[0])!=NIT_NULL);
 197     /* ./syntax//control_flow.nit:41 */
 198     if (UNTAG_Bool(REGB0)) {
 199     } else {
 200       fprintf(stderr, "Uninitialized attribute %s", "_visitor");
 201       fprintf(stderr, " (%s:%d)\n", LOCATE_control_flow, 41);
 202       nit_exit(1);
 203     }
 204     fra.me.REG[3] = ATTR_control_flow___VariableContext____visitor(fra.me.REG[0]);
 205     fra.me.REG[4] = CALL_syntax_base___Variable___decl(fra.me.REG[1])(fra.me.REG[1]);
 206     REGB0 = TAG_Int(5);
 207     fra.me.REG[5] = NEW_Array_array___Array___with_capacity(REGB0);
 208     if (!once_value_1) {
 209       fra.me.REG[6] = BOX_NativeString("Error: '");
 210       REGB0 = TAG_Int(8);
 211       fra.me.REG[6] = NEW_String_string___String___with_native(fra.me.REG[6], REGB0);
 212       once_value_1 = fra.me.REG[6];
 213       register_static_object(&once_value_1);
 214     } else fra.me.REG[6] = once_value_1;
 215     array___Array___add(fra.me.REG[5], fra.me.REG[6]);
 216     fra.me.REG[6] = CALL_string___Object___to_s(fra.me.REG[1])(fra.me.REG[1]);
 217     array___Array___add(fra.me.REG[5], fra.me.REG[6]);
 218     if (!once_value_2) {
 219       fra.me.REG[6] = BOX_NativeString("' already defined at ");
 220       REGB0 = TAG_Int(21);
 221       fra.me.REG[6] = NEW_String_string___String___with_native(fra.me.REG[6], REGB0);
 222       once_value_2 = fra.me.REG[6];
 223       register_static_object(&once_value_2);
 224     } else fra.me.REG[6] = once_value_2;
 225     array___Array___add(fra.me.REG[5], fra.me.REG[6]);
 226     REGB0 = TAG_Bool(fra.me.REG[2]==NIT_NULL);
 227     if (UNTAG_Bool(REGB0)) {
 228       fprintf(stderr, "Reciever is null");
 229       fprintf(stderr, " (%s:%d)\n", LOCATE_control_flow, 41);
 230       nit_exit(1);
 231     }
 232     fra.me.REG[2] = CALL_syntax_base___Variable___decl(fra.me.REG[2])(fra.me.REG[2]);
 233     REGB0 = TAG_Bool(fra.me.REG[2]==NIT_NULL);
 234     if (UNTAG_Bool(REGB0)) {
 235       fprintf(stderr, "Reciever is null");
 236       fprintf(stderr, " (%s:%d)\n", LOCATE_control_flow, 41);
 237       nit_exit(1);
 238     }
 239     fra.me.REG[2] = CALL_parser_nodes___ANode___location(fra.me.REG[2])(fra.me.REG[2]);
 240     fra.me.REG[6] = CALL_syntax_base___Variable___decl(fra.me.REG[1])(fra.me.REG[1]);
 241     REGB0 = TAG_Bool(fra.me.REG[6]==NIT_NULL);
 242     if (UNTAG_Bool(REGB0)) {
 243       fprintf(stderr, "Reciever is null");
 244       fprintf(stderr, " (%s:%d)\n", LOCATE_control_flow, 41);
 245       nit_exit(1);
 246     }
 247     fra.me.REG[6] = CALL_parser_nodes___ANode___location(fra.me.REG[6])(fra.me.REG[6]);
 248     fra.me.REG[6] = CALL_location___Location___relative_to(fra.me.REG[2])(fra.me.REG[2], fra.me.REG[6]);
 249     array___Array___add(fra.me.REG[5], fra.me.REG[6]);
 250     if (!once_value_3) {
 251       fra.me.REG[6] = BOX_NativeString(".");
 252       REGB0 = TAG_Int(1);
 253       fra.me.REG[6] = NEW_String_string___String___with_native(fra.me.REG[6], REGB0);
 254       once_value_3 = fra.me.REG[6];
 255       register_static_object(&once_value_3);
 256     } else fra.me.REG[6] = once_value_3;
 257     array___Array___add(fra.me.REG[5], fra.me.REG[6]);
 258     fra.me.REG[5] = CALL_string___Object___to_s(fra.me.REG[5])(fra.me.REG[5]);
 259     CALL_syntax_base___AbsSyntaxVisitor___error(fra.me.REG[3])(fra.me.REG[3], fra.me.REG[4], fra.me.REG[5]);
 260   }
 261   REGB0 = TAG_Bool(ATTR_control_flow___VariableContext____dico(fra.me.REG[0])!=NIT_NULL);
 262   /* ./syntax//control_flow.nit:43 */
 263   if (UNTAG_Bool(REGB0)) {
 264   } else {
 265     fprintf(stderr, "Uninitialized attribute %s", "_dico");
 266     fprintf(stderr, " (%s:%d)\n", LOCATE_control_flow, 43);
 267     nit_exit(1);
 268   }
 269   fra.me.REG[5] = ATTR_control_flow___VariableContext____dico(fra.me.REG[0]);
 270   fra.me.REG[4] = CALL_syntax_base___Variable___name(fra.me.REG[1])(fra.me.REG[1]);
 271   CALL_abstract_collection___Map_____braeq(fra.me.REG[5])(fra.me.REG[5], fra.me.REG[4], fra.me.REG[1]);
 272   REGB0 = TAG_Bool(ATTR_control_flow___VariableContext____all_variables(fra.me.REG[0])!=NIT_NULL);
 273   /* ./syntax//control_flow.nit:44 */
 274   if (UNTAG_Bool(REGB0)) {
 275   } else {
 276     fprintf(stderr, "Uninitialized attribute %s", "_all_variables");
 277     fprintf(stderr, " (%s:%d)\n", LOCATE_control_flow, 44);
 278     nit_exit(1);
 279   }
 280   fra.me.REG[0] = ATTR_control_flow___VariableContext____all_variables(fra.me.REG[0]);
 281   CALL_abstract_collection___SimpleCollection___add(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[1]);
 282   stack_frame_head = fra.me.prev;
 283   return;
 284 }
 285 void control_flow___VariableContext___mark_is_set(val_t p0, val_t p1){
 286   struct {struct stack_frame_t me; val_t MORE_REG[1];} fra;
 287   val_t REGB0;
 288   val_t tmp;
 289   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
 290   fra.me.file = LOCATE_control_flow;
 291   fra.me.line = 47;
 292   fra.me.meth = LOCATE_control_flow___VariableContext___mark_is_set;
 293   fra.me.has_broke = 0;
 294   fra.me.REG_size = 2;
 295   fra.me.REG[0] = NIT_NULL;
 296   fra.me.REG[1] = NIT_NULL;
 297   fra.me.REG[0] = p0;
 298   fra.me.REG[1] = p1;
 299   REGB0 = TAG_Bool(ATTR_control_flow___VariableContext____set_variables(fra.me.REG[0])!=NIT_NULL);
 300   /* ./syntax//control_flow.nit:49 */
 301   if (UNTAG_Bool(REGB0)) {
 302   } else {
 303     fprintf(stderr, "Uninitialized attribute %s", "_set_variables");
 304     fprintf(stderr, " (%s:%d)\n", LOCATE_control_flow, 49);
 305     nit_exit(1);
 306   }
 307   fra.me.REG[0] = ATTR_control_flow___VariableContext____set_variables(fra.me.REG[0]);
 308   CALL_abstract_collection___SimpleCollection___add(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[1]);
 309   stack_frame_head = fra.me.prev;
 310   return;
 311 }
 312 void control_flow___VariableContext___check_is_set(val_t p0, val_t p1, val_t p2){
 313   struct {struct stack_frame_t me; val_t MORE_REG[5];} fra;
 314   val_t REGB0;
 315   val_t REGB1;
 316   val_t tmp;
 317     static val_t once_value_1; /* Once value */
 318     static val_t once_value_2; /* Once value */
 319       static val_t once_value_3; /* Once value */
 320       static val_t once_value_4; /* Once value */
 321   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
 322   fra.me.file = LOCATE_control_flow;
 323   fra.me.line = 52;
 324   fra.me.meth = LOCATE_control_flow___VariableContext___check_is_set;
 325   fra.me.has_broke = 0;
 326   fra.me.REG_size = 6;
 327   fra.me.REG[0] = NIT_NULL;
 328   fra.me.REG[1] = NIT_NULL;
 329   fra.me.REG[2] = NIT_NULL;
 330   fra.me.REG[3] = NIT_NULL;
 331   fra.me.REG[4] = NIT_NULL;
 332   fra.me.REG[5] = NIT_NULL;
 333   fra.me.REG[0] = p0;
 334   fra.me.REG[1] = p1;
 335   fra.me.REG[2] = p2;
 336   REGB0 = CALL_control_flow___Variable___must_be_set(fra.me.REG[2])(fra.me.REG[2]);
 337   /* ./syntax//control_flow.nit:54 */
 338   if (UNTAG_Bool(REGB0)) {
 339     REGB0 = CALL_control_flow___VariableContext___is_set(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[2]);
 340     REGB0 = TAG_Bool(!UNTAG_Bool(REGB0));
 341   } else {
 342     REGB1 = TAG_Bool(false);
 343     REGB0 = REGB1;
 344   }
 345   if (UNTAG_Bool(REGB0)) {
 346     REGB0 = TAG_Bool(ATTR_control_flow___VariableContext____visitor(fra.me.REG[0])!=NIT_NULL);
 347     /* ./syntax//control_flow.nit:55 */
 348     if (UNTAG_Bool(REGB0)) {
 349     } else {
 350       fprintf(stderr, "Uninitialized attribute %s", "_visitor");
 351       fprintf(stderr, " (%s:%d)\n", LOCATE_control_flow, 55);
 352       nit_exit(1);
 353     }
 354     fra.me.REG[3] = ATTR_control_flow___VariableContext____visitor(fra.me.REG[0]);
 355     REGB0 = TAG_Int(3);
 356     fra.me.REG[4] = NEW_Array_array___Array___with_capacity(REGB0);
 357     if (!once_value_1) {
 358       fra.me.REG[5] = BOX_NativeString("Error: variable '");
 359       REGB0 = TAG_Int(17);
 360       fra.me.REG[5] = NEW_String_string___String___with_native(fra.me.REG[5], REGB0);
 361       once_value_1 = fra.me.REG[5];
 362       register_static_object(&once_value_1);
 363     } else fra.me.REG[5] = once_value_1;
 364     array___Array___add(fra.me.REG[4], fra.me.REG[5]);
 365     fra.me.REG[5] = CALL_string___Object___to_s(fra.me.REG[2])(fra.me.REG[2]);
 366     array___Array___add(fra.me.REG[4], fra.me.REG[5]);
 367     if (!once_value_2) {
 368       fra.me.REG[5] = BOX_NativeString("' is possibly unset.");
 369       REGB0 = TAG_Int(20);
 370       fra.me.REG[5] = NEW_String_string___String___with_native(fra.me.REG[5], REGB0);
 371       once_value_2 = fra.me.REG[5];
 372       register_static_object(&once_value_2);
 373     } else fra.me.REG[5] = once_value_2;
 374     array___Array___add(fra.me.REG[4], fra.me.REG[5]);
 375     fra.me.REG[4] = CALL_string___Object___to_s(fra.me.REG[4])(fra.me.REG[4]);
 376     CALL_syntax_base___AbsSyntaxVisitor___error(fra.me.REG[3])(fra.me.REG[3], fra.me.REG[1], fra.me.REG[4]);
 377   } else {
 378     REGB0 = CALL_syntax_base___Variable___is_typed(fra.me.REG[2])(fra.me.REG[2]);
 379     /* ./syntax//control_flow.nit:56 */
 380     if (UNTAG_Bool(REGB0)) {
 381       fra.me.REG[4] = CALL_control_flow___VariableContext___stype(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[2]);
 382       REGB0 = TAG_Bool(fra.me.REG[4]==NIT_NULL);
 383       if (UNTAG_Bool(REGB0)) {
 384       } else {
 385         REGB1 = TAG_Bool(fra.me.REG[4]==NIT_NULL);
 386         if (UNTAG_Bool(REGB1)) {
 387           REGB1 = TAG_Bool(false);
 388           REGB0 = REGB1;
 389         } else {
 390           REGB1 = CALL_kernel___Object_____eqeq(fra.me.REG[4])(fra.me.REG[4], NIT_NULL);
 391           REGB0 = REGB1;
 392         }
 393       }
 394     } else {
 395       REGB1 = TAG_Bool(false);
 396       REGB0 = REGB1;
 397     }
 398     if (UNTAG_Bool(REGB0)) {
 399       REGB0 = TAG_Bool(ATTR_control_flow___VariableContext____visitor(fra.me.REG[0])!=NIT_NULL);
 400       /* ./syntax//control_flow.nit:57 */
 401       if (UNTAG_Bool(REGB0)) {
 402       } else {
 403         fprintf(stderr, "Uninitialized attribute %s", "_visitor");
 404         fprintf(stderr, " (%s:%d)\n", LOCATE_control_flow, 57);
 405         nit_exit(1);
 406       }
 407       fra.me.REG[0] = ATTR_control_flow___VariableContext____visitor(fra.me.REG[0]);
 408       REGB0 = TAG_Int(3);
 409       fra.me.REG[4] = NEW_Array_array___Array___with_capacity(REGB0);
 410       if (!once_value_3) {
 411         fra.me.REG[3] = BOX_NativeString("Error: variable '");
 412         REGB0 = TAG_Int(17);
 413         fra.me.REG[3] = NEW_String_string___String___with_native(fra.me.REG[3], REGB0);
 414         once_value_3 = fra.me.REG[3];
 415         register_static_object(&once_value_3);
 416       } else fra.me.REG[3] = once_value_3;
 417       array___Array___add(fra.me.REG[4], fra.me.REG[3]);
 418       fra.me.REG[2] = CALL_string___Object___to_s(fra.me.REG[2])(fra.me.REG[2]);
 419       array___Array___add(fra.me.REG[4], fra.me.REG[2]);
 420       if (!once_value_4) {
 421         fra.me.REG[2] = BOX_NativeString("' is untyped.");
 422         REGB0 = TAG_Int(13);
 423         fra.me.REG[2] = NEW_String_string___String___with_native(fra.me.REG[2], REGB0);
 424         once_value_4 = fra.me.REG[2];
 425         register_static_object(&once_value_4);
 426       } else fra.me.REG[2] = once_value_4;
 427       array___Array___add(fra.me.REG[4], fra.me.REG[2]);
 428       fra.me.REG[4] = CALL_string___Object___to_s(fra.me.REG[4])(fra.me.REG[4]);
 429       CALL_syntax_base___AbsSyntaxVisitor___error(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[1], fra.me.REG[4]);
 430     }
 431   }
 432   stack_frame_head = fra.me.prev;
 433   return;
 434 }
 435 val_t control_flow___VariableContext___stype(val_t p0, val_t p1){
 436   struct {struct stack_frame_t me; val_t MORE_REG[2];} fra;
 437   val_t REGB0;
 438   val_t tmp;
 439   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
 440   fra.me.file = LOCATE_control_flow;
 441   fra.me.line = 61;
 442   fra.me.meth = LOCATE_control_flow___VariableContext___stype;
 443   fra.me.has_broke = 0;
 444   fra.me.REG_size = 3;
 445   fra.me.REG[0] = NIT_NULL;
 446   fra.me.REG[1] = NIT_NULL;
 447   fra.me.REG[2] = NIT_NULL;
 448   fra.me.REG[0] = p0;
 449   fra.me.REG[1] = p1;
 450   REGB0 = TAG_Bool(ATTR_control_flow___VariableContext____stypes(fra.me.REG[0])!=NIT_NULL);
 451   /* ./syntax//control_flow.nit:65 */
 452   if (UNTAG_Bool(REGB0)) {
 453   } else {
 454     fprintf(stderr, "Uninitialized attribute %s", "_stypes");
 455     fprintf(stderr, " (%s:%d)\n", LOCATE_control_flow, 65);
 456     nit_exit(1);
 457   }
 458   fra.me.REG[2] = ATTR_control_flow___VariableContext____stypes(fra.me.REG[0]);
 459   REGB0 = CALL_abstract_collection___MapRead___has_key(fra.me.REG[2])(fra.me.REG[2], fra.me.REG[1]);
 460   if (UNTAG_Bool(REGB0)) {
 461     REGB0 = TAG_Bool(ATTR_control_flow___VariableContext____stypes(fra.me.REG[0])!=NIT_NULL);
 462     /* ./syntax//control_flow.nit:66 */
 463     if (UNTAG_Bool(REGB0)) {
 464     } else {
 465       fprintf(stderr, "Uninitialized attribute %s", "_stypes");
 466       fprintf(stderr, " (%s:%d)\n", LOCATE_control_flow, 66);
 467       nit_exit(1);
 468     }
 469     fra.me.REG[0] = ATTR_control_flow___VariableContext____stypes(fra.me.REG[0]);
 470     fra.me.REG[0] = CALL_abstract_collection___MapRead_____bra(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[1]);
 471     goto label1;
 472   } else {
 473     fra.me.REG[1] = CALL_syntax_base___Variable___stype(fra.me.REG[1])(fra.me.REG[1]);
 474     fra.me.REG[0] = fra.me.REG[1];
 475     /* ./syntax//control_flow.nit:68 */
 476     goto label1;
 477   }
 478   label1: while(0);
 479   stack_frame_head = fra.me.prev;
 480   return fra.me.REG[0];
 481 }
 482 void control_flow___VariableContext___stype__eq(val_t p0, val_t p1, val_t p2){
 483   struct {struct stack_frame_t me; val_t MORE_REG[2];} fra;
 484   val_t REGB0;
 485   val_t tmp;
 486   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
 487   fra.me.file = LOCATE_control_flow;
 488   fra.me.line = 72;
 489   fra.me.meth = LOCATE_control_flow___VariableContext___stype__eq;
 490   fra.me.has_broke = 0;
 491   fra.me.REG_size = 3;
 492   fra.me.REG[0] = NIT_NULL;
 493   fra.me.REG[1] = NIT_NULL;
 494   fra.me.REG[2] = NIT_NULL;
 495   fra.me.REG[0] = p0;
 496   fra.me.REG[1] = p1;
 497   fra.me.REG[2] = p2;
 498   REGB0 = TAG_Bool(ATTR_control_flow___VariableContext____stypes(fra.me.REG[0])!=NIT_NULL);
 499   /* ./syntax//control_flow.nit:76 */
 500   if (UNTAG_Bool(REGB0)) {
 501   } else {
 502     fprintf(stderr, "Uninitialized attribute %s", "_stypes");
 503     fprintf(stderr, " (%s:%d)\n", LOCATE_control_flow, 76);
 504     nit_exit(1);
 505   }
 506   fra.me.REG[0] = ATTR_control_flow___VariableContext____stypes(fra.me.REG[0]);
 507   CALL_abstract_collection___Map_____braeq(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[1], fra.me.REG[2]);
 508   stack_frame_head = fra.me.prev;
 509   return;
 510 }
 511 val_t control_flow___VariableContext___sub(val_t p0, val_t p1){
 512   struct {struct stack_frame_t me; val_t MORE_REG[1];} fra;
 513   val_t tmp;
 514   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
 515   fra.me.file = LOCATE_control_flow;
 516   fra.me.line = 88;
 517   fra.me.meth = LOCATE_control_flow___VariableContext___sub;
 518   fra.me.has_broke = 0;
 519   fra.me.REG_size = 2;
 520   fra.me.REG[0] = NIT_NULL;
 521   fra.me.REG[1] = NIT_NULL;
 522   fra.me.REG[0] = p0;
 523   fra.me.REG[1] = p1;
 524   fra.me.REG[1] = NEW_SubVariableContext_control_flow___SubVariableContext___with_prev(fra.me.REG[0], fra.me.REG[1]);
 525   /* ./syntax//control_flow.nit:91 */
 526   goto label1;
 527   label1: while(0);
 528   stack_frame_head = fra.me.prev;
 529   return fra.me.REG[1];
 530 }
 531 val_t control_flow___VariableContext___sub_with(val_t p0, val_t p1, val_t p2, val_t p3){
 532   struct {struct stack_frame_t me; val_t MORE_REG[3];} fra;
 533   val_t tmp;
 534   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
 535   fra.me.file = LOCATE_control_flow;
 536   fra.me.line = 94;
 537   fra.me.meth = LOCATE_control_flow___VariableContext___sub_with;
 538   fra.me.has_broke = 0;
 539   fra.me.REG_size = 4;
 540   fra.me.REG[0] = NIT_NULL;
 541   fra.me.REG[1] = NIT_NULL;
 542   fra.me.REG[2] = NIT_NULL;
 543   fra.me.REG[3] = NIT_NULL;
 544   fra.me.REG[0] = p0;
 545   fra.me.REG[1] = p1;
 546   fra.me.REG[2] = p2;
 547   fra.me.REG[3] = p3;
 548   fra.me.REG[1] = CALL_control_flow___VariableContext___sub(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[1]);
 549   /* ./syntax//control_flow.nit:98 */
 550   CALL_control_flow___VariableContext___stype__eq(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[2], fra.me.REG[3]);
 551   /* ./syntax//control_flow.nit:99 */
 552   goto label1;
 553   label1: while(0);
 554   stack_frame_head = fra.me.prev;
 555   return fra.me.REG[1];
 556 }
 557 val_t control_flow___VariableContext___node(val_t p0){
 558   struct {struct stack_frame_t me;} fra;
 559   val_t REGB0;
 560   val_t tmp;
 561   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
 562   fra.me.file = LOCATE_control_flow;
 563   fra.me.line = 105;
 564   fra.me.meth = LOCATE_control_flow___VariableContext___node;
 565   fra.me.has_broke = 0;
 566   fra.me.REG_size = 1;
 567   fra.me.REG[0] = NIT_NULL;
 568   fra.me.REG[0] = p0;
 569   REGB0 = TAG_Bool(ATTR_control_flow___VariableContext____node(fra.me.REG[0])!=NIT_NULL);
 570   /* ./syntax//control_flow.nit:105 */
 571   if (UNTAG_Bool(REGB0)) {
 572   } else {
 573     fprintf(stderr, "Uninitialized attribute %s", "_node");
 574     fprintf(stderr, " (%s:%d)\n", LOCATE_control_flow, 105);
 575     nit_exit(1);
 576   }
 577   fra.me.REG[0] = ATTR_control_flow___VariableContext____node(fra.me.REG[0]);
 578   stack_frame_head = fra.me.prev;
 579   return fra.me.REG[0];
 580 }
 581 void control_flow___VariableContext___init(val_t p0, val_t p1, val_t p2, int* init_table){
 582   int itpos0 = VAL2OBJ(p0)->vft[INIT_TABLE_POS_VariableContext].i;
 583   struct {struct stack_frame_t me; val_t MORE_REG[2];} fra;
 584   val_t tmp;
 585   if (init_table[itpos0]) return;
 586   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
 587   fra.me.file = LOCATE_control_flow;
 588   fra.me.line = 108;
 589   fra.me.meth = LOCATE_control_flow___VariableContext___init;
 590   fra.me.has_broke = 0;
 591   fra.me.REG_size = 3;
 592   fra.me.REG[0] = NIT_NULL;
 593   fra.me.REG[1] = NIT_NULL;
 594   fra.me.REG[2] = NIT_NULL;
 595   fra.me.REG[0] = p0;
 596   fra.me.REG[1] = p1;
 597   fra.me.REG[2] = p2;
 598   /* ./syntax//control_flow.nit:110 */
 599   ATTR_control_flow___VariableContext____visitor(fra.me.REG[0]) = fra.me.REG[1];
 600   /* ./syntax//control_flow.nit:111 */
 601   ATTR_control_flow___VariableContext____node(fra.me.REG[0]) = fra.me.REG[2];
 602   fra.me.REG[2] = NEW_HashMap_hash_collection___HashMap___init();
 603   /* ./syntax//control_flow.nit:112 */
 604   ATTR_control_flow___VariableContext____dico(fra.me.REG[0]) = fra.me.REG[2];
 605   stack_frame_head = fra.me.prev;
 606   init_table[itpos0] = 1;
 607   return;
 608 }
 609 val_t control_flow___VariableContext___unreash(val_t p0){
 610   struct {struct stack_frame_t me;} fra;
 611   val_t REGB0;
 612   val_t tmp;
 613   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
 614   fra.me.file = LOCATE_control_flow;
 615   fra.me.line = 115;
 616   fra.me.meth = LOCATE_control_flow___VariableContext___unreash;
 617   fra.me.has_broke = 0;
 618   fra.me.REG_size = 1;
 619   fra.me.REG[0] = NIT_NULL;
 620   fra.me.REG[0] = p0;
 621   REGB0 = TAG_Bool(ATTR_control_flow___VariableContext____unreash(fra.me.REG[0])!=NIT_NULL);
 622   /* ./syntax//control_flow.nit:115 */
 623   if (UNTAG_Bool(REGB0)) {
 624   } else {
 625     fprintf(stderr, "Uninitialized attribute %s", "_unreash");
 626     fprintf(stderr, " (%s:%d)\n", LOCATE_control_flow, 115);
 627     nit_exit(1);
 628   }
 629   REGB0 = ATTR_control_flow___VariableContext____unreash(fra.me.REG[0]);
 630   stack_frame_head = fra.me.prev;
 631   return REGB0;
 632 }
 633 void control_flow___VariableContext___unreash__eq(val_t p0, val_t p1){
 634   struct {struct stack_frame_t me;} fra;
 635   val_t REGB0;
 636   val_t tmp;
 637   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
 638   fra.me.file = LOCATE_control_flow;
 639   fra.me.line = 115;
 640   fra.me.meth = LOCATE_control_flow___VariableContext___unreash__eq;
 641   fra.me.has_broke = 0;
 642   fra.me.REG_size = 1;
 643   fra.me.REG[0] = NIT_NULL;
 644   fra.me.REG[0] = p0;
 645   REGB0 = p1;
 646   /* ./syntax//control_flow.nit:115 */
 647   ATTR_control_flow___VariableContext____unreash(fra.me.REG[0]) = REGB0;
 648   stack_frame_head = fra.me.prev;
 649   return;
 650 }
 651 val_t control_flow___VariableContext___already_unreash(val_t p0){
 652   struct {struct stack_frame_t me;} fra;
 653   val_t REGB0;
 654   val_t tmp;
 655   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
 656   fra.me.file = LOCATE_control_flow;
 657   fra.me.line = 118;
 658   fra.me.meth = LOCATE_control_flow___VariableContext___already_unreash;
 659   fra.me.has_broke = 0;
 660   fra.me.REG_size = 1;
 661   fra.me.REG[0] = NIT_NULL;
 662   fra.me.REG[0] = p0;
 663   REGB0 = TAG_Bool(ATTR_control_flow___VariableContext____already_unreash(fra.me.REG[0])!=NIT_NULL);
 664   /* ./syntax//control_flow.nit:118 */
 665   if (UNTAG_Bool(REGB0)) {
 666   } else {
 667     fprintf(stderr, "Uninitialized attribute %s", "_already_unreash");
 668     fprintf(stderr, " (%s:%d)\n", LOCATE_control_flow, 118);
 669     nit_exit(1);
 670   }
 671   REGB0 = ATTR_control_flow___VariableContext____already_unreash(fra.me.REG[0]);
 672   stack_frame_head = fra.me.prev;
 673   return REGB0;
 674 }
 675 void control_flow___VariableContext___already_unreash__eq(val_t p0, val_t p1){
 676   struct {struct stack_frame_t me;} fra;
 677   val_t REGB0;
 678   val_t tmp;
 679   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
 680   fra.me.file = LOCATE_control_flow;
 681   fra.me.line = 118;
 682   fra.me.meth = LOCATE_control_flow___VariableContext___already_unreash__eq;
 683   fra.me.has_broke = 0;
 684   fra.me.REG_size = 1;
 685   fra.me.REG[0] = NIT_NULL;
 686   fra.me.REG[0] = p0;
 687   REGB0 = p1;
 688   /* ./syntax//control_flow.nit:118 */
 689   ATTR_control_flow___VariableContext____already_unreash(fra.me.REG[0]) = REGB0;
 690   stack_frame_head = fra.me.prev;
 691   return;
 692 }
 693 val_t control_flow___VariableContext___set_variables(val_t p0){
 694   struct {struct stack_frame_t me;} fra;
 695   val_t REGB0;
 696   val_t tmp;
 697   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
 698   fra.me.file = LOCATE_control_flow;
 699   fra.me.line = 122;
 700   fra.me.meth = LOCATE_control_flow___VariableContext___set_variables;
 701   fra.me.has_broke = 0;
 702   fra.me.REG_size = 1;
 703   fra.me.REG[0] = NIT_NULL;
 704   fra.me.REG[0] = p0;
 705   REGB0 = TAG_Bool(ATTR_control_flow___VariableContext____set_variables(fra.me.REG[0])!=NIT_NULL);
 706   /* ./syntax//control_flow.nit:122 */
 707   if (UNTAG_Bool(REGB0)) {
 708   } else {
 709     fprintf(stderr, "Uninitialized attribute %s", "_set_variables");
 710     fprintf(stderr, " (%s:%d)\n", LOCATE_control_flow, 122);
 711     nit_exit(1);
 712   }
 713   fra.me.REG[0] = ATTR_control_flow___VariableContext____set_variables(fra.me.REG[0]);
 714   stack_frame_head = fra.me.prev;
 715   return fra.me.REG[0];
 716 }
 717 val_t control_flow___VariableContext___is_set(val_t p0, val_t p1){
 718   struct {struct stack_frame_t me; val_t MORE_REG[1];} fra;
 719   val_t REGB0;
 720   val_t tmp;
 721   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
 722   fra.me.file = LOCATE_control_flow;
 723   fra.me.line = 125;
 724   fra.me.meth = LOCATE_control_flow___VariableContext___is_set;
 725   fra.me.has_broke = 0;
 726   fra.me.REG_size = 2;
 727   fra.me.REG[0] = NIT_NULL;
 728   fra.me.REG[1] = NIT_NULL;
 729   fra.me.REG[0] = p0;
 730   fra.me.REG[1] = p1;
 731   REGB0 = TAG_Bool(ATTR_control_flow___VariableContext____set_variables(fra.me.REG[0])!=NIT_NULL);
 732   /* ./syntax//control_flow.nit:128 */
 733   if (UNTAG_Bool(REGB0)) {
 734   } else {
 735     fprintf(stderr, "Uninitialized attribute %s", "_set_variables");
 736     fprintf(stderr, " (%s:%d)\n", LOCATE_control_flow, 128);
 737     nit_exit(1);
 738   }
 739   fra.me.REG[0] = ATTR_control_flow___VariableContext____set_variables(fra.me.REG[0]);
 740   REGB0 = CALL_abstract_collection___Collection___has(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[1]);
 741   goto label1;
 742   label1: while(0);
 743   stack_frame_head = fra.me.prev;
 744   return REGB0;
 745 }
 746 void control_flow___VariableContext___merge(val_t p0, val_t p1){
 747   struct {struct stack_frame_t me; val_t MORE_REG[5];} fra;
 748   val_t REGB0;
 749   val_t REGB1;
 750   val_t tmp;
 751   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
 752   fra.me.file = LOCATE_control_flow;
 753   fra.me.line = 131;
 754   fra.me.meth = LOCATE_control_flow___VariableContext___merge;
 755   fra.me.has_broke = 0;
 756   fra.me.REG_size = 6;
 757   fra.me.REG[0] = NIT_NULL;
 758   fra.me.REG[1] = NIT_NULL;
 759   fra.me.REG[2] = NIT_NULL;
 760   fra.me.REG[3] = NIT_NULL;
 761   fra.me.REG[4] = NIT_NULL;
 762   fra.me.REG[5] = NIT_NULL;
 763   fra.me.REG[0] = p0;
 764   fra.me.REG[1] = p1;
 765   REGB0 = CALL_control_flow___VariableContext___unreash(fra.me.REG[1])(fra.me.REG[1]);
 766   /* ./syntax//control_flow.nit:134 */
 767   if (UNTAG_Bool(REGB0)) {
 768     REGB0 = TAG_Bool(true);
 769     /* ./syntax//control_flow.nit:135 */
 770     CALL_control_flow___VariableContext___unreash__eq(fra.me.REG[0])(fra.me.REG[0], REGB0);
 771     REGB0 = CALL_control_flow___VariableContext___already_unreash(fra.me.REG[1])(fra.me.REG[1]);
 772     /* ./syntax//control_flow.nit:136 */
 773     if (UNTAG_Bool(REGB0)) {
 774       REGB0 = TAG_Bool(true);
 775       CALL_control_flow___VariableContext___already_unreash__eq(fra.me.REG[0])(fra.me.REG[0], REGB0);
 776     }
 777     /* ./syntax//control_flow.nit:137 */
 778     goto label1;
 779   }
 780   REGB0 = TAG_Bool(ATTR_control_flow___VariableContext____all_variables(fra.me.REG[0])!=NIT_NULL);
 781   /* ./syntax//control_flow.nit:139 */
 782   if (UNTAG_Bool(REGB0)) {
 783   } else {
 784     fprintf(stderr, "Uninitialized attribute %s", "_all_variables");
 785     fprintf(stderr, " (%s:%d)\n", LOCATE_control_flow, 139);
 786     nit_exit(1);
 787   }
 788   fra.me.REG[2] = ATTR_control_flow___VariableContext____all_variables(fra.me.REG[0]);
 789   fra.me.REG[2] = CALL_abstract_collection___Collection___iterator(fra.me.REG[2])(fra.me.REG[2]);
 790   while(1) {
 791     REGB0 = CALL_abstract_collection___Iterator___is_ok(fra.me.REG[2])(fra.me.REG[2]);
 792     if (UNTAG_Bool(REGB0)) {
 793       fra.me.REG[3] = CALL_abstract_collection___Iterator___item(fra.me.REG[2])(fra.me.REG[2]);
 794       REGB0 = CALL_control_flow___VariableContext___is_set(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[3]);
 795       REGB0 = TAG_Bool(!UNTAG_Bool(REGB0));
 796       /* ./syntax//control_flow.nit:140 */
 797       if (UNTAG_Bool(REGB0)) {
 798         REGB0 = CALL_control_flow___VariableContext___is_set(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[3]);
 799       } else {
 800         REGB1 = TAG_Bool(false);
 801         REGB0 = REGB1;
 802       }
 803       if (UNTAG_Bool(REGB0)) {
 804         /* ./syntax//control_flow.nit:141 */
 805         CALL_control_flow___VariableContext___mark_is_set(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[3]);
 806       }
 807       fra.me.REG[4] = CALL_control_flow___VariableContext___stype(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[3]);
 808       fra.me.REG[5] = CALL_control_flow___VariableContext___stype(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[3]);
 809       REGB0 = TAG_Bool(IS_EQUAL_NN(fra.me.REG[5],fra.me.REG[4]));
 810       /* ./syntax//control_flow.nit:145 */
 811       if (UNTAG_Bool(REGB0)) {
 812       } else {
 813         REGB1 = TAG_Bool(fra.me.REG[5]==NIT_NULL);
 814         if (UNTAG_Bool(REGB1)) {
 815           REGB1 = TAG_Bool(false);
 816           REGB0 = REGB1;
 817         } else {
 818           REGB1 = CALL_kernel___Object_____eqeq(fra.me.REG[5])(fra.me.REG[5], fra.me.REG[4]);
 819           REGB0 = REGB1;
 820         }
 821       }
 822       REGB0 = TAG_Bool(!UNTAG_Bool(REGB0));
 823       if (UNTAG_Bool(REGB0)) {
 824         CALL_control_flow___VariableContext___stype__eq(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[3], fra.me.REG[5]);
 825       }
 826     } else {
 827       /* ./syntax//control_flow.nit:139 */
 828       goto label2;
 829     }
 830     CALL_abstract_collection___Iterator___next(fra.me.REG[2])(fra.me.REG[2]);
 831   }
 832   label2: while(0);
 833   label1: while(0);
 834   stack_frame_head = fra.me.prev;
 835   return;
 836 }
 837 void control_flow___VariableContext___merge2(val_t p0, val_t p1, val_t p2, val_t p3){
 838   struct {struct stack_frame_t me; val_t MORE_REG[8];} fra;
 839   val_t REGB0;
 840   val_t REGB1;
 841   val_t tmp;
 842   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
 843   fra.me.file = LOCATE_control_flow;
 844   fra.me.line = 149;
 845   fra.me.meth = LOCATE_control_flow___VariableContext___merge2;
 846   fra.me.has_broke = 0;
 847   fra.me.REG_size = 9;
 848   fra.me.REG[0] = NIT_NULL;
 849   fra.me.REG[1] = NIT_NULL;
 850   fra.me.REG[2] = NIT_NULL;
 851   fra.me.REG[3] = NIT_NULL;
 852   fra.me.REG[4] = NIT_NULL;
 853   fra.me.REG[5] = NIT_NULL;
 854   fra.me.REG[6] = NIT_NULL;
 855   fra.me.REG[7] = NIT_NULL;
 856   fra.me.REG[8] = NIT_NULL;
 857   fra.me.REG[0] = p0;
 858   fra.me.REG[1] = p1;
 859   fra.me.REG[2] = p2;
 860   fra.me.REG[3] = p3;
 861   REGB0 = CALL_control_flow___VariableContext___unreash(fra.me.REG[1])(fra.me.REG[1]);
 862   /* ./syntax//control_flow.nit:152 */
 863   if (UNTAG_Bool(REGB0)) {
 864     /* ./syntax//control_flow.nit:153 */
 865     CALL_control_flow___VariableContext___merge(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[2]);
 866   } else {
 867     REGB0 = CALL_control_flow___VariableContext___unreash(fra.me.REG[2])(fra.me.REG[2]);
 868     /* ./syntax//control_flow.nit:154 */
 869     if (UNTAG_Bool(REGB0)) {
 870       /* ./syntax//control_flow.nit:155 */
 871       CALL_control_flow___VariableContext___merge(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[1]);
 872     }
 873   }
 874   REGB0 = TAG_Bool(ATTR_control_flow___VariableContext____all_variables(fra.me.REG[0])!=NIT_NULL);
 875   /* ./syntax//control_flow.nit:157 */
 876   if (UNTAG_Bool(REGB0)) {
 877   } else {
 878     fprintf(stderr, "Uninitialized attribute %s", "_all_variables");
 879     fprintf(stderr, " (%s:%d)\n", LOCATE_control_flow, 157);
 880     nit_exit(1);
 881   }
 882   fra.me.REG[4] = ATTR_control_flow___VariableContext____all_variables(fra.me.REG[0]);
 883   fra.me.REG[4] = CALL_abstract_collection___Collection___iterator(fra.me.REG[4])(fra.me.REG[4]);
 884   while(1) {
 885     REGB0 = CALL_abstract_collection___Iterator___is_ok(fra.me.REG[4])(fra.me.REG[4]);
 886     if (UNTAG_Bool(REGB0)) {
 887       fra.me.REG[5] = CALL_abstract_collection___Iterator___item(fra.me.REG[4])(fra.me.REG[4]);
 888       REGB0 = CALL_control_flow___VariableContext___is_set(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[5]);
 889       REGB0 = TAG_Bool(!UNTAG_Bool(REGB0));
 890       /* ./syntax//control_flow.nit:158 */
 891       if (UNTAG_Bool(REGB0)) {
 892         REGB0 = CALL_control_flow___VariableContext___is_set(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[5]);
 893       } else {
 894         REGB1 = TAG_Bool(false);
 895         REGB0 = REGB1;
 896       }
 897       if (UNTAG_Bool(REGB0)) {
 898         REGB0 = CALL_control_flow___VariableContext___is_set(fra.me.REG[2])(fra.me.REG[2], fra.me.REG[5]);
 899       } else {
 900         REGB1 = TAG_Bool(false);
 901         REGB0 = REGB1;
 902       }
 903       if (UNTAG_Bool(REGB0)) {
 904         /* ./syntax//control_flow.nit:159 */
 905         CALL_control_flow___VariableContext___mark_is_set(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[5]);
 906       }
 907       fra.me.REG[6] = CALL_control_flow___VariableContext___stype(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[5]);
 908       fra.me.REG[7] = CALL_control_flow___VariableContext___stype(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[5]);
 909       fra.me.REG[8] = CALL_control_flow___VariableContext___stype(fra.me.REG[2])(fra.me.REG[2], fra.me.REG[5]);
 910       REGB0 = TAG_Bool(IS_EQUAL_NN(fra.me.REG[7],fra.me.REG[6]));
 911       /* ./syntax//control_flow.nit:165 */
 912       if (UNTAG_Bool(REGB0)) {
 913       } else {
 914         REGB1 = TAG_Bool(fra.me.REG[7]==NIT_NULL);
 915         if (UNTAG_Bool(REGB1)) {
 916           REGB1 = TAG_Bool(false);
 917           REGB0 = REGB1;
 918         } else {
 919           REGB1 = CALL_kernel___Object_____eqeq(fra.me.REG[7])(fra.me.REG[7], fra.me.REG[6]);
 920           REGB0 = REGB1;
 921         }
 922       }
 923       if (UNTAG_Bool(REGB0)) {
 924         REGB0 = TAG_Bool(IS_EQUAL_NN(fra.me.REG[8],fra.me.REG[6]));
 925         if (UNTAG_Bool(REGB0)) {
 926         } else {
 927           REGB1 = TAG_Bool(fra.me.REG[8]==NIT_NULL);
 928           if (UNTAG_Bool(REGB1)) {
 929             REGB1 = TAG_Bool(false);
 930             REGB0 = REGB1;
 931           } else {
 932             REGB1 = CALL_kernel___Object_____eqeq(fra.me.REG[8])(fra.me.REG[8], fra.me.REG[6]);
 933             REGB0 = REGB1;
 934           }
 935         }
 936       } else {
 937         REGB1 = TAG_Bool(false);
 938         REGB0 = REGB1;
 939       }
 940       if (UNTAG_Bool(REGB0)) {
 941       } else {
 942         REGB0 = TAG_Bool(IS_EQUAL_NN(fra.me.REG[7],fra.me.REG[8]));
 943         /* ./syntax//control_flow.nit:167 */
 944         if (UNTAG_Bool(REGB0)) {
 945         } else {
 946           REGB1 = TAG_Bool(fra.me.REG[7]==NIT_NULL);
 947           if (UNTAG_Bool(REGB1)) {
 948             REGB1 = TAG_Bool(false);
 949             REGB0 = REGB1;
 950           } else {
 951             REGB1 = CALL_kernel___Object_____eqeq(fra.me.REG[7])(fra.me.REG[7], fra.me.REG[8]);
 952             REGB0 = REGB1;
 953           }
 954         }
 955         if (UNTAG_Bool(REGB0)) {
 956           /* ./syntax//control_flow.nit:168 */
 957           CALL_control_flow___VariableContext___stype__eq(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[5], fra.me.REG[7]);
 958         } else {
 959           REGB0 = TAG_Bool(fra.me.REG[8]==NIT_NULL);
 960           /* ./syntax//control_flow.nit:169 */
 961           if (UNTAG_Bool(REGB0)) {
 962           } else {
 963             REGB1 = TAG_Bool(fra.me.REG[8]==NIT_NULL);
 964             if (UNTAG_Bool(REGB1)) {
 965               REGB1 = TAG_Bool(false);
 966               REGB0 = REGB1;
 967             } else {
 968               REGB1 = CALL_kernel___Object_____eqeq(fra.me.REG[8])(fra.me.REG[8], NIT_NULL);
 969               REGB0 = REGB1;
 970             }
 971           }
 972           if (UNTAG_Bool(REGB0)) {
 973             REGB0 = TAG_Bool(true);
 974           } else {
 975             REGB1 = TAG_Bool(fra.me.REG[7]==NIT_NULL);
 976             if (UNTAG_Bool(REGB1)) {
 977               fprintf(stderr, "Reciever is null");
 978               fprintf(stderr, " (%s:%d)\n", LOCATE_control_flow, 169);
 979               nit_exit(1);
 980             }
 981             REGB1 = CALL_static_type___MMType_____l(fra.me.REG[7])(fra.me.REG[7], fra.me.REG[8]);
 982             REGB0 = REGB1;
 983           }
 984           if (UNTAG_Bool(REGB0)) {
 985             /* ./syntax//control_flow.nit:170 */
 986             CALL_control_flow___VariableContext___stype__eq(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[5], fra.me.REG[8]);
 987           } else {
 988             REGB0 = TAG_Bool(fra.me.REG[7]==NIT_NULL);
 989             /* ./syntax//control_flow.nit:171 */
 990             if (UNTAG_Bool(REGB0)) {
 991             } else {
 992               REGB1 = TAG_Bool(fra.me.REG[7]==NIT_NULL);
 993               if (UNTAG_Bool(REGB1)) {
 994                 REGB1 = TAG_Bool(false);
 995                 REGB0 = REGB1;
 996               } else {
 997                 REGB1 = CALL_kernel___Object_____eqeq(fra.me.REG[7])(fra.me.REG[7], NIT_NULL);
 998                 REGB0 = REGB1;
 999               }
1000             }
1001             if (UNTAG_Bool(REGB0)) {
1002               REGB0 = TAG_Bool(true);
1003             } else {
1004               REGB1 = TAG_Bool(fra.me.REG[8]==NIT_NULL);
1005               if (UNTAG_Bool(REGB1)) {
1006                 fprintf(stderr, "Reciever is null");
1007                 fprintf(stderr, " (%s:%d)\n", LOCATE_control_flow, 171);
1008                 nit_exit(1);
1009               }
1010               REGB1 = CALL_static_type___MMType_____l(fra.me.REG[8])(fra.me.REG[8], fra.me.REG[7]);
1011               REGB0 = REGB1;
1012             }
1013             if (UNTAG_Bool(REGB0)) {
1014               /* ./syntax//control_flow.nit:172 */
1015               CALL_control_flow___VariableContext___stype__eq(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[5], fra.me.REG[7]);
1016             } else {
1017               fra.me.REG[7] = CALL_control_flow___VariableContext___stype(fra.me.REG[3])(fra.me.REG[3], fra.me.REG[5]);
1018               /* ./syntax//control_flow.nit:174 */
1019               CALL_control_flow___VariableContext___stype__eq(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[5], fra.me.REG[7]);
1020             }
1021           }
1022         }
1023       }
1024     } else {
1025       /* ./syntax//control_flow.nit:157 */
1026       goto label1;
1027     }
1028     CALL_abstract_collection___Iterator___next(fra.me.REG[4])(fra.me.REG[4]);
1029   }
1030   label1: while(0);
1031   stack_frame_head = fra.me.prev;
1032   return;
1033 }
1034 void control_flow___RootVariableContext___init(val_t p0, val_t p1, val_t p2, int* init_table){
1035   int itpos1 = VAL2OBJ(p0)->vft[INIT_TABLE_POS_RootVariableContext].i;
1036   struct {struct stack_frame_t me; val_t MORE_REG[3];} fra;
1037   val_t tmp;
1038   if (init_table[itpos1]) return;
1039   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
1040   fra.me.file = LOCATE_control_flow;
1041   fra.me.line = 194;
1042   fra.me.meth = LOCATE_control_flow___RootVariableContext___init;
1043   fra.me.has_broke = 0;
1044   fra.me.REG_size = 4;
1045   fra.me.REG[0] = NIT_NULL;
1046   fra.me.REG[1] = NIT_NULL;
1047   fra.me.REG[2] = NIT_NULL;
1048   fra.me.REG[3] = NIT_NULL;
1049   fra.me.REG[0] = p0;
1050   fra.me.REG[1] = p1;
1051   fra.me.REG[2] = p2;
1052   fra.me.REG[3] = fra.me.REG[0];
1053   /* ./syntax//control_flow.nit:196 */
1054   CALL_control_flow___VariableContext___init(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[1], fra.me.REG[2], init_table);
1055   fra.me.REG[2] = NEW_HashSet_hash_collection___HashSet___init();
1056   /* ./syntax//control_flow.nit:197 */
1057   ATTR_control_flow___VariableContext____all_variables(fra.me.REG[3]) = fra.me.REG[2];
1058   stack_frame_head = fra.me.prev;
1059   init_table[itpos1] = 1;
1060   return;
1061 }
1062 val_t control_flow___SubVariableContext_____bra(val_t p0, val_t p1){
1063   struct {struct stack_frame_t me; val_t MORE_REG[2];} fra;
1064   val_t REGB0;
1065   val_t tmp;
1066   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
1067   fra.me.file = LOCATE_control_flow;
1068   fra.me.line = 205;
1069   fra.me.meth = LOCATE_control_flow___SubVariableContext_____bra;
1070   fra.me.has_broke = 0;
1071   fra.me.REG_size = 3;
1072   fra.me.REG[0] = NIT_NULL;
1073   fra.me.REG[1] = NIT_NULL;
1074   fra.me.REG[2] = NIT_NULL;
1075   fra.me.REG[0] = p0;
1076   fra.me.REG[1] = p1;
1077   REGB0 = TAG_Bool(ATTR_control_flow___VariableContext____dico(fra.me.REG[0])!=NIT_NULL);
1078   /* ./syntax//control_flow.nit:207 */
1079   if (UNTAG_Bool(REGB0)) {
1080   } else {
1081     fprintf(stderr, "Uninitialized attribute %s", "_dico");
1082     fprintf(stderr, " (%s:%d)\n", LOCATE_control_flow, 207);
1083     nit_exit(1);
1084   }
1085   fra.me.REG[2] = ATTR_control_flow___VariableContext____dico(fra.me.REG[0]);
1086   REGB0 = CALL_abstract_collection___MapRead___has_key(fra.me.REG[2])(fra.me.REG[2], fra.me.REG[1]);
1087   if (UNTAG_Bool(REGB0)) {
1088     REGB0 = TAG_Bool(ATTR_control_flow___VariableContext____dico(fra.me.REG[0])!=NIT_NULL);
1089     /* ./syntax//control_flow.nit:208 */
1090     if (UNTAG_Bool(REGB0)) {
1091     } else {
1092       fprintf(stderr, "Uninitialized attribute %s", "_dico");
1093       fprintf(stderr, " (%s:%d)\n", LOCATE_control_flow, 208);
1094       nit_exit(1);
1095     }
1096     fra.me.REG[2] = ATTR_control_flow___VariableContext____dico(fra.me.REG[0]);
1097     fra.me.REG[2] = CALL_abstract_collection___MapRead_____bra(fra.me.REG[2])(fra.me.REG[2], fra.me.REG[1]);
1098     goto label1;
1099   } else {
1100     fra.me.REG[0] = CALL_control_flow___SubVariableContext___prev(fra.me.REG[0])(fra.me.REG[0]);
1101     fra.me.REG[1] = CALL_control_flow___VariableContext_____bra(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[1]);
1102     fra.me.REG[2] = fra.me.REG[1];
1103     /* ./syntax//control_flow.nit:210 */
1104     goto label1;
1105   }
1106   label1: while(0);
1107   stack_frame_head = fra.me.prev;
1108   return fra.me.REG[2];
1109 }
1110 val_t control_flow___SubVariableContext___stype(val_t p0, val_t p1){
1111   struct {struct stack_frame_t me; val_t MORE_REG[2];} fra;
1112   val_t REGB0;
1113   val_t tmp;
1114   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
1115   fra.me.file = LOCATE_control_flow;
1116   fra.me.line = 214;
1117   fra.me.meth = LOCATE_control_flow___SubVariableContext___stype;
1118   fra.me.has_broke = 0;
1119   fra.me.REG_size = 3;
1120   fra.me.REG[0] = NIT_NULL;
1121   fra.me.REG[1] = NIT_NULL;
1122   fra.me.REG[2] = NIT_NULL;
1123   fra.me.REG[0] = p0;
1124   fra.me.REG[1] = p1;
1125   REGB0 = TAG_Bool(ATTR_control_flow___VariableContext____stypes(fra.me.REG[0])!=NIT_NULL);
1126   /* ./syntax//control_flow.nit:216 */
1127   if (UNTAG_Bool(REGB0)) {
1128   } else {
1129     fprintf(stderr, "Uninitialized attribute %s", "_stypes");
1130     fprintf(stderr, " (%s:%d)\n", LOCATE_control_flow, 216);
1131     nit_exit(1);
1132   }
1133   fra.me.REG[2] = ATTR_control_flow___VariableContext____stypes(fra.me.REG[0]);
1134   REGB0 = CALL_abstract_collection___MapRead___has_key(fra.me.REG[2])(fra.me.REG[2], fra.me.REG[1]);
1135   if (UNTAG_Bool(REGB0)) {
1136     REGB0 = TAG_Bool(ATTR_control_flow___VariableContext____stypes(fra.me.REG[0])!=NIT_NULL);
1137     /* ./syntax//control_flow.nit:217 */
1138     if (UNTAG_Bool(REGB0)) {
1139     } else {
1140       fprintf(stderr, "Uninitialized attribute %s", "_stypes");
1141       fprintf(stderr, " (%s:%d)\n", LOCATE_control_flow, 217);
1142       nit_exit(1);
1143     }
1144     fra.me.REG[2] = ATTR_control_flow___VariableContext____stypes(fra.me.REG[0]);
1145     fra.me.REG[2] = CALL_abstract_collection___MapRead_____bra(fra.me.REG[2])(fra.me.REG[2], fra.me.REG[1]);
1146     goto label1;
1147   } else {
1148     fra.me.REG[0] = CALL_control_flow___SubVariableContext___prev(fra.me.REG[0])(fra.me.REG[0]);
1149     fra.me.REG[1] = CALL_control_flow___VariableContext___stype(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[1]);
1150     fra.me.REG[2] = fra.me.REG[1];
1151     /* ./syntax//control_flow.nit:219 */
1152     goto label1;
1153   }
1154   label1: while(0);
1155   stack_frame_head = fra.me.prev;
1156   return fra.me.REG[2];
1157 }
1158 val_t control_flow___SubVariableContext___is_set(val_t p0, val_t p1){
1159   struct {struct stack_frame_t me; val_t MORE_REG[2];} fra;
1160   val_t REGB0;
1161   val_t REGB1;
1162   val_t tmp;
1163   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
1164   fra.me.file = LOCATE_control_flow;
1165   fra.me.line = 230;
1166   fra.me.meth = LOCATE_control_flow___SubVariableContext___is_set;
1167   fra.me.has_broke = 0;
1168   fra.me.REG_size = 3;
1169   fra.me.REG[0] = NIT_NULL;
1170   fra.me.REG[1] = NIT_NULL;
1171   fra.me.REG[2] = NIT_NULL;
1172   fra.me.REG[0] = p0;
1173   fra.me.REG[1] = p1;
1174   REGB0 = TAG_Bool(ATTR_control_flow___VariableContext____set_variables(fra.me.REG[0])!=NIT_NULL);
1175   /* ./syntax//control_flow.nit:232 */
1176   if (UNTAG_Bool(REGB0)) {
1177   } else {
1178     fprintf(stderr, "Uninitialized attribute %s", "_set_variables");
1179     fprintf(stderr, " (%s:%d)\n", LOCATE_control_flow, 232);
1180     nit_exit(1);
1181   }
1182   fra.me.REG[2] = ATTR_control_flow___VariableContext____set_variables(fra.me.REG[0]);
1183   REGB0 = CALL_abstract_collection___Collection___has(fra.me.REG[2])(fra.me.REG[2], fra.me.REG[1]);
1184   if (UNTAG_Bool(REGB0)) {
1185     REGB0 = TAG_Bool(true);
1186   } else {
1187     REGB1 = TAG_Bool(ATTR_control_flow___SubVariableContext____prev(fra.me.REG[0])!=NIT_NULL);
1188     if (UNTAG_Bool(REGB1)) {
1189     } else {
1190       fprintf(stderr, "Uninitialized attribute %s", "_prev");
1191       fprintf(stderr, " (%s:%d)\n", LOCATE_control_flow, 232);
1192       nit_exit(1);
1193     }
1194     fra.me.REG[0] = ATTR_control_flow___SubVariableContext____prev(fra.me.REG[0]);
1195     REGB1 = CALL_control_flow___VariableContext___is_set(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[1]);
1196     REGB0 = REGB1;
1197   }
1198   goto label1;
1199   label1: while(0);
1200   stack_frame_head = fra.me.prev;
1201   return REGB0;
1202 }
1203 val_t control_flow___SubVariableContext___prev(val_t p0){
1204   struct {struct stack_frame_t me;} fra;
1205   val_t REGB0;
1206   val_t tmp;
1207   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
1208   fra.me.file = LOCATE_control_flow;
1209   fra.me.line = 203;
1210   fra.me.meth = LOCATE_control_flow___SubVariableContext___prev;
1211   fra.me.has_broke = 0;
1212   fra.me.REG_size = 1;
1213   fra.me.REG[0] = NIT_NULL;
1214   fra.me.REG[0] = p0;
1215   REGB0 = TAG_Bool(ATTR_control_flow___SubVariableContext____prev(fra.me.REG[0])!=NIT_NULL);
1216   /* ./syntax//control_flow.nit:203 */
1217   if (UNTAG_Bool(REGB0)) {
1218   } else {
1219     fprintf(stderr, "Uninitialized attribute %s", "_prev");
1220     fprintf(stderr, " (%s:%d)\n", LOCATE_control_flow, 203);
1221     nit_exit(1);
1222   }
1223   fra.me.REG[0] = ATTR_control_flow___SubVariableContext____prev(fra.me.REG[0]);
1224   stack_frame_head = fra.me.prev;
1225   return fra.me.REG[0];
1226 }
1227 void control_flow___SubVariableContext___with_prev(val_t p0, val_t p1, val_t p2, int* init_table){
1228   int itpos2 = VAL2OBJ(p0)->vft[INIT_TABLE_POS_SubVariableContext].i;
1229   struct {struct stack_frame_t me; val_t MORE_REG[3];} fra;
1230   val_t REGB0;
1231   val_t tmp;
1232   if (init_table[itpos2]) return;
1233   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
1234   fra.me.file = LOCATE_control_flow;
1235   fra.me.line = 223;
1236   fra.me.meth = LOCATE_control_flow___SubVariableContext___with_prev;
1237   fra.me.has_broke = 0;
1238   fra.me.REG_size = 4;
1239   fra.me.REG[0] = NIT_NULL;
1240   fra.me.REG[1] = NIT_NULL;
1241   fra.me.REG[2] = NIT_NULL;
1242   fra.me.REG[3] = NIT_NULL;
1243   fra.me.REG[0] = p0;
1244   fra.me.REG[1] = p1;
1245   fra.me.REG[2] = p2;
1246   REGB0 = TAG_Bool(ATTR_control_flow___VariableContext____visitor(fra.me.REG[1])!=NIT_NULL);
1247   /* ./syntax//control_flow.nit:225 */
1248   if (UNTAG_Bool(REGB0)) {
1249   } else {
1250     fprintf(stderr, "Uninitialized attribute %s", "_visitor");
1251     fprintf(stderr, " (%s:%d)\n", LOCATE_control_flow, 225);
1252     nit_exit(1);
1253   }
1254   fra.me.REG[3] = ATTR_control_flow___VariableContext____visitor(fra.me.REG[1]);
1255   CALL_control_flow___VariableContext___init(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[3], fra.me.REG[2], init_table);
1256   /* ./syntax//control_flow.nit:226 */
1257   ATTR_control_flow___SubVariableContext____prev(fra.me.REG[0]) = fra.me.REG[1];
1258   REGB0 = TAG_Bool(ATTR_control_flow___VariableContext____all_variables(fra.me.REG[1])!=NIT_NULL);
1259   /* ./syntax//control_flow.nit:227 */
1260   if (UNTAG_Bool(REGB0)) {
1261   } else {
1262     fprintf(stderr, "Uninitialized attribute %s", "_all_variables");
1263     fprintf(stderr, " (%s:%d)\n", LOCATE_control_flow, 227);
1264     nit_exit(1);
1265   }
1266   fra.me.REG[1] = ATTR_control_flow___VariableContext____all_variables(fra.me.REG[1]);
1267   ATTR_control_flow___VariableContext____all_variables(fra.me.REG[0]) = fra.me.REG[1];
1268   stack_frame_head = fra.me.prev;
1269   init_table[itpos2] = 1;
1270   return;
1271 }
1272 val_t control_flow___Variable___must_be_set(val_t p0){
1273   struct {struct stack_frame_t me;} fra;
1274   val_t REGB0;
1275   val_t tmp;
1276   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
1277   fra.me.file = LOCATE_control_flow;
1278   fra.me.line = 237;
1279   fra.me.meth = LOCATE_control_flow___Variable___must_be_set;
1280   fra.me.has_broke = 0;
1281   fra.me.REG_size = 1;
1282   fra.me.REG[0] = NIT_NULL;
1283   fra.me.REG[0] = p0;
1284   REGB0 = TAG_Bool(false);
1285   /* ./syntax//control_flow.nit:238 */
1286   goto label1;
1287   label1: while(0);
1288   stack_frame_head = fra.me.prev;
1289   return REGB0;
1290 }
1291 val_t control_flow___VarVariable___must_be_set(val_t p0){
1292   struct {struct stack_frame_t me;} fra;
1293   val_t REGB0;
1294   val_t tmp;
1295   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
1296   fra.me.file = LOCATE_control_flow;
1297   fra.me.line = 242;
1298   fra.me.meth = LOCATE_control_flow___VarVariable___must_be_set;
1299   fra.me.has_broke = 0;
1300   fra.me.REG_size = 1;
1301   fra.me.REG[0] = NIT_NULL;
1302   fra.me.REG[0] = p0;
1303   REGB0 = TAG_Bool(true);
1304   /* ./syntax//control_flow.nit:242 */
1305   goto label1;
1306   label1: while(0);
1307   stack_frame_head = fra.me.prev;
1308   return REGB0;
1309 }