update NOTICE and LICENSE
[nit.git] / c_src / list._sep.c
index 78be64b..60c4d98 100644 (file)
 /* This C file is generated by NIT to compile module list. */
 #include "list._sep.h"
-val_t list___List___iterator(val_t  self) {
-  struct trace_t trace = {NULL, NULL, 173, LOCATE_list___List___iterator};
-  val_t variable[4];
-  void **closurevariable = NULL;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_list;
-  variable[0] =  self;
-  variable[2] = variable[0];
-  variable[2] = ATTR_list___List____head(variable[2]) /*List::_head*/;
-  variable[3] = NEW_ListIterator_list___ListIterator___init(variable[2]); /*new ListIterator[E]*/
-  variable[2] = variable[3];
-  variable[1] = variable[2];
-  goto return_label0;
-  return_label0: while(false);
-  tracehead = trace.prev;
-  return variable[1];
-}
-val_t list___List___is_empty(val_t  self) {
-  struct trace_t trace = {NULL, NULL, 40, LOCATE_list___List___is_empty};
-  val_t variable[3];
-  void **closurevariable = NULL;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_list;
-  variable[0] =  self;
-  variable[2] = variable[0];
-  variable[2] = ATTR_list___List____head(variable[2]) /*List::_head*/;
-  variable[2] = TAG_Bool((variable[2] ==  NIT_NULL /*null*/) || ((variable[2] != NIT_NULL) && ((((kernel___Object_____eqeq_t)CALL(variable[2],COLOR_kernel___Object_____eqeq))==kernel___Object_____eqeq)?(IS_EQUAL_NN(variable[2], NIT_NULL /*null*/)):(UNTAG_Bool(((kernel___Object_____eqeq_t)CALL(variable[2],COLOR_kernel___Object_____eqeq))(variable[2],  NIT_NULL /*null*/) /*Object::==*/)))));
-  variable[1] = variable[2];
-  goto return_label1;
-  return_label1: while(false);
-  tracehead = trace.prev;
-  return variable[1];
-}
-val_t list___List___length(val_t  self) {
-  struct trace_t trace = {NULL, NULL, 43, LOCATE_list___List___length};
-  val_t variable[5];
-  void **closurevariable = NULL;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_list;
-  variable[0] =  self;
-  variable[2] =  TAG_Int(0);
-  variable[4] = variable[0];
-  variable[4] = ATTR_list___List____head(variable[4]) /*List::_head*/;
-  variable[3] = variable[4];
-  while (true) { /*while*/
-    variable[4] = TAG_Bool(!UNTAG_Bool(TAG_Bool(( variable[3] /*t*/ ==  NIT_NULL /*null*/) || (( variable[3] /*t*/ != NIT_NULL) && ((((kernel___Object_____eqeq_t)CALL( variable[3] /*t*/,COLOR_kernel___Object_____eqeq))==kernel___Object_____eqeq)?(IS_EQUAL_NN( variable[3] /*t*/, NIT_NULL /*null*/)):(UNTAG_Bool(((kernel___Object_____eqeq_t)CALL( variable[3] /*t*/,COLOR_kernel___Object_____eqeq))( variable[3] /*t*/,  NIT_NULL /*null*/) /*Object::==*/)))))));
-    if (!UNTAG_Bool(variable[4])) break; /* while*/
-    variable[2] = TAG_Int(UNTAG_Int(variable[2])+UNTAG_Int( TAG_Int(1))) /*l*/;
-    variable[4] = ((list___ListNode___next_t)CALL( variable[3] /*t*/,COLOR_list___ListNode___next))( variable[3] /*t*/) /*ListNode::next*/;
-    variable[3] = variable[4] /*t=*/;
-    continue_3: while(0);
-  }
-  break_3: while(0);
-  variable[1] =  variable[2] /*l*/;
-  goto return_label2;
-  return_label2: while(false);
-  tracehead = trace.prev;
-  return variable[1];
-}
-val_t list___List___has(val_t  self, val_t  param0) {
-  struct trace_t trace = {NULL, NULL, 55, LOCATE_list___List___has};
-  val_t variable[5];
-  void **closurevariable = NULL;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_list;
-  variable[0] =  self;
-  variable[1] =  param0;
-  variable[3] = variable[0];
-  variable[4] = variable[0];
-  variable[4] = ATTR_list___List____head(variable[4]) /*List::_head*/;
-  variable[3] = ((list___List___search_node_after_t)CALL(variable[3],COLOR_list___List___search_node_after))(variable[3],  variable[1] /*e*/, variable[4]) /*List::search_node_after*/;
-  variable[3] = TAG_Bool(!UNTAG_Bool(TAG_Bool((variable[3] ==  NIT_NULL /*null*/) || ((variable[3] != NIT_NULL) && ((((kernel___Object_____eqeq_t)CALL(variable[3],COLOR_kernel___Object_____eqeq))==kernel___Object_____eqeq)?(IS_EQUAL_NN(variable[3], NIT_NULL /*null*/)):(UNTAG_Bool(((kernel___Object_____eqeq_t)CALL(variable[3],COLOR_kernel___Object_____eqeq))(variable[3],  NIT_NULL /*null*/) /*Object::==*/)))))));
-  variable[2] = variable[3];
-  goto return_label4;
-  return_label4: while(false);
-  tracehead = trace.prev;
-  return variable[2];
-}
-val_t list___List___has_only(val_t  self, val_t  param0) {
-  struct trace_t trace = {NULL, NULL, 58, LOCATE_list___List___has_only};
-  val_t variable[5];
-  void **closurevariable = NULL;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_list;
-  variable[0] =  self;
-  variable[1] =  param0;
-  variable[4] = variable[0];
-  variable[4] = ATTR_list___List____head(variable[4]) /*List::_head*/;
-  variable[3] = variable[4];
-  while (true) { /*while*/
-    variable[4] = TAG_Bool(!UNTAG_Bool(TAG_Bool(( variable[3] /*node*/ ==  NIT_NULL /*null*/) || (( variable[3] /*node*/ != NIT_NULL) && ((((kernel___Object_____eqeq_t)CALL( variable[3] /*node*/,COLOR_kernel___Object_____eqeq))==kernel___Object_____eqeq)?(IS_EQUAL_NN( variable[3] /*node*/, NIT_NULL /*null*/)):(UNTAG_Bool(((kernel___Object_____eqeq_t)CALL( variable[3] /*node*/,COLOR_kernel___Object_____eqeq))( variable[3] /*node*/,  NIT_NULL /*null*/) /*Object::==*/)))))));
-    if (!UNTAG_Bool(variable[4])) break; /* while*/
-    variable[4] = ((abstract_collection___Container___item_t)CALL( variable[3] /*node*/,COLOR_abstract_collection___Container___item))( variable[3] /*node*/) /*Container::item*/;
-    variable[4] = TAG_Bool(!UNTAG_Bool(TAG_Bool((variable[4] ==  variable[1] /*e*/) || ((variable[4] != NIT_NULL) && ((((kernel___Object_____eqeq_t)CALL(variable[4],COLOR_kernel___Object_____eqeq))==kernel___Object_____eqeq)?(IS_EQUAL_NN(variable[4], variable[1] /*e*/)):(UNTAG_Bool(((kernel___Object_____eqeq_t)CALL(variable[4],COLOR_kernel___Object_____eqeq))(variable[4],  variable[1] /*e*/) /*Object::==*/)))))));
-    if (UNTAG_Bool(variable[4])) { /*if*/
-      variable[2] =  TAG_Bool(false);
-      goto return_label5;
-    }
-    variable[4] = ((list___ListNode___next_t)CALL( variable[3] /*node*/,COLOR_list___ListNode___next))( variable[3] /*node*/) /*ListNode::next*/;
-    variable[3] = variable[4] /*node=*/;
-    continue_6: while(0);
-  }
-  break_6: while(0);
-  variable[2] =  TAG_Bool(true);
-  goto return_label5;
-  return_label5: while(false);
-  tracehead = trace.prev;
-  return variable[2];
-}
-val_t list___List___count(val_t  self, val_t  param0) {
-  struct trace_t trace = {NULL, NULL, 68, LOCATE_list___List___count};
-  val_t variable[6];
-  void **closurevariable = NULL;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_list;
-  variable[0] =  self;
-  variable[1] =  param0;
-  variable[3] =  TAG_Int(0);
-  variable[5] = variable[0];
-  variable[5] = ATTR_list___List____head(variable[5]) /*List::_head*/;
-  variable[4] = variable[5];
-  while (true) { /*while*/
-    variable[5] = TAG_Bool(!UNTAG_Bool(TAG_Bool(( variable[4] /*node*/ ==  NIT_NULL /*null*/) || (( variable[4] /*node*/ != NIT_NULL) && ((((kernel___Object_____eqeq_t)CALL( variable[4] /*node*/,COLOR_kernel___Object_____eqeq))==kernel___Object_____eqeq)?(IS_EQUAL_NN( variable[4] /*node*/, NIT_NULL /*null*/)):(UNTAG_Bool(((kernel___Object_____eqeq_t)CALL( variable[4] /*node*/,COLOR_kernel___Object_____eqeq))( variable[4] /*node*/,  NIT_NULL /*null*/) /*Object::==*/)))))));
-    if (!UNTAG_Bool(variable[5])) break; /* while*/
-    variable[5] = ((abstract_collection___Container___item_t)CALL( variable[4] /*node*/,COLOR_abstract_collection___Container___item))( variable[4] /*node*/) /*Container::item*/;
-    variable[5] = TAG_Bool(!UNTAG_Bool(TAG_Bool((variable[5] ==  variable[1] /*e*/) || ((variable[5] != NIT_NULL) && ((((kernel___Object_____eqeq_t)CALL(variable[5],COLOR_kernel___Object_____eqeq))==kernel___Object_____eqeq)?(IS_EQUAL_NN(variable[5], variable[1] /*e*/)):(UNTAG_Bool(((kernel___Object_____eqeq_t)CALL(variable[5],COLOR_kernel___Object_____eqeq))(variable[5],  variable[1] /*e*/) /*Object::==*/)))))));
-    if (UNTAG_Bool(variable[5])) { /*if*/
-      variable[3] = TAG_Int(UNTAG_Int(variable[3])+UNTAG_Int( TAG_Int(1))) /*nb*/;
-    }
-    variable[5] = ((list___ListNode___next_t)CALL( variable[4] /*node*/,COLOR_list___ListNode___next))( variable[4] /*node*/) /*ListNode::next*/;
-    variable[4] = variable[5] /*node=*/;
-    continue_8: while(0);
-  }
-  break_8: while(0);
-  variable[2] =  variable[3] /*nb*/;
-  goto return_label7;
-  return_label7: while(false);
-  tracehead = trace.prev;
-  return variable[2];
-}
-val_t list___List___first(val_t  self) {
-  struct trace_t trace = {NULL, NULL, 26, LOCATE_list___List___first};
-  val_t variable[3];
-  void **closurevariable = NULL;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_list;
-  variable[0] =  self;
-  variable[2] = variable[0];
-  variable[2] = ATTR_list___List____head(variable[2]) /*List::_head*/;
-  variable[2] = ((abstract_collection___Container___item_t)CALL(variable[2],COLOR_abstract_collection___Container___item))(variable[2]) /*Container::item*/;
-  variable[1] = variable[2];
-  goto return_label9;
-  return_label9: while(false);
-  tracehead = trace.prev;
-  return variable[1];
-}
-void list___List___clear(val_t  self) {
-  struct trace_t trace = {NULL, NULL, 166, LOCATE_list___List___clear};
-  val_t variable[3];
-  void **closurevariable = NULL;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_list;
-  variable[0] =  self;
-  variable[2] = variable[0];
-  ATTR_list___List____head(variable[2]) /*List::_head*/ =  NIT_NULL /*null*/;
-  variable[2] = variable[0];
-  ATTR_list___List____tail(variable[2]) /*List::_tail*/ =  NIT_NULL /*null*/;
-  return_label10: while(false);
-  tracehead = trace.prev;
+val_t list___List_____bra(val_t p0, val_t p1){
+  struct {struct stack_frame_t me;} fra;
+  val_t REGB0;
+  val_t tmp;
+  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+  fra.me.file = LOCATE_list;
+  fra.me.line = 21;
+  fra.me.meth = LOCATE_list___List_____bra;
+  fra.me.has_broke = 0;
+  fra.me.REG_size = 1;
+  fra.me.REG[0] = NIT_NULL;
+  fra.me.REG[0] = p0;
+  REGB0 = p1;
+  /* ./../lib/standard//collection//list.nit:22 */
+  fra.me.REG[0] = CALL_list___List___get_node(fra.me.REG[0])(fra.me.REG[0], REGB0);
+  REGB0 = TAG_Bool(fra.me.REG[0]==NIT_NULL);
+  if (UNTAG_Bool(REGB0)) {
+    nit_abort("Reciever is null", NULL, LOCATE_list, 22);
+  }
+  fra.me.REG[0] = CALL_abstract_collection___Container___item(fra.me.REG[0])(fra.me.REG[0]);
+  goto label1;
+  label1: while(0);
+  stack_frame_head = fra.me.prev;
+  return fra.me.REG[0];
+}
+void list___List_____braeq(val_t p0, val_t p1, val_t p2){
+  struct {struct stack_frame_t me; val_t MORE_REG[1];} fra;
+  val_t REGB0;
+  val_t tmp;
+  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+  fra.me.file = LOCATE_list;
+  fra.me.line = 24;
+  fra.me.meth = LOCATE_list___List_____braeq;
+  fra.me.has_broke = 0;
+  fra.me.REG_size = 2;
+  fra.me.REG[0] = NIT_NULL;
+  fra.me.REG[1] = NIT_NULL;
+  fra.me.REG[0] = p0;
+  REGB0 = p1;
+  fra.me.REG[1] = p2;
+  /* ./../lib/standard//collection//list.nit:24 */
+  fra.me.REG[0] = CALL_list___List___get_node(fra.me.REG[0])(fra.me.REG[0], REGB0);
+  REGB0 = TAG_Bool(fra.me.REG[0]==NIT_NULL);
+  if (UNTAG_Bool(REGB0)) {
+    nit_abort("Reciever is null", NULL, LOCATE_list, 24);
+  }
+  CALL_abstract_collection___Container___item__eq(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[1]);
+  stack_frame_head = fra.me.prev;
   return;
 }
-void list___List___remove(val_t  self, val_t  param0) {
-  struct trace_t trace = {NULL, NULL, 154, LOCATE_list___List___remove};
-  val_t variable[6];
-  void **closurevariable = NULL;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_list;
-  variable[0] =  self;
-  variable[1] =  param0;
-  variable[4] = variable[0];
-  variable[5] = variable[0];
-  variable[5] = ATTR_list___List____head(variable[5]) /*List::_head*/;
-  variable[4] = ((list___List___search_node_after_t)CALL(variable[4],COLOR_list___List___search_node_after))(variable[4],  variable[1] /*e*/, variable[5]) /*List::search_node_after*/;
-  variable[3] = variable[4];
-  variable[4] = TAG_Bool(!UNTAG_Bool(TAG_Bool(( variable[3] /*node*/ ==  NIT_NULL /*null*/) || (( variable[3] /*node*/ != NIT_NULL) && ((((kernel___Object_____eqeq_t)CALL( variable[3] /*node*/,COLOR_kernel___Object_____eqeq))==kernel___Object_____eqeq)?(IS_EQUAL_NN( variable[3] /*node*/, NIT_NULL /*null*/)):(UNTAG_Bool(((kernel___Object_____eqeq_t)CALL( variable[3] /*node*/,COLOR_kernel___Object_____eqeq))( variable[3] /*node*/,  NIT_NULL /*null*/) /*Object::==*/)))))));
-  if (UNTAG_Bool(variable[4])) { /*if*/
-    variable[4] = variable[0];
-    ((list___List___remove_node_t)CALL(variable[4],COLOR_list___List___remove_node))(variable[4],  variable[3] /*node*/) /*List::remove_node*/;
-  }
-  return_label11: while(false);
-  tracehead = trace.prev;
+val_t list___List___first(val_t p0){
+  struct {struct stack_frame_t me;} fra;
+  val_t REGB0;
+  val_t tmp;
+  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+  fra.me.file = LOCATE_list;
+  fra.me.line = 26;
+  fra.me.meth = LOCATE_list___List___first;
+  fra.me.has_broke = 0;
+  fra.me.REG_size = 1;
+  fra.me.REG[0] = NIT_NULL;
+  fra.me.REG[0] = p0;
+  /* ./../lib/standard//collection//list.nit:27 */
+  fra.me.REG[0] = ATTR_list___List____head(fra.me.REG[0]);
+  REGB0 = TAG_Bool(fra.me.REG[0]==NIT_NULL);
+  if (UNTAG_Bool(REGB0)) {
+    nit_abort("Reciever is null", NULL, LOCATE_list, 27);
+  }
+  fra.me.REG[0] = CALL_abstract_collection___Container___item(fra.me.REG[0])(fra.me.REG[0]);
+  goto label1;
+  label1: while(0);
+  stack_frame_head = fra.me.prev;
+  return fra.me.REG[0];
+}
+void list___List___first__eq(val_t p0, val_t p1){
+  struct {struct stack_frame_t me; val_t MORE_REG[1];} fra;
+  val_t REGB0;
+  val_t tmp;
+  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+  fra.me.file = LOCATE_list;
+  fra.me.line = 29;
+  fra.me.meth = LOCATE_list___List___first__eq;
+  fra.me.has_broke = 0;
+  fra.me.REG_size = 2;
+  fra.me.REG[0] = NIT_NULL;
+  fra.me.REG[1] = NIT_NULL;
+  fra.me.REG[0] = p0;
+  fra.me.REG[1] = p1;
+  /* ./../lib/standard//collection//list.nit:30 */
+  fra.me.REG[0] = ATTR_list___List____head(fra.me.REG[0]);
+  REGB0 = TAG_Bool(fra.me.REG[0]==NIT_NULL);
+  if (UNTAG_Bool(REGB0)) {
+    nit_abort("Reciever is null", NULL, LOCATE_list, 30);
+  }
+  CALL_abstract_collection___Container___item__eq(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[1]);
+  stack_frame_head = fra.me.prev;
   return;
 }
-val_t list___List_____bra(val_t  self, val_t  param0) {
-  struct trace_t trace = {NULL, NULL, 21, LOCATE_list___List_____bra};
-  val_t variable[4];
-  void **closurevariable = NULL;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_list;
-  variable[0] =  self;
-  variable[1] =  param0;
-  variable[3] = variable[0];
-  variable[3] = ((list___List___get_node_t)CALL(variable[3],COLOR_list___List___get_node))(variable[3],  variable[1] /*index*/) /*List::get_node*/;
-  variable[3] = ((abstract_collection___Container___item_t)CALL(variable[3],COLOR_abstract_collection___Container___item))(variable[3]) /*Container::item*/;
-  variable[2] = variable[3];
-  goto return_label12;
-  return_label12: while(false);
-  tracehead = trace.prev;
-  return variable[2];
-}
-void list___List_____braeq(val_t  self, val_t  param0, val_t  param1) {
-  struct trace_t trace = {NULL, NULL, 24, LOCATE_list___List_____braeq};
-  val_t variable[5];
-  void **closurevariable = NULL;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_list;
-  variable[0] =  self;
-  variable[1] =  param0;
-  variable[2] =  param1;
-  variable[4] = variable[0];
-  variable[4] = ((list___List___get_node_t)CALL(variable[4],COLOR_list___List___get_node))(variable[4],  variable[1] /*index*/) /*List::get_node*/;
-  ((abstract_collection___Container___item__eq_t)CALL(variable[4],COLOR_abstract_collection___Container___item__eq))(variable[4],  variable[2] /*item*/) /*Container::item=*/;
-  return_label13: while(false);
-  tracehead = trace.prev;
+val_t list___List___last(val_t p0){
+  struct {struct stack_frame_t me;} fra;
+  val_t REGB0;
+  val_t tmp;
+  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+  fra.me.file = LOCATE_list;
+  fra.me.line = 32;
+  fra.me.meth = LOCATE_list___List___last;
+  fra.me.has_broke = 0;
+  fra.me.REG_size = 1;
+  fra.me.REG[0] = NIT_NULL;
+  fra.me.REG[0] = p0;
+  /* ./../lib/standard//collection//list.nit:33 */
+  fra.me.REG[0] = ATTR_list___List____tail(fra.me.REG[0]);
+  REGB0 = TAG_Bool(fra.me.REG[0]==NIT_NULL);
+  if (UNTAG_Bool(REGB0)) {
+    nit_abort("Reciever is null", NULL, LOCATE_list, 33);
+  }
+  fra.me.REG[0] = CALL_abstract_collection___Container___item(fra.me.REG[0])(fra.me.REG[0]);
+  goto label1;
+  label1: while(0);
+  stack_frame_head = fra.me.prev;
+  return fra.me.REG[0];
+}
+void list___List___last__eq(val_t p0, val_t p1){
+  struct {struct stack_frame_t me; val_t MORE_REG[1];} fra;
+  val_t REGB0;
+  val_t tmp;
+  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+  fra.me.file = LOCATE_list;
+  fra.me.line = 35;
+  fra.me.meth = LOCATE_list___List___last__eq;
+  fra.me.has_broke = 0;
+  fra.me.REG_size = 2;
+  fra.me.REG[0] = NIT_NULL;
+  fra.me.REG[1] = NIT_NULL;
+  fra.me.REG[0] = p0;
+  fra.me.REG[1] = p1;
+  /* ./../lib/standard//collection//list.nit:36 */
+  fra.me.REG[0] = ATTR_list___List____tail(fra.me.REG[0]);
+  REGB0 = TAG_Bool(fra.me.REG[0]==NIT_NULL);
+  if (UNTAG_Bool(REGB0)) {
+    nit_abort("Reciever is null", NULL, LOCATE_list, 36);
+  }
+  CALL_abstract_collection___Container___item__eq(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[1]);
+  stack_frame_head = fra.me.prev;
   return;
 }
-val_t list___List___has_key(val_t  self, val_t  param0) {
-  struct trace_t trace = {NULL, NULL, 79, LOCATE_list___List___has_key};
-  val_t variable[4];
-  void **closurevariable = NULL;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_list;
-  variable[0] =  self;
-  variable[1] =  param0;
-  variable[3] = variable[0];
-  variable[3] = ((list___List___get_node_t)CALL(variable[3],COLOR_list___List___get_node))(variable[3],  variable[1] /*index*/) /*List::get_node*/;
-  variable[3] = TAG_Bool(!UNTAG_Bool(TAG_Bool((variable[3] ==  NIT_NULL /*null*/) || ((variable[3] != NIT_NULL) && ((((kernel___Object_____eqeq_t)CALL(variable[3],COLOR_kernel___Object_____eqeq))==kernel___Object_____eqeq)?(IS_EQUAL_NN(variable[3], NIT_NULL /*null*/)):(UNTAG_Bool(((kernel___Object_____eqeq_t)CALL(variable[3],COLOR_kernel___Object_____eqeq))(variable[3],  NIT_NULL /*null*/) /*Object::==*/)))))));
-  variable[2] = variable[3];
-  goto return_label14;
-  return_label14: while(false);
-  tracehead = trace.prev;
-  return variable[2];
-}
-void list___List___remove_at(val_t  self, val_t  param0) {
-  struct trace_t trace = {NULL, NULL, 160, LOCATE_list___List___remove_at};
-  val_t variable[5];
-  void **closurevariable = NULL;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_list;
-  variable[0] =  self;
-  variable[1] =  param0;
-  variable[4] = variable[0];
-  variable[4] = ((list___List___get_node_t)CALL(variable[4],COLOR_list___List___get_node))(variable[4],  variable[1] /*i*/) /*List::get_node*/;
-  variable[3] = variable[4];
-  variable[4] = TAG_Bool(!UNTAG_Bool(TAG_Bool(( variable[3] /*node*/ ==  NIT_NULL /*null*/) || (( variable[3] /*node*/ != NIT_NULL) && ((((kernel___Object_____eqeq_t)CALL( variable[3] /*node*/,COLOR_kernel___Object_____eqeq))==kernel___Object_____eqeq)?(IS_EQUAL_NN( variable[3] /*node*/, NIT_NULL /*null*/)):(UNTAG_Bool(((kernel___Object_____eqeq_t)CALL( variable[3] /*node*/,COLOR_kernel___Object_____eqeq))( variable[3] /*node*/,  NIT_NULL /*null*/) /*Object::==*/)))))));
-  if (UNTAG_Bool(variable[4])) { /*if*/
-    variable[4] = variable[0];
-    ((list___List___remove_node_t)CALL(variable[4],COLOR_list___List___remove_node))(variable[4],  variable[3] /*node*/) /*List::remove_node*/;
-  }
-  return_label15: while(false);
-  tracehead = trace.prev;
+val_t list___List___is_empty(val_t p0){
+  struct {struct stack_frame_t me;} fra;
+  val_t REGB0;
+  val_t REGB1;
+  val_t tmp;
+  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+  fra.me.file = LOCATE_list;
+  fra.me.line = 40;
+  fra.me.meth = LOCATE_list___List___is_empty;
+  fra.me.has_broke = 0;
+  fra.me.REG_size = 1;
+  fra.me.REG[0] = NIT_NULL;
+  fra.me.REG[0] = p0;
+  /* ./../lib/standard//collection//list.nit:41 */
+  fra.me.REG[0] = ATTR_list___List____head(fra.me.REG[0]);
+  REGB0 = TAG_Bool(fra.me.REG[0]==NIT_NULL);
+  if (UNTAG_Bool(REGB0)) {
+  } else {
+    REGB1 = TAG_Bool(fra.me.REG[0]==NIT_NULL);
+    if (UNTAG_Bool(REGB1)) {
+      REGB1 = TAG_Bool(false);
+      REGB0 = REGB1;
+    } else {
+      REGB1 = CALL_kernel___Object_____eqeq(fra.me.REG[0])(fra.me.REG[0], NIT_NULL);
+      REGB0 = REGB1;
+    }
+  }
+  goto label1;
+  label1: while(0);
+  stack_frame_head = fra.me.prev;
+  return REGB0;
+}
+val_t list___List___length(val_t p0){
+  struct {struct stack_frame_t me; val_t MORE_REG[1];} fra;
+  val_t REGB0;
+  val_t REGB1;
+  val_t REGB2;
+  val_t tmp;
+  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+  fra.me.file = LOCATE_list;
+  fra.me.line = 43;
+  fra.me.meth = LOCATE_list___List___length;
+  fra.me.has_broke = 0;
+  fra.me.REG_size = 2;
+  fra.me.REG[0] = NIT_NULL;
+  fra.me.REG[1] = NIT_NULL;
+  fra.me.REG[0] = p0;
+  /* ./../lib/standard//collection//list.nit:46 */
+  REGB0 = TAG_Int(0);
+  /* ./../lib/standard//collection//list.nit:47 */
+  fra.me.REG[0] = ATTR_list___List____head(fra.me.REG[0]);
+  /* ./../lib/standard//collection//list.nit:48 */
+  while(1) {
+    REGB1 = TAG_Bool(fra.me.REG[0]==NIT_NULL);
+    if (UNTAG_Bool(REGB1)) {
+    } else {
+      REGB2 = TAG_Bool(fra.me.REG[0]==NIT_NULL);
+      if (UNTAG_Bool(REGB2)) {
+        REGB2 = TAG_Bool(false);
+        REGB1 = REGB2;
+      } else {
+        REGB2 = CALL_kernel___Object_____eqeq(fra.me.REG[0])(fra.me.REG[0], NIT_NULL);
+        REGB1 = REGB2;
+      }
+    }
+    REGB1 = TAG_Bool(!UNTAG_Bool(REGB1));
+    if (UNTAG_Bool(REGB1)) {
+      /* ./../lib/standard//collection//list.nit:49 */
+      REGB1 = TAG_Int(1);
+      /* ./../lib/standard//kernel.nit:215 */
+      REGB1 = TAG_Int(UNTAG_Int(REGB0)+UNTAG_Int(REGB1));
+      /* ./../lib/standard//collection//list.nit:49 */
+      REGB0 = REGB1;
+      /* ./../lib/standard//collection//list.nit:50 */
+      REGB1 = TAG_Bool(fra.me.REG[0]==NIT_NULL);
+      if (UNTAG_Bool(REGB1)) {
+        nit_abort("Reciever is null", NULL, LOCATE_list, 50);
+      }
+      fra.me.REG[1] = CALL_list___ListNode___next(fra.me.REG[0])(fra.me.REG[0]);
+      fra.me.REG[0] = fra.me.REG[1];
+    } else {
+      /* ./../lib/standard//collection//list.nit:48 */
+      goto label1;
+    }
+  }
+  label1: while(0);
+  /* ./../lib/standard//collection//list.nit:52 */
+  goto label2;
+  label2: while(0);
+  stack_frame_head = fra.me.prev;
+  return REGB0;
+}
+val_t list___List___has(val_t p0, val_t p1){
+  struct {struct stack_frame_t me; val_t MORE_REG[2];} fra;
+  val_t REGB0;
+  val_t REGB1;
+  val_t tmp;
+  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+  fra.me.file = LOCATE_list;
+  fra.me.line = 55;
+  fra.me.meth = LOCATE_list___List___has;
+  fra.me.has_broke = 0;
+  fra.me.REG_size = 3;
+  fra.me.REG[0] = NIT_NULL;
+  fra.me.REG[1] = NIT_NULL;
+  fra.me.REG[2] = NIT_NULL;
+  fra.me.REG[0] = p0;
+  fra.me.REG[1] = p1;
+  /* ./../lib/standard//collection//list.nit:56 */
+  fra.me.REG[2] = ATTR_list___List____head(fra.me.REG[0]);
+  fra.me.REG[2] = CALL_list___List___search_node_after(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[1], fra.me.REG[2]);
+  REGB0 = TAG_Bool(fra.me.REG[2]==NIT_NULL);
+  if (UNTAG_Bool(REGB0)) {
+  } else {
+    REGB1 = TAG_Bool(fra.me.REG[2]==NIT_NULL);
+    if (UNTAG_Bool(REGB1)) {
+      REGB1 = TAG_Bool(false);
+      REGB0 = REGB1;
+    } else {
+      REGB1 = CALL_kernel___Object_____eqeq(fra.me.REG[2])(fra.me.REG[2], NIT_NULL);
+      REGB0 = REGB1;
+    }
+  }
+  REGB0 = TAG_Bool(!UNTAG_Bool(REGB0));
+  goto label1;
+  label1: while(0);
+  stack_frame_head = fra.me.prev;
+  return REGB0;
+}
+val_t list___List___has_only(val_t p0, val_t p1){
+  struct {struct stack_frame_t me; val_t MORE_REG[2];} fra;
+  val_t REGB0;
+  val_t REGB1;
+  val_t tmp;
+  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+  fra.me.file = LOCATE_list;
+  fra.me.line = 58;
+  fra.me.meth = LOCATE_list___List___has_only;
+  fra.me.has_broke = 0;
+  fra.me.REG_size = 3;
+  fra.me.REG[0] = NIT_NULL;
+  fra.me.REG[1] = NIT_NULL;
+  fra.me.REG[2] = NIT_NULL;
+  fra.me.REG[0] = p0;
+  fra.me.REG[1] = p1;
+  /* ./../lib/standard//collection//list.nit:60 */
+  fra.me.REG[0] = ATTR_list___List____head(fra.me.REG[0]);
+  /* ./../lib/standard//collection//list.nit:61 */
+  while(1) {
+    REGB0 = TAG_Bool(fra.me.REG[0]==NIT_NULL);
+    if (UNTAG_Bool(REGB0)) {
+    } else {
+      REGB1 = TAG_Bool(fra.me.REG[0]==NIT_NULL);
+      if (UNTAG_Bool(REGB1)) {
+        REGB1 = TAG_Bool(false);
+        REGB0 = REGB1;
+      } else {
+        REGB1 = CALL_kernel___Object_____eqeq(fra.me.REG[0])(fra.me.REG[0], NIT_NULL);
+        REGB0 = REGB1;
+      }
+    }
+    REGB0 = TAG_Bool(!UNTAG_Bool(REGB0));
+    if (UNTAG_Bool(REGB0)) {
+      /* ./../lib/standard//collection//list.nit:62 */
+      REGB0 = TAG_Bool(fra.me.REG[0]==NIT_NULL);
+      if (UNTAG_Bool(REGB0)) {
+        nit_abort("Reciever is null", NULL, LOCATE_list, 62);
+      }
+      fra.me.REG[2] = CALL_abstract_collection___Container___item(fra.me.REG[0])(fra.me.REG[0]);
+      REGB0 = TAG_Bool(IS_EQUAL_NN(fra.me.REG[2],fra.me.REG[1]));
+      if (UNTAG_Bool(REGB0)) {
+      } else {
+        REGB1 = TAG_Bool(fra.me.REG[2]==NIT_NULL);
+        if (UNTAG_Bool(REGB1)) {
+          REGB1 = TAG_Bool(false);
+          REGB0 = REGB1;
+        } else {
+          REGB1 = CALL_kernel___Object_____eqeq(fra.me.REG[2])(fra.me.REG[2], fra.me.REG[1]);
+          REGB0 = REGB1;
+        }
+      }
+      REGB0 = TAG_Bool(!UNTAG_Bool(REGB0));
+      if (UNTAG_Bool(REGB0)) {
+        REGB0 = TAG_Bool(false);
+        goto label1;
+      }
+      /* ./../lib/standard//collection//list.nit:63 */
+      REGB1 = TAG_Bool(fra.me.REG[0]==NIT_NULL);
+      if (UNTAG_Bool(REGB1)) {
+        nit_abort("Reciever is null", NULL, LOCATE_list, 63);
+      }
+      fra.me.REG[2] = CALL_list___ListNode___next(fra.me.REG[0])(fra.me.REG[0]);
+      fra.me.REG[0] = fra.me.REG[2];
+    } else {
+      /* ./../lib/standard//collection//list.nit:61 */
+      goto label2;
+    }
+  }
+  label2: while(0);
+  /* ./../lib/standard//collection//list.nit:65 */
+  REGB1 = TAG_Bool(true);
+  REGB0 = REGB1;
+  goto label1;
+  label1: while(0);
+  stack_frame_head = fra.me.prev;
+  return REGB0;
+}
+val_t list___List___count(val_t p0, val_t p1){
+  struct {struct stack_frame_t me; val_t MORE_REG[2];} fra;
+  val_t REGB0;
+  val_t REGB1;
+  val_t REGB2;
+  val_t tmp;
+  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+  fra.me.file = LOCATE_list;
+  fra.me.line = 68;
+  fra.me.meth = LOCATE_list___List___count;
+  fra.me.has_broke = 0;
+  fra.me.REG_size = 3;
+  fra.me.REG[0] = NIT_NULL;
+  fra.me.REG[1] = NIT_NULL;
+  fra.me.REG[2] = NIT_NULL;
+  fra.me.REG[0] = p0;
+  fra.me.REG[1] = p1;
+  /* ./../lib/standard//collection//list.nit:70 */
+  REGB0 = TAG_Int(0);
+  /* ./../lib/standard//collection//list.nit:71 */
+  fra.me.REG[0] = ATTR_list___List____head(fra.me.REG[0]);
+  /* ./../lib/standard//collection//list.nit:72 */
+  while(1) {
+    REGB1 = TAG_Bool(fra.me.REG[0]==NIT_NULL);
+    if (UNTAG_Bool(REGB1)) {
+    } else {
+      REGB2 = TAG_Bool(fra.me.REG[0]==NIT_NULL);
+      if (UNTAG_Bool(REGB2)) {
+        REGB2 = TAG_Bool(false);
+        REGB1 = REGB2;
+      } else {
+        REGB2 = CALL_kernel___Object_____eqeq(fra.me.REG[0])(fra.me.REG[0], NIT_NULL);
+        REGB1 = REGB2;
+      }
+    }
+    REGB1 = TAG_Bool(!UNTAG_Bool(REGB1));
+    if (UNTAG_Bool(REGB1)) {
+      /* ./../lib/standard//collection//list.nit:73 */
+      REGB1 = TAG_Bool(fra.me.REG[0]==NIT_NULL);
+      if (UNTAG_Bool(REGB1)) {
+        nit_abort("Reciever is null", NULL, LOCATE_list, 73);
+      }
+      fra.me.REG[2] = CALL_abstract_collection___Container___item(fra.me.REG[0])(fra.me.REG[0]);
+      REGB1 = TAG_Bool(IS_EQUAL_NN(fra.me.REG[2],fra.me.REG[1]));
+      if (UNTAG_Bool(REGB1)) {
+      } else {
+        REGB2 = TAG_Bool(fra.me.REG[2]==NIT_NULL);
+        if (UNTAG_Bool(REGB2)) {
+          REGB2 = TAG_Bool(false);
+          REGB1 = REGB2;
+        } else {
+          REGB2 = CALL_kernel___Object_____eqeq(fra.me.REG[2])(fra.me.REG[2], fra.me.REG[1]);
+          REGB1 = REGB2;
+        }
+      }
+      REGB1 = TAG_Bool(!UNTAG_Bool(REGB1));
+      if (UNTAG_Bool(REGB1)) {
+        REGB1 = TAG_Int(1);
+        /* ./../lib/standard//kernel.nit:215 */
+        REGB1 = TAG_Int(UNTAG_Int(REGB0)+UNTAG_Int(REGB1));
+        /* ./../lib/standard//collection//list.nit:73 */
+        REGB0 = REGB1;
+      }
+      /* ./../lib/standard//collection//list.nit:74 */
+      REGB1 = TAG_Bool(fra.me.REG[0]==NIT_NULL);
+      if (UNTAG_Bool(REGB1)) {
+        nit_abort("Reciever is null", NULL, LOCATE_list, 74);
+      }
+      fra.me.REG[2] = CALL_list___ListNode___next(fra.me.REG[0])(fra.me.REG[0]);
+      fra.me.REG[0] = fra.me.REG[2];
+    } else {
+      /* ./../lib/standard//collection//list.nit:72 */
+      goto label1;
+    }
+  }
+  label1: while(0);
+  /* ./../lib/standard//collection//list.nit:76 */
+  goto label2;
+  label2: while(0);
+  stack_frame_head = fra.me.prev;
+  return REGB0;
+}
+val_t list___List___has_key(val_t p0, val_t p1){
+  struct {struct stack_frame_t me;} fra;
+  val_t REGB0;
+  val_t REGB1;
+  val_t tmp;
+  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+  fra.me.file = LOCATE_list;
+  fra.me.line = 79;
+  fra.me.meth = LOCATE_list___List___has_key;
+  fra.me.has_broke = 0;
+  fra.me.REG_size = 1;
+  fra.me.REG[0] = NIT_NULL;
+  fra.me.REG[0] = p0;
+  REGB0 = p1;
+  /* ./../lib/standard//collection//list.nit:79 */
+  fra.me.REG[0] = CALL_list___List___get_node(fra.me.REG[0])(fra.me.REG[0], REGB0);
+  REGB0 = TAG_Bool(fra.me.REG[0]==NIT_NULL);
+  if (UNTAG_Bool(REGB0)) {
+  } else {
+    REGB1 = TAG_Bool(fra.me.REG[0]==NIT_NULL);
+    if (UNTAG_Bool(REGB1)) {
+      REGB1 = TAG_Bool(false);
+      REGB0 = REGB1;
+    } else {
+      REGB1 = CALL_kernel___Object_____eqeq(fra.me.REG[0])(fra.me.REG[0], NIT_NULL);
+      REGB0 = REGB1;
+    }
+  }
+  REGB0 = TAG_Bool(!UNTAG_Bool(REGB0));
+  goto label1;
+  label1: while(0);
+  stack_frame_head = fra.me.prev;
+  return REGB0;
+}
+void list___List___push(val_t p0, val_t p1){
+  struct {struct stack_frame_t me; val_t MORE_REG[2];} fra;
+  val_t REGB0;
+  val_t REGB1;
+  val_t tmp;
+  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+  fra.me.file = LOCATE_list;
+  fra.me.line = 83;
+  fra.me.meth = LOCATE_list___List___push;
+  fra.me.has_broke = 0;
+  fra.me.REG_size = 3;
+  fra.me.REG[0] = NIT_NULL;
+  fra.me.REG[1] = NIT_NULL;
+  fra.me.REG[2] = NIT_NULL;
+  fra.me.REG[0] = p0;
+  fra.me.REG[1] = p1;
+  /* ./../lib/standard//collection//list.nit:86 */
+  fra.me.REG[1] = NEW_ListNode_list___ListNode___init(fra.me.REG[1]);
+  /* ./../lib/standard//collection//list.nit:87 */
+  fra.me.REG[2] = ATTR_list___List____tail(fra.me.REG[0]);
+  REGB0 = TAG_Bool(fra.me.REG[2]==NIT_NULL);
+  if (UNTAG_Bool(REGB0)) {
+  } else {
+    REGB1 = TAG_Bool(fra.me.REG[2]==NIT_NULL);
+    if (UNTAG_Bool(REGB1)) {
+      REGB1 = TAG_Bool(false);
+      REGB0 = REGB1;
+    } else {
+      REGB1 = CALL_kernel___Object_____eqeq(fra.me.REG[2])(fra.me.REG[2], NIT_NULL);
+      REGB0 = REGB1;
+    }
+  }
+  if (UNTAG_Bool(REGB0)) {
+    /* ./../lib/standard//collection//list.nit:88 */
+    ATTR_list___List____head(fra.me.REG[0]) = fra.me.REG[1];
+  } else {
+    /* ./../lib/standard//collection//list.nit:90 */
+    fra.me.REG[2] = ATTR_list___List____tail(fra.me.REG[0]);
+    REGB0 = TAG_Bool(fra.me.REG[2]==NIT_NULL);
+    if (UNTAG_Bool(REGB0)) {
+      nit_abort("Reciever is null", NULL, LOCATE_list, 90);
+    }
+    CALL_list___ListNode___next__eq(fra.me.REG[2])(fra.me.REG[2], fra.me.REG[1]);
+    /* ./../lib/standard//collection//list.nit:91 */
+    fra.me.REG[2] = ATTR_list___List____tail(fra.me.REG[0]);
+    CALL_list___ListNode___prev__eq(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[2]);
+  }
+  /* ./../lib/standard//collection//list.nit:93 */
+  ATTR_list___List____tail(fra.me.REG[0]) = fra.me.REG[1];
+  stack_frame_head = fra.me.prev;
   return;
 }
-void list___List___first__eq(val_t  self, val_t  param0) {
-  struct trace_t trace = {NULL, NULL, 29, LOCATE_list___List___first__eq};
-  val_t variable[4];
-  void **closurevariable = NULL;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_list;
-  variable[0] =  self;
-  variable[1] =  param0;
-  variable[3] = variable[0];
-  variable[3] = ATTR_list___List____head(variable[3]) /*List::_head*/;
-  ((abstract_collection___Container___item__eq_t)CALL(variable[3],COLOR_abstract_collection___Container___item__eq))(variable[3],  variable[1] /*e*/) /*Container::item=*/;
-  return_label16: while(false);
-  tracehead = trace.prev;
+void list___List___unshift(val_t p0, val_t p1){
+  struct {struct stack_frame_t me; val_t MORE_REG[2];} fra;
+  val_t REGB0;
+  val_t REGB1;
+  val_t tmp;
+  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+  fra.me.file = LOCATE_list;
+  fra.me.line = 96;
+  fra.me.meth = LOCATE_list___List___unshift;
+  fra.me.has_broke = 0;
+  fra.me.REG_size = 3;
+  fra.me.REG[0] = NIT_NULL;
+  fra.me.REG[1] = NIT_NULL;
+  fra.me.REG[2] = NIT_NULL;
+  fra.me.REG[0] = p0;
+  fra.me.REG[1] = p1;
+  /* ./../lib/standard//collection//list.nit:99 */
+  fra.me.REG[1] = NEW_ListNode_list___ListNode___init(fra.me.REG[1]);
+  /* ./../lib/standard//collection//list.nit:100 */
+  fra.me.REG[2] = ATTR_list___List____head(fra.me.REG[0]);
+  REGB0 = TAG_Bool(fra.me.REG[2]==NIT_NULL);
+  if (UNTAG_Bool(REGB0)) {
+  } else {
+    REGB1 = TAG_Bool(fra.me.REG[2]==NIT_NULL);
+    if (UNTAG_Bool(REGB1)) {
+      REGB1 = TAG_Bool(false);
+      REGB0 = REGB1;
+    } else {
+      REGB1 = CALL_kernel___Object_____eqeq(fra.me.REG[2])(fra.me.REG[2], NIT_NULL);
+      REGB0 = REGB1;
+    }
+  }
+  if (UNTAG_Bool(REGB0)) {
+    /* ./../lib/standard//collection//list.nit:101 */
+    ATTR_list___List____tail(fra.me.REG[0]) = fra.me.REG[1];
+  } else {
+    /* ./../lib/standard//collection//list.nit:103 */
+    fra.me.REG[2] = ATTR_list___List____head(fra.me.REG[0]);
+    CALL_list___ListNode___next__eq(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[2]);
+    /* ./../lib/standard//collection//list.nit:104 */
+    fra.me.REG[2] = ATTR_list___List____head(fra.me.REG[0]);
+    REGB0 = TAG_Bool(fra.me.REG[2]==NIT_NULL);
+    if (UNTAG_Bool(REGB0)) {
+      nit_abort("Reciever is null", NULL, LOCATE_list, 104);
+    }
+    CALL_list___ListNode___prev__eq(fra.me.REG[2])(fra.me.REG[2], fra.me.REG[1]);
+  }
+  /* ./../lib/standard//collection//list.nit:106 */
+  ATTR_list___List____head(fra.me.REG[0]) = fra.me.REG[1];
+  stack_frame_head = fra.me.prev;
   return;
 }
-val_t list___List___last(val_t  self) {
-  struct trace_t trace = {NULL, NULL, 32, LOCATE_list___List___last};
-  val_t variable[3];
-  void **closurevariable = NULL;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_list;
-  variable[0] =  self;
-  variable[2] = variable[0];
-  variable[2] = ATTR_list___List____tail(variable[2]) /*List::_tail*/;
-  variable[2] = ((abstract_collection___Container___item_t)CALL(variable[2],COLOR_abstract_collection___Container___item))(variable[2]) /*Container::item*/;
-  variable[1] = variable[2];
-  goto return_label17;
-  return_label17: while(false);
-  tracehead = trace.prev;
-  return variable[1];
-}
-void list___List___last__eq(val_t  self, val_t  param0) {
-  struct trace_t trace = {NULL, NULL, 35, LOCATE_list___List___last__eq};
-  val_t variable[4];
-  void **closurevariable = NULL;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_list;
-  variable[0] =  self;
-  variable[1] =  param0;
-  variable[3] = variable[0];
-  variable[3] = ATTR_list___List____tail(variable[3]) /*List::_tail*/;
-  ((abstract_collection___Container___item__eq_t)CALL(variable[3],COLOR_abstract_collection___Container___item__eq))(variable[3],  variable[1] /*e*/) /*Container::item=*/;
-  return_label18: while(false);
-  tracehead = trace.prev;
+void list___List___link(val_t p0, val_t p1){
+  struct {struct stack_frame_t me; val_t MORE_REG[3];} fra;
+  val_t REGB0;
+  val_t REGB1;
+  val_t tmp;
+  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+  fra.me.file = LOCATE_list;
+  fra.me.line = 109;
+  fra.me.meth = LOCATE_list___List___link;
+  fra.me.has_broke = 0;
+  fra.me.REG_size = 4;
+  fra.me.REG[0] = NIT_NULL;
+  fra.me.REG[1] = NIT_NULL;
+  fra.me.REG[2] = NIT_NULL;
+  fra.me.REG[3] = NIT_NULL;
+  fra.me.REG[0] = p0;
+  fra.me.REG[1] = p1;
+  /* ./../lib/standard//collection//list.nit:114 */
+  fra.me.REG[2] = ATTR_list___List____tail(fra.me.REG[0]);
+  REGB0 = TAG_Bool(fra.me.REG[2]==NIT_NULL);
+  if (UNTAG_Bool(REGB0)) {
+  } else {
+    REGB1 = TAG_Bool(fra.me.REG[2]==NIT_NULL);
+    if (UNTAG_Bool(REGB1)) {
+      REGB1 = TAG_Bool(false);
+      REGB0 = REGB1;
+    } else {
+      REGB1 = CALL_kernel___Object_____eqeq(fra.me.REG[2])(fra.me.REG[2], NIT_NULL);
+      REGB0 = REGB1;
+    }
+  }
+  if (UNTAG_Bool(REGB0)) {
+    /* ./../lib/standard//collection//list.nit:115 */
+    fra.me.REG[2] = ATTR_list___List____head(fra.me.REG[1]);
+    ATTR_list___List____head(fra.me.REG[0]) = fra.me.REG[2];
+  } else {
+    /* ./../lib/standard//collection//list.nit:116 */
+    fra.me.REG[2] = ATTR_list___List____head(fra.me.REG[1]);
+    REGB0 = TAG_Bool(fra.me.REG[2]==NIT_NULL);
+    if (UNTAG_Bool(REGB0)) {
+    } else {
+      REGB1 = TAG_Bool(fra.me.REG[2]==NIT_NULL);
+      if (UNTAG_Bool(REGB1)) {
+        REGB1 = TAG_Bool(false);
+        REGB0 = REGB1;
+      } else {
+        REGB1 = CALL_kernel___Object_____eqeq(fra.me.REG[2])(fra.me.REG[2], NIT_NULL);
+        REGB0 = REGB1;
+      }
+    }
+    REGB0 = TAG_Bool(!UNTAG_Bool(REGB0));
+    if (UNTAG_Bool(REGB0)) {
+      /* ./../lib/standard//collection//list.nit:117 */
+      fra.me.REG[2] = ATTR_list___List____tail(fra.me.REG[0]);
+      fra.me.REG[3] = ATTR_list___List____head(fra.me.REG[1]);
+      REGB0 = TAG_Bool(fra.me.REG[2]==NIT_NULL);
+      if (UNTAG_Bool(REGB0)) {
+        nit_abort("Reciever is null", NULL, LOCATE_list, 117);
+      }
+      CALL_list___ListNode___next__eq(fra.me.REG[2])(fra.me.REG[2], fra.me.REG[3]);
+      /* ./../lib/standard//collection//list.nit:118 */
+      fra.me.REG[3] = ATTR_list___List____tail(fra.me.REG[0]);
+      REGB0 = TAG_Bool(fra.me.REG[3]==NIT_NULL);
+      if (UNTAG_Bool(REGB0)) {
+        nit_abort("Reciever is null", NULL, LOCATE_list, 118);
+      }
+      fra.me.REG[3] = CALL_list___ListNode___next(fra.me.REG[3])(fra.me.REG[3]);
+      fra.me.REG[2] = ATTR_list___List____tail(fra.me.REG[0]);
+      REGB0 = TAG_Bool(fra.me.REG[3]==NIT_NULL);
+      if (UNTAG_Bool(REGB0)) {
+        nit_abort("Reciever is null", NULL, LOCATE_list, 118);
+      }
+      CALL_list___ListNode___prev__eq(fra.me.REG[3])(fra.me.REG[3], fra.me.REG[2]);
+    }
+  }
+  /* ./../lib/standard//collection//list.nit:120 */
+  fra.me.REG[2] = ATTR_list___List____tail(fra.me.REG[1]);
+  ATTR_list___List____tail(fra.me.REG[0]) = fra.me.REG[2];
+  /* ./../lib/standard//collection//list.nit:121 */
+  CALL_abstract_collection___RemovableCollection___clear(fra.me.REG[1])(fra.me.REG[1]);
+  stack_frame_head = fra.me.prev;
   return;
 }
-void list___List___push(val_t  self, val_t  param0) {
-  struct trace_t trace = {NULL, NULL, 83, LOCATE_list___List___push};
-  val_t variable[5];
-  void **closurevariable = NULL;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_list;
-  variable[0] =  self;
-  variable[1] =  param0;
-  variable[4] = NEW_ListNode_list___ListNode___init( variable[1] /*e*/); /*new ListNode[E]*/
-  variable[3] = variable[4];
-  variable[4] = variable[0];
-  variable[4] = ATTR_list___List____tail(variable[4]) /*List::_tail*/;
-  variable[4] = TAG_Bool((variable[4] ==  NIT_NULL /*null*/) || ((variable[4] != NIT_NULL) && ((((kernel___Object_____eqeq_t)CALL(variable[4],COLOR_kernel___Object_____eqeq))==kernel___Object_____eqeq)?(IS_EQUAL_NN(variable[4], NIT_NULL /*null*/)):(UNTAG_Bool(((kernel___Object_____eqeq_t)CALL(variable[4],COLOR_kernel___Object_____eqeq))(variable[4],  NIT_NULL /*null*/) /*Object::==*/)))));
-  if (UNTAG_Bool(variable[4])) { /*if*/
-    variable[4] = variable[0];
-    ATTR_list___List____head(variable[4]) /*List::_head*/ =  variable[3] /*node*/;
-  } else { /*if*/
-    variable[4] = variable[0];
-    variable[4] = ATTR_list___List____tail(variable[4]) /*List::_tail*/;
-    ((list___ListNode___next__eq_t)CALL(variable[4],COLOR_list___ListNode___next__eq))(variable[4],  variable[3] /*node*/) /*ListNode::next=*/;
-    variable[4] = variable[0];
-    variable[4] = ATTR_list___List____tail(variable[4]) /*List::_tail*/;
-    ((list___ListNode___prev__eq_t)CALL( variable[3] /*node*/,COLOR_list___ListNode___prev__eq))( variable[3] /*node*/, variable[4]) /*ListNode::prev=*/;
-  }
-  variable[4] = variable[0];
-  ATTR_list___List____tail(variable[4]) /*List::_tail*/ =  variable[3] /*node*/;
-  return_label19: while(false);
-  tracehead = trace.prev;
+val_t list___List___pop(val_t p0){
+  struct {struct stack_frame_t me; val_t MORE_REG[2];} fra;
+  val_t REGB0;
+  val_t REGB1;
+  val_t tmp;
+  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+  fra.me.file = LOCATE_list;
+  fra.me.line = 126;
+  fra.me.meth = LOCATE_list___List___pop;
+  fra.me.has_broke = 0;
+  fra.me.REG_size = 3;
+  fra.me.REG[0] = NIT_NULL;
+  fra.me.REG[1] = NIT_NULL;
+  fra.me.REG[2] = NIT_NULL;
+  fra.me.REG[0] = p0;
+  /* ./../lib/standard//collection//list.nit:129 */
+  fra.me.REG[1] = ATTR_list___List____tail(fra.me.REG[0]);
+  /* ./../lib/standard//collection//list.nit:130 */
+  REGB0 = TAG_Bool(fra.me.REG[1]==NIT_NULL);
+  if (UNTAG_Bool(REGB0)) {
+    nit_abort("Reciever is null", NULL, LOCATE_list, 130);
+  }
+  fra.me.REG[2] = CALL_list___ListNode___prev(fra.me.REG[1])(fra.me.REG[1]);
+  ATTR_list___List____tail(fra.me.REG[0]) = fra.me.REG[2];
+  /* ./../lib/standard//collection//list.nit:131 */
+  REGB0 = TAG_Bool(fra.me.REG[1]==NIT_NULL);
+  if (UNTAG_Bool(REGB0)) {
+    nit_abort("Reciever is null", NULL, LOCATE_list, 131);
+  }
+  CALL_list___ListNode___prev__eq(fra.me.REG[1])(fra.me.REG[1], NIT_NULL);
+  /* ./../lib/standard//collection//list.nit:132 */
+  fra.me.REG[2] = ATTR_list___List____tail(fra.me.REG[0]);
+  REGB0 = TAG_Bool(fra.me.REG[2]==NIT_NULL);
+  if (UNTAG_Bool(REGB0)) {
+  } else {
+    REGB1 = TAG_Bool(fra.me.REG[2]==NIT_NULL);
+    if (UNTAG_Bool(REGB1)) {
+      REGB1 = TAG_Bool(false);
+      REGB0 = REGB1;
+    } else {
+      REGB1 = CALL_kernel___Object_____eqeq(fra.me.REG[2])(fra.me.REG[2], NIT_NULL);
+      REGB0 = REGB1;
+    }
+  }
+  if (UNTAG_Bool(REGB0)) {
+    /* ./../lib/standard//collection//list.nit:133 */
+    ATTR_list___List____head(fra.me.REG[0]) = NIT_NULL;
+  } else {
+    /* ./../lib/standard//collection//list.nit:135 */
+    fra.me.REG[0] = ATTR_list___List____tail(fra.me.REG[0]);
+    REGB0 = TAG_Bool(fra.me.REG[0]==NIT_NULL);
+    if (UNTAG_Bool(REGB0)) {
+      nit_abort("Reciever is null", NULL, LOCATE_list, 135);
+    }
+    CALL_list___ListNode___next__eq(fra.me.REG[0])(fra.me.REG[0], NIT_NULL);
+  }
+  /* ./../lib/standard//collection//list.nit:137 */
+  REGB0 = TAG_Bool(fra.me.REG[1]==NIT_NULL);
+  if (UNTAG_Bool(REGB0)) {
+    nit_abort("Reciever is null", NULL, LOCATE_list, 137);
+  }
+  fra.me.REG[1] = CALL_abstract_collection___Container___item(fra.me.REG[1])(fra.me.REG[1]);
+  goto label1;
+  label1: while(0);
+  stack_frame_head = fra.me.prev;
+  return fra.me.REG[1];
+}
+val_t list___List___shift(val_t p0){
+  struct {struct stack_frame_t me; val_t MORE_REG[2];} fra;
+  val_t REGB0;
+  val_t REGB1;
+  val_t tmp;
+  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+  fra.me.file = LOCATE_list;
+  fra.me.line = 140;
+  fra.me.meth = LOCATE_list___List___shift;
+  fra.me.has_broke = 0;
+  fra.me.REG_size = 3;
+  fra.me.REG[0] = NIT_NULL;
+  fra.me.REG[1] = NIT_NULL;
+  fra.me.REG[2] = NIT_NULL;
+  fra.me.REG[0] = p0;
+  /* ./../lib/standard//collection//list.nit:143 */
+  fra.me.REG[1] = ATTR_list___List____head(fra.me.REG[0]);
+  /* ./../lib/standard//collection//list.nit:144 */
+  REGB0 = TAG_Bool(fra.me.REG[1]==NIT_NULL);
+  if (UNTAG_Bool(REGB0)) {
+    nit_abort("Reciever is null", NULL, LOCATE_list, 144);
+  }
+  fra.me.REG[2] = CALL_list___ListNode___next(fra.me.REG[1])(fra.me.REG[1]);
+  ATTR_list___List____head(fra.me.REG[0]) = fra.me.REG[2];
+  /* ./../lib/standard//collection//list.nit:145 */
+  REGB0 = TAG_Bool(fra.me.REG[1]==NIT_NULL);
+  if (UNTAG_Bool(REGB0)) {
+    nit_abort("Reciever is null", NULL, LOCATE_list, 145);
+  }
+  CALL_list___ListNode___next__eq(fra.me.REG[1])(fra.me.REG[1], NIT_NULL);
+  /* ./../lib/standard//collection//list.nit:146 */
+  fra.me.REG[2] = ATTR_list___List____head(fra.me.REG[0]);
+  REGB0 = TAG_Bool(fra.me.REG[2]==NIT_NULL);
+  if (UNTAG_Bool(REGB0)) {
+  } else {
+    REGB1 = TAG_Bool(fra.me.REG[2]==NIT_NULL);
+    if (UNTAG_Bool(REGB1)) {
+      REGB1 = TAG_Bool(false);
+      REGB0 = REGB1;
+    } else {
+      REGB1 = CALL_kernel___Object_____eqeq(fra.me.REG[2])(fra.me.REG[2], NIT_NULL);
+      REGB0 = REGB1;
+    }
+  }
+  if (UNTAG_Bool(REGB0)) {
+    /* ./../lib/standard//collection//list.nit:147 */
+    ATTR_list___List____tail(fra.me.REG[0]) = NIT_NULL;
+  } else {
+    /* ./../lib/standard//collection//list.nit:149 */
+    fra.me.REG[0] = ATTR_list___List____head(fra.me.REG[0]);
+    REGB0 = TAG_Bool(fra.me.REG[0]==NIT_NULL);
+    if (UNTAG_Bool(REGB0)) {
+      nit_abort("Reciever is null", NULL, LOCATE_list, 149);
+    }
+    CALL_list___ListNode___prev__eq(fra.me.REG[0])(fra.me.REG[0], NIT_NULL);
+  }
+  /* ./../lib/standard//collection//list.nit:151 */
+  REGB0 = TAG_Bool(fra.me.REG[1]==NIT_NULL);
+  if (UNTAG_Bool(REGB0)) {
+    nit_abort("Reciever is null", NULL, LOCATE_list, 151);
+  }
+  fra.me.REG[1] = CALL_abstract_collection___Container___item(fra.me.REG[1])(fra.me.REG[1]);
+  goto label1;
+  label1: while(0);
+  stack_frame_head = fra.me.prev;
+  return fra.me.REG[1];
+}
+void list___List___remove(val_t p0, val_t p1){
+  struct {struct stack_frame_t me; val_t MORE_REG[2];} fra;
+  val_t REGB0;
+  val_t REGB1;
+  val_t tmp;
+  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+  fra.me.file = LOCATE_list;
+  fra.me.line = 154;
+  fra.me.meth = LOCATE_list___List___remove;
+  fra.me.has_broke = 0;
+  fra.me.REG_size = 3;
+  fra.me.REG[0] = NIT_NULL;
+  fra.me.REG[1] = NIT_NULL;
+  fra.me.REG[2] = NIT_NULL;
+  fra.me.REG[0] = p0;
+  fra.me.REG[1] = p1;
+  /* ./../lib/standard//collection//list.nit:156 */
+  fra.me.REG[2] = ATTR_list___List____head(fra.me.REG[0]);
+  fra.me.REG[2] = CALL_list___List___search_node_after(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[1], fra.me.REG[2]);
+  /* ./../lib/standard//collection//list.nit:157 */
+  REGB0 = TAG_Bool(fra.me.REG[2]==NIT_NULL);
+  if (UNTAG_Bool(REGB0)) {
+  } else {
+    REGB1 = TAG_Bool(fra.me.REG[2]==NIT_NULL);
+    if (UNTAG_Bool(REGB1)) {
+      REGB1 = TAG_Bool(false);
+      REGB0 = REGB1;
+    } else {
+      REGB1 = CALL_kernel___Object_____eqeq(fra.me.REG[2])(fra.me.REG[2], NIT_NULL);
+      REGB0 = REGB1;
+    }
+  }
+  REGB0 = TAG_Bool(!UNTAG_Bool(REGB0));
+  if (UNTAG_Bool(REGB0)) {
+    CALL_list___List___remove_node(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[2]);
+  }
+  stack_frame_head = fra.me.prev;
   return;
 }
-val_t list___List___pop(val_t  self) {
-  struct trace_t trace = {NULL, NULL, 126, LOCATE_list___List___pop};
-  val_t variable[5];
-  void **closurevariable = NULL;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_list;
-  variable[0] =  self;
-  variable[3] = variable[0];
-  variable[3] = ATTR_list___List____tail(variable[3]) /*List::_tail*/;
-  variable[2] = variable[3];
-  variable[3] = variable[0];
-  variable[4] = ((list___ListNode___prev_t)CALL( variable[2] /*node*/,COLOR_list___ListNode___prev))( variable[2] /*node*/) /*ListNode::prev*/;
-  ATTR_list___List____tail(variable[3]) /*List::_tail*/ = variable[4];
-  ((list___ListNode___prev__eq_t)CALL( variable[2] /*node*/,COLOR_list___ListNode___prev__eq))( variable[2] /*node*/,  NIT_NULL /*null*/) /*ListNode::prev=*/;
-  variable[3] = variable[0];
-  variable[3] = ATTR_list___List____tail(variable[3]) /*List::_tail*/;
-  variable[3] = TAG_Bool((variable[3] ==  NIT_NULL /*null*/) || ((variable[3] != NIT_NULL) && ((((kernel___Object_____eqeq_t)CALL(variable[3],COLOR_kernel___Object_____eqeq))==kernel___Object_____eqeq)?(IS_EQUAL_NN(variable[3], NIT_NULL /*null*/)):(UNTAG_Bool(((kernel___Object_____eqeq_t)CALL(variable[3],COLOR_kernel___Object_____eqeq))(variable[3],  NIT_NULL /*null*/) /*Object::==*/)))));
-  if (UNTAG_Bool(variable[3])) { /*if*/
-    variable[3] = variable[0];
-    ATTR_list___List____head(variable[3]) /*List::_head*/ =  NIT_NULL /*null*/;
-  } else { /*if*/
-    variable[3] = variable[0];
-    variable[3] = ATTR_list___List____tail(variable[3]) /*List::_tail*/;
-    ((list___ListNode___next__eq_t)CALL(variable[3],COLOR_list___ListNode___next__eq))(variable[3],  NIT_NULL /*null*/) /*ListNode::next=*/;
-  }
-  variable[3] = ((abstract_collection___Container___item_t)CALL( variable[2] /*node*/,COLOR_abstract_collection___Container___item))( variable[2] /*node*/) /*Container::item*/;
-  variable[1] = variable[3];
-  goto return_label20;
-  return_label20: while(false);
-  tracehead = trace.prev;
-  return variable[1];
-}
-void list___List___unshift(val_t  self, val_t  param0) {
-  struct trace_t trace = {NULL, NULL, 96, LOCATE_list___List___unshift};
-  val_t variable[5];
-  void **closurevariable = NULL;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_list;
-  variable[0] =  self;
-  variable[1] =  param0;
-  variable[4] = NEW_ListNode_list___ListNode___init( variable[1] /*e*/); /*new ListNode[E]*/
-  variable[3] = variable[4];
-  variable[4] = variable[0];
-  variable[4] = ATTR_list___List____head(variable[4]) /*List::_head*/;
-  variable[4] = TAG_Bool((variable[4] ==  NIT_NULL /*null*/) || ((variable[4] != NIT_NULL) && ((((kernel___Object_____eqeq_t)CALL(variable[4],COLOR_kernel___Object_____eqeq))==kernel___Object_____eqeq)?(IS_EQUAL_NN(variable[4], NIT_NULL /*null*/)):(UNTAG_Bool(((kernel___Object_____eqeq_t)CALL(variable[4],COLOR_kernel___Object_____eqeq))(variable[4],  NIT_NULL /*null*/) /*Object::==*/)))));
-  if (UNTAG_Bool(variable[4])) { /*if*/
-    variable[4] = variable[0];
-    ATTR_list___List____tail(variable[4]) /*List::_tail*/ =  variable[3] /*node*/;
-  } else { /*if*/
-    variable[4] = variable[0];
-    variable[4] = ATTR_list___List____head(variable[4]) /*List::_head*/;
-    ((list___ListNode___next__eq_t)CALL( variable[3] /*node*/,COLOR_list___ListNode___next__eq))( variable[3] /*node*/, variable[4]) /*ListNode::next=*/;
-    variable[4] = variable[0];
-    variable[4] = ATTR_list___List____head(variable[4]) /*List::_head*/;
-    ((list___ListNode___prev__eq_t)CALL(variable[4],COLOR_list___ListNode___prev__eq))(variable[4],  variable[3] /*node*/) /*ListNode::prev=*/;
-  }
-  variable[4] = variable[0];
-  ATTR_list___List____head(variable[4]) /*List::_head*/ =  variable[3] /*node*/;
-  return_label21: while(false);
-  tracehead = trace.prev;
+void list___List___remove_at(val_t p0, val_t p1){
+  struct {struct stack_frame_t me; val_t MORE_REG[1];} fra;
+  val_t REGB0;
+  val_t REGB1;
+  val_t tmp;
+  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+  fra.me.file = LOCATE_list;
+  fra.me.line = 160;
+  fra.me.meth = LOCATE_list___List___remove_at;
+  fra.me.has_broke = 0;
+  fra.me.REG_size = 2;
+  fra.me.REG[0] = NIT_NULL;
+  fra.me.REG[1] = NIT_NULL;
+  fra.me.REG[0] = p0;
+  REGB0 = p1;
+  /* ./../lib/standard//collection//list.nit:162 */
+  fra.me.REG[1] = CALL_list___List___get_node(fra.me.REG[0])(fra.me.REG[0], REGB0);
+  /* ./../lib/standard//collection//list.nit:163 */
+  REGB0 = TAG_Bool(fra.me.REG[1]==NIT_NULL);
+  if (UNTAG_Bool(REGB0)) {
+  } else {
+    REGB1 = TAG_Bool(fra.me.REG[1]==NIT_NULL);
+    if (UNTAG_Bool(REGB1)) {
+      REGB1 = TAG_Bool(false);
+      REGB0 = REGB1;
+    } else {
+      REGB1 = CALL_kernel___Object_____eqeq(fra.me.REG[1])(fra.me.REG[1], NIT_NULL);
+      REGB0 = REGB1;
+    }
+  }
+  REGB0 = TAG_Bool(!UNTAG_Bool(REGB0));
+  if (UNTAG_Bool(REGB0)) {
+    CALL_list___List___remove_node(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[1]);
+  }
+  stack_frame_head = fra.me.prev;
   return;
 }
-val_t list___List___shift(val_t  self) {
-  struct trace_t trace = {NULL, NULL, 140, LOCATE_list___List___shift};
-  val_t variable[5];
-  void **closurevariable = NULL;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_list;
-  variable[0] =  self;
-  variable[3] = variable[0];
-  variable[3] = ATTR_list___List____head(variable[3]) /*List::_head*/;
-  variable[2] = variable[3];
-  variable[3] = variable[0];
-  variable[4] = ((list___ListNode___next_t)CALL( variable[2] /*node*/,COLOR_list___ListNode___next))( variable[2] /*node*/) /*ListNode::next*/;
-  ATTR_list___List____head(variable[3]) /*List::_head*/ = variable[4];
-  ((list___ListNode___next__eq_t)CALL( variable[2] /*node*/,COLOR_list___ListNode___next__eq))( variable[2] /*node*/,  NIT_NULL /*null*/) /*ListNode::next=*/;
-  variable[3] = variable[0];
-  variable[3] = ATTR_list___List____head(variable[3]) /*List::_head*/;
-  variable[3] = TAG_Bool((variable[3] ==  NIT_NULL /*null*/) || ((variable[3] != NIT_NULL) && ((((kernel___Object_____eqeq_t)CALL(variable[3],COLOR_kernel___Object_____eqeq))==kernel___Object_____eqeq)?(IS_EQUAL_NN(variable[3], NIT_NULL /*null*/)):(UNTAG_Bool(((kernel___Object_____eqeq_t)CALL(variable[3],COLOR_kernel___Object_____eqeq))(variable[3],  NIT_NULL /*null*/) /*Object::==*/)))));
-  if (UNTAG_Bool(variable[3])) { /*if*/
-    variable[3] = variable[0];
-    ATTR_list___List____tail(variable[3]) /*List::_tail*/ =  NIT_NULL /*null*/;
-  } else { /*if*/
-    variable[3] = variable[0];
-    variable[3] = ATTR_list___List____head(variable[3]) /*List::_head*/;
-    ((list___ListNode___prev__eq_t)CALL(variable[3],COLOR_list___ListNode___prev__eq))(variable[3],  NIT_NULL /*null*/) /*ListNode::prev=*/;
-  }
-  variable[3] = ((abstract_collection___Container___item_t)CALL( variable[2] /*node*/,COLOR_abstract_collection___Container___item))( variable[2] /*node*/) /*Container::item*/;
-  variable[1] = variable[3];
-  goto return_label22;
-  return_label22: while(false);
-  tracehead = trace.prev;
-  return variable[1];
-}
-void list___List___link(val_t  self, val_t  param0) {
-  struct trace_t trace = {NULL, NULL, 109, LOCATE_list___List___link};
-  val_t variable[5];
-  void **closurevariable = NULL;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_list;
-  variable[0] =  self;
-  variable[1] =  param0;
-  variable[3] = variable[0];
-  variable[3] = ATTR_list___List____tail(variable[3]) /*List::_tail*/;
-  variable[3] = TAG_Bool((variable[3] ==  NIT_NULL /*null*/) || ((variable[3] != NIT_NULL) && ((((kernel___Object_____eqeq_t)CALL(variable[3],COLOR_kernel___Object_____eqeq))==kernel___Object_____eqeq)?(IS_EQUAL_NN(variable[3], NIT_NULL /*null*/)):(UNTAG_Bool(((kernel___Object_____eqeq_t)CALL(variable[3],COLOR_kernel___Object_____eqeq))(variable[3],  NIT_NULL /*null*/) /*Object::==*/)))));
-  if (UNTAG_Bool(variable[3])) { /*if*/
-    variable[3] = variable[0];
-    variable[4] = ATTR_list___List____head( variable[1] /*l*/) /*List::_head*/;
-    ATTR_list___List____head(variable[3]) /*List::_head*/ = variable[4];
-  } else { /*if*/
-    variable[3] = ATTR_list___List____head( variable[1] /*l*/) /*List::_head*/;
-    variable[3] = TAG_Bool(!UNTAG_Bool(TAG_Bool((variable[3] ==  NIT_NULL /*null*/) || ((variable[3] != NIT_NULL) && ((((kernel___Object_____eqeq_t)CALL(variable[3],COLOR_kernel___Object_____eqeq))==kernel___Object_____eqeq)?(IS_EQUAL_NN(variable[3], NIT_NULL /*null*/)):(UNTAG_Bool(((kernel___Object_____eqeq_t)CALL(variable[3],COLOR_kernel___Object_____eqeq))(variable[3],  NIT_NULL /*null*/) /*Object::==*/)))))));
-    if (UNTAG_Bool(variable[3])) { /*if*/
-      variable[3] = variable[0];
-      variable[3] = ATTR_list___List____tail(variable[3]) /*List::_tail*/;
-      variable[4] = ATTR_list___List____head( variable[1] /*l*/) /*List::_head*/;
-      ((list___ListNode___next__eq_t)CALL(variable[3],COLOR_list___ListNode___next__eq))(variable[3], variable[4]) /*ListNode::next=*/;
-      variable[3] = variable[0];
-      variable[3] = ATTR_list___List____tail(variable[3]) /*List::_tail*/;
-      variable[3] = ((list___ListNode___next_t)CALL(variable[3],COLOR_list___ListNode___next))(variable[3]) /*ListNode::next*/;
-      variable[4] = variable[0];
-      variable[4] = ATTR_list___List____tail(variable[4]) /*List::_tail*/;
-      ((list___ListNode___prev__eq_t)CALL(variable[3],COLOR_list___ListNode___prev__eq))(variable[3], variable[4]) /*ListNode::prev=*/;
-    }
-  }
-  variable[3] = variable[0];
-  variable[4] = ATTR_list___List____tail( variable[1] /*l*/) /*List::_tail*/;
-  ATTR_list___List____tail(variable[3]) /*List::_tail*/ = variable[4];
-  ((list___List___clear_t)CALL( variable[1] /*l*/,COLOR_abstract_collection___RemovableCollection___clear))( variable[1] /*l*/) /*List::clear*/;
-  return_label23: while(false);
-  tracehead = trace.prev;
+void list___List___clear(val_t p0){
+  struct {struct stack_frame_t me;} fra;
+  val_t tmp;
+  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+  fra.me.file = LOCATE_list;
+  fra.me.line = 166;
+  fra.me.meth = LOCATE_list___List___clear;
+  fra.me.has_broke = 0;
+  fra.me.REG_size = 1;
+  fra.me.REG[0] = NIT_NULL;
+  fra.me.REG[0] = p0;
+  /* ./../lib/standard//collection//list.nit:168 */
+  ATTR_list___List____head(fra.me.REG[0]) = NIT_NULL;
+  /* ./../lib/standard//collection//list.nit:169 */
+  ATTR_list___List____tail(fra.me.REG[0]) = NIT_NULL;
+  stack_frame_head = fra.me.prev;
   return;
 }
-void list___List___init(val_t  self, int* init_table) {
-  struct trace_t trace = {NULL, NULL, 175, LOCATE_list___List___init};
-  val_t variable[2];
-  void **closurevariable = NULL;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_list;
-  variable[0] =  self;
-  if (init_table[VAL2OBJ( self)->vft[INIT_TABLE_POS_List].i]) return;
-  return_label24: while(false);
-  init_table[VAL2OBJ( self)->vft[INIT_TABLE_POS_List].i] = 1;
-  tracehead = trace.prev;
+val_t list___List___iterator(val_t p0){
+  struct {struct stack_frame_t me;} fra;
+  val_t tmp;
+  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+  fra.me.file = LOCATE_list;
+  fra.me.line = 173;
+  fra.me.meth = LOCATE_list___List___iterator;
+  fra.me.has_broke = 0;
+  fra.me.REG_size = 1;
+  fra.me.REG[0] = NIT_NULL;
+  fra.me.REG[0] = p0;
+  /* ./../lib/standard//collection//list.nit:173 */
+  fra.me.REG[0] = NEW_ListIterator_list___ListIterator___init(fra.me.REG[0]);
+  goto label1;
+  label1: while(0);
+  stack_frame_head = fra.me.prev;
+  return fra.me.REG[0];
+}
+void list___List___init(val_t p0, int* init_table){
+  int itpos0 = VAL2OBJ(p0)->vft[INIT_TABLE_POS_List].i;
+  struct {struct stack_frame_t me;} fra;
+  val_t tmp;
+  if (init_table[itpos0]) return;
+  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+  fra.me.file = LOCATE_list;
+  fra.me.line = 175;
+  fra.me.meth = LOCATE_list___List___init;
+  fra.me.has_broke = 0;
+  fra.me.REG_size = 1;
+  fra.me.REG[0] = NIT_NULL;
+  fra.me.REG[0] = p0;
+  stack_frame_head = fra.me.prev;
+  init_table[itpos0] = 1;
   return;
 }
-void list___List___from(val_t  self, val_t  param0, int* init_table) {
-  struct trace_t trace = {NULL, NULL, 178, LOCATE_list___List___from};
-  val_t variable[4];
-  void **closurevariable = NULL;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_list;
-  variable[0] =  self;
-  variable[1] =  param0;
-  if (init_table[VAL2OBJ( self)->vft[INIT_TABLE_POS_List].i]) return;
-  variable[3] = variable[0];
-  ((abstract_collection___IndexedCollection___append_t)CALL(variable[3],COLOR_abstract_collection___IndexedCollection___append))(variable[3],  variable[1] /*coll*/) /*IndexedCollection::append*/;
-  return_label25: while(false);
-  init_table[VAL2OBJ( self)->vft[INIT_TABLE_POS_List].i] = 1;
-  tracehead = trace.prev;
+void list___List___from(val_t p0, val_t p1, int* init_table){
+  int itpos1 = VAL2OBJ(p0)->vft[INIT_TABLE_POS_List].i;
+  struct {struct stack_frame_t me; val_t MORE_REG[1];} fra;
+  val_t tmp;
+  if (init_table[itpos1]) return;
+  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+  fra.me.file = LOCATE_list;
+  fra.me.line = 178;
+  fra.me.meth = LOCATE_list___List___from;
+  fra.me.has_broke = 0;
+  fra.me.REG_size = 2;
+  fra.me.REG[0] = NIT_NULL;
+  fra.me.REG[1] = NIT_NULL;
+  fra.me.REG[0] = p0;
+  fra.me.REG[1] = p1;
+  /* ./../lib/standard//collection//list.nit:179 */
+  CALL_abstract_collection___Sequence___append(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[1]);
+  stack_frame_head = fra.me.prev;
+  init_table[itpos1] = 1;
   return;
 }
-val_t list___List___get_node(val_t  self, val_t  param0) {
-  struct trace_t trace = {NULL, NULL, 187, LOCATE_list___List___get_node};
-  val_t variable[6];
-  void **closurevariable = NULL;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_list;
-  variable[0] =  self;
-  variable[1] =  param0;
-  variable[4] = variable[0];
-  variable[4] = ATTR_list___List____head(variable[4]) /*List::_head*/;
-  variable[3] = variable[4];
-  variable[4] = TAG_Bool(UNTAG_Int( variable[1] /*i*/)<UNTAG_Int( TAG_Int(0)));
-  if (UNTAG_Bool(variable[4])) { /*if*/
-    variable[2] =  NIT_NULL /*null*/;
-    goto return_label26;
-  }
-  while (true) { /*while*/
-    variable[4] = TAG_Bool(!UNTAG_Bool(TAG_Bool(( variable[3] /*n*/ ==  NIT_NULL /*null*/) || (( variable[3] /*n*/ != NIT_NULL) && ((((kernel___Object_____eqeq_t)CALL( variable[3] /*n*/,COLOR_kernel___Object_____eqeq))==kernel___Object_____eqeq)?(IS_EQUAL_NN( variable[3] /*n*/, NIT_NULL /*null*/)):(UNTAG_Bool(((kernel___Object_____eqeq_t)CALL( variable[3] /*n*/,COLOR_kernel___Object_____eqeq))( variable[3] /*n*/,  NIT_NULL /*null*/) /*Object::==*/)))))));
-    variable[5] = variable[4];
-    if (UNTAG_Bool(variable[5])) { /* and */
-      variable[5] = TAG_Bool(UNTAG_Int( variable[1] /*i*/)>UNTAG_Int( TAG_Int(0)));
-    }
-    variable[4] = variable[5];
-    if (!UNTAG_Bool(variable[4])) break; /* while*/
-    variable[4] = ((list___ListNode___next_t)CALL( variable[3] /*n*/,COLOR_list___ListNode___next))( variable[3] /*n*/) /*ListNode::next*/;
-    variable[3] = variable[4] /*n=*/;
-    variable[1] = TAG_Int(UNTAG_Int(variable[1])-UNTAG_Int( TAG_Int(1))) /*i*/;
-    continue_27: while(0);
-  }
-  break_27: while(0);
-  variable[2] =  variable[3] /*n*/;
-  goto return_label26;
-  return_label26: while(false);
-  tracehead = trace.prev;
-  return variable[2];
-}
-val_t list___List___search_node_after(val_t  self, val_t  param0, val_t  param1) {
-  struct trace_t trace = {NULL, NULL, 201, LOCATE_list___List___search_node_after};
-  val_t variable[7];
-  void **closurevariable = NULL;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_list;
-  variable[0] =  self;
-  variable[1] =  param0;
-  variable[2] =  param1;
-  variable[4] =  variable[2] /*after*/;
-  while (true) { /*while*/
-    variable[5] = TAG_Bool(!UNTAG_Bool(TAG_Bool(( variable[4] /*n*/ ==  NIT_NULL /*null*/) || (( variable[4] /*n*/ != NIT_NULL) && ((((kernel___Object_____eqeq_t)CALL( variable[4] /*n*/,COLOR_kernel___Object_____eqeq))==kernel___Object_____eqeq)?(IS_EQUAL_NN( variable[4] /*n*/, NIT_NULL /*null*/)):(UNTAG_Bool(((kernel___Object_____eqeq_t)CALL( variable[4] /*n*/,COLOR_kernel___Object_____eqeq))( variable[4] /*n*/,  NIT_NULL /*null*/) /*Object::==*/)))))));
-    variable[6] = variable[5];
-    if (UNTAG_Bool(variable[6])) { /* and */
-      variable[6] = ((abstract_collection___Container___item_t)CALL( variable[4] /*n*/,COLOR_abstract_collection___Container___item))( variable[4] /*n*/) /*Container::item*/;
-      variable[6] = TAG_Bool(!UNTAG_Bool(TAG_Bool((variable[6] ==  variable[1] /*e*/) || ((variable[6] != NIT_NULL) && ((((kernel___Object_____eqeq_t)CALL(variable[6],COLOR_kernel___Object_____eqeq))==kernel___Object_____eqeq)?(IS_EQUAL_NN(variable[6], variable[1] /*e*/)):(UNTAG_Bool(((kernel___Object_____eqeq_t)CALL(variable[6],COLOR_kernel___Object_____eqeq))(variable[6],  variable[1] /*e*/) /*Object::==*/)))))));
-    }
-    variable[5] = variable[6];
-    if (!UNTAG_Bool(variable[5])) break; /* while*/
-    variable[5] = ((list___ListNode___next_t)CALL( variable[4] /*n*/,COLOR_list___ListNode___next))( variable[4] /*n*/) /*ListNode::next*/;
-    variable[4] = variable[5] /*n=*/;
-    continue_29: while(0);
-  }
-  break_29: while(0);
-  variable[3] =  variable[4] /*n*/;
-  goto return_label28;
-  return_label28: while(false);
-  tracehead = trace.prev;
-  return variable[3];
-}
-void list___List___remove_node(val_t  self, val_t  param0) {
-  struct trace_t trace = {NULL, NULL, 209, LOCATE_list___List___remove_node};
-  val_t variable[5];
-  void **closurevariable = NULL;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_list;
-  variable[0] =  self;
-  variable[1] =  param0;
-  variable[3] = ((list___ListNode___prev_t)CALL( variable[1] /*node*/,COLOR_list___ListNode___prev))( variable[1] /*node*/) /*ListNode::prev*/;
-  variable[3] = TAG_Bool((variable[3] ==  NIT_NULL /*null*/) || ((variable[3] != NIT_NULL) && ((((kernel___Object_____eqeq_t)CALL(variable[3],COLOR_kernel___Object_____eqeq))==kernel___Object_____eqeq)?(IS_EQUAL_NN(variable[3], NIT_NULL /*null*/)):(UNTAG_Bool(((kernel___Object_____eqeq_t)CALL(variable[3],COLOR_kernel___Object_____eqeq))(variable[3],  NIT_NULL /*null*/) /*Object::==*/)))));
-  if (UNTAG_Bool(variable[3])) { /*if*/
-    variable[3] = variable[0];
-    variable[4] = ((list___ListNode___next_t)CALL( variable[1] /*node*/,COLOR_list___ListNode___next))( variable[1] /*node*/) /*ListNode::next*/;
-    ATTR_list___List____head(variable[3]) /*List::_head*/ = variable[4];
-    variable[3] = ((list___ListNode___next_t)CALL( variable[1] /*node*/,COLOR_list___ListNode___next))( variable[1] /*node*/) /*ListNode::next*/;
-    variable[3] = TAG_Bool((variable[3] ==  NIT_NULL /*null*/) || ((variable[3] != NIT_NULL) && ((((kernel___Object_____eqeq_t)CALL(variable[3],COLOR_kernel___Object_____eqeq))==kernel___Object_____eqeq)?(IS_EQUAL_NN(variable[3], NIT_NULL /*null*/)):(UNTAG_Bool(((kernel___Object_____eqeq_t)CALL(variable[3],COLOR_kernel___Object_____eqeq))(variable[3],  NIT_NULL /*null*/) /*Object::==*/)))));
-    if (UNTAG_Bool(variable[3])) { /*if*/
-      variable[3] = variable[0];
-      ATTR_list___List____tail(variable[3]) /*List::_tail*/ =  NIT_NULL /*null*/;
-    } else { /*if*/
-      variable[3] = ((list___ListNode___next_t)CALL( variable[1] /*node*/,COLOR_list___ListNode___next))( variable[1] /*node*/) /*ListNode::next*/;
-      ((list___ListNode___prev__eq_t)CALL(variable[3],COLOR_list___ListNode___prev__eq))(variable[3],  NIT_NULL /*null*/) /*ListNode::prev=*/;
-    }
-  } else { /*if*/
-    variable[3] = ((list___ListNode___next_t)CALL( variable[1] /*node*/,COLOR_list___ListNode___next))( variable[1] /*node*/) /*ListNode::next*/;
-    variable[3] = TAG_Bool((variable[3] ==  NIT_NULL /*null*/) || ((variable[3] != NIT_NULL) && ((((kernel___Object_____eqeq_t)CALL(variable[3],COLOR_kernel___Object_____eqeq))==kernel___Object_____eqeq)?(IS_EQUAL_NN(variable[3], NIT_NULL /*null*/)):(UNTAG_Bool(((kernel___Object_____eqeq_t)CALL(variable[3],COLOR_kernel___Object_____eqeq))(variable[3],  NIT_NULL /*null*/) /*Object::==*/)))));
-    if (UNTAG_Bool(variable[3])) { /*if*/
-      variable[3] = variable[0];
-      variable[4] = ((list___ListNode___prev_t)CALL( variable[1] /*node*/,COLOR_list___ListNode___prev))( variable[1] /*node*/) /*ListNode::prev*/;
-      ATTR_list___List____tail(variable[3]) /*List::_tail*/ = variable[4];
-      variable[3] = ((list___ListNode___prev_t)CALL( variable[1] /*node*/,COLOR_list___ListNode___prev))( variable[1] /*node*/) /*ListNode::prev*/;
-      ((list___ListNode___next__eq_t)CALL(variable[3],COLOR_list___ListNode___next__eq))(variable[3],  NIT_NULL /*null*/) /*ListNode::next=*/;
-    } else { /*if*/
-      variable[3] = ((list___ListNode___prev_t)CALL( variable[1] /*node*/,COLOR_list___ListNode___prev))( variable[1] /*node*/) /*ListNode::prev*/;
-      variable[4] = ((list___ListNode___next_t)CALL( variable[1] /*node*/,COLOR_list___ListNode___next))( variable[1] /*node*/) /*ListNode::next*/;
-      ((list___ListNode___next__eq_t)CALL(variable[3],COLOR_list___ListNode___next__eq))(variable[3], variable[4]) /*ListNode::next=*/;
-      variable[3] = ((list___ListNode___next_t)CALL( variable[1] /*node*/,COLOR_list___ListNode___next))( variable[1] /*node*/) /*ListNode::next*/;
-      variable[4] = ((list___ListNode___prev_t)CALL( variable[1] /*node*/,COLOR_list___ListNode___prev))( variable[1] /*node*/) /*ListNode::prev*/;
-      ((list___ListNode___prev__eq_t)CALL(variable[3],COLOR_list___ListNode___prev__eq))(variable[3], variable[4]) /*ListNode::prev=*/;
-    }
-  }
-  return_label30: while(false);
-  tracehead = trace.prev;
+val_t list___List___get_node(val_t p0, val_t p1){
+  struct {struct stack_frame_t me; val_t MORE_REG[2];} fra;
+  val_t REGB0;
+  val_t REGB1;
+  val_t REGB2;
+  val_t tmp;
+  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+  fra.me.file = LOCATE_list;
+  fra.me.line = 187;
+  fra.me.meth = LOCATE_list___List___get_node;
+  fra.me.has_broke = 0;
+  fra.me.REG_size = 3;
+  fra.me.REG[0] = NIT_NULL;
+  fra.me.REG[1] = NIT_NULL;
+  fra.me.REG[2] = NIT_NULL;
+  fra.me.REG[0] = p0;
+  REGB0 = p1;
+  /* ./../lib/standard//collection//list.nit:190 */
+  fra.me.REG[0] = ATTR_list___List____head(fra.me.REG[0]);
+  /* ./../lib/standard//collection//list.nit:191 */
+  REGB1 = TAG_Int(0);
+  /* ./../lib/standard//kernel.nit:212 */
+  REGB1 = TAG_Bool(UNTAG_Int(REGB0)<UNTAG_Int(REGB1));
+  /* ./../lib/standard//collection//list.nit:191 */
+  if (UNTAG_Bool(REGB1)) {
+    /* ./../lib/standard//collection//list.nit:192 */
+    fra.me.REG[1] = NIT_NULL;
+    goto label1;
+  }
+  /* ./../lib/standard//collection//list.nit:194 */
+  while(1) {
+    REGB1 = TAG_Bool(fra.me.REG[0]==NIT_NULL);
+    if (UNTAG_Bool(REGB1)) {
+    } else {
+      REGB2 = TAG_Bool(fra.me.REG[0]==NIT_NULL);
+      if (UNTAG_Bool(REGB2)) {
+        REGB2 = TAG_Bool(false);
+        REGB1 = REGB2;
+      } else {
+        REGB2 = CALL_kernel___Object_____eqeq(fra.me.REG[0])(fra.me.REG[0], NIT_NULL);
+        REGB1 = REGB2;
+      }
+    }
+    REGB1 = TAG_Bool(!UNTAG_Bool(REGB1));
+    if (UNTAG_Bool(REGB1)) {
+      REGB1 = TAG_Int(0);
+      /* ./../lib/standard//kernel.nit:214 */
+      REGB1 = TAG_Bool(UNTAG_Int(REGB0)>UNTAG_Int(REGB1));
+    } else {
+      /* ./../lib/standard//collection//list.nit:194 */
+      REGB2 = TAG_Bool(false);
+      REGB1 = REGB2;
+    }
+    if (UNTAG_Bool(REGB1)) {
+      /* ./../lib/standard//collection//list.nit:195 */
+      REGB1 = TAG_Bool(fra.me.REG[0]==NIT_NULL);
+      if (UNTAG_Bool(REGB1)) {
+        nit_abort("Reciever is null", NULL, LOCATE_list, 195);
+      }
+      fra.me.REG[2] = CALL_list___ListNode___next(fra.me.REG[0])(fra.me.REG[0]);
+      fra.me.REG[0] = fra.me.REG[2];
+      /* ./../lib/standard//collection//list.nit:196 */
+      REGB1 = TAG_Int(1);
+      /* ./../lib/standard//kernel.nit:217 */
+      REGB1 = TAG_Int(UNTAG_Int(REGB0)-UNTAG_Int(REGB1));
+      /* ./../lib/standard//collection//list.nit:196 */
+      REGB0 = REGB1;
+    } else {
+      /* ./../lib/standard//collection//list.nit:194 */
+      goto label2;
+    }
+  }
+  label2: while(0);
+  /* ./../lib/standard//collection//list.nit:198 */
+  fra.me.REG[1] = fra.me.REG[0];
+  goto label1;
+  label1: while(0);
+  stack_frame_head = fra.me.prev;
+  return fra.me.REG[1];
+}
+val_t list___List___search_node_after(val_t p0, val_t p1, val_t p2){
+  struct {struct stack_frame_t me; val_t MORE_REG[2];} fra;
+  val_t REGB0;
+  val_t REGB1;
+  val_t tmp;
+  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+  fra.me.file = LOCATE_list;
+  fra.me.line = 201;
+  fra.me.meth = LOCATE_list___List___search_node_after;
+  fra.me.has_broke = 0;
+  fra.me.REG_size = 3;
+  fra.me.REG[0] = NIT_NULL;
+  fra.me.REG[1] = NIT_NULL;
+  fra.me.REG[2] = NIT_NULL;
+  fra.me.REG[0] = p0;
+  fra.me.REG[1] = p1;
+  fra.me.REG[2] = p2;
+  /* ./../lib/standard//collection//list.nit:205 */
+  while(1) {
+    REGB0 = TAG_Bool(fra.me.REG[2]==NIT_NULL);
+    if (UNTAG_Bool(REGB0)) {
+    } else {
+      REGB1 = TAG_Bool(fra.me.REG[2]==NIT_NULL);
+      if (UNTAG_Bool(REGB1)) {
+        REGB1 = TAG_Bool(false);
+        REGB0 = REGB1;
+      } else {
+        REGB1 = CALL_kernel___Object_____eqeq(fra.me.REG[2])(fra.me.REG[2], NIT_NULL);
+        REGB0 = REGB1;
+      }
+    }
+    REGB0 = TAG_Bool(!UNTAG_Bool(REGB0));
+    if (UNTAG_Bool(REGB0)) {
+      REGB0 = TAG_Bool(fra.me.REG[2]==NIT_NULL);
+      if (UNTAG_Bool(REGB0)) {
+        nit_abort("Reciever is null", NULL, LOCATE_list, 205);
+      }
+      fra.me.REG[0] = CALL_abstract_collection___Container___item(fra.me.REG[2])(fra.me.REG[2]);
+      REGB0 = TAG_Bool(IS_EQUAL_NN(fra.me.REG[0],fra.me.REG[1]));
+      if (UNTAG_Bool(REGB0)) {
+      } else {
+        REGB1 = TAG_Bool(fra.me.REG[0]==NIT_NULL);
+        if (UNTAG_Bool(REGB1)) {
+          REGB1 = TAG_Bool(false);
+          REGB0 = REGB1;
+        } else {
+          REGB1 = CALL_kernel___Object_____eqeq(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[1]);
+          REGB0 = REGB1;
+        }
+      }
+      REGB0 = TAG_Bool(!UNTAG_Bool(REGB0));
+    } else {
+      REGB1 = TAG_Bool(false);
+      REGB0 = REGB1;
+    }
+    if (UNTAG_Bool(REGB0)) {
+      REGB0 = TAG_Bool(fra.me.REG[2]==NIT_NULL);
+      if (UNTAG_Bool(REGB0)) {
+        nit_abort("Reciever is null", NULL, LOCATE_list, 205);
+      }
+      fra.me.REG[0] = CALL_list___ListNode___next(fra.me.REG[2])(fra.me.REG[2]);
+      fra.me.REG[2] = fra.me.REG[0];
+    } else {
+      goto label1;
+    }
+  }
+  label1: while(0);
+  /* ./../lib/standard//collection//list.nit:206 */
+  goto label2;
+  label2: while(0);
+  stack_frame_head = fra.me.prev;
+  return fra.me.REG[2];
+}
+void list___List___remove_node(val_t p0, val_t p1){
+  struct {struct stack_frame_t me; val_t MORE_REG[2];} fra;
+  val_t REGB0;
+  val_t REGB1;
+  val_t tmp;
+  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+  fra.me.file = LOCATE_list;
+  fra.me.line = 209;
+  fra.me.meth = LOCATE_list___List___remove_node;
+  fra.me.has_broke = 0;
+  fra.me.REG_size = 3;
+  fra.me.REG[0] = NIT_NULL;
+  fra.me.REG[1] = NIT_NULL;
+  fra.me.REG[2] = NIT_NULL;
+  fra.me.REG[0] = p0;
+  fra.me.REG[1] = p1;
+  /* ./../lib/standard//collection//list.nit:212 */
+  fra.me.REG[2] = CALL_list___ListNode___prev(fra.me.REG[1])(fra.me.REG[1]);
+  REGB0 = TAG_Bool(fra.me.REG[2]==NIT_NULL);
+  if (UNTAG_Bool(REGB0)) {
+  } else {
+    REGB1 = TAG_Bool(fra.me.REG[2]==NIT_NULL);
+    if (UNTAG_Bool(REGB1)) {
+      REGB1 = TAG_Bool(false);
+      REGB0 = REGB1;
+    } else {
+      REGB1 = CALL_kernel___Object_____eqeq(fra.me.REG[2])(fra.me.REG[2], NIT_NULL);
+      REGB0 = REGB1;
+    }
+  }
+  if (UNTAG_Bool(REGB0)) {
+    /* ./../lib/standard//collection//list.nit:213 */
+    fra.me.REG[2] = CALL_list___ListNode___next(fra.me.REG[1])(fra.me.REG[1]);
+    ATTR_list___List____head(fra.me.REG[0]) = fra.me.REG[2];
+    /* ./../lib/standard//collection//list.nit:214 */
+    fra.me.REG[2] = CALL_list___ListNode___next(fra.me.REG[1])(fra.me.REG[1]);
+    REGB0 = TAG_Bool(fra.me.REG[2]==NIT_NULL);
+    if (UNTAG_Bool(REGB0)) {
+    } else {
+      REGB1 = TAG_Bool(fra.me.REG[2]==NIT_NULL);
+      if (UNTAG_Bool(REGB1)) {
+        REGB1 = TAG_Bool(false);
+        REGB0 = REGB1;
+      } else {
+        REGB1 = CALL_kernel___Object_____eqeq(fra.me.REG[2])(fra.me.REG[2], NIT_NULL);
+        REGB0 = REGB1;
+      }
+    }
+    if (UNTAG_Bool(REGB0)) {
+      /* ./../lib/standard//collection//list.nit:215 */
+      ATTR_list___List____tail(fra.me.REG[0]) = NIT_NULL;
+    } else {
+      /* ./../lib/standard//collection//list.nit:217 */
+      fra.me.REG[2] = CALL_list___ListNode___next(fra.me.REG[1])(fra.me.REG[1]);
+      REGB0 = TAG_Bool(fra.me.REG[2]==NIT_NULL);
+      if (UNTAG_Bool(REGB0)) {
+        nit_abort("Reciever is null", NULL, LOCATE_list, 217);
+      }
+      CALL_list___ListNode___prev__eq(fra.me.REG[2])(fra.me.REG[2], NIT_NULL);
+    }
+  } else {
+    /* ./../lib/standard//collection//list.nit:219 */
+    fra.me.REG[2] = CALL_list___ListNode___next(fra.me.REG[1])(fra.me.REG[1]);
+    REGB0 = TAG_Bool(fra.me.REG[2]==NIT_NULL);
+    if (UNTAG_Bool(REGB0)) {
+    } else {
+      REGB1 = TAG_Bool(fra.me.REG[2]==NIT_NULL);
+      if (UNTAG_Bool(REGB1)) {
+        REGB1 = TAG_Bool(false);
+        REGB0 = REGB1;
+      } else {
+        REGB1 = CALL_kernel___Object_____eqeq(fra.me.REG[2])(fra.me.REG[2], NIT_NULL);
+        REGB0 = REGB1;
+      }
+    }
+    if (UNTAG_Bool(REGB0)) {
+      /* ./../lib/standard//collection//list.nit:220 */
+      fra.me.REG[2] = CALL_list___ListNode___prev(fra.me.REG[1])(fra.me.REG[1]);
+      ATTR_list___List____tail(fra.me.REG[0]) = fra.me.REG[2];
+      /* ./../lib/standard//collection//list.nit:221 */
+      fra.me.REG[2] = CALL_list___ListNode___prev(fra.me.REG[1])(fra.me.REG[1]);
+      REGB0 = TAG_Bool(fra.me.REG[2]==NIT_NULL);
+      if (UNTAG_Bool(REGB0)) {
+        nit_abort("Reciever is null", NULL, LOCATE_list, 221);
+      }
+      CALL_list___ListNode___next__eq(fra.me.REG[2])(fra.me.REG[2], NIT_NULL);
+    } else {
+      /* ./../lib/standard//collection//list.nit:223 */
+      fra.me.REG[2] = CALL_list___ListNode___prev(fra.me.REG[1])(fra.me.REG[1]);
+      fra.me.REG[0] = CALL_list___ListNode___next(fra.me.REG[1])(fra.me.REG[1]);
+      REGB0 = TAG_Bool(fra.me.REG[2]==NIT_NULL);
+      if (UNTAG_Bool(REGB0)) {
+        nit_abort("Reciever is null", NULL, LOCATE_list, 223);
+      }
+      CALL_list___ListNode___next__eq(fra.me.REG[2])(fra.me.REG[2], fra.me.REG[0]);
+      /* ./../lib/standard//collection//list.nit:224 */
+      fra.me.REG[0] = CALL_list___ListNode___next(fra.me.REG[1])(fra.me.REG[1]);
+      fra.me.REG[1] = CALL_list___ListNode___prev(fra.me.REG[1])(fra.me.REG[1]);
+      REGB0 = TAG_Bool(fra.me.REG[0]==NIT_NULL);
+      if (UNTAG_Bool(REGB0)) {
+        nit_abort("Reciever is null", NULL, LOCATE_list, 224);
+      }
+      CALL_list___ListNode___prev__eq(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[1]);
+    }
+  }
+  stack_frame_head = fra.me.prev;
+  return;
+}
+void list___List___insert_before(val_t p0, val_t p1, val_t p2){
+  struct {struct stack_frame_t me; val_t MORE_REG[3];} fra;
+  val_t REGB0;
+  val_t REGB1;
+  val_t tmp;
+  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+  fra.me.file = LOCATE_list;
+  fra.me.line = 228;
+  fra.me.meth = LOCATE_list___List___insert_before;
+  fra.me.has_broke = 0;
+  fra.me.REG_size = 4;
+  fra.me.REG[0] = NIT_NULL;
+  fra.me.REG[1] = NIT_NULL;
+  fra.me.REG[2] = NIT_NULL;
+  fra.me.REG[3] = NIT_NULL;
+  fra.me.REG[0] = p0;
+  fra.me.REG[1] = p1;
+  fra.me.REG[2] = p2;
+  /* ./../lib/standard//collection//list.nit:230 */
+  fra.me.REG[1] = NEW_ListNode_list___ListNode___init(fra.me.REG[1]);
+  /* ./../lib/standard//collection//list.nit:231 */
+  fra.me.REG[3] = CALL_list___ListNode___prev(fra.me.REG[2])(fra.me.REG[2]);
+  /* ./../lib/standard//collection//list.nit:232 */
+  REGB0 = TAG_Bool(fra.me.REG[3]==NIT_NULL);
+  if (UNTAG_Bool(REGB0)) {
+  } else {
+    REGB1 = TAG_Bool(fra.me.REG[3]==NIT_NULL);
+    if (UNTAG_Bool(REGB1)) {
+      REGB1 = TAG_Bool(false);
+      REGB0 = REGB1;
+    } else {
+      REGB1 = CALL_kernel___Object_____eqeq(fra.me.REG[3])(fra.me.REG[3], NIT_NULL);
+      REGB0 = REGB1;
+    }
+  }
+  if (UNTAG_Bool(REGB0)) {
+    /* ./../lib/standard//collection//list.nit:233 */
+    ATTR_list___List____head(fra.me.REG[0]) = fra.me.REG[1];
+  } else {
+    /* ./../lib/standard//collection//list.nit:235 */
+    REGB0 = TAG_Bool(fra.me.REG[3]==NIT_NULL);
+    if (UNTAG_Bool(REGB0)) {
+      nit_abort("Reciever is null", NULL, LOCATE_list, 235);
+    }
+    CALL_list___ListNode___next__eq(fra.me.REG[3])(fra.me.REG[3], fra.me.REG[1]);
+  }
+  /* ./../lib/standard//collection//list.nit:237 */
+  CALL_list___ListNode___prev__eq(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[3]);
+  /* ./../lib/standard//collection//list.nit:238 */
+  CALL_list___ListNode___next__eq(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[2]);
+  /* ./../lib/standard//collection//list.nit:239 */
+  CALL_list___ListNode___prev__eq(fra.me.REG[2])(fra.me.REG[2], fra.me.REG[1]);
+  stack_frame_head = fra.me.prev;
+  return;
+}
+val_t list___ListIterator___item(val_t p0){
+  struct {struct stack_frame_t me;} fra;
+  val_t REGB0;
+  val_t tmp;
+  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+  fra.me.file = LOCATE_list;
+  fra.me.line = 246;
+  fra.me.meth = LOCATE_list___ListIterator___item;
+  fra.me.has_broke = 0;
+  fra.me.REG_size = 1;
+  fra.me.REG[0] = NIT_NULL;
+  fra.me.REG[0] = p0;
+  /* ./../lib/standard//collection//list.nit:246 */
+  fra.me.REG[0] = ATTR_list___ListIterator____node(fra.me.REG[0]);
+  REGB0 = TAG_Bool(fra.me.REG[0]==NIT_NULL);
+  if (UNTAG_Bool(REGB0)) {
+    nit_abort("Reciever is null", NULL, LOCATE_list, 246);
+  }
+  fra.me.REG[0] = CALL_abstract_collection___Container___item(fra.me.REG[0])(fra.me.REG[0]);
+  goto label1;
+  label1: while(0);
+  stack_frame_head = fra.me.prev;
+  return fra.me.REG[0];
+}
+void list___ListIterator___item__eq(val_t p0, val_t p1){
+  struct {struct stack_frame_t me; val_t MORE_REG[1];} fra;
+  val_t REGB0;
+  val_t tmp;
+  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+  fra.me.file = LOCATE_list;
+  fra.me.line = 248;
+  fra.me.meth = LOCATE_list___ListIterator___item__eq;
+  fra.me.has_broke = 0;
+  fra.me.REG_size = 2;
+  fra.me.REG[0] = NIT_NULL;
+  fra.me.REG[1] = NIT_NULL;
+  fra.me.REG[0] = p0;
+  fra.me.REG[1] = p1;
+  /* ./../lib/standard//collection//list.nit:248 */
+  fra.me.REG[0] = ATTR_list___ListIterator____node(fra.me.REG[0]);
+  REGB0 = TAG_Bool(fra.me.REG[0]==NIT_NULL);
+  if (UNTAG_Bool(REGB0)) {
+    nit_abort("Reciever is null", NULL, LOCATE_list, 248);
+  }
+  CALL_abstract_collection___Container___item__eq(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[1]);
+  stack_frame_head = fra.me.prev;
   return;
 }
-void list___List___insert_before(val_t  self, val_t  param0, val_t  param1) {
-  struct trace_t trace = {NULL, NULL, 228, LOCATE_list___List___insert_before};
-  val_t variable[7];
-  void **closurevariable = NULL;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_list;
-  variable[0] =  self;
-  variable[1] =  param0;
-  variable[2] =  param1;
-  variable[5] = NEW_ListNode_list___ListNode___init( variable[1] /*element*/); /*new ListNode[E]*/
-  variable[4] = variable[5];
-  variable[6] = ((list___ListNode___prev_t)CALL( variable[2] /*node*/,COLOR_list___ListNode___prev))( variable[2] /*node*/) /*ListNode::prev*/;
-  variable[5] = variable[6];
-  variable[6] = TAG_Bool(( variable[5] /*prev*/ ==  NIT_NULL /*null*/) || (( variable[5] /*prev*/ != NIT_NULL) && ((((kernel___Object_____eqeq_t)CALL( variable[5] /*prev*/,COLOR_kernel___Object_____eqeq))==kernel___Object_____eqeq)?(IS_EQUAL_NN( variable[5] /*prev*/, NIT_NULL /*null*/)):(UNTAG_Bool(((kernel___Object_____eqeq_t)CALL( variable[5] /*prev*/,COLOR_kernel___Object_____eqeq))( variable[5] /*prev*/,  NIT_NULL /*null*/) /*Object::==*/)))));
-  if (UNTAG_Bool(variable[6])) { /*if*/
-    variable[6] = variable[0];
-    ATTR_list___List____head(variable[6]) /*List::_head*/ =  variable[4] /*nnode*/;
-  } else { /*if*/
-    ((list___ListNode___next__eq_t)CALL( variable[5] /*prev*/,COLOR_list___ListNode___next__eq))( variable[5] /*prev*/,  variable[4] /*nnode*/) /*ListNode::next=*/;
-  }
-  ((list___ListNode___prev__eq_t)CALL( variable[4] /*nnode*/,COLOR_list___ListNode___prev__eq))( variable[4] /*nnode*/,  variable[5] /*prev*/) /*ListNode::prev=*/;
-  ((list___ListNode___next__eq_t)CALL( variable[4] /*nnode*/,COLOR_list___ListNode___next__eq))( variable[4] /*nnode*/,  variable[2] /*node*/) /*ListNode::next=*/;
-  ((list___ListNode___prev__eq_t)CALL( variable[2] /*node*/,COLOR_list___ListNode___prev__eq))( variable[2] /*node*/,  variable[4] /*nnode*/) /*ListNode::prev=*/;
-  return_label31: while(false);
-  tracehead = trace.prev;
+val_t list___ListIterator___is_ok(val_t p0){
+  struct {struct stack_frame_t me;} fra;
+  val_t REGB0;
+  val_t REGB1;
+  val_t tmp;
+  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+  fra.me.file = LOCATE_list;
+  fra.me.line = 250;
+  fra.me.meth = LOCATE_list___ListIterator___is_ok;
+  fra.me.has_broke = 0;
+  fra.me.REG_size = 1;
+  fra.me.REG[0] = NIT_NULL;
+  fra.me.REG[0] = p0;
+  /* ./../lib/standard//collection//list.nit:250 */
+  fra.me.REG[0] = ATTR_list___ListIterator____node(fra.me.REG[0]);
+  REGB0 = TAG_Bool(fra.me.REG[0]==NIT_NULL);
+  if (UNTAG_Bool(REGB0)) {
+  } else {
+    REGB1 = TAG_Bool(fra.me.REG[0]==NIT_NULL);
+    if (UNTAG_Bool(REGB1)) {
+      REGB1 = TAG_Bool(false);
+      REGB0 = REGB1;
+    } else {
+      REGB1 = CALL_kernel___Object_____eqeq(fra.me.REG[0])(fra.me.REG[0], NIT_NULL);
+      REGB0 = REGB1;
+    }
+  }
+  REGB0 = TAG_Bool(!UNTAG_Bool(REGB0));
+  goto label1;
+  label1: while(0);
+  stack_frame_head = fra.me.prev;
+  return REGB0;
+}
+void list___ListIterator___next(val_t p0){
+  struct {struct stack_frame_t me; val_t MORE_REG[1];} fra;
+  val_t REGB0;
+  val_t REGB1;
+  val_t tmp;
+  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+  fra.me.file = LOCATE_list;
+  fra.me.line = 252;
+  fra.me.meth = LOCATE_list___ListIterator___next;
+  fra.me.has_broke = 0;
+  fra.me.REG_size = 2;
+  fra.me.REG[0] = NIT_NULL;
+  fra.me.REG[1] = NIT_NULL;
+  fra.me.REG[0] = p0;
+  /* ./../lib/standard//collection//list.nit:254 */
+  fra.me.REG[1] = ATTR_list___ListIterator____node(fra.me.REG[0]);
+  REGB0 = TAG_Bool(fra.me.REG[1]==NIT_NULL);
+  if (UNTAG_Bool(REGB0)) {
+    nit_abort("Reciever is null", NULL, LOCATE_list, 254);
+  }
+  fra.me.REG[1] = CALL_list___ListNode___next(fra.me.REG[1])(fra.me.REG[1]);
+  ATTR_list___ListIterator____node(fra.me.REG[0]) = fra.me.REG[1];
+  /* ./../lib/standard//collection//list.nit:255 */
+  REGB0 = ATTR_list___ListIterator____index(fra.me.REG[0]);
+  REGB1 = TAG_Int(1);
+  /* ./../lib/standard//kernel.nit:215 */
+  REGB1 = TAG_Int(UNTAG_Int(REGB0)+UNTAG_Int(REGB1));
+  /* ./../lib/standard//collection//list.nit:255 */
+  ATTR_list___ListIterator____index(fra.me.REG[0]) = REGB1;
+  stack_frame_head = fra.me.prev;
   return;
 }
-val_t list___ListIterator___item(val_t  self) {
-  struct trace_t trace = {NULL, NULL, 246, LOCATE_list___ListIterator___item};
-  val_t variable[3];
-  void **closurevariable = NULL;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_list;
-  variable[0] =  self;
-  variable[2] = variable[0];
-  variable[2] = ATTR_list___ListIterator____node(variable[2]) /*ListIterator::_node*/;
-  variable[2] = ((abstract_collection___Container___item_t)CALL(variable[2],COLOR_abstract_collection___Container___item))(variable[2]) /*Container::item*/;
-  variable[1] = variable[2];
-  goto return_label32;
-  return_label32: while(false);
-  tracehead = trace.prev;
-  return variable[1];
-}
-void list___ListIterator___next(val_t  self) {
-  struct trace_t trace = {NULL, NULL, 252, LOCATE_list___ListIterator___next};
-  val_t variable[4];
-  void **closurevariable = NULL;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_list;
-  variable[0] =  self;
-  variable[2] = variable[0];
-  variable[3] = variable[0];
-  variable[3] = ATTR_list___ListIterator____node(variable[3]) /*ListIterator::_node*/;
-  variable[3] = ((list___ListNode___next_t)CALL(variable[3],COLOR_list___ListNode___next))(variable[3]) /*ListNode::next*/;
-  ATTR_list___ListIterator____node(variable[2]) /*ListIterator::_node*/ = variable[3];
-  variable[2] = variable[0];
-  ATTR_list___ListIterator____index(variable[2]) /*ListIterator::_index*/ = TAG_Int(UNTAG_Int(ATTR_list___ListIterator____index(variable[2]) /*ListIterator::_index*/)+UNTAG_Int( TAG_Int(1)));
-  return_label33: while(false);
-  tracehead = trace.prev;
+void list___ListIterator___init(val_t p0, val_t p1, int* init_table){
+  int itpos2 = VAL2OBJ(p0)->vft[INIT_TABLE_POS_ListIterator].i;
+  struct {struct stack_frame_t me; val_t MORE_REG[1];} fra;
+  val_t REGB0;
+  val_t tmp;
+  if (init_table[itpos2]) return;
+  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+  fra.me.file = LOCATE_list;
+  fra.me.line = 258;
+  fra.me.meth = LOCATE_list___ListIterator___init;
+  fra.me.has_broke = 0;
+  fra.me.REG_size = 2;
+  fra.me.REG[0] = NIT_NULL;
+  fra.me.REG[1] = NIT_NULL;
+  fra.me.REG[0] = p0;
+  fra.me.REG[1] = p1;
+  /* ./../lib/standard//collection//list.nit:261 */
+  ATTR_list___ListIterator____list(fra.me.REG[0]) = fra.me.REG[1];
+  /* ./../lib/standard//collection//list.nit:262 */
+  fra.me.REG[1] = ATTR_list___List____head(fra.me.REG[1]);
+  ATTR_list___ListIterator____node(fra.me.REG[0]) = fra.me.REG[1];
+  /* ./../lib/standard//collection//list.nit:263 */
+  REGB0 = TAG_Int(0);
+  ATTR_list___ListIterator____index(fra.me.REG[0]) = REGB0;
+  stack_frame_head = fra.me.prev;
+  init_table[itpos2] = 1;
   return;
 }
-val_t list___ListIterator___is_ok(val_t  self) {
-  struct trace_t trace = {NULL, NULL, 250, LOCATE_list___ListIterator___is_ok};
-  val_t variable[3];
-  void **closurevariable = NULL;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_list;
-  variable[0] =  self;
-  variable[2] = variable[0];
-  variable[2] = ATTR_list___ListIterator____node(variable[2]) /*ListIterator::_node*/;
-  variable[2] = TAG_Bool((variable[2] ==  NIT_NULL /*null*/) || ((variable[2] != NIT_NULL) && ((((kernel___Object_____eqeq_t)CALL(variable[2],COLOR_kernel___Object_____eqeq))==kernel___Object_____eqeq)?(IS_EQUAL_NN(variable[2], NIT_NULL /*null*/)):(UNTAG_Bool(((kernel___Object_____eqeq_t)CALL(variable[2],COLOR_kernel___Object_____eqeq))(variable[2],  NIT_NULL /*null*/) /*Object::==*/)))));
-  variable[1] =  TAG_Bool(!UNTAG_Bool(variable[2]));
-  goto return_label34;
-  return_label34: while(false);
-  tracehead = trace.prev;
-  return variable[1];
-}
-void list___ListIterator___item__eq(val_t  self, val_t  param0) {
-  struct trace_t trace = {NULL, NULL, 248, LOCATE_list___ListIterator___item__eq};
-  val_t variable[4];
-  void **closurevariable = NULL;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_list;
-  variable[0] =  self;
-  variable[1] =  param0;
-  variable[3] = variable[0];
-  variable[3] = ATTR_list___ListIterator____node(variable[3]) /*ListIterator::_node*/;
-  ((abstract_collection___Container___item__eq_t)CALL(variable[3],COLOR_abstract_collection___Container___item__eq))(variable[3],  variable[1] /*e*/) /*Container::item=*/;
-  return_label35: while(false);
-  tracehead = trace.prev;
+val_t list___ListIterator___index(val_t p0){
+  struct {struct stack_frame_t me;} fra;
+  val_t REGB0;
+  val_t tmp;
+  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+  fra.me.file = LOCATE_list;
+  fra.me.line = 272;
+  fra.me.meth = LOCATE_list___ListIterator___index;
+  fra.me.has_broke = 0;
+  fra.me.REG_size = 1;
+  fra.me.REG[0] = NIT_NULL;
+  fra.me.REG[0] = p0;
+  /* ./../lib/standard//collection//list.nit:272 */
+  REGB0 = TAG_Bool(ATTR_list___ListIterator____index(fra.me.REG[0])!=NIT_NULL);
+  if (UNTAG_Bool(REGB0)) {
+  } else {
+    nit_abort("Uninitialized attribute %s", "_index", LOCATE_list, 272);
+  }
+  REGB0 = ATTR_list___ListIterator____index(fra.me.REG[0]);
+  stack_frame_head = fra.me.prev;
+  return REGB0;
+}
+void list___ListIterator___delete(val_t p0){
+  struct {struct stack_frame_t me; val_t MORE_REG[1];} fra;
+  val_t REGB0;
+  val_t tmp;
+  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+  fra.me.file = LOCATE_list;
+  fra.me.line = 275;
+  fra.me.meth = LOCATE_list___ListIterator___delete;
+  fra.me.has_broke = 0;
+  fra.me.REG_size = 2;
+  fra.me.REG[0] = NIT_NULL;
+  fra.me.REG[1] = NIT_NULL;
+  fra.me.REG[0] = p0;
+  /* ./../lib/standard//collection//list.nit:278 */
+  REGB0 = TAG_Bool(ATTR_list___ListIterator____list(fra.me.REG[0])!=NIT_NULL);
+  if (UNTAG_Bool(REGB0)) {
+  } else {
+    nit_abort("Uninitialized attribute %s", "_list", LOCATE_list, 278);
+  }
+  fra.me.REG[1] = ATTR_list___ListIterator____list(fra.me.REG[0]);
+  fra.me.REG[0] = ATTR_list___ListIterator____node(fra.me.REG[0]);
+  REGB0 = TAG_Bool(fra.me.REG[0]!=NIT_NULL);
+  if (UNTAG_Bool(REGB0)) {
+  } else {
+    nit_abort("Cast failed", NULL, LOCATE_list, 278);
+  }
+  CALL_list___List___remove_node(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[0]);
+  stack_frame_head = fra.me.prev;
   return;
 }
-val_t list___ListIterator___index(val_t  self) {
-  struct trace_t trace = {NULL, NULL, 268, LOCATE_list___ListIterator___index};
-  val_t *variable = NULL;
-  void **closurevariable = NULL;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_list;
-  tracehead = trace.prev;
-  return ATTR_list___ListIterator____index( self) /*ListIterator::_index*/;
-}
-void list___ListIterator___init(val_t  self, val_t  param0, int* init_table) {
-  struct trace_t trace = {NULL, NULL, 258, LOCATE_list___ListIterator___init};
-  val_t variable[4];
-  void **closurevariable = NULL;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_list;
-  variable[0] =  self;
-  variable[1] =  param0;
-  if (init_table[VAL2OBJ( self)->vft[INIT_TABLE_POS_ListIterator].i]) return;
-  variable[3] = variable[0];
-  ATTR_list___ListIterator____node(variable[3]) /*ListIterator::_node*/ =  variable[1] /*node*/;
-  variable[3] = variable[0];
-  ATTR_list___ListIterator____index(variable[3]) /*ListIterator::_index*/ =  TAG_Int(0);
-  return_label36: while(false);
-  init_table[VAL2OBJ( self)->vft[INIT_TABLE_POS_ListIterator].i] = 1;
-  tracehead = trace.prev;
+void list___ListIterator___insert_before(val_t p0, val_t p1){
+  struct {struct stack_frame_t me; val_t MORE_REG[2];} fra;
+  val_t REGB0;
+  val_t tmp;
+  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+  fra.me.file = LOCATE_list;
+  fra.me.line = 281;
+  fra.me.meth = LOCATE_list___ListIterator___insert_before;
+  fra.me.has_broke = 0;
+  fra.me.REG_size = 3;
+  fra.me.REG[0] = NIT_NULL;
+  fra.me.REG[1] = NIT_NULL;
+  fra.me.REG[2] = NIT_NULL;
+  fra.me.REG[0] = p0;
+  fra.me.REG[1] = p1;
+  /* ./../lib/standard//collection//list.nit:284 */
+  REGB0 = TAG_Bool(ATTR_list___ListIterator____list(fra.me.REG[0])!=NIT_NULL);
+  if (UNTAG_Bool(REGB0)) {
+  } else {
+    nit_abort("Uninitialized attribute %s", "_list", LOCATE_list, 284);
+  }
+  fra.me.REG[2] = ATTR_list___ListIterator____list(fra.me.REG[0]);
+  fra.me.REG[0] = ATTR_list___ListIterator____node(fra.me.REG[0]);
+  REGB0 = TAG_Bool(fra.me.REG[0]!=NIT_NULL);
+  if (UNTAG_Bool(REGB0)) {
+  } else {
+    nit_abort("Cast failed", NULL, LOCATE_list, 284);
+  }
+  CALL_list___List___insert_before(fra.me.REG[2])(fra.me.REG[2], fra.me.REG[1], fra.me.REG[0]);
+  stack_frame_head = fra.me.prev;
   return;
 }
-void list___ListNode___init(val_t  self, val_t  param0, int* init_table) {
-  struct trace_t trace = {NULL, NULL, 275, LOCATE_list___ListNode___init};
-  val_t variable[4];
-  void **closurevariable = NULL;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_list;
-  variable[0] =  self;
-  variable[1] =  param0;
-  if (init_table[VAL2OBJ( self)->vft[INIT_TABLE_POS_ListNode].i]) return;
-  ((abstract_collection___Container___init_t)CALL(variable[0],COLOR_abstract_collection___Container___init))(variable[0], variable[1], init_table /*YYY*/) /*Container::init*/;
-  variable[3] = variable[0];
-  ((abstract_collection___Container___item__eq_t)CALL(variable[3],COLOR_abstract_collection___Container___item__eq))(variable[3],  variable[1] /*i*/) /*Container::item=*/;
-  return_label37: while(false);
-  init_table[VAL2OBJ( self)->vft[INIT_TABLE_POS_ListNode].i] = 1;
-  tracehead = trace.prev;
+void list___ListNode___init(val_t p0, val_t p1, int* init_table){
+  int itpos3 = VAL2OBJ(p0)->vft[INIT_TABLE_POS_ListNode].i;
+  struct {struct stack_frame_t me; val_t MORE_REG[3];} fra;
+  val_t tmp;
+  if (init_table[itpos3]) return;
+  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+  fra.me.file = LOCATE_list;
+  fra.me.line = 291;
+  fra.me.meth = LOCATE_list___ListNode___init;
+  fra.me.has_broke = 0;
+  fra.me.REG_size = 4;
+  fra.me.REG[0] = NIT_NULL;
+  fra.me.REG[1] = NIT_NULL;
+  fra.me.REG[2] = NIT_NULL;
+  fra.me.REG[3] = NIT_NULL;
+  fra.me.REG[0] = p0;
+  fra.me.REG[1] = p1;
+  /* ./../lib/standard//collection//list.nit:291 */
+  fra.me.REG[2] = fra.me.REG[0];
+  fra.me.REG[3] = fra.me.REG[1];
+  CALL_abstract_collection___Container___init(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[1], init_table);
+  /* ./../lib/standard//collection//list.nit:293 */
+  CALL_abstract_collection___Container___item__eq(fra.me.REG[2])(fra.me.REG[2], fra.me.REG[3]);
+  stack_frame_head = fra.me.prev;
+  init_table[itpos3] = 1;
   return;
 }
-val_t list___ListNode___next(val_t  self) {
-  struct trace_t trace = {NULL, NULL, 280, LOCATE_list___ListNode___next};
-  val_t *variable = NULL;
-  void **closurevariable = NULL;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_list;
-  tracehead = trace.prev;
-  return ATTR_list___ListNode____next( self) /*ListNode::_next*/;
-}
-void list___ListNode___next__eq(val_t  self, val_t  param0) {
-  struct trace_t trace = {NULL, NULL, 280, LOCATE_list___ListNode___next__eq};
-  val_t *variable = NULL;
-  void **closurevariable = NULL;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_list;
-  ATTR_list___ListNode____next( self) /*ListNode::_next*/ =  param0;
-  tracehead = trace.prev;
+val_t list___ListNode___next(val_t p0){
+  struct {struct stack_frame_t me;} fra;
+  val_t tmp;
+  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+  fra.me.file = LOCATE_list;
+  fra.me.line = 296;
+  fra.me.meth = LOCATE_list___ListNode___next;
+  fra.me.has_broke = 0;
+  fra.me.REG_size = 1;
+  fra.me.REG[0] = NIT_NULL;
+  fra.me.REG[0] = p0;
+  /* ./../lib/standard//collection//list.nit:296 */
+  fra.me.REG[0] = ATTR_list___ListNode____next(fra.me.REG[0]);
+  stack_frame_head = fra.me.prev;
+  return fra.me.REG[0];
+}
+void list___ListNode___next__eq(val_t p0, val_t p1){
+  struct {struct stack_frame_t me; val_t MORE_REG[1];} fra;
+  val_t tmp;
+  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+  fra.me.file = LOCATE_list;
+  fra.me.line = 296;
+  fra.me.meth = LOCATE_list___ListNode___next__eq;
+  fra.me.has_broke = 0;
+  fra.me.REG_size = 2;
+  fra.me.REG[0] = NIT_NULL;
+  fra.me.REG[1] = NIT_NULL;
+  fra.me.REG[0] = p0;
+  fra.me.REG[1] = p1;
+  /* ./../lib/standard//collection//list.nit:296 */
+  ATTR_list___ListNode____next(fra.me.REG[0]) = fra.me.REG[1];
+  stack_frame_head = fra.me.prev;
   return;
 }
-val_t list___ListNode___prev(val_t  self) {
-  struct trace_t trace = {NULL, NULL, 283, LOCATE_list___ListNode___prev};
-  val_t *variable = NULL;
-  void **closurevariable = NULL;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_list;
-  tracehead = trace.prev;
-  return ATTR_list___ListNode____prev( self) /*ListNode::_prev*/;
-}
-void list___ListNode___prev__eq(val_t  self, val_t  param0) {
-  struct trace_t trace = {NULL, NULL, 283, LOCATE_list___ListNode___prev__eq};
-  val_t *variable = NULL;
-  void **closurevariable = NULL;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_list;
-  ATTR_list___ListNode____prev( self) /*ListNode::_prev*/ =  param0;
-  tracehead = trace.prev;
+val_t list___ListNode___prev(val_t p0){
+  struct {struct stack_frame_t me;} fra;
+  val_t tmp;
+  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+  fra.me.file = LOCATE_list;
+  fra.me.line = 299;
+  fra.me.meth = LOCATE_list___ListNode___prev;
+  fra.me.has_broke = 0;
+  fra.me.REG_size = 1;
+  fra.me.REG[0] = NIT_NULL;
+  fra.me.REG[0] = p0;
+  /* ./../lib/standard//collection//list.nit:299 */
+  fra.me.REG[0] = ATTR_list___ListNode____prev(fra.me.REG[0]);
+  stack_frame_head = fra.me.prev;
+  return fra.me.REG[0];
+}
+void list___ListNode___prev__eq(val_t p0, val_t p1){
+  struct {struct stack_frame_t me; val_t MORE_REG[1];} fra;
+  val_t tmp;
+  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+  fra.me.file = LOCATE_list;
+  fra.me.line = 299;
+  fra.me.meth = LOCATE_list___ListNode___prev__eq;
+  fra.me.has_broke = 0;
+  fra.me.REG_size = 2;
+  fra.me.REG[0] = NIT_NULL;
+  fra.me.REG[1] = NIT_NULL;
+  fra.me.REG[0] = p0;
+  fra.me.REG[1] = p1;
+  /* ./../lib/standard//collection//list.nit:299 */
+  ATTR_list___ListNode____prev(fra.me.REG[0]) = fra.me.REG[1];
+  stack_frame_head = fra.me.prev;
   return;
 }