parser: compute location for all nodes
[nit.git] / c_src / opts._sep.c
index bdb7536..4f2121d 100644 (file)
 /* This C file is generated by NIT to compile module opts. */
 #include "opts._sep.h"
+val_t opts___Option___to_s(val_t  self) {
+  struct trace_t trace = {NULL, NULL, 54, LOCATE_opts___Option___to_s};
+  val_t variable[3];
+  struct WBT_ **closurevariable = NULL;
+  trace.prev = tracehead; tracehead = &trace;
+  trace.file = LOCATE_opts;
+  /* Register variable[0]: Local variable */
+  variable[0] =  self;
+  /* Register variable[1]: Method return value and escape marker */
+  /* Register variable[2]: Result */
+  variable[2] = CALL_opts___Option___pretty(variable[0])(variable[0],  TAG_Int(2)) /*Option::pretty*/;
+  variable[1] = variable[2];
+  goto return_label0;
+  return_label0: while(false);
+  tracehead = trace.prev;
+  return variable[1];
+}
 val_t opts___Option___names(val_t  self) {
-  struct trace_t trace = {NULL, LOCATE_opts, 16, LOCATE_opts___Option___names};
+  struct trace_t trace = {NULL, NULL, 16, LOCATE_opts___Option___names};
+  val_t *variable = NULL;
+  struct WBT_ **closurevariable = NULL;
   trace.prev = tracehead; tracehead = &trace;
+  trace.file = LOCATE_opts;
   tracehead = trace.prev;
   return ATTR_opts___Option____names( self) /*Option::_names*/;
 }
 val_t opts___Option___helptext(val_t  self) {
-  struct trace_t trace = {NULL, LOCATE_opts, 22, LOCATE_opts___Option___helptext};
+  struct trace_t trace = {NULL, NULL, 22, LOCATE_opts___Option___helptext};
+  val_t *variable = NULL;
+  struct WBT_ **closurevariable = NULL;
   trace.prev = tracehead; tracehead = &trace;
+  trace.file = LOCATE_opts;
   tracehead = trace.prev;
   return ATTR_opts___Option____helptext( self) /*Option::_helptext*/;
 }
 val_t opts___Option___mandatory(val_t  self) {
-  struct trace_t trace = {NULL, LOCATE_opts, 25, LOCATE_opts___Option___mandatory};
+  struct trace_t trace = {NULL, NULL, 25, LOCATE_opts___Option___mandatory};
+  val_t *variable = NULL;
+  struct WBT_ **closurevariable = NULL;
   trace.prev = tracehead; tracehead = &trace;
+  trace.file = LOCATE_opts;
   tracehead = trace.prev;
   return ATTR_opts___Option____mandatory( self) /*Option::_mandatory*/;
 }
 void opts___Option___mandatory__eq(val_t  self, val_t  param0) {
-  struct trace_t trace = {NULL, LOCATE_opts, 25, LOCATE_opts___Option___mandatory__eq};
+  struct trace_t trace = {NULL, NULL, 25, LOCATE_opts___Option___mandatory__eq};
+  val_t *variable = NULL;
+  struct WBT_ **closurevariable = NULL;
   trace.prev = tracehead; tracehead = &trace;
+  trace.file = LOCATE_opts;
   ATTR_opts___Option____mandatory( self) /*Option::_mandatory*/ =  param0;
   tracehead = trace.prev;
   return;
 }
 val_t opts___Option___context(val_t  self) {
-  struct trace_t trace = {NULL, LOCATE_opts, 28, LOCATE_opts___Option___context};
+  struct trace_t trace = {NULL, NULL, 28, LOCATE_opts___Option___context};
+  val_t *variable = NULL;
+  struct WBT_ **closurevariable = NULL;
   trace.prev = tracehead; tracehead = &trace;
+  trace.file = LOCATE_opts;
   tracehead = trace.prev;
   return ATTR_opts___Option____context( self) /*Option::_context*/;
 }
 void opts___Option___context__eq(val_t  self, val_t  param0) {
-  struct trace_t trace = {NULL, LOCATE_opts, 28, LOCATE_opts___Option___context__eq};
+  struct trace_t trace = {NULL, NULL, 28, LOCATE_opts___Option___context__eq};
+  val_t *variable = NULL;
+  struct WBT_ **closurevariable = NULL;
   trace.prev = tracehead; tracehead = &trace;
+  trace.file = LOCATE_opts;
   ATTR_opts___Option____context( self) /*Option::_context*/ =  param0;
   tracehead = trace.prev;
   return;
 }
 val_t opts___Option___value(val_t  self) {
-  struct trace_t trace = {NULL, LOCATE_opts, 31, LOCATE_opts___Option___value};
+  struct trace_t trace = {NULL, NULL, 31, LOCATE_opts___Option___value};
+  val_t *variable = NULL;
+  struct WBT_ **closurevariable = NULL;
   trace.prev = tracehead; tracehead = &trace;
+  trace.file = LOCATE_opts;
   tracehead = trace.prev;
   return ATTR_opts___Option____value( self) /*Option::_value*/;
 }
 void opts___Option___value__eq(val_t  self, val_t  param0) {
-  struct trace_t trace = {NULL, LOCATE_opts, 31, LOCATE_opts___Option___value__eq};
+  struct trace_t trace = {NULL, NULL, 31, LOCATE_opts___Option___value__eq};
+  val_t *variable = NULL;
+  struct WBT_ **closurevariable = NULL;
   trace.prev = tracehead; tracehead = &trace;
+  trace.file = LOCATE_opts;
   ATTR_opts___Option____value( self) /*Option::_value*/ =  param0;
   tracehead = trace.prev;
   return;
 }
 val_t opts___Option___default_value(val_t  self) {
-  struct trace_t trace = {NULL, LOCATE_opts, 34, LOCATE_opts___Option___default_value};
+  struct trace_t trace = {NULL, NULL, 34, LOCATE_opts___Option___default_value};
+  val_t *variable = NULL;
+  struct WBT_ **closurevariable = NULL;
   trace.prev = tracehead; tracehead = &trace;
+  trace.file = LOCATE_opts;
   tracehead = trace.prev;
   return ATTR_opts___Option____default_value( self) /*Option::_default_value*/;
 }
 void opts___Option___default_value__eq(val_t  self, val_t  param0) {
-  struct trace_t trace = {NULL, LOCATE_opts, 34, LOCATE_opts___Option___default_value__eq};
+  struct trace_t trace = {NULL, NULL, 34, LOCATE_opts___Option___default_value__eq};
+  val_t *variable = NULL;
+  struct WBT_ **closurevariable = NULL;
   trace.prev = tracehead; tracehead = &trace;
+  trace.file = LOCATE_opts;
   ATTR_opts___Option____default_value( self) /*Option::_default_value*/ =  param0;
   tracehead = trace.prev;
   return;
 }
 void opts___Option___init_opt(val_t  self, val_t  param0, val_t  param1, val_t  param2, int* init_table) {
-  struct trace_t trace = {NULL, LOCATE_opts, 37, LOCATE_opts___Option___init_opt};
-  val_t variable0;
-  val_t variable1;
-  val_t variable2;
-  val_t variable3;
-  trace.prev = tracehead; tracehead = &trace;
-  variable0 =  param0;
-  variable1 =  param1;
-  variable2 =  param2;
-  if (init_table[VAL2OBJ( self)->vft[INIT_TABLE_POS_Option].i]) return;
-  variable3 = TAG_Bool(( variable2 /*names*/ ==  NIT_NULL /*null*/) || (( variable2 /*names*/ != NIT_NULL) && UNTAG_Bool(((array___AbstractArray_____eqeq_t)CALL( variable2 /*names*/,COLOR_kernel___Object_____eqeq))( variable2 /*names*/,  NIT_NULL /*null*/) /*AbstractArray::==*/)));
-  if (UNTAG_Bool(variable3)) { /*if*/
-    variable3 = NEW_array___Array___init(); /*new Array[E]*/
-    ATTR_opts___Option____names( self) /*Option::_names*/ = variable3;
+  struct trace_t trace = {NULL, NULL, 37, LOCATE_opts___Option___init_opt};
+  val_t variable[6];
+  struct WBT_ **closurevariable = NULL;
+  trace.prev = tracehead; tracehead = &trace;
+  trace.file = LOCATE_opts;
+  /* Register variable[0]: Local variable */
+  variable[0] =  self;
+  /* Register variable[1]: Local variable */
+  variable[1] =  param0;
+  /* Register variable[2]: Local variable */
+  variable[2] =  param1;
+  /* Register variable[3]: Local variable */
+  variable[3] =  param2;
+  if (init_table[VAL2OBJ(variable[0])->vft[INIT_TABLE_POS_Option].i]) return;
+  /* Register variable[4]: Method return value and escape marker */
+  /* Register variable[5]: Result */
+  variable[5] = TAG_Bool(( variable[3] /*names*/ ==  NIT_NULL /*null*/) || (( variable[3] /*names*/ != NIT_NULL) && UNTAG_Bool(CALL_kernel___Object_____eqeq( variable[3] /*names*/)( variable[3] /*names*/,  NIT_NULL /*null*/) /*AbstractArrayRead::==*/)));
+  if (UNTAG_Bool(variable[5])) { /*if*/
+    /* Register variable[5]: Result */
+    variable[5] = NEW_Array_array___Array___init() /*new Array[String]*/;
+    ATTR_opts___Option____names(variable[0]) /*Option::_names*/ = variable[5];
   } else { /*if*/
-    variable3 = ((array___Collection___to_a_t)CALL( variable2 /*names*/,COLOR_array___Collection___to_a))( variable2 /*names*/) /*Collection::to_a*/;
-    ATTR_opts___Option____names( self) /*Option::_names*/ = variable3;
+    /* Register variable[5]: Result */
+    variable[5] = CALL_array___Collection___to_a( variable[3] /*names*/)( variable[3] /*names*/) /*Collection::to_a*/;
+    ATTR_opts___Option____names(variable[0]) /*Option::_names*/ = variable[5];
   }
-  ATTR_opts___Option____helptext( self) /*Option::_helptext*/ =  variable0 /*help*/;
-  ATTR_opts___Option____mandatory( self) /*Option::_mandatory*/ =  TAG_Bool(false);
-  ATTR_opts___Option____default_value( self) /*Option::_default_value*/ =  variable1 /*default*/;
-  init_table[VAL2OBJ( self)->vft[INIT_TABLE_POS_Option].i] = 1;
+  ATTR_opts___Option____helptext(variable[0]) /*Option::_helptext*/ =  variable[1] /*help*/;
+  ATTR_opts___Option____mandatory(variable[0]) /*Option::_mandatory*/ =  TAG_Bool(false);
+  ATTR_opts___Option____default_value(variable[0]) /*Option::_default_value*/ =  variable[2] /*default*/;
+  ATTR_opts___Option____value(variable[0]) /*Option::_value*/ =  variable[2] /*default*/;
+  return_label1: while(false);
+  init_table[VAL2OBJ(variable[0])->vft[INIT_TABLE_POS_Option].i] = 1;
   tracehead = trace.prev;
   return;
 }
 void opts___Option___add_aliases(val_t  self, val_t  param0) {
-  struct trace_t trace = {NULL, LOCATE_opts, 50, LOCATE_opts___Option___add_aliases};
-  val_t variable0;
-  val_t variable1;
+  struct trace_t trace = {NULL, NULL, 51, LOCATE_opts___Option___add_aliases};
+  val_t variable[4];
+  struct WBT_ **closurevariable = NULL;
   trace.prev = tracehead; tracehead = &trace;
+  trace.file = LOCATE_opts;
+  /* Register variable[0]: Local variable */
+  variable[0] =  self;
+  /* Register variable[1]: Local variable */
   /* check if p<Array[String] with p:String */
-  if (( param0!=NIT_NULL) && !VAL_ISA( param0, COLOR_Array, ID_Array)) { fprintf(stderr, "Cast failled"); fprintf(stderr, " in %s (%s:%d)\n", LOCATE_opts___Option___init_opt, LOCATE_opts, 51); nit_exit(1); } /*cast Array[String]*/;
-  variable0 =  param0;
-  variable1 = ATTR_opts___Option____names( self) /*Option::_names*/;
-  ((abstract_collection___SimpleCollection___add_all_t)CALL(variable1,COLOR_abstract_collection___SimpleCollection___add_all))(variable1,  variable0 /*names*/) /*SimpleCollection::add_all*/;
-  tracehead = trace.prev;
-  return;
-}
-val_t opts___Option___to_s(val_t  self) {
-  struct trace_t trace = {NULL, LOCATE_opts, 53, LOCATE_opts___Option___to_s};
-  val_t variable0;
-  trace.prev = tracehead; tracehead = &trace;
-  variable0 = ((opts___Option___pretty_t)CALL( self,COLOR_opts___Option___pretty))( self,  TAG_Int(2)) /*Option::pretty*/;
-  goto return_label2;
+  if (( param0!=NIT_NULL) && !VAL_ISA( param0, COLOR_Array, ID_Array)) { fprintf(stderr, "Cast failled"); fprintf(stderr, " in %s (%s:%d)\n", LOCATE_opts___Option___add_aliases, LOCATE_opts, 52); nit_exit(1); } /*cast Array[String]*/;
+  variable[1] =  param0;
+  /* Register variable[2]: Method return value and escape marker */
+  /* Register variable[3]: Result */
+  variable[3] = ATTR_opts___Option____names(variable[0]) /*Option::_names*/;
+  CALL_abstract_collection___SimpleCollection___add_all(variable[3])(variable[3],  variable[1] /*names*/) /*SimpleCollection::add_all*/;
   return_label2: while(false);
   tracehead = trace.prev;
-  return variable0;
+  return;
 }
 val_t opts___Option___pretty(val_t  self, val_t  param0) {
-  struct trace_t trace = {NULL, LOCATE_opts, 56, LOCATE_opts___Option___pretty};
-  val_t variable0;
-  val_t variable1;
-  val_t variable2;
-  val_t variable3;
-  trace.prev = tracehead; tracehead = &trace;
-  variable0 =  param0;
-  variable2 = NEW_string___String___with_native(BOX_NativeString("  "), TAG_Int(2)); /*new String*/
-  variable1 = variable2;
-  variable2 = ATTR_opts___Option____names( self) /*Option::_names*/;
-  variable3 = NEW_string___String___with_native(BOX_NativeString(", "), TAG_Int(2)); /*new String*/
-  variable2 = ((string___Collection___join_t)CALL(variable2,COLOR_string___Collection___join))(variable2, variable3) /*Collection::join*/;
-  ((string___String___append_t)CALL( variable1 /*text*/,COLOR_abstract_collection___IndexedCollection___append))( variable1 /*text*/, variable2) /*String::append*/;
-  variable2 = NEW_string___String___with_native(BOX_NativeString("  "), TAG_Int(2)); /*new String*/
-  ((string___String___append_t)CALL( variable1 /*text*/,COLOR_abstract_collection___IndexedCollection___append))( variable1 /*text*/, variable2) /*String::append*/;
-  variable3 = ((array___AbstractArray___length_t)CALL( variable1 /*text*/,COLOR_abstract_collection___Collection___length))( variable1 /*text*/) /*AbstractArray::length*/;
-  variable3 = TAG_Int(UNTAG_Int( variable0 /*off*/)-UNTAG_Int(variable3));
-  variable2 = variable3;
-  variable3 = TAG_Bool(UNTAG_Int( variable2 /*rest*/)>UNTAG_Int( TAG_Int(0)));
-  if (UNTAG_Bool(variable3)) { /*if*/
-    variable3 = NEW_string___String___with_native(BOX_NativeString(" "), TAG_Int(1)); /*new String*/
-    variable3 = ((string___String_____star_t)CALL(variable3,COLOR_string___String_____star))(variable3,  variable2 /*rest*/) /*String::**/;
-    ((string___String___append_t)CALL( variable1 /*text*/,COLOR_abstract_collection___IndexedCollection___append))( variable1 /*text*/, variable3) /*String::append*/;
+  struct trace_t trace = {NULL, NULL, 57, LOCATE_opts___Option___pretty};
+  static val_t once_value_4 = NIT_NULL; /* Once value for string variable[4]*/
+  static val_t once_value_5 = NIT_NULL; /* Once value for string variable[5]*/
+  static val_t once_value_6 = NIT_NULL; /* Once value for string variable[4]*/
+    static val_t once_value_7 = NIT_NULL; /* Once value for string variable[5]*/
+  val_t variable[6];
+  struct WBT_ **closurevariable = NULL;
+  trace.prev = tracehead; tracehead = &trace;
+  trace.file = LOCATE_opts;
+  /* Register variable[0]: Local variable */
+  variable[0] =  self;
+  /* Register variable[1]: Local variable */
+  variable[1] =  param0;
+  /* Register variable[2]: Method return value and escape marker */
+  /* Register variable[3]: Local variable */
+  /* Register variable[4]: Once String constant */
+  if (once_value_4 != NIT_NULL) variable[4] = once_value_4;
+  else {
+    variable[4] = NEW_String_string___String___with_native(BOX_NativeString("  "), TAG_Int(2)) /*new String*/;
+    once_value_4 = variable[4];
+  }
+  /* Register variable[4]: Result */
+  /* Register variable[4]: Result */
+  variable[4] = NEW_Buffer_string___Buffer___from(variable[4]) /*new Buffer*/;
+  variable[3] = variable[4];
+  /* Register variable[4]: Result */
+  variable[4] = ATTR_opts___Option____names(variable[0]) /*Option::_names*/;
+  /* Register variable[5]: Once String constant */
+  if (once_value_5 != NIT_NULL) variable[5] = once_value_5;
+  else {
+    variable[5] = NEW_String_string___String___with_native(BOX_NativeString(", "), TAG_Int(2)) /*new String*/;
+    once_value_5 = variable[5];
   }
-  variable3 = ((opts___Option___helptext_t)CALL( self,COLOR_opts___Option___helptext))( self) /*Option::helptext*/;
-  ((string___String___append_t)CALL( variable1 /*text*/,COLOR_abstract_collection___IndexedCollection___append))( variable1 /*text*/, variable3) /*String::append*/;
-  variable1 =  variable1 /*text*/;
+  /* Register variable[5]: Result */
+  /* Register variable[4]: Result */
+  variable[4] = CALL_string___Collection___join(variable[4])(variable[4], variable[5]) /*Collection::join*/;
+  CALL_abstract_collection___IndexedCollection___append( variable[3] /*text*/)( variable[3] /*text*/, variable[4]) /*Buffer::append*/;
+  /* Register variable[4]: Once String constant */
+  if (once_value_6 != NIT_NULL) variable[4] = once_value_6;
+  else {
+    variable[4] = NEW_String_string___String___with_native(BOX_NativeString("  "), TAG_Int(2)) /*new String*/;
+    once_value_6 = variable[4];
+  }
+  /* Register variable[4]: Result */
+  CALL_abstract_collection___IndexedCollection___append( variable[3] /*text*/)( variable[3] /*text*/, variable[4]) /*Buffer::append*/;
+  /* Register variable[4]: Local variable */
+  /* Register variable[5]: Result */
+  variable[5] = CALL_abstract_collection___Collection___length( variable[3] /*text*/)( variable[3] /*text*/) /*AbstractArrayRead::length*/;
+  /* Register variable[5]: Result */
+  variable[5] = TAG_Int(UNTAG_Int( variable[1] /*off*/)-UNTAG_Int(variable[5]));
+  variable[4] = variable[5];
+  /* Register variable[5]: Result */
+  variable[5] = TAG_Bool(UNTAG_Int( variable[4] /*rest*/)>UNTAG_Int( TAG_Int(0)));
+  if (UNTAG_Bool(variable[5])) { /*if*/
+    /* Register variable[5]: Once String constant */
+    if (once_value_7 != NIT_NULL) variable[5] = once_value_7;
+    else {
+      variable[5] = NEW_String_string___String___with_native(BOX_NativeString(" "), TAG_Int(1)) /*new String*/;
+      once_value_7 = variable[5];
+    }
+    /* Register variable[5]: Result */
+    /* Register variable[5]: Result */
+    variable[5] = CALL_string___String_____star(variable[5])(variable[5],  variable[4] /*rest*/) /*String::**/;
+    CALL_abstract_collection___IndexedCollection___append( variable[3] /*text*/)( variable[3] /*text*/, variable[5]) /*Buffer::append*/;
+  }
+  /* Register variable[5]: Result */
+  variable[5] = CALL_opts___Option___helptext(variable[0])(variable[0]) /*Option::helptext*/;
+  CALL_abstract_collection___IndexedCollection___append( variable[3] /*text*/)( variable[3] /*text*/, variable[5]) /*Buffer::append*/;
+  /* Register variable[5]: Result */
+  variable[5] = CALL_string___Object___to_s( variable[3] /*text*/)( variable[3] /*text*/) /*Buffer::to_s*/;
+  variable[2] = variable[5];
   goto return_label3;
   return_label3: while(false);
   tracehead = trace.prev;
-  return variable1;
+  return variable[2];
 }
 val_t opts___Option___pretty_default(val_t  self) {
-  struct trace_t trace = {NULL, LOCATE_opts, 69, LOCATE_opts___Option___pretty_default};
-  val_t variable0;
-    val_t variable1;
-    val_t variable2;
-    val_t variable3;
-    val_t variable4;
-    val_t variable5;
-    val_t variable6;
-  trace.prev = tracehead; tracehead = &trace;
-  variable0 = ((opts___Option___default_value_t)CALL( self,COLOR_opts___Option___default_value))( self) /*Option::default_value*/;
-  variable0 = TAG_Bool(!UNTAG_Bool(TAG_Bool((variable0 ==  NIT_NULL /*null*/) || ((variable0 != NIT_NULL) && ((((kernel___Object_____eqeq_t)CALL(variable0,COLOR_kernel___Object_____eqeq))==kernel___Object_____eqeq)?(IS_EQUAL_NN(variable0, NIT_NULL /*null*/)):(UNTAG_Bool(((kernel___Object_____eqeq_t)CALL(variable0,COLOR_kernel___Object_____eqeq))(variable0,  NIT_NULL /*null*/) /*Object::==*/)))))));
-  if (UNTAG_Bool(variable0)) { /*if*/
-    variable0 = NEW_string___String___init(); /*new String*/
-    variable1 = NEW_string___String___with_native(BOX_NativeString(" ("), TAG_Int(2)); /*new String*/
-    variable2 = variable1;
-    ((string___String___append_t)CALL(variable0,COLOR_abstract_collection___IndexedCollection___append))(variable0, variable2) /*String::append*/;
-    variable3 = ((opts___Option___default_value_t)CALL( self,COLOR_opts___Option___default_value))( self) /*Option::default_value*/;
-    variable4 = variable3;
-    variable4 = ((string___String___to_s_t)CALL(variable4,COLOR_string___Object___to_s))(variable4) /*String::to_s*/;
-    ((string___String___append_t)CALL(variable0,COLOR_abstract_collection___IndexedCollection___append))(variable0, variable4) /*String::append*/;
-    variable5 = NEW_string___String___with_native(BOX_NativeString(")"), TAG_Int(1)); /*new String*/
-    variable6 = variable5;
-    ((string___String___append_t)CALL(variable0,COLOR_abstract_collection___IndexedCollection___append))(variable0, variable6) /*String::append*/;
-    goto return_label4;
+  struct trace_t trace = {NULL, NULL, 70, LOCATE_opts___Option___pretty_default};
+    static val_t once_value_9 = NIT_NULL; /* Once value for string variable[3]*/
+    static val_t once_value_10 = NIT_NULL; /* Once value for string variable[3]*/
+  static val_t once_value_11 = NIT_NULL; /* Once value for string variable[2]*/
+  val_t variable[4];
+  struct WBT_ **closurevariable = NULL;
+  trace.prev = tracehead; tracehead = &trace;
+  trace.file = LOCATE_opts;
+  /* Register variable[0]: Local variable */
+  variable[0] =  self;
+  /* Register variable[1]: Method return value and escape marker */
+  /* Register variable[2]: Result */
+  variable[2] = CALL_opts___Option___default_value(variable[0])(variable[0]) /*Option::default_value*/;
+  /* Register variable[2]: Result */
+  variable[2] = TAG_Bool(!UNTAG_Bool(TAG_Bool((variable[2] ==  NIT_NULL /*null*/) || ((variable[2] != NIT_NULL) && ((CALL_kernel___Object_____eqeq(variable[2])==kernel___Object_____eqeq)?(IS_EQUAL_NN(variable[2], NIT_NULL /*null*/)):(UNTAG_Bool(CALL_kernel___Object_____eqeq(variable[2])(variable[2],  NIT_NULL /*null*/) /*Object::==*/)))))));
+  if (UNTAG_Bool(variable[2])) { /*if*/
+    variable[2] = NEW_Array_array___Array___with_capacity(TAG_Int(3)) /*new Array[String]*/ /* Ensure var: Array (for super-string)*/;
+    /* Register variable[3]: Once String constant */
+    if (once_value_9 != NIT_NULL) variable[3] = once_value_9;
+    else {
+      variable[3] = NEW_String_string___String___with_native(BOX_NativeString(" ("), TAG_Int(2)) /*new String*/;
+      once_value_9 = variable[3];
+    }
+    /* Register variable[3]: Result */
+    /* Ensure var variable[3]: super-string element*/
+    CALL_abstract_collection___SimpleCollection___add(variable[2])(variable[2], variable[3]) /*AbstractArray::add*/;
+    /* Register variable[3]: Result */
+    variable[3] = CALL_opts___Option___default_value(variable[0])(variable[0]) /*Option::default_value*/;
+    /* Ensure var variable[3]: super-string element*/
+    CALL_abstract_collection___SimpleCollection___add(variable[2])(variable[2], CALL_string___Object___to_s(variable[3])(variable[3]) /*Object::to_s*/) /*AbstractArray::add*/;
+    /* Register variable[3]: Once String constant */
+    if (once_value_10 != NIT_NULL) variable[3] = once_value_10;
+    else {
+      variable[3] = NEW_String_string___String___with_native(BOX_NativeString(")"), TAG_Int(1)) /*new String*/;
+      once_value_10 = variable[3];
+    }
+    /* Register variable[3]: Result */
+    /* Ensure var variable[3]: super-string element*/
+    CALL_abstract_collection___SimpleCollection___add(variable[2])(variable[2], variable[3]) /*AbstractArray::add*/;
+    /* Register variable[2]: Result */
+    variable[2] = CALL_string___Object___to_s(variable[2])(variable[2]) /*Object::to_s*/;
+    variable[1] = variable[2];
+    goto return_label8;
   }
-  variable0 = NEW_string___String___with_native(BOX_NativeString(""), TAG_Int(0)); /*new String*/
-  goto return_label4;
-  return_label4: while(false);
+  /* Register variable[2]: Once String constant */
+  if (once_value_11 != NIT_NULL) variable[2] = once_value_11;
+  else {
+    variable[2] = NEW_String_string___String___with_native(BOX_NativeString(""), TAG_Int(0)) /*new String*/;
+    once_value_11 = variable[2];
+  }
+  /* Register variable[2]: Result */
+  variable[1] = variable[2];
+  goto return_label8;
+  return_label8: while(false);
   tracehead = trace.prev;
-  return variable0;
+  return variable[1];
 }
 void opts___Option___read_param(val_t  self, val_t  param0) {
-  struct trace_t trace = {NULL, LOCATE_opts, 77, LOCATE_opts___Option___read_param};
+  struct trace_t trace = {NULL, NULL, 78, LOCATE_opts___Option___read_param};
+  val_t *variable = NULL;
+  struct WBT_ **closurevariable = NULL;
   trace.prev = tracehead; tracehead = &trace;
-  fprintf(stderr, "Deferred method %s called");
-  fprintf(stderr, " in %s (%s:%d)\n", LOCATE_opts___Option___pretty_default, LOCATE_opts, 77);
+  trace.file = LOCATE_opts;
+  fprintf(stderr, "Deferred method called");
+  fprintf(stderr, " (%s:%d)\n", LOCATE_opts, 78);
   nit_exit(1);
   tracehead = trace.prev;
   return;
 }
-void opts___OptionText___init(val_t  self, val_t  param0, int* init_table) {
-  struct trace_t trace = {NULL, LOCATE_opts, 83, LOCATE_opts___OptionText___init};
-  val_t variable0;
+val_t opts___OptionText___to_s(val_t  self) {
+  struct trace_t trace = {NULL, NULL, 88, LOCATE_opts___OptionText___to_s};
+  val_t variable[3];
+  struct WBT_ **closurevariable = NULL;
   trace.prev = tracehead; tracehead = &trace;
-  variable0 =  param0;
-  if (init_table[VAL2OBJ( self)->vft[INIT_TABLE_POS_OptionText].i]) return;
-  ((opts___Option___init_opt_t)CALL( self,COLOR_opts___Option___init_opt))( self,  variable0 /*text*/,  NIT_NULL /*null*/,  NIT_NULL /*null*/, init_table /*YYY*/) /*Option::init_opt*/;
-  init_table[VAL2OBJ( self)->vft[INIT_TABLE_POS_OptionText].i] = 1;
+  trace.file = LOCATE_opts;
+  /* Register variable[0]: Local variable */
+  variable[0] =  self;
+  /* Register variable[1]: Method return value and escape marker */
+  /* Register variable[2]: Result */
+  variable[2] = CALL_opts___Option___helptext(variable[0])(variable[0]) /*Option::helptext*/;
+  variable[1] = variable[2];
+  goto return_label12;
+  return_label12: while(false);
   tracehead = trace.prev;
-  return;
+  return variable[1];
 }
 val_t opts___OptionText___pretty(val_t  self, val_t  param0) {
-  struct trace_t trace = {NULL, LOCATE_opts, 85, LOCATE_opts___OptionText___pretty};
-  val_t variable0;
-  val_t variable1;
+  struct trace_t trace = {NULL, NULL, 86, LOCATE_opts___OptionText___pretty};
+  val_t variable[4];
+  struct WBT_ **closurevariable = NULL;
   trace.prev = tracehead; tracehead = &trace;
-  variable0 =  param0;
-  variable1 = ((opts___OptionText___to_s_t)CALL( self,COLOR_string___Object___to_s))( self) /*OptionText::to_s*/;
-  goto return_label6;
-  return_label6: while(false);
+  trace.file = LOCATE_opts;
+  /* Register variable[0]: Local variable */
+  variable[0] =  self;
+  /* Register variable[1]: Local variable */
+  variable[1] =  param0;
+  /* Register variable[2]: Method return value and escape marker */
+  /* Register variable[3]: Result */
+  variable[3] = CALL_string___Object___to_s(variable[0])(variable[0]) /*OptionText::to_s*/;
+  variable[2] = variable[3];
+  goto return_label13;
+  return_label13: while(false);
   tracehead = trace.prev;
-  return variable1;
+  return variable[2];
 }
-val_t opts___OptionText___to_s(val_t  self) {
-  struct trace_t trace = {NULL, LOCATE_opts, 87, LOCATE_opts___OptionText___to_s};
-  val_t variable0;
+void opts___OptionText___init(val_t  self, val_t  param0, int* init_table) {
+  struct trace_t trace = {NULL, NULL, 84, LOCATE_opts___OptionText___init};
+  val_t variable[3];
+  struct WBT_ **closurevariable = NULL;
+  trace.prev = tracehead; tracehead = &trace;
+  trace.file = LOCATE_opts;
+  /* Register variable[0]: Local variable */
+  variable[0] =  self;
+  /* Register variable[1]: Local variable */
+  variable[1] =  param0;
+  if (init_table[VAL2OBJ(variable[0])->vft[INIT_TABLE_POS_OptionText].i]) return;
+  /* Register variable[2]: Method return value and escape marker */
+  CALL_opts___Option___init_opt(variable[0])(variable[0],  variable[1] /*text*/,  NIT_NULL /*null*/,  NIT_NULL /*null*/, init_table /*YYY*/) /*Option::init_opt*/;
+  return_label14: while(false);
+  init_table[VAL2OBJ(variable[0])->vft[INIT_TABLE_POS_OptionText].i] = 1;
+  tracehead = trace.prev;
+  return;
+}
+void opts___OptionBool___read_param(val_t  self, val_t  param0) {
+  struct trace_t trace = {NULL, NULL, 97, LOCATE_opts___OptionBool___read_param};
+  val_t variable[3];
+  struct WBT_ **closurevariable = NULL;
   trace.prev = tracehead; tracehead = &trace;
-  variable0 = ((opts___Option___helptext_t)CALL( self,COLOR_opts___Option___helptext))( self) /*Option::helptext*/;
-  goto return_label7;
-  return_label7: while(false);
+  trace.file = LOCATE_opts;
+  /* Register variable[0]: Local variable */
+  variable[0] =  self;
+  /* Register variable[1]: Local variable */
+  variable[1] =  param0;
+  /* Register variable[2]: Method return value and escape marker */
+  CALL_opts___Option___value__eq(variable[0])(variable[0],  TAG_Bool(true)) /*Option::value=*/;
+  return_label15: while(false);
   tracehead = trace.prev;
-  return variable0;
+  return;
 }
 void opts___OptionBool___init(val_t  self, val_t  param0, val_t  param1, int* init_table) {
-  struct trace_t trace = {NULL, LOCATE_opts, 94, LOCATE_opts___OptionBool___init};
-  val_t variable0;
-  val_t variable1;
+  struct trace_t trace = {NULL, NULL, 95, LOCATE_opts___OptionBool___init};
+  val_t variable[4];
+  struct WBT_ **closurevariable = NULL;
   trace.prev = tracehead; tracehead = &trace;
-  variable0 =  param0;
+  trace.file = LOCATE_opts;
+  /* Register variable[0]: Local variable */
+  variable[0] =  self;
+  /* Register variable[1]: Local variable */
+  variable[1] =  param0;
+  /* Register variable[2]: Local variable */
   /* check if p<Array[String] with p:String */
-  if (( param1!=NIT_NULL) && !VAL_ISA( param1, COLOR_Array, ID_Array)) { fprintf(stderr, "Cast failled"); fprintf(stderr, " in %s (%s:%d)\n", LOCATE_opts___OptionText___to_s, LOCATE_opts, 94); nit_exit(1); } /*cast Array[String]*/;
-  variable1 =  param1;
-  if (init_table[VAL2OBJ( self)->vft[INIT_TABLE_POS_OptionBool].i]) return;
-  ((opts___Option___init_opt_t)CALL( self,COLOR_opts___Option___init_opt))( self,  variable0 /*help*/,  TAG_Bool(false),  variable1 /*names*/, init_table /*YYY*/) /*Option::init_opt*/;
-  init_table[VAL2OBJ( self)->vft[INIT_TABLE_POS_OptionBool].i] = 1;
+  if (( param1!=NIT_NULL) && !VAL_ISA( param1, COLOR_Array, ID_Array)) { fprintf(stderr, "Cast failled"); fprintf(stderr, " in %s (%s:%d)\n", LOCATE_opts___OptionBool___init, LOCATE_opts, 95); nit_exit(1); } /*cast Array[String]*/;
+  variable[2] =  param1;
+  if (init_table[VAL2OBJ(variable[0])->vft[INIT_TABLE_POS_OptionBool].i]) return;
+  /* Register variable[3]: Method return value and escape marker */
+  CALL_opts___Option___init_opt(variable[0])(variable[0],  variable[1] /*help*/,  TAG_Bool(false),  variable[2] /*names*/, init_table /*YYY*/) /*Option::init_opt*/;
+  return_label16: while(false);
+  init_table[VAL2OBJ(variable[0])->vft[INIT_TABLE_POS_OptionBool].i] = 1;
   tracehead = trace.prev;
   return;
 }
-void opts___OptionBool___read_param(val_t  self, val_t  param0) {
-  struct trace_t trace = {NULL, LOCATE_opts, 96, LOCATE_opts___OptionBool___read_param};
-  val_t variable0;
+void opts___OptionCount___read_param(val_t  self, val_t  param0) {
+  struct trace_t trace = {NULL, NULL, 106, LOCATE_opts___OptionCount___read_param};
+  val_t variable[3];
+  struct WBT_ **closurevariable = NULL;
   trace.prev = tracehead; tracehead = &trace;
-  variable0 =  param0;
-  ((opts___Option___value__eq_t)CALL( self,COLOR_opts___Option___value__eq))( self,  TAG_Bool(true)) /*Option::value=*/;
+  trace.file = LOCATE_opts;
+  /* Register variable[0]: Local variable */
+  variable[0] =  self;
+  /* Register variable[1]: Local variable */
+  variable[1] =  param0;
+  /* Register variable[2]: Method return value and escape marker */
+  CALL_opts___Option___value__eq(variable[0])(variable[0], TAG_Int(UNTAG_Int(CALL_opts___Option___value(variable[0])(variable[0]) /*Option::value*/)+UNTAG_Int( TAG_Int(1)))) /*Option::value=*/;
+  return_label17: while(false);
   tracehead = trace.prev;
   return;
 }
-val_t opts___OptionParameter___convert(val_t  self, val_t  param0) {
-  struct trace_t trace = {NULL, LOCATE_opts, 102, LOCATE_opts___OptionParameter___convert};
+void opts___OptionCount___init(val_t  self, val_t  param0, val_t  param1, int* init_table) {
+  struct trace_t trace = {NULL, NULL, 104, LOCATE_opts___OptionCount___init};
+  val_t variable[4];
+  struct WBT_ **closurevariable = NULL;
   trace.prev = tracehead; tracehead = &trace;
-  fprintf(stderr, "Deferred method %s called");
-  fprintf(stderr, " in %s (%s:%d)\n", LOCATE_opts___OptionBool___read_param, LOCATE_opts, 102);
-  nit_exit(1);
+  trace.file = LOCATE_opts;
+  /* Register variable[0]: Local variable */
+  variable[0] =  self;
+  /* Register variable[1]: Local variable */
+  variable[1] =  param0;
+  /* Register variable[2]: Local variable */
+  /* check if p<Array[String] with p:String */
+  if (( param1!=NIT_NULL) && !VAL_ISA( param1, COLOR_Array, ID_Array)) { fprintf(stderr, "Cast failled"); fprintf(stderr, " in %s (%s:%d)\n", LOCATE_opts___OptionCount___init, LOCATE_opts, 104); nit_exit(1); } /*cast Array[String]*/;
+  variable[2] =  param1;
+  if (init_table[VAL2OBJ(variable[0])->vft[INIT_TABLE_POS_OptionCount].i]) return;
+  /* Register variable[3]: Method return value and escape marker */
+  CALL_opts___Option___init_opt(variable[0])(variable[0],  variable[1] /*help*/,  TAG_Int(0),  variable[2] /*names*/, init_table /*YYY*/) /*Option::init_opt*/;
+  return_label18: while(false);
+  init_table[VAL2OBJ(variable[0])->vft[INIT_TABLE_POS_OptionCount].i] = 1;
   tracehead = trace.prev;
-  return NIT_NULL;
+  return;
 }
 void opts___OptionParameter___read_param(val_t  self, val_t  param0) {
-  struct trace_t trace = {NULL, LOCATE_opts, 104, LOCATE_opts___OptionParameter___read_param};
-  val_t variable0;
-  val_t variable1;
-  trace.prev = tracehead; tracehead = &trace;
-  variable0 =  param0;
-  variable1 = ((opts___Option___context_t)CALL( self,COLOR_opts___Option___context))( self) /*Option::context*/;
-  variable1 = TAG_Bool(!UNTAG_Bool(TAG_Bool((variable1 ==  NIT_NULL /*null*/) || ((variable1 != NIT_NULL) && ((((kernel___Object_____eqeq_t)CALL(variable1,COLOR_kernel___Object_____eqeq))==kernel___Object_____eqeq)?(IS_EQUAL_NN(variable1, NIT_NULL /*null*/)):(UNTAG_Bool(((kernel___Object_____eqeq_t)CALL(variable1,COLOR_kernel___Object_____eqeq))(variable1,  NIT_NULL /*null*/) /*Object::==*/)))))));
-  if (!UNTAG_Bool(variable1)) { fprintf(stderr, "Assert%s failed", ""); fprintf(stderr, " in %s (%s:%d)\n", LOCATE_opts___OptionParameter___read_param, LOCATE_opts, 106); nit_exit(1);}
-  variable1 = ((abstract_collection___Iterator___is_ok_t)CALL( variable0 /*it*/,COLOR_abstract_collection___Iterator___is_ok))( variable0 /*it*/) /*Iterator::is_ok*/;
-  if (UNTAG_Bool(variable1)) { /*if*/
-    variable1 = ((abstract_collection___Iterator___item_t)CALL( variable0 /*it*/,COLOR_abstract_collection___Iterator___item))( variable0 /*it*/) /*Iterator::item*/;
-    variable1 = ((opts___OptionParameter___convert_t)CALL( self,COLOR_opts___OptionParameter___convert))( self, variable1) /*OptionParameter::convert*/;
-    ((opts___Option___value__eq_t)CALL( self,COLOR_opts___Option___value__eq))( self, variable1) /*Option::value=*/;
-    ((abstract_collection___Iterator___next_t)CALL( variable0 /*it*/,COLOR_abstract_collection___Iterator___next))( variable0 /*it*/) /*Iterator::next*/;
+  struct trace_t trace = {NULL, NULL, 114, LOCATE_opts___OptionParameter___read_param};
+  val_t variable[4];
+  struct WBT_ **closurevariable = NULL;
+  trace.prev = tracehead; tracehead = &trace;
+  trace.file = LOCATE_opts;
+  /* Register variable[0]: Local variable */
+  variable[0] =  self;
+  /* Register variable[1]: Local variable */
+  variable[1] =  param0;
+  /* Register variable[2]: Method return value and escape marker */
+  /* Register variable[3]: Result */
+  variable[3] = CALL_opts___Option___context(variable[0])(variable[0]) /*Option::context*/;
+  /* Register variable[3]: Result */
+  variable[3] = TAG_Bool(!UNTAG_Bool(TAG_Bool((variable[3] ==  NIT_NULL /*null*/) || ((variable[3] != NIT_NULL) && ((CALL_kernel___Object_____eqeq(variable[3])==kernel___Object_____eqeq)?(IS_EQUAL_NN(variable[3], NIT_NULL /*null*/)):(UNTAG_Bool(CALL_kernel___Object_____eqeq(variable[3])(variable[3],  NIT_NULL /*null*/) /*Object::==*/)))))));
+  if (!UNTAG_Bool(variable[3])) { fprintf(stderr, "Assert%s failed", ""); fprintf(stderr, " in %s (%s:%d)\n", LOCATE_opts___OptionParameter___read_param, LOCATE_opts, 116); nit_exit(1);}
+  /* Register variable[3]: Result */
+  variable[3] = CALL_abstract_collection___Iterator___is_ok( variable[1] /*it*/)( variable[1] /*it*/) /*Iterator::is_ok*/;
+  if (UNTAG_Bool(variable[3])) { /*if*/
+    /* Register variable[3]: Result */
+    variable[3] = CALL_abstract_collection___Iterator___item( variable[1] /*it*/)( variable[1] /*it*/) /*Iterator::item*/;
+    /* Register variable[3]: Result */
+    variable[3] = CALL_opts___OptionParameter___convert(variable[0])(variable[0], variable[3]) /*OptionParameter::convert*/;
+    CALL_opts___Option___value__eq(variable[0])(variable[0], variable[3]) /*Option::value=*/;
+    CALL_abstract_collection___Iterator___next( variable[1] /*it*/)( variable[1] /*it*/) /*Iterator::next*/;
+  } else { /*if*/
   }
+  return_label19: while(false);
   tracehead = trace.prev;
   return;
 }
-void opts___OptionParameter___init_opt(val_t  self, val_t  param0, val_t  param1, val_t  param2, int* init_table) {
-  struct trace_t trace = {NULL, LOCATE_opts, 115, LOCATE_opts___OptionParameter___init_opt};
-  val_t variable0;
-  val_t variable1;
-  val_t variable2;
-  trace.prev = tracehead; tracehead = &trace;
-  variable0 =  param0;
-  variable1 =  param1;
-  variable2 =  param2;
-  if (init_table[VAL2OBJ( self)->vft[INIT_TABLE_POS_OptionParameter].i]) return;
-  ((opts___Option___init_opt_t)CALL( self,COLOR_opts___Option___init_opt))( self,  param0,  param1,  param2, init_table /*YYY*/) /*Option::init_opt*/;
-  init_table[VAL2OBJ( self)->vft[INIT_TABLE_POS_OptionParameter].i] = 1;
+val_t opts___OptionParameter___convert(val_t  self, val_t  param0) {
+  struct trace_t trace = {NULL, NULL, 112, LOCATE_opts___OptionParameter___convert};
+  val_t *variable = NULL;
+  struct WBT_ **closurevariable = NULL;
+  trace.prev = tracehead; tracehead = &trace;
+  trace.file = LOCATE_opts;
+  fprintf(stderr, "Deferred method called");
+  fprintf(stderr, " (%s:%d)\n", LOCATE_opts, 112);
+  nit_exit(1);
   tracehead = trace.prev;
-  return;
+  return NIT_NULL;
 }
-void opts___OptionString___init(val_t  self, val_t  param0, val_t  param1, int* init_table) {
-  struct trace_t trace = {NULL, LOCATE_opts, 122, LOCATE_opts___OptionString___init};
-  val_t variable0;
-  val_t variable1;
+void opts___OptionParameter___init_opt(val_t  self, val_t  param0, val_t  param1, val_t  param2, int* init_table) {
+  struct trace_t trace = {NULL, NULL, 125, LOCATE_opts___OptionParameter___init_opt};
+  val_t variable[5];
+  struct WBT_ **closurevariable = NULL;
   trace.prev = tracehead; tracehead = &trace;
-  variable0 =  param0;
-  /* check if p<Array[String] with p:String */
-  if (( param1!=NIT_NULL) && !VAL_ISA( param1, COLOR_Array, ID_Array)) { fprintf(stderr, "Cast failled"); fprintf(stderr, " in %s (%s:%d)\n", LOCATE_opts___OptionParameter___init_opt, LOCATE_opts, 122); nit_exit(1); } /*cast Array[String]*/;
-  variable1 =  param1;
-  if (init_table[VAL2OBJ( self)->vft[INIT_TABLE_POS_OptionString].i]) return;
-  ((opts___OptionParameter___init_opt_t)CALL( self,COLOR_opts___OptionParameter___init_opt))( self,  variable0 /*help*/,  NIT_NULL /*null*/,  variable1 /*names*/, init_table /*YYY*/) /*OptionParameter::init_opt*/;
-  init_table[VAL2OBJ( self)->vft[INIT_TABLE_POS_OptionString].i] = 1;
+  trace.file = LOCATE_opts;
+  /* Register variable[0]: Local variable */
+  variable[0] =  self;
+  /* Register variable[1]: Local variable */
+  variable[1] =  param0;
+  /* Register variable[2]: Local variable */
+  variable[2] =  param1;
+  /* Register variable[3]: Local variable */
+  variable[3] =  param2;
+  if (init_table[VAL2OBJ(variable[0])->vft[INIT_TABLE_POS_OptionParameter].i]) return;
+  /* Register variable[4]: Method return value and escape marker */
+  CALL_opts___Option___init_opt(variable[0])(variable[0], variable[1], variable[2], variable[3], init_table /*YYY*/) /*Option::init_opt*/;
+  return_label20: while(false);
+  init_table[VAL2OBJ(variable[0])->vft[INIT_TABLE_POS_OptionParameter].i] = 1;
   tracehead = trace.prev;
   return;
 }
 val_t opts___OptionString___convert(val_t  self, val_t  param0) {
-  struct trace_t trace = {NULL, LOCATE_opts, 124, LOCATE_opts___OptionString___convert};
-  val_t variable0;
-  val_t variable1;
+  struct trace_t trace = {NULL, NULL, 134, LOCATE_opts___OptionString___convert};
+  val_t variable[3];
+  struct WBT_ **closurevariable = NULL;
   trace.prev = tracehead; tracehead = &trace;
-  variable0 =  param0;
-  variable1 =  variable0 /*str*/;
-  goto return_label13;
-  return_label13: while(false);
+  trace.file = LOCATE_opts;
+  /* Register variable[0]: Local variable */
+  variable[0] =  self;
+  /* Register variable[1]: Local variable */
+  variable[1] =  param0;
+  /* Register variable[2]: Method return value and escape marker */
+  variable[2] =  variable[1] /*str*/;
+  goto return_label21;
+  return_label21: while(false);
   tracehead = trace.prev;
-  return variable1;
+  return variable[2];
 }
-void opts___OptionEnum___init(val_t  self, val_t  param0, val_t  param1, val_t  param2, val_t  param3, int* init_table) {
-  struct trace_t trace = {NULL, LOCATE_opts, 132, LOCATE_opts___OptionEnum___init};
-  val_t variable0;
-  val_t variable1;
-  val_t variable2;
-  val_t variable3;
-  val_t variable4;
-  val_t variable5;
-  val_t variable6;
-  val_t variable7;
-  val_t variable8;
-  val_t variable9;
-  val_t variable10;
-  val_t variable11;
-  val_t variable12;
-  val_t variable13;
-  trace.prev = tracehead; tracehead = &trace;
-  variable0 =  param0;
-  variable1 =  param1;
-  variable2 =  param2;
+void opts___OptionString___init(val_t  self, val_t  param0, val_t  param1, int* init_table) {
+  struct trace_t trace = {NULL, NULL, 132, LOCATE_opts___OptionString___init};
+  val_t variable[4];
+  struct WBT_ **closurevariable = NULL;
+  trace.prev = tracehead; tracehead = &trace;
+  trace.file = LOCATE_opts;
+  /* Register variable[0]: Local variable */
+  variable[0] =  self;
+  /* Register variable[1]: Local variable */
+  variable[1] =  param0;
+  /* Register variable[2]: Local variable */
   /* check if p<Array[String] with p:String */
-  if (( param3!=NIT_NULL) && !VAL_ISA( param3, COLOR_Array, ID_Array)) { fprintf(stderr, "Cast failled"); fprintf(stderr, " in %s (%s:%d)\n", LOCATE_opts___OptionString___convert, LOCATE_opts, 132); nit_exit(1); } /*cast Array[String]*/;
-  variable3 =  param3;
-  if (init_table[VAL2OBJ( self)->vft[INIT_TABLE_POS_OptionEnum].i]) return;
-  variable4 = TAG_Bool(!UNTAG_Bool(TAG_Bool(( variable0 /*enum*/ ==  NIT_NULL /*null*/) || (( variable0 /*enum*/ != NIT_NULL) && ((((kernel___Object_____eqeq_t)CALL( variable0 /*enum*/,COLOR_kernel___Object_____eqeq))==kernel___Object_____eqeq)?(IS_EQUAL_NN( variable0 /*enum*/, NIT_NULL /*null*/)):(UNTAG_Bool(((kernel___Object_____eqeq_t)CALL( variable0 /*enum*/,COLOR_kernel___Object_____eqeq))( variable0 /*enum*/,  NIT_NULL /*null*/) /*Object::==*/)))))));
-  variable5 = variable4;
-  if (UNTAG_Bool(variable5)) { /* and */
-    variable5 = ((array___AbstractArray___length_t)CALL( variable0 /*enum*/,COLOR_abstract_collection___Collection___length))( variable0 /*enum*/) /*AbstractArray::length*/;
-    variable5 = TAG_Bool(UNTAG_Int(variable5)>UNTAG_Int( TAG_Int(0)));
-  }
-  variable4 = variable5;
-  if (!UNTAG_Bool(variable4)) { fprintf(stderr, "Assert%s failed", ""); fprintf(stderr, " in %s (%s:%d)\n", LOCATE_opts___OptionEnum___init, LOCATE_opts, 134); nit_exit(1);}
-  variable4 = ((array___Collection___to_a_t)CALL( variable0 /*enum*/,COLOR_array___Collection___to_a))( variable0 /*enum*/) /*Collection::to_a*/;
-  ATTR_opts___OptionEnum____enum( self) /*OptionEnum::_enum*/ = variable4;
-  variable4 = NEW_string___String___init(); /*new String*/
-  variable5 = NEW_string___String___with_native(BOX_NativeString(""), TAG_Int(0)); /*new String*/
-  variable6 = variable5;
-  ((string___String___append_t)CALL(variable4,COLOR_abstract_collection___IndexedCollection___append))(variable4, variable6) /*String::append*/;
-  variable7 =  variable1 /*help*/;
-  ((string___String___append_t)CALL(variable4,COLOR_abstract_collection___IndexedCollection___append))(variable4, variable7) /*String::append*/;
-  variable8 = NEW_string___String___with_native(BOX_NativeString(" <"), TAG_Int(2)); /*new String*/
-  variable9 = variable8;
-  ((string___String___append_t)CALL(variable4,COLOR_abstract_collection___IndexedCollection___append))(variable4, variable9) /*String::append*/;
-  variable10 = NEW_string___String___with_native(BOX_NativeString(", "), TAG_Int(2)); /*new String*/
-  variable10 = ((string___Collection___join_t)CALL( variable0 /*enum*/,COLOR_string___Collection___join))( variable0 /*enum*/, variable10) /*Collection::join*/;
-  variable11 = variable10;
-  ((string___String___append_t)CALL(variable4,COLOR_abstract_collection___IndexedCollection___append))(variable4, variable11) /*String::append*/;
-  variable12 = NEW_string___String___with_native(BOX_NativeString(">"), TAG_Int(1)); /*new String*/
-  variable13 = variable12;
-  ((string___String___append_t)CALL(variable4,COLOR_abstract_collection___IndexedCollection___append))(variable4, variable13) /*String::append*/;
-  ((opts___OptionParameter___init_opt_t)CALL( self,COLOR_opts___OptionParameter___init_opt))( self, variable4,  variable2 /*default*/,  variable3 /*names*/, init_table /*YYY*/) /*OptionParameter::init_opt*/;
-  init_table[VAL2OBJ( self)->vft[INIT_TABLE_POS_OptionEnum].i] = 1;
+  if (( param1!=NIT_NULL) && !VAL_ISA( param1, COLOR_Array, ID_Array)) { fprintf(stderr, "Cast failled"); fprintf(stderr, " in %s (%s:%d)\n", LOCATE_opts___OptionString___init, LOCATE_opts, 132); nit_exit(1); } /*cast Array[String]*/;
+  variable[2] =  param1;
+  if (init_table[VAL2OBJ(variable[0])->vft[INIT_TABLE_POS_OptionString].i]) return;
+  /* Register variable[3]: Method return value and escape marker */
+  CALL_opts___OptionParameter___init_opt(variable[0])(variable[0],  variable[1] /*help*/,  NIT_NULL /*null*/,  variable[2] /*names*/, init_table /*YYY*/) /*OptionParameter::init_opt*/;
+  return_label22: while(false);
+  init_table[VAL2OBJ(variable[0])->vft[INIT_TABLE_POS_OptionString].i] = 1;
   tracehead = trace.prev;
   return;
 }
-val_t opts___OptionEnum___convert(val_t  self, val_t  param0) {
-  struct trace_t trace = {NULL, LOCATE_opts, 139, LOCATE_opts___OptionEnum___convert};
-  val_t variable0;
-  val_t variable1;
-  val_t variable2;
-  trace.prev = tracehead; tracehead = &trace;
-  variable0 =  param0;
-  variable2 = ATTR_opts___OptionEnum____enum( self) /*OptionEnum::_enum*/;
-  variable2 = ((array___AbstractArray___index_of_t)CALL(variable2,COLOR_abstract_collection___IndexedCollection___index_of))(variable2,  variable0 /*str*/) /*AbstractArray::index_of*/;
-  variable1 = variable2;
-  variable1 =  variable1 /*id*/;
-  goto return_label15;
-  return_label15: while(false);
-  tracehead = trace.prev;
-  return variable1;
-}
 val_t opts___OptionEnum___pretty_default(val_t  self) {
-  struct trace_t trace = {NULL, LOCATE_opts, 145, LOCATE_opts___OptionEnum___pretty_default};
-  val_t variable0;
-    val_t variable1;
-    val_t variable2;
-    val_t variable3;
-    val_t variable4;
-    val_t variable5;
-    val_t variable6;
-    val_t variable7;
-  trace.prev = tracehead; tracehead = &trace;
-  variable0 = ((opts___Option___default_value_t)CALL( self,COLOR_opts___Option___default_value))( self) /*Option::default_value*/;
-  variable0 = TAG_Bool((variable0)!=( NIT_NULL /*null*/));
-  if (UNTAG_Bool(variable0)) { /*if*/
-    variable0 = NEW_string___String___init(); /*new String*/
-    variable1 = NEW_string___String___with_native(BOX_NativeString(" ("), TAG_Int(2)); /*new String*/
-    variable2 = variable1;
-    ((string___String___append_t)CALL(variable0,COLOR_abstract_collection___IndexedCollection___append))(variable0, variable2) /*String::append*/;
-    variable3 = ATTR_opts___OptionEnum____enum( self) /*OptionEnum::_enum*/;
-    variable4 = ((opts___Option___default_value_t)CALL( self,COLOR_opts___Option___default_value))( self) /*Option::default_value*/;
-    variable5 = variable4;
-    variable6 = TAG_Bool(UNTAG_Int( variable5 /*index*/)>=UNTAG_Int( TAG_Int(0)));
-    variable7 = variable6;
-    if (UNTAG_Bool(variable7)) { /* and */
-      variable7 = variable3;
-      variable7 = ATTR_array___AbstractArray____length(variable7) /*AbstractArray::_length*/;
-      variable7 = TAG_Bool(UNTAG_Int( variable5 /*index*/)<UNTAG_Int(variable7));
+  struct trace_t trace = {NULL, NULL, 155, LOCATE_opts___OptionEnum___pretty_default};
+    static val_t once_value_24 = NIT_NULL; /* Once value for string variable[3]*/
+    static val_t once_value_26 = NIT_NULL; /* Once value for string variable[3]*/
+    static val_t once_value_27 = NIT_NULL; /* Once value for string variable[2]*/
+  val_t variable[9];
+  struct WBT_ **closurevariable = NULL;
+  trace.prev = tracehead; tracehead = &trace;
+  trace.file = LOCATE_opts;
+  /* Register variable[0]: Local variable */
+  variable[0] =  self;
+  /* Register variable[1]: Method return value and escape marker */
+  /* Register variable[2]: Result */
+  variable[2] = CALL_opts___Option___default_value(variable[0])(variable[0]) /*Option::default_value*/;
+  /* Register variable[2]: Result */
+  variable[2] = TAG_Bool((variable[2])!=( NIT_NULL /*null*/));
+  if (UNTAG_Bool(variable[2])) { /*if*/
+    variable[2] = NEW_Array_array___Array___with_capacity(TAG_Int(3)) /*new Array[String]*/ /* Ensure var: Array (for super-string)*/;
+    /* Register variable[3]: Once String constant */
+    if (once_value_24 != NIT_NULL) variable[3] = once_value_24;
+    else {
+      variable[3] = NEW_String_string___String___with_native(BOX_NativeString(" ("), TAG_Int(2)) /*new String*/;
+      once_value_24 = variable[3];
+    }
+    /* Register variable[3]: Result */
+    /* Ensure var variable[3]: super-string element*/
+    CALL_abstract_collection___SimpleCollection___add(variable[2])(variable[2], variable[3]) /*AbstractArray::add*/;
+    /* Register variable[3]: Result */
+    variable[3] = ATTR_opts___OptionEnum____enum(variable[0]) /*OptionEnum::_enum*/;
+    /* Register variable[4]: Result */
+    variable[4] = CALL_opts___Option___default_value(variable[0])(variable[0]) /*Option::default_value*/;
+    /* Register variable[5]: Local variable */
+    variable[5] = variable[3];
+    /* Register variable[6]: Local variable */
+    variable[6] = variable[4];
+    /* Register variable[7]: Method return value and escape marker */
+    /* Register variable[8]: Result */
+    variable[8] = TAG_Bool(UNTAG_Int( variable[6] /*index*/)>=UNTAG_Int( TAG_Int(0)));
+    /* Ensure var variable[8]: Left 'and' operand*/
+    if (UNTAG_Bool(variable[8])) { /* and */
+      /* Register variable[8]: Result */
+      variable[8] = ATTR_array___AbstractArrayRead____length(variable[5]) /*AbstractArrayRead::_length*/;
+      /* Register variable[8]: Result */
+      variable[8] = TAG_Bool(UNTAG_Int( variable[6] /*index*/)<UNTAG_Int(variable[8]));
+    }
+    /* Register variable[8]: Result */
+    if (!UNTAG_Bool(variable[8])) { fprintf(stderr, "Assert%s failed", " 'index' "); fprintf(stderr, " in %s (%s:%d)\n", LOCATE_array___Array_____bra, LOCATE_opts, 234); nit_exit(1);}
+    /* Register variable[8]: Result */
+    variable[8] = ATTR_array___Array____items(variable[5]) /*Array::_items*/;
+    /* Register variable[8]: Result */
+    variable[8] = UNBOX_NativeArray(variable[8])[UNTAG_Int( variable[6] /*index*/)];
+    variable[7] = variable[8];
+    goto return_label25;
+    return_label25: while(false);
+    /* Register variable[3]: Result */
+    variable[3] = variable[7];
+    /* Ensure var variable[3]: super-string element*/
+    CALL_abstract_collection___SimpleCollection___add(variable[2])(variable[2], variable[3]) /*AbstractArray::add*/;
+    /* Register variable[3]: Once String constant */
+    if (once_value_26 != NIT_NULL) variable[3] = once_value_26;
+    else {
+      variable[3] = NEW_String_string___String___with_native(BOX_NativeString(")"), TAG_Int(1)) /*new String*/;
+      once_value_26 = variable[3];
     }
-    variable6 = variable7;
-    if (!UNTAG_Bool(variable6)) { fprintf(stderr, "Assert%s failed", " 'index' "); fprintf(stderr, " in %s (%s:%d)\n", LOCATE_array___Array_____bra, LOCATE_opts, 229); nit_exit(1);}
-    variable6 = variable3;
-    variable6 = ATTR_array___Array____items(variable6) /*Array::_items*/;
-    variable6 = UNBOX_NativeArray(variable6)[UNTAG_Int( variable5 /*index*/)];
-    goto return_label17;
-    return_label17: while(false);
-    variable3 = variable6;
-    variable4 = variable3;
-    ((string___String___append_t)CALL(variable0,COLOR_abstract_collection___IndexedCollection___append))(variable0, variable4) /*String::append*/;
-    variable5 = NEW_string___String___with_native(BOX_NativeString(")"), TAG_Int(1)); /*new String*/
-    variable6 = variable5;
-    ((string___String___append_t)CALL(variable0,COLOR_abstract_collection___IndexedCollection___append))(variable0, variable6) /*String::append*/;
-    goto return_label16;
+    /* Register variable[3]: Result */
+    /* Ensure var variable[3]: super-string element*/
+    CALL_abstract_collection___SimpleCollection___add(variable[2])(variable[2], variable[3]) /*AbstractArray::add*/;
+    /* Register variable[2]: Result */
+    variable[2] = CALL_string___Object___to_s(variable[2])(variable[2]) /*Object::to_s*/;
+    variable[1] = variable[2];
+    goto return_label23;
   } else { /*if*/
-    variable0 = NEW_string___String___with_native(BOX_NativeString(""), TAG_Int(0)); /*new String*/
-    goto return_label16;
+    /* Register variable[2]: Once String constant */
+    if (once_value_27 != NIT_NULL) variable[2] = once_value_27;
+    else {
+      variable[2] = NEW_String_string___String___with_native(BOX_NativeString(""), TAG_Int(0)) /*new String*/;
+      once_value_27 = variable[2];
+    }
+    /* Register variable[2]: Result */
+    variable[1] = variable[2];
+    goto return_label23;
   }
-  return_label16: while(false);
+  return_label23: while(false);
   tracehead = trace.prev;
-  return variable0;
+  return variable[1];
 }
-void opts___OptionInt___init(val_t  self, val_t  param0, val_t  param1, val_t  param2, int* init_table) {
-  struct trace_t trace = {NULL, LOCATE_opts, 159, LOCATE_opts___OptionInt___init};
-  val_t variable0;
-  val_t variable1;
-  val_t variable2;
+val_t opts___OptionEnum___convert(val_t  self, val_t  param0) {
+  struct trace_t trace = {NULL, NULL, 149, LOCATE_opts___OptionEnum___convert};
+  val_t variable[5];
+  struct WBT_ **closurevariable = NULL;
   trace.prev = tracehead; tracehead = &trace;
-  variable0 =  param0;
-  variable1 =  param1;
+  trace.file = LOCATE_opts;
+  /* Register variable[0]: Local variable */
+  variable[0] =  self;
+  /* Register variable[1]: Local variable */
+  variable[1] =  param0;
+  /* Register variable[2]: Method return value and escape marker */
+  /* Register variable[3]: Local variable */
+  /* Register variable[4]: Result */
+  variable[4] = ATTR_opts___OptionEnum____enum(variable[0]) /*OptionEnum::_enum*/;
+  /* Register variable[4]: Result */
+  variable[4] = CALL_abstract_collection___IndexedCollectionRead___index_of(variable[4])(variable[4],  variable[1] /*str*/) /*AbstractArrayRead::index_of*/;
+  variable[3] = variable[4];
+  variable[2] =  variable[3] /*id*/;
+  goto return_label28;
+  return_label28: while(false);
+  tracehead = trace.prev;
+  return variable[2];
+}
+void opts___OptionEnum___init(val_t  self, val_t  param0, val_t  param1, val_t  param2, val_t  param3, int* init_table) {
+  struct trace_t trace = {NULL, NULL, 142, LOCATE_opts___OptionEnum___init};
+  static val_t once_value_30 = NIT_NULL; /* Once value for string variable[7]*/
+  static val_t once_value_31 = NIT_NULL; /* Once value for string variable[7]*/
+  static val_t once_value_32 = NIT_NULL; /* Once value for string variable[7]*/
+  static val_t once_value_33 = NIT_NULL; /* Once value for string variable[7]*/
+  val_t variable[8];
+  struct WBT_ **closurevariable = NULL;
+  trace.prev = tracehead; tracehead = &trace;
+  trace.file = LOCATE_opts;
+  /* Register variable[0]: Local variable */
+  variable[0] =  self;
+  /* Register variable[1]: Local variable */
+  variable[1] =  param0;
+  /* Register variable[2]: Local variable */
+  variable[2] =  param1;
+  /* Register variable[3]: Local variable */
+  variable[3] =  param2;
+  /* Register variable[4]: Local variable */
   /* check if p<Array[String] with p:String */
-  if (( param2!=NIT_NULL) && !VAL_ISA( param2, COLOR_Array, ID_Array)) { fprintf(stderr, "Cast failled"); fprintf(stderr, " in %s (%s:%d)\n", LOCATE_array___Array_____bra, LOCATE_opts, 159); nit_exit(1); } /*cast Array[String]*/;
-  variable2 =  param2;
-  if (init_table[VAL2OBJ( self)->vft[INIT_TABLE_POS_OptionInt].i]) return;
-  ((opts___OptionParameter___init_opt_t)CALL( self,COLOR_opts___OptionParameter___init_opt))( self,  variable0 /*help*/,  variable1 /*default*/,  variable2 /*names*/, init_table /*YYY*/) /*OptionParameter::init_opt*/;
-  init_table[VAL2OBJ( self)->vft[INIT_TABLE_POS_OptionInt].i] = 1;
+  if (( param3!=NIT_NULL) && !VAL_ISA( param3, COLOR_Array, ID_Array)) { fprintf(stderr, "Cast failled"); fprintf(stderr, " in %s (%s:%d)\n", LOCATE_opts___OptionEnum___init, LOCATE_opts, 142); nit_exit(1); } /*cast Array[String]*/;
+  variable[4] =  param3;
+  if (init_table[VAL2OBJ(variable[0])->vft[INIT_TABLE_POS_OptionEnum].i]) return;
+  /* Register variable[5]: Method return value and escape marker */
+  /* Register variable[6]: Result */
+  variable[6] = TAG_Bool(!UNTAG_Bool(TAG_Bool(( variable[1] /*enum*/ ==  NIT_NULL /*null*/) || (( variable[1] /*enum*/ != NIT_NULL) && ((CALL_kernel___Object_____eqeq( variable[1] /*enum*/)==kernel___Object_____eqeq)?(IS_EQUAL_NN( variable[1] /*enum*/, NIT_NULL /*null*/)):(UNTAG_Bool(CALL_kernel___Object_____eqeq( variable[1] /*enum*/)( variable[1] /*enum*/,  NIT_NULL /*null*/) /*Object::==*/)))))));
+  /* Ensure var variable[6]: Left 'and' operand*/
+  if (UNTAG_Bool(variable[6])) { /* and */
+    /* Register variable[6]: Result */
+    variable[6] = CALL_abstract_collection___Collection___length( variable[1] /*enum*/)( variable[1] /*enum*/) /*AbstractArrayRead::length*/;
+    /* Register variable[6]: Result */
+    variable[6] = TAG_Bool(UNTAG_Int(variable[6])>UNTAG_Int( TAG_Int(0)));
+  }
+  /* Register variable[6]: Result */
+  if (!UNTAG_Bool(variable[6])) { fprintf(stderr, "Assert%s failed", ""); fprintf(stderr, " in %s (%s:%d)\n", LOCATE_opts___OptionEnum___init, LOCATE_opts, 144); nit_exit(1);}
+  /* Register variable[6]: Result */
+  variable[6] = CALL_array___Collection___to_a( variable[1] /*enum*/)( variable[1] /*enum*/) /*Collection::to_a*/;
+  ATTR_opts___OptionEnum____enum(variable[0]) /*OptionEnum::_enum*/ = variable[6];
+  variable[6] = NEW_Array_array___Array___with_capacity(TAG_Int(5)) /*new Array[String]*/ /* Ensure var: Array (for super-string)*/;
+  /* Register variable[7]: Once String constant */
+  if (once_value_30 != NIT_NULL) variable[7] = once_value_30;
+  else {
+    variable[7] = NEW_String_string___String___with_native(BOX_NativeString(""), TAG_Int(0)) /*new String*/;
+    once_value_30 = variable[7];
+  }
+  /* Register variable[7]: Result */
+  /* Ensure var variable[7]: super-string element*/
+  CALL_abstract_collection___SimpleCollection___add(variable[6])(variable[6], variable[7]) /*AbstractArray::add*/;
+  variable[7] =  variable[2] /*help*/ /* Ensure var: super-string element*/;
+  CALL_abstract_collection___SimpleCollection___add(variable[6])(variable[6], variable[7]) /*AbstractArray::add*/;
+  /* Register variable[7]: Once String constant */
+  if (once_value_31 != NIT_NULL) variable[7] = once_value_31;
+  else {
+    variable[7] = NEW_String_string___String___with_native(BOX_NativeString(" <"), TAG_Int(2)) /*new String*/;
+    once_value_31 = variable[7];
+  }
+  /* Register variable[7]: Result */
+  /* Ensure var variable[7]: super-string element*/
+  CALL_abstract_collection___SimpleCollection___add(variable[6])(variable[6], variable[7]) /*AbstractArray::add*/;
+  /* Register variable[7]: Once String constant */
+  if (once_value_32 != NIT_NULL) variable[7] = once_value_32;
+  else {
+    variable[7] = NEW_String_string___String___with_native(BOX_NativeString(", "), TAG_Int(2)) /*new String*/;
+    once_value_32 = variable[7];
+  }
+  /* Register variable[7]: Result */
+  /* Register variable[7]: Result */
+  variable[7] = CALL_string___Collection___join( variable[1] /*enum*/)( variable[1] /*enum*/, variable[7]) /*Collection::join*/;
+  /* Ensure var variable[7]: super-string element*/
+  CALL_abstract_collection___SimpleCollection___add(variable[6])(variable[6], variable[7]) /*AbstractArray::add*/;
+  /* Register variable[7]: Once String constant */
+  if (once_value_33 != NIT_NULL) variable[7] = once_value_33;
+  else {
+    variable[7] = NEW_String_string___String___with_native(BOX_NativeString(">"), TAG_Int(1)) /*new String*/;
+    once_value_33 = variable[7];
+  }
+  /* Register variable[7]: Result */
+  /* Ensure var variable[7]: super-string element*/
+  CALL_abstract_collection___SimpleCollection___add(variable[6])(variable[6], variable[7]) /*AbstractArray::add*/;
+  /* Register variable[6]: Result */
+  variable[6] = CALL_string___Object___to_s(variable[6])(variable[6]) /*Object::to_s*/;
+  CALL_opts___OptionParameter___init_opt(variable[0])(variable[0], variable[6],  variable[3] /*default*/,  variable[4] /*names*/, init_table /*YYY*/) /*OptionParameter::init_opt*/;
+  return_label29: while(false);
+  init_table[VAL2OBJ(variable[0])->vft[INIT_TABLE_POS_OptionEnum].i] = 1;
   tracehead = trace.prev;
   return;
 }
 val_t opts___OptionInt___convert(val_t  self, val_t  param0) {
-  struct trace_t trace = {NULL, LOCATE_opts, 161, LOCATE_opts___OptionInt___convert};
-  val_t variable0;
-  val_t variable1;
+  struct trace_t trace = {NULL, NULL, 171, LOCATE_opts___OptionInt___convert};
+  val_t variable[4];
+  struct WBT_ **closurevariable = NULL;
   trace.prev = tracehead; tracehead = &trace;
-  variable0 =  param0;
-  variable1 = ((string___String___to_i_t)CALL( variable0 /*str*/,COLOR_string___String___to_i))( variable0 /*str*/) /*String::to_i*/;
-  goto return_label19;
-  return_label19: while(false);
+  trace.file = LOCATE_opts;
+  /* Register variable[0]: Local variable */
+  variable[0] =  self;
+  /* Register variable[1]: Local variable */
+  variable[1] =  param0;
+  /* Register variable[2]: Method return value and escape marker */
+  /* Register variable[3]: Result */
+  variable[3] = CALL_string___AbstractString___to_i( variable[1] /*str*/)( variable[1] /*str*/) /*AbstractString::to_i*/;
+  variable[2] = variable[3];
+  goto return_label34;
+  return_label34: while(false);
   tracehead = trace.prev;
-  return variable1;
+  return variable[2];
 }
-void opts___OptionArray___init(val_t  self, val_t  param0, val_t  param1, int* init_table) {
-  struct trace_t trace = {NULL, LOCATE_opts, 168, LOCATE_opts___OptionArray___init};
-  val_t variable0;
-  val_t variable1;
-  val_t variable2;
+void opts___OptionInt___init(val_t  self, val_t  param0, val_t  param1, val_t  param2, int* init_table) {
+  struct trace_t trace = {NULL, NULL, 169, LOCATE_opts___OptionInt___init};
+  val_t variable[5];
+  struct WBT_ **closurevariable = NULL;
   trace.prev = tracehead; tracehead = &trace;
-  variable0 =  param0;
+  trace.file = LOCATE_opts;
+  /* Register variable[0]: Local variable */
+  variable[0] =  self;
+  /* Register variable[1]: Local variable */
+  variable[1] =  param0;
+  /* Register variable[2]: Local variable */
+  variable[2] =  param1;
+  /* Register variable[3]: Local variable */
   /* check if p<Array[String] with p:String */
-  if (( param1!=NIT_NULL) && !VAL_ISA( param1, COLOR_Array, ID_Array)) { fprintf(stderr, "Cast failled"); fprintf(stderr, " in %s (%s:%d)\n", LOCATE_opts___OptionInt___convert, LOCATE_opts, 168); nit_exit(1); } /*cast Array[String]*/;
-  variable1 =  param1;
-  if (init_table[VAL2OBJ( self)->vft[INIT_TABLE_POS_OptionArray].i]) return;
-  variable2 = NEW_array___Array___init(); /*new Array[E]*/
-  ATTR_opts___OptionArray____values( self) /*OptionArray::_values*/ = variable2;
-  variable2 = ATTR_opts___OptionArray____values( self) /*OptionArray::_values*/;
-  ((opts___OptionParameter___init_opt_t)CALL( self,COLOR_opts___OptionParameter___init_opt))( self,  variable0 /*help*/, variable2,  variable1 /*names*/, init_table /*YYY*/) /*OptionParameter::init_opt*/;
-  init_table[VAL2OBJ( self)->vft[INIT_TABLE_POS_OptionArray].i] = 1;
+  if (( param2!=NIT_NULL) && !VAL_ISA( param2, COLOR_Array, ID_Array)) { fprintf(stderr, "Cast failled"); fprintf(stderr, " in %s (%s:%d)\n", LOCATE_opts___OptionInt___init, LOCATE_opts, 169); nit_exit(1); } /*cast Array[String]*/;
+  variable[3] =  param2;
+  if (init_table[VAL2OBJ(variable[0])->vft[INIT_TABLE_POS_OptionInt].i]) return;
+  /* Register variable[4]: Method return value and escape marker */
+  CALL_opts___OptionParameter___init_opt(variable[0])(variable[0],  variable[1] /*help*/,  variable[2] /*default*/,  variable[3] /*names*/, init_table /*YYY*/) /*OptionParameter::init_opt*/;
+  return_label35: while(false);
+  init_table[VAL2OBJ(variable[0])->vft[INIT_TABLE_POS_OptionInt].i] = 1;
   tracehead = trace.prev;
   return;
 }
 val_t opts___OptionArray___convert(val_t  self, val_t  param0) {
-  struct trace_t trace = {NULL, LOCATE_opts, 175, LOCATE_opts___OptionArray___convert};
-  val_t variable0;
-  val_t variable1;
-  trace.prev = tracehead; tracehead = &trace;
-  variable0 =  param0;
-  variable1 = ATTR_opts___OptionArray____values( self) /*OptionArray::_values*/;
-  ((array___AbstractArray___add_t)CALL(variable1,COLOR_abstract_collection___SimpleCollection___add))(variable1,  variable0 /*str*/) /*AbstractArray::add*/;
-  variable1 = ATTR_opts___OptionArray____values( self) /*OptionArray::_values*/;
-  goto return_label21;
-  return_label21: while(false);
+  struct trace_t trace = {NULL, NULL, 185, LOCATE_opts___OptionArray___convert};
+  val_t variable[4];
+  struct WBT_ **closurevariable = NULL;
+  trace.prev = tracehead; tracehead = &trace;
+  trace.file = LOCATE_opts;
+  /* Register variable[0]: Local variable */
+  variable[0] =  self;
+  /* Register variable[1]: Local variable */
+  variable[1] =  param0;
+  /* Register variable[2]: Method return value and escape marker */
+  /* Register variable[3]: Result */
+  variable[3] = ATTR_opts___OptionArray____values(variable[0]) /*OptionArray::_values*/;
+  CALL_abstract_collection___SimpleCollection___add(variable[3])(variable[3],  variable[1] /*str*/) /*AbstractArray::add*/;
+  /* Register variable[3]: Result */
+  variable[3] = ATTR_opts___OptionArray____values(variable[0]) /*OptionArray::_values*/;
+  variable[2] = variable[3];
+  goto return_label36;
+  return_label36: while(false);
+  tracehead = trace.prev;
+  return variable[2];
+}
+void opts___OptionArray___init(val_t  self, val_t  param0, val_t  param1, int* init_table) {
+  struct trace_t trace = {NULL, NULL, 178, LOCATE_opts___OptionArray___init};
+  val_t variable[5];
+  struct WBT_ **closurevariable = NULL;
+  trace.prev = tracehead; tracehead = &trace;
+  trace.file = LOCATE_opts;
+  /* Register variable[0]: Local variable */
+  variable[0] =  self;
+  /* Register variable[1]: Local variable */
+  variable[1] =  param0;
+  /* Register variable[2]: Local variable */
+  /* check if p<Array[String] with p:String */
+  if (( param1!=NIT_NULL) && !VAL_ISA( param1, COLOR_Array, ID_Array)) { fprintf(stderr, "Cast failled"); fprintf(stderr, " in %s (%s:%d)\n", LOCATE_opts___OptionArray___init, LOCATE_opts, 178); nit_exit(1); } /*cast Array[String]*/;
+  variable[2] =  param1;
+  if (init_table[VAL2OBJ(variable[0])->vft[INIT_TABLE_POS_OptionArray].i]) return;
+  /* Register variable[3]: Method return value and escape marker */
+  /* Register variable[4]: Result */
+  variable[4] = NEW_Array_array___Array___init() /*new Array[String]*/;
+  ATTR_opts___OptionArray____values(variable[0]) /*OptionArray::_values*/ = variable[4];
+  /* Register variable[4]: Result */
+  variable[4] = ATTR_opts___OptionArray____values(variable[0]) /*OptionArray::_values*/;
+  CALL_opts___OptionParameter___init_opt(variable[0])(variable[0],  variable[1] /*help*/, variable[4],  variable[2] /*names*/, init_table /*YYY*/) /*OptionParameter::init_opt*/;
+  return_label37: while(false);
+  init_table[VAL2OBJ(variable[0])->vft[INIT_TABLE_POS_OptionArray].i] = 1;
   tracehead = trace.prev;
-  return variable1;
+  return;
 }
 val_t opts___OptionContext___options(val_t  self) {
-  struct trace_t trace = {NULL, LOCATE_opts, 183, LOCATE_opts___OptionContext___options};
+  struct trace_t trace = {NULL, NULL, 193, LOCATE_opts___OptionContext___options};
+  val_t *variable = NULL;
+  struct WBT_ **closurevariable = NULL;
   trace.prev = tracehead; tracehead = &trace;
+  trace.file = LOCATE_opts;
   tracehead = trace.prev;
   return ATTR_opts___OptionContext____options( self) /*OptionContext::_options*/;
 }
 val_t opts___OptionContext___rest(val_t  self) {
-  struct trace_t trace = {NULL, LOCATE_opts, 184, LOCATE_opts___OptionContext___rest};
+  struct trace_t trace = {NULL, NULL, 194, LOCATE_opts___OptionContext___rest};
+  val_t *variable = NULL;
+  struct WBT_ **closurevariable = NULL;
   trace.prev = tracehead; tracehead = &trace;
+  trace.file = LOCATE_opts;
   tracehead = trace.prev;
   return ATTR_opts___OptionContext____rest( self) /*OptionContext::_rest*/;
 }
 void opts___OptionContext___usage(val_t  self) {
-  struct trace_t trace = {NULL, LOCATE_opts, 188, LOCATE_opts___OptionContext___usage};
-  val_t variable0;
-  val_t variable1;
-    val_t variable2;
-    val_t variable3;
-    val_t variable4;
-      val_t variable5;
-      val_t variable6;
-  trace.prev = tracehead; tracehead = &trace;
-  variable0 =  TAG_Int(1);
-  variable1 = ATTR_opts___OptionContext____options( self) /*OptionContext::_options*/;
-  variable1 = ((array___AbstractArray___iterator_t)CALL(variable1,COLOR_abstract_collection___Collection___iterator))(variable1) /*AbstractArray::iterator*/;
+  struct trace_t trace = {NULL, NULL, 198, LOCATE_opts___OptionContext___usage};
+  val_t variable[11];
+  struct WBT_ **closurevariable = NULL;
+  trace.prev = tracehead; tracehead = &trace;
+  trace.file = LOCATE_opts;
+  /* Register variable[0]: Local variable */
+  variable[0] =  self;
+  /* Register variable[1]: Method return value and escape marker */
+  /* Register variable[2]: Local variable */
+  variable[2] =  TAG_Int(1);
+  /* Register variable[3]: Result */
+  variable[3] = ATTR_opts___OptionContext____options(variable[0]) /*OptionContext::_options*/;
+  /* Register variable[3]: For iterator */
+  variable[3] = CALL_abstract_collection___Collection___iterator(variable[3])(variable[3]) /*AbstractArrayRead::iterator*/;
   while (true) { /*for*/
-    variable2 = ((array___ArrayIterator___is_ok_t)CALL(variable1,COLOR_abstract_collection___Iterator___is_ok))(variable1) /*ArrayIterator::is_ok*/;
-    if (!UNTAG_Bool(variable2)) break; /*for*/
-    variable2 = ((array___ArrayIterator___item_t)CALL(variable1,COLOR_abstract_collection___Iterator___item))(variable1) /*ArrayIterator::item*/;
-    variable3 =  TAG_Int(3);
-    variable4 = ((opts___Option___names_t)CALL( variable2 /*i*/,COLOR_opts___Option___names))( variable2 /*i*/) /*Option::names*/;
-    variable4 = ((array___AbstractArray___iterator_t)CALL(variable4,COLOR_abstract_collection___Collection___iterator))(variable4) /*AbstractArray::iterator*/;
+    /* Register variable[4]: For 'is_ok' result */
+    variable[4] = CALL_abstract_collection___Iterator___is_ok(variable[3])(variable[3]) /*ArrayIterator::is_ok*/;
+    if (!UNTAG_Bool(variable[4])) break; /*for*/
+    variable[4] = CALL_abstract_collection___Iterator___item(variable[3])(variable[3]) /*ArrayIterator::item*/ /* Ensure var: For item*/;
+    /* Register variable[5]: Local variable */
+    variable[5] = variable[4];
+    /* Register variable[6]: Local variable */
+    variable[6] =  TAG_Int(3);
+    /* Register variable[7]: Result */
+    variable[7] = CALL_opts___Option___names( variable[5] /*i*/)( variable[5] /*i*/) /*Option::names*/;
+    /* Register variable[7]: For iterator */
+    variable[7] = CALL_abstract_collection___Collection___iterator(variable[7])(variable[7]) /*AbstractArrayRead::iterator*/;
     while (true) { /*for*/
-      variable5 = ((array___ArrayIterator___is_ok_t)CALL(variable4,COLOR_abstract_collection___Iterator___is_ok))(variable4) /*ArrayIterator::is_ok*/;
-      if (!UNTAG_Bool(variable5)) break; /*for*/
-      variable5 = ((array___ArrayIterator___item_t)CALL(variable4,COLOR_abstract_collection___Iterator___item))(variable4) /*ArrayIterator::item*/;
-      variable6 = ((array___AbstractArray___length_t)CALL( variable5 /*n*/,COLOR_abstract_collection___Collection___length))( variable5 /*n*/) /*AbstractArray::length*/;
-      variable6 = TAG_Int(UNTAG_Int(variable6)+UNTAG_Int( TAG_Int(2)));
-      variable3 = TAG_Int(UNTAG_Int(variable3)+UNTAG_Int(variable6)) /*l*/;
-      continue_24: while(0);
-      ((array___ArrayIterator___next_t)CALL(variable4,COLOR_abstract_collection___Iterator___next))(variable4) /*ArrayIterator::next*/;
+      /* Register variable[8]: For 'is_ok' result */
+      variable[8] = CALL_abstract_collection___Iterator___is_ok(variable[7])(variable[7]) /*ArrayIterator::is_ok*/;
+      if (!UNTAG_Bool(variable[8])) break; /*for*/
+      variable[8] = CALL_abstract_collection___Iterator___item(variable[7])(variable[7]) /*ArrayIterator::item*/ /* Ensure var: For item*/;
+      /* Register variable[9]: Local variable */
+      variable[9] = variable[8];
+      /* Register variable[10]: Result */
+      variable[10] = CALL_abstract_collection___Collection___length( variable[9] /*n*/)( variable[9] /*n*/) /*AbstractArrayRead::length*/;
+      /* Register variable[10]: Result */
+      variable[10] = TAG_Int(UNTAG_Int(variable[10])+UNTAG_Int( TAG_Int(2)));
+      variable[6] = TAG_Int(UNTAG_Int(variable[6])+UNTAG_Int(variable[10])) /*l*/;
+      continue_40: while(0);
+      CALL_abstract_collection___Iterator___next(variable[7])(variable[7]) /*ArrayIterator::next*/;
     }
-    break_24: while(0);
-    variable4 = TAG_Bool(UNTAG_Int( variable0 /*lmax*/)<UNTAG_Int( variable3 /*l*/));
-    if (UNTAG_Bool(variable4)) { /*if*/
-      variable0 =  variable3 /*l*/ /*lmax=*/;
+    break_40: while(0);
+    /* Register variable[7]: Result */
+    variable[7] = TAG_Bool(UNTAG_Int( variable[2] /*lmax*/)<UNTAG_Int( variable[6] /*l*/));
+    if (UNTAG_Bool(variable[7])) { /*if*/
+      variable[2] =  variable[6] /*l*/ /*lmax=*/;
     }
-    continue_23: while(0);
-    ((array___ArrayIterator___next_t)CALL(variable1,COLOR_abstract_collection___Iterator___next))(variable1) /*ArrayIterator::next*/;
+    continue_39: while(0);
+    CALL_abstract_collection___Iterator___next(variable[3])(variable[3]) /*ArrayIterator::next*/;
   }
-  break_23: while(0);
-  variable1 = ATTR_opts___OptionContext____options( self) /*OptionContext::_options*/;
-  variable1 = ((array___AbstractArray___iterator_t)CALL(variable1,COLOR_abstract_collection___Collection___iterator))(variable1) /*AbstractArray::iterator*/;
+  break_39: while(0);
+  /* Register variable[3]: Result */
+  variable[3] = ATTR_opts___OptionContext____options(variable[0]) /*OptionContext::_options*/;
+  /* Register variable[3]: For iterator */
+  variable[3] = CALL_abstract_collection___Collection___iterator(variable[3])(variable[3]) /*AbstractArrayRead::iterator*/;
   while (true) { /*for*/
-    variable2 = ((array___ArrayIterator___is_ok_t)CALL(variable1,COLOR_abstract_collection___Iterator___is_ok))(variable1) /*ArrayIterator::is_ok*/;
-    if (!UNTAG_Bool(variable2)) break; /*for*/
-    variable2 = ((array___ArrayIterator___item_t)CALL(variable1,COLOR_abstract_collection___Iterator___item))(variable1) /*ArrayIterator::item*/;
-    variable3 = ((opts___Option___pretty_t)CALL( variable2 /*i*/,COLOR_opts___Option___pretty))( variable2 /*i*/,  variable0 /*lmax*/) /*Option::pretty*/;
-    ((file___Object___print_t)CALL( self,COLOR_file___Object___print))( self, variable3) /*Object::print*/;
-    continue_25: while(0);
-    ((array___ArrayIterator___next_t)CALL(variable1,COLOR_abstract_collection___Iterator___next))(variable1) /*ArrayIterator::next*/;
+    /* Register variable[4]: For 'is_ok' result */
+    variable[4] = CALL_abstract_collection___Iterator___is_ok(variable[3])(variable[3]) /*ArrayIterator::is_ok*/;
+    if (!UNTAG_Bool(variable[4])) break; /*for*/
+    variable[4] = CALL_abstract_collection___Iterator___item(variable[3])(variable[3]) /*ArrayIterator::item*/ /* Ensure var: For item*/;
+    /* Register variable[5]: Local variable */
+    variable[5] = variable[4];
+    /* Register variable[6]: Result */
+    variable[6] = CALL_opts___Option___pretty( variable[5] /*i*/)( variable[5] /*i*/,  variable[2] /*lmax*/) /*Option::pretty*/;
+    CALL_file___Object___print(variable[0])(variable[0], variable[6]) /*Object::print*/;
+    continue_41: while(0);
+    CALL_abstract_collection___Iterator___next(variable[3])(variable[3]) /*ArrayIterator::next*/;
   }
-  break_25: while(0);
+  break_41: while(0);
+  return_label38: while(false);
   tracehead = trace.prev;
   return;
 }
 void opts___OptionContext___parse(val_t  self, val_t  param0) {
-  struct trace_t trace = {NULL, LOCATE_opts, 204, LOCATE_opts___OptionContext___parse};
-  val_t variable0;
-  val_t variable1;
-  val_t variable2;
+  struct trace_t trace = {NULL, NULL, 214, LOCATE_opts___OptionContext___parse};
+  val_t variable[5];
+  struct WBT_ **closurevariable = NULL;
   trace.prev = tracehead; tracehead = &trace;
-  variable0 =  param0;
-  variable2 = ((abstract_collection___Collection___iterator_t)CALL( variable0 /*argv*/,COLOR_abstract_collection___Collection___iterator))( variable0 /*argv*/) /*Collection::iterator*/;
-  variable1 = variable2;
-  ((opts___OptionContext___parse_intern_t)CALL( self,COLOR_opts___OptionContext___parse_intern))( self,  variable1 /*it*/) /*OptionContext::parse_intern*/;
+  trace.file = LOCATE_opts;
+  /* Register variable[0]: Local variable */
+  variable[0] =  self;
+  /* Register variable[1]: Local variable */
+  variable[1] =  param0;
+  /* Register variable[2]: Method return value and escape marker */
+  /* Register variable[3]: Local variable */
+  /* Register variable[4]: Result */
+  variable[4] = CALL_abstract_collection___Collection___iterator( variable[1] /*argv*/)( variable[1] /*argv*/) /*Collection::iterator*/;
+  variable[3] = variable[4];
+  CALL_opts___OptionContext___parse_intern(variable[0])(variable[0],  variable[3] /*it*/) /*OptionContext::parse_intern*/;
+  return_label42: while(false);
   tracehead = trace.prev;
   return;
 }
 void opts___OptionContext___parse_intern(val_t  self, val_t  param0) {
-  struct trace_t trace = {NULL, LOCATE_opts, 211, LOCATE_opts___OptionContext___parse_intern};
-  val_t variable0;
-  val_t variable1;
-  val_t variable2;
-  val_t variable3;
-    val_t variable4;
-        val_t variable5;
-  trace.prev = tracehead; tracehead = &trace;
-  variable0 =  param0;
-  variable1 =  TAG_Bool(true);
-  ((opts___OptionContext___build_t)CALL( self,COLOR_opts___OptionContext___build))( self) /*OptionContext::build*/;
-  variable3 = ATTR_opts___OptionContext____rest( self) /*OptionContext::_rest*/;
-  variable2 = variable3;
+  struct trace_t trace = {NULL, NULL, 221, LOCATE_opts___OptionContext___parse_intern};
+    static val_t once_value_45 = NIT_NULL; /* Once value for string variable[6]*/
+  val_t variable[8];
+  struct WBT_ **closurevariable = NULL;
+  trace.prev = tracehead; tracehead = &trace;
+  trace.file = LOCATE_opts;
+  /* Register variable[0]: Local variable */
+  variable[0] =  self;
+  /* Register variable[1]: Local variable */
+  variable[1] =  param0;
+  /* Register variable[2]: Method return value and escape marker */
+  /* Register variable[3]: Local variable */
+  variable[3] =  TAG_Bool(true);
+  CALL_opts___OptionContext___build(variable[0])(variable[0]) /*OptionContext::build*/;
+  /* Register variable[4]: Local variable */
+  /* Register variable[5]: Result */
+  variable[5] = ATTR_opts___OptionContext____rest(variable[0]) /*OptionContext::_rest*/;
+  variable[4] = variable[5];
   while (true) { /*while*/
-    variable3 =  variable1 /*parseargs*/;
-    if (UNTAG_Bool(variable3)) { /* and */
-      variable3 = ((abstract_collection___Iterator___is_ok_t)CALL( variable0 /*it*/,COLOR_abstract_collection___Iterator___is_ok))( variable0 /*it*/) /*Iterator::is_ok*/;
+    variable[5] =  variable[3] /*parseargs*/ /* Ensure var: Left 'and' operand*/;
+    if (UNTAG_Bool(variable[5])) { /* and */
+      /* Register variable[5]: Result */
+      variable[5] = CALL_abstract_collection___Iterator___is_ok( variable[1] /*it*/)( variable[1] /*it*/) /*Iterator::is_ok*/;
     }
-    if (!UNTAG_Bool(variable3)) break; /* while*/
-    variable4 = ((abstract_collection___Iterator___item_t)CALL( variable0 /*it*/,COLOR_abstract_collection___Iterator___item))( variable0 /*it*/) /*Iterator::item*/;
-    variable3 = variable4;
-    variable4 = NEW_string___String___with_native(BOX_NativeString("--"), TAG_Int(2)); /*new String*/
-    variable4 = TAG_Bool(( variable3 /*str*/ == variable4) || (( variable3 /*str*/ != NIT_NULL) && UNTAG_Bool(((string___String_____eqeq_t)CALL( variable3 /*str*/,COLOR_kernel___Object_____eqeq))( variable3 /*str*/, variable4) /*String::==*/)));
-    if (UNTAG_Bool(variable4)) { /*if*/
-      ((abstract_collection___Iterator___next_t)CALL( variable0 /*it*/,COLOR_abstract_collection___Iterator___next))( variable0 /*it*/) /*Iterator::next*/;
-      variable4 = ((array___Iterator___to_a_t)CALL( variable0 /*it*/,COLOR_array___Iterator___to_a))( variable0 /*it*/) /*Iterator::to_a*/;
-      ((abstract_collection___SimpleCollection___add_all_t)CALL( variable2 /*rest*/,COLOR_abstract_collection___SimpleCollection___add_all))( variable2 /*rest*/, variable4) /*SimpleCollection::add_all*/;
-      variable1 =  TAG_Bool(false) /*parseargs=*/;
+    /* Register variable[5]: Result */
+    if (!UNTAG_Bool(variable[5])) break; /* while*/
+    /* Register variable[5]: Local variable */
+    /* Register variable[6]: Result */
+    variable[6] = CALL_abstract_collection___Iterator___item( variable[1] /*it*/)( variable[1] /*it*/) /*Iterator::item*/;
+    variable[5] = variable[6];
+    /* Register variable[6]: Once String constant */
+    if (once_value_45 != NIT_NULL) variable[6] = once_value_45;
+    else {
+      variable[6] = NEW_String_string___String___with_native(BOX_NativeString("--"), TAG_Int(2)) /*new String*/;
+      once_value_45 = variable[6];
+    }
+    /* Register variable[6]: Result */
+    /* Register variable[6]: Result */
+    variable[6] = TAG_Bool(( variable[5] /*str*/ == variable[6]) || (( variable[5] /*str*/ != NIT_NULL) && UNTAG_Bool(CALL_kernel___Object_____eqeq( variable[5] /*str*/)( variable[5] /*str*/, variable[6]) /*String::==*/)));
+    if (UNTAG_Bool(variable[6])) { /*if*/
+      CALL_abstract_collection___Iterator___next( variable[1] /*it*/)( variable[1] /*it*/) /*Iterator::next*/;
+      /* Register variable[6]: Result */
+      variable[6] = CALL_array___Iterator___to_a( variable[1] /*it*/)( variable[1] /*it*/) /*Iterator::to_a*/;
+      CALL_abstract_collection___SimpleCollection___add_all( variable[4] /*rest*/)( variable[4] /*rest*/, variable[6]) /*SimpleCollection::add_all*/;
+      variable[3] =  TAG_Bool(false) /*parseargs=*/;
     } else { /*if*/
-      variable4 = ATTR_opts___OptionContext____optmap( self) /*OptionContext::_optmap*/;
-      variable4 = ((abstract_collection___Map___has_key_t)CALL(variable4,COLOR_abstract_collection___Map___has_key))(variable4,  variable3 /*str*/) /*Map::has_key*/;
-      if (UNTAG_Bool(variable4)) { /*if*/
-        variable5 = ATTR_opts___OptionContext____optmap( self) /*OptionContext::_optmap*/;
-        variable5 = ((abstract_collection___Map_____bra_t)CALL(variable5,COLOR_abstract_collection___Map_____bra))(variable5,  variable3 /*str*/) /*Map::[]*/;
-        variable4 = variable5;
-        ((abstract_collection___Iterator___next_t)CALL( variable0 /*it*/,COLOR_abstract_collection___Iterator___next))( variable0 /*it*/) /*Iterator::next*/;
-        ((opts___Option___read_param_t)CALL( variable4 /*opt*/,COLOR_opts___Option___read_param))( variable4 /*opt*/,  variable0 /*it*/) /*Option::read_param*/;
+      /* Register variable[6]: Result */
+      variable[6] = ATTR_opts___OptionContext____optmap(variable[0]) /*OptionContext::_optmap*/;
+      /* Register variable[6]: Result */
+      variable[6] = CALL_abstract_collection___MapRead___has_key(variable[6])(variable[6],  variable[5] /*str*/) /*MapRead::has_key*/;
+      if (UNTAG_Bool(variable[6])) { /*if*/
+        /* Register variable[6]: Local variable */
+        /* Register variable[7]: Result */
+        variable[7] = ATTR_opts___OptionContext____optmap(variable[0]) /*OptionContext::_optmap*/;
+        /* Register variable[7]: Result */
+        variable[7] = CALL_abstract_collection___MapRead_____bra(variable[7])(variable[7],  variable[5] /*str*/) /*MapRead::[]*/;
+        variable[6] = variable[7];
+        CALL_abstract_collection___Iterator___next( variable[1] /*it*/)( variable[1] /*it*/) /*Iterator::next*/;
+        CALL_opts___Option___read_param( variable[6] /*opt*/)( variable[6] /*opt*/,  variable[1] /*it*/) /*Option::read_param*/;
       } else { /*if*/
-        variable4 = ((abstract_collection___Iterator___item_t)CALL( variable0 /*it*/,COLOR_abstract_collection___Iterator___item))( variable0 /*it*/) /*Iterator::item*/;
-        ((array___AbstractArray___add_t)CALL( variable2 /*rest*/,COLOR_abstract_collection___SimpleCollection___add))( variable2 /*rest*/, variable4) /*AbstractArray::add*/;
-        ((abstract_collection___Iterator___next_t)CALL( variable0 /*it*/,COLOR_abstract_collection___Iterator___next))( variable0 /*it*/) /*Iterator::next*/;
+        /* Register variable[6]: Result */
+        variable[6] = CALL_abstract_collection___Iterator___item( variable[1] /*it*/)( variable[1] /*it*/) /*Iterator::item*/;
+        CALL_abstract_collection___SimpleCollection___add( variable[4] /*rest*/)( variable[4] /*rest*/, variable[6]) /*AbstractArray::add*/;
+        CALL_abstract_collection___Iterator___next( variable[1] /*it*/)( variable[1] /*it*/) /*Iterator::next*/;
       }
     }
-    continue_28: while(0);
+    continue_44: while(0);
   }
-  break_28: while(0);
+  break_44: while(0);
+  return_label43: while(false);
   tracehead = trace.prev;
   return;
 }
 void opts___OptionContext___add_option(val_t  self, val_t  param0) {
-  struct trace_t trace = {NULL, LOCATE_opts, 236, LOCATE_opts___OptionContext___add_option};
-  val_t variable0;
-  val_t variable1;
-    val_t variable2;
-    val_t variable3;
+  struct trace_t trace = {NULL, NULL, 246, LOCATE_opts___OptionContext___add_option};
+  val_t variable[7];
+  struct WBT_ **closurevariable = NULL;
   trace.prev = tracehead; tracehead = &trace;
+  trace.file = LOCATE_opts;
+  /* Register variable[0]: Local variable */
+  variable[0] =  self;
+  /* Register variable[1]: Local variable */
   /* check if p<Array[Option] with p:Option */
-  if (( param0!=NIT_NULL) && !VAL_ISA( param0, COLOR_Array, ID_Array)) { fprintf(stderr, "Cast failled"); fprintf(stderr, " in %s (%s:%d)\n", LOCATE_opts___OptionContext___parse_intern, LOCATE_opts, 236); nit_exit(1); } /*cast Array[Option]*/;
-  variable0 =  param0;
-  variable1 = ((array___AbstractArray___iterator_t)CALL( variable0 /*opts*/,COLOR_abstract_collection___Collection___iterator))( variable0 /*opts*/) /*AbstractArray::iterator*/;
+  if (( param0!=NIT_NULL) && !VAL_ISA( param0, COLOR_Array, ID_Array)) { fprintf(stderr, "Cast failled"); fprintf(stderr, " in %s (%s:%d)\n", LOCATE_opts___OptionContext___add_option, LOCATE_opts, 246); nit_exit(1); } /*cast Array[Option]*/;
+  variable[1] =  param0;
+  /* Register variable[2]: Method return value and escape marker */
+  /* Register variable[3]: For iterator */
+  variable[3] = CALL_abstract_collection___Collection___iterator( variable[1] /*opts*/)( variable[1] /*opts*/) /*AbstractArrayRead::iterator*/;
   while (true) { /*for*/
-    variable2 = ((array___ArrayIterator___is_ok_t)CALL(variable1,COLOR_abstract_collection___Iterator___is_ok))(variable1) /*ArrayIterator::is_ok*/;
-    if (!UNTAG_Bool(variable2)) break; /*for*/
-    variable2 = ((array___ArrayIterator___item_t)CALL(variable1,COLOR_abstract_collection___Iterator___item))(variable1) /*ArrayIterator::item*/;
-    ((opts___Option___context__eq_t)CALL( variable2 /*opt*/,COLOR_opts___Option___context__eq))( variable2 /*opt*/,  self) /*Option::context=*/;
-    variable3 = ATTR_opts___OptionContext____options( self) /*OptionContext::_options*/;
-    ((array___AbstractArray___add_t)CALL(variable3,COLOR_abstract_collection___SimpleCollection___add))(variable3,  variable2 /*opt*/) /*AbstractArray::add*/;
-    continue_30: while(0);
-    ((array___ArrayIterator___next_t)CALL(variable1,COLOR_abstract_collection___Iterator___next))(variable1) /*ArrayIterator::next*/;
+    /* Register variable[4]: For 'is_ok' result */
+    variable[4] = CALL_abstract_collection___Iterator___is_ok(variable[3])(variable[3]) /*ArrayIterator::is_ok*/;
+    if (!UNTAG_Bool(variable[4])) break; /*for*/
+    variable[4] = CALL_abstract_collection___Iterator___item(variable[3])(variable[3]) /*ArrayIterator::item*/ /* Ensure var: For item*/;
+    /* Register variable[5]: Local variable */
+    variable[5] = variable[4];
+    CALL_opts___Option___context__eq( variable[5] /*opt*/)( variable[5] /*opt*/, variable[0]) /*Option::context=*/;
+    /* Register variable[6]: Result */
+    variable[6] = ATTR_opts___OptionContext____options(variable[0]) /*OptionContext::_options*/;
+    CALL_abstract_collection___SimpleCollection___add(variable[6])(variable[6],  variable[5] /*opt*/) /*AbstractArray::add*/;
+    continue_47: while(0);
+    CALL_abstract_collection___Iterator___next(variable[3])(variable[3]) /*ArrayIterator::next*/;
   }
-  break_30: while(0);
+  break_47: while(0);
+  return_label46: while(false);
   tracehead = trace.prev;
   return;
 }
 void opts___OptionContext___init(val_t  self, int* init_table) {
-  struct trace_t trace = {NULL, LOCATE_opts, 244, LOCATE_opts___OptionContext___init};
-  val_t variable0;
-  trace.prev = tracehead; tracehead = &trace;
-  if (init_table[VAL2OBJ( self)->vft[INIT_TABLE_POS_OptionContext].i]) return;
-  variable0 = NEW_array___Array___init(); /*new Array[E]*/
-  ATTR_opts___OptionContext____options( self) /*OptionContext::_options*/ = variable0;
-  variable0 = NEW_hash___HashMap___init(); /*new HashMap[K, V]*/
-  ATTR_opts___OptionContext____optmap( self) /*OptionContext::_optmap*/ = variable0;
-  variable0 = NEW_array___Array___init(); /*new Array[E]*/
-  ATTR_opts___OptionContext____rest( self) /*OptionContext::_rest*/ = variable0;
-  init_table[VAL2OBJ( self)->vft[INIT_TABLE_POS_OptionContext].i] = 1;
+  struct trace_t trace = {NULL, NULL, 254, LOCATE_opts___OptionContext___init};
+  val_t variable[3];
+  struct WBT_ **closurevariable = NULL;
+  trace.prev = tracehead; tracehead = &trace;
+  trace.file = LOCATE_opts;
+  /* Register variable[0]: Local variable */
+  variable[0] =  self;
+  if (init_table[VAL2OBJ(variable[0])->vft[INIT_TABLE_POS_OptionContext].i]) return;
+  /* Register variable[1]: Method return value and escape marker */
+  /* Register variable[2]: Result */
+  variable[2] = NEW_Array_array___Array___init() /*new Array[Option]*/;
+  ATTR_opts___OptionContext____options(variable[0]) /*OptionContext::_options*/ = variable[2];
+  /* Register variable[2]: Result */
+  variable[2] = NEW_HashMap_hash___HashMap___init() /*new HashMap[String, Option]*/;
+  ATTR_opts___OptionContext____optmap(variable[0]) /*OptionContext::_optmap*/ = variable[2];
+  /* Register variable[2]: Result */
+  variable[2] = NEW_Array_array___Array___init() /*new Array[String]*/;
+  ATTR_opts___OptionContext____rest(variable[0]) /*OptionContext::_rest*/ = variable[2];
+  return_label48: while(false);
+  init_table[VAL2OBJ(variable[0])->vft[INIT_TABLE_POS_OptionContext].i] = 1;
   tracehead = trace.prev;
   return;
 }
 void opts___OptionContext___build(val_t  self) {
-  struct trace_t trace = {NULL, LOCATE_opts, 251, LOCATE_opts___OptionContext___build};
-  val_t variable0;
-    val_t variable1;
-    val_t variable2;
-      val_t variable3;
-      val_t variable4;
-  trace.prev = tracehead; tracehead = &trace;
-  variable0 = ATTR_opts___OptionContext____options( self) /*OptionContext::_options*/;
-  variable0 = ((array___AbstractArray___iterator_t)CALL(variable0,COLOR_abstract_collection___Collection___iterator))(variable0) /*AbstractArray::iterator*/;
+  struct trace_t trace = {NULL, NULL, 261, LOCATE_opts___OptionContext___build};
+  val_t variable[9];
+  struct WBT_ **closurevariable = NULL;
+  trace.prev = tracehead; tracehead = &trace;
+  trace.file = LOCATE_opts;
+  /* Register variable[0]: Local variable */
+  variable[0] =  self;
+  /* Register variable[1]: Method return value and escape marker */
+  /* Register variable[2]: Result */
+  variable[2] = ATTR_opts___OptionContext____options(variable[0]) /*OptionContext::_options*/;
+  /* Register variable[2]: For iterator */
+  variable[2] = CALL_abstract_collection___Collection___iterator(variable[2])(variable[2]) /*AbstractArrayRead::iterator*/;
   while (true) { /*for*/
-    variable1 = ((array___ArrayIterator___is_ok_t)CALL(variable0,COLOR_abstract_collection___Iterator___is_ok))(variable0) /*ArrayIterator::is_ok*/;
-    if (!UNTAG_Bool(variable1)) break; /*for*/
-    variable1 = ((array___ArrayIterator___item_t)CALL(variable0,COLOR_abstract_collection___Iterator___item))(variable0) /*ArrayIterator::item*/;
-    variable2 = ((opts___Option___names_t)CALL( variable1 /*o*/,COLOR_opts___Option___names))( variable1 /*o*/) /*Option::names*/;
-    variable2 = ((array___AbstractArray___iterator_t)CALL(variable2,COLOR_abstract_collection___Collection___iterator))(variable2) /*AbstractArray::iterator*/;
+    /* Register variable[3]: For 'is_ok' result */
+    variable[3] = CALL_abstract_collection___Iterator___is_ok(variable[2])(variable[2]) /*ArrayIterator::is_ok*/;
+    if (!UNTAG_Bool(variable[3])) break; /*for*/
+    variable[3] = CALL_abstract_collection___Iterator___item(variable[2])(variable[2]) /*ArrayIterator::item*/ /* Ensure var: For item*/;
+    /* Register variable[4]: Local variable */
+    variable[4] = variable[3];
+    /* Register variable[5]: Result */
+    variable[5] = CALL_opts___Option___names( variable[4] /*o*/)( variable[4] /*o*/) /*Option::names*/;
+    /* Register variable[5]: For iterator */
+    variable[5] = CALL_abstract_collection___Collection___iterator(variable[5])(variable[5]) /*AbstractArrayRead::iterator*/;
     while (true) { /*for*/
-      variable3 = ((array___ArrayIterator___is_ok_t)CALL(variable2,COLOR_abstract_collection___Iterator___is_ok))(variable2) /*ArrayIterator::is_ok*/;
-      if (!UNTAG_Bool(variable3)) break; /*for*/
-      variable3 = ((array___ArrayIterator___item_t)CALL(variable2,COLOR_abstract_collection___Iterator___item))(variable2) /*ArrayIterator::item*/;
-      variable4 = ATTR_opts___OptionContext____optmap( self) /*OptionContext::_optmap*/;
-      ((abstract_collection___Map_____braeq_t)CALL(variable4,COLOR_abstract_collection___Map_____braeq))(variable4,  variable3 /*n*/,  variable1 /*o*/) /*Map::[]=*/;
-      continue_34: while(0);
-      ((array___ArrayIterator___next_t)CALL(variable2,COLOR_abstract_collection___Iterator___next))(variable2) /*ArrayIterator::next*/;
+      /* Register variable[6]: For 'is_ok' result */
+      variable[6] = CALL_abstract_collection___Iterator___is_ok(variable[5])(variable[5]) /*ArrayIterator::is_ok*/;
+      if (!UNTAG_Bool(variable[6])) break; /*for*/
+      variable[6] = CALL_abstract_collection___Iterator___item(variable[5])(variable[5]) /*ArrayIterator::item*/ /* Ensure var: For item*/;
+      /* Register variable[7]: Local variable */
+      variable[7] = variable[6];
+      /* Register variable[8]: Result */
+      variable[8] = ATTR_opts___OptionContext____optmap(variable[0]) /*OptionContext::_optmap*/;
+      CALL_abstract_collection___Map_____braeq(variable[8])(variable[8],  variable[7] /*n*/,  variable[4] /*o*/) /*Map::[]=*/;
+      continue_51: while(0);
+      CALL_abstract_collection___Iterator___next(variable[5])(variable[5]) /*ArrayIterator::next*/;
     }
-    break_34: while(0);
-    continue_33: while(0);
-    ((array___ArrayIterator___next_t)CALL(variable0,COLOR_abstract_collection___Iterator___next))(variable0) /*ArrayIterator::next*/;
+    break_51: while(0);
+    continue_50: while(0);
+    CALL_abstract_collection___Iterator___next(variable[2])(variable[2]) /*ArrayIterator::next*/;
   }
-  break_33: while(0);
+  break_50: while(0);
+  return_label49: while(false);
   tracehead = trace.prev;
   return;
 }