X-Git-Url: http://nitlanguage.org

diff --git a/c_src/virtualtype._sep.c b/c_src/virtualtype._sep.c
index f2eba38..3738169 100644
--- a/c_src/virtualtype._sep.c
+++ b/c_src/virtualtype._sep.c
@@ -1,246 +1,372 @@
 /* This C file is generated by NIT to compile module virtualtype. */
 #include "virtualtype._sep.h"
-val_t virtualtype___MMGlobalProperty___is_virtual_type(val_t  self) {
-  struct trace_t trace = {NULL, NULL, 24, LOCATE_virtualtype___MMGlobalProperty___is_virtual_type};
-  val_t variable[3];
-  void **closurevariable = NULL;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_virtualtype;
-  variable[0] =  self;
-  variable[2] = variable[0];
-  variable[2] = ((abstractmetamodel___MMGlobalProperty___intro_t)CALL(variable[2],COLOR_abstractmetamodel___MMGlobalProperty___intro))(variable[2]) /*MMGlobalProperty::intro*/;
-  variable[2] = TAG_Bool((variable[2]==NIT_NULL) || VAL_ISA(variable[2], COLOR_MMTypeProperty, ID_MMTypeProperty)) /*cast MMTypeProperty*/;
-  variable[1] = variable[2];
-  goto return_label0;
-  return_label0: while(false);
-  tracehead = trace.prev;
-  return variable[1];
+val_t virtualtype___MMGlobalProperty___is_virtual_type(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_virtualtype;
+  fra.me.line = 24;
+  fra.me.meth = LOCATE_virtualtype___MMGlobalProperty___is_virtual_type;
+  fra.me.has_broke = 0;
+  fra.me.REG_size = 1;
+  fra.me.REG[0] = NIT_NULL;
+  fra.me.REG[0] = p0;
+  /* ./metamodel//virtualtype.nit:25 */
+  fra.me.REG[0] = CALL_abstractmetamodel___MMGlobalProperty___intro(fra.me.REG[0])(fra.me.REG[0]);
+  REGB0 = TAG_Bool(VAL_ISA(fra.me.REG[0], COLOR_MMTypeProperty, ID_MMTypeProperty)) /*cast MMTypeProperty*/;
+  goto label1;
+  label1: while(0);
+  stack_frame_head = fra.me.prev;
+  return REGB0;
 }
-val_t virtualtype___MMTypeProperty___stype_for(val_t  self, val_t  param0) {
-  struct trace_t trace = {NULL, NULL, 31, LOCATE_virtualtype___MMTypeProperty___stype_for};
-  val_t variable[6];
-  void **closurevariable = NULL;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_virtualtype;
-  variable[0] =  self;
-  variable[1] =  param0;
-  variable[4] = ((static_type___MMType___local_class_t)CALL( variable[1] /*recv*/,COLOR_static_type___MMType___local_class))( variable[1] /*recv*/) /*MMType::local_class*/;
-  variable[5] = variable[0];
-  variable[5] = ((abstractmetamodel___MMLocalProperty___global_t)CALL(variable[5],COLOR_abstractmetamodel___MMLocalProperty___global))(variable[5]) /*MMLocalProperty::global*/;
-  variable[4] = ((inheritance___MMLocalClass_____bra_t)CALL(variable[4],COLOR_abstractmetamodel___MMLocalClass_____bra))(variable[4], variable[5]) /*MMLocalClass::[]*/;
-  variable[3] = variable[4];
-  variable[4] = TAG_Bool(( variable[3] /*prop*/==NIT_NULL) || VAL_ISA( variable[3] /*prop*/, COLOR_MMTypeProperty, ID_MMTypeProperty)) /*cast MMTypeProperty*/;
-  if (!UNTAG_Bool(variable[4])) { fprintf(stderr, "Assert%s failed", ""); fprintf(stderr, " in %s (%s:%d)\n", LOCATE_virtualtype___MMTypeProperty___stype_for, LOCATE_virtualtype, 35); nit_exit(1);}
-  variable[4] = ((virtualtype___MMTypeProperty___real_stype_for_t)CALL( variable[3] /*prop*/,COLOR_virtualtype___MMTypeProperty___real_stype_for))( variable[3] /*prop*/,  variable[1] /*recv*/) /*MMTypeProperty::real_stype_for*/;
-  variable[2] = variable[4];
-  goto return_label1;
-  return_label1: while(false);
-  tracehead = trace.prev;
-  return variable[2];
+val_t virtualtype___MMTypeProperty___stype_for(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_virtualtype;
+  fra.me.line = 31;
+  fra.me.meth = LOCATE_virtualtype___MMTypeProperty___stype_for;
+  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;
+  /* ./metamodel//virtualtype.nit:34 */
+  fra.me.REG[2] = CALL_static_type___MMType___local_class(fra.me.REG[1])(fra.me.REG[1]);
+  fra.me.REG[0] = CALL_abstractmetamodel___MMLocalProperty___global(fra.me.REG[0])(fra.me.REG[0]);
+  fra.me.REG[0] = CALL_abstractmetamodel___MMLocalClass_____bra(fra.me.REG[2])(fra.me.REG[2], fra.me.REG[0]);
+  /* ./metamodel//virtualtype.nit:35 */
+  REGB0 = TAG_Bool(VAL_ISA(fra.me.REG[0], COLOR_MMTypeProperty, ID_MMTypeProperty)) /*cast MMTypeProperty*/;
+  if (UNTAG_Bool(REGB0)) {
+  } else {
+    nit_abort("Assert failed", NULL, LOCATE_virtualtype, 35);
+  }
+  /* ./metamodel//virtualtype.nit:36 */
+  fra.me.REG[1] = CALL_virtualtype___MMTypeProperty___real_stype_for(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[1]);
+  goto label1;
+  label1: while(0);
+  stack_frame_head = fra.me.prev;
+  return fra.me.REG[1];
 }
-val_t virtualtype___MMTypeProperty___real_stype_for(val_t  self, val_t  param0) {
-  struct trace_t trace = {NULL, NULL, 42, LOCATE_virtualtype___MMTypeProperty___real_stype_for};
-  val_t variable[6];
-  void **closurevariable = NULL;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_virtualtype;
-  variable[0] =  self;
-  variable[1] =  param0;
-  variable[3] = variable[0];
-  variable[3] = ((static_type___MMLocalProperty___signature_t)CALL(variable[3],COLOR_static_type___MMLocalProperty___signature))(variable[3]) /*MMLocalProperty::signature*/;
-  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[2] =  NIT_NULL /*null*/;
-    goto return_label2;
+val_t virtualtype___MMTypeProperty___real_stype_for(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_virtualtype;
+  fra.me.line = 42;
+  fra.me.meth = LOCATE_virtualtype___MMTypeProperty___real_stype_for;
+  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;
+  /* ./metamodel//virtualtype.nit:45 */
+  fra.me.REG[2] = CALL_static_type___MMLocalProperty___signature(fra.me.REG[0])(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)) {
+    fra.me.REG[2] = NIT_NULL;
+    goto label1;
+  }
+  /* ./metamodel//virtualtype.nit:47 */
+  REGB0 = TAG_Bool(ATTR_virtualtype___MMTypeProperty____stypes_cache(fra.me.REG[0])!=NIT_NULL);
+  if (UNTAG_Bool(REGB0)) {
+  } else {
+    nit_abort("Uninitialized attribute %s", "_stypes_cache", LOCATE_virtualtype, 47);
   }
-  variable[3] = variable[0];
-  variable[3] = ATTR_virtualtype___MMTypeProperty____stypes_cache(variable[3]) /*MMTypeProperty::_stypes_cache*/;
-  variable[3] = ((abstract_collection___CoupleMap___has_key_t)CALL(variable[3],COLOR_abstract_collection___Map___has_key))(variable[3],  variable[1] /*recv*/) /*CoupleMap::has_key*/;
-  if (UNTAG_Bool(variable[3])) { /*if*/
-    variable[3] = variable[0];
-    variable[3] = ATTR_virtualtype___MMTypeProperty____stypes_cache(variable[3]) /*MMTypeProperty::_stypes_cache*/;
-    variable[3] = ((abstract_collection___CoupleMap_____bra_t)CALL(variable[3],COLOR_abstract_collection___Map_____bra))(variable[3],  variable[1] /*recv*/) /*CoupleMap::[]*/;
-    variable[2] = variable[3];
-    goto return_label2;
+  fra.me.REG[3] = ATTR_virtualtype___MMTypeProperty____stypes_cache(fra.me.REG[0]);
+  REGB0 = CALL_abstract_collection___MapRead___has_key(fra.me.REG[3])(fra.me.REG[3], fra.me.REG[1]);
+  if (UNTAG_Bool(REGB0)) {
+    REGB0 = TAG_Bool(ATTR_virtualtype___MMTypeProperty____stypes_cache(fra.me.REG[0])!=NIT_NULL);
+    if (UNTAG_Bool(REGB0)) {
+    } else {
+      nit_abort("Uninitialized attribute %s", "_stypes_cache", LOCATE_virtualtype, 47);
+    }
+    fra.me.REG[3] = ATTR_virtualtype___MMTypeProperty____stypes_cache(fra.me.REG[0]);
+    fra.me.REG[3] = CALL_abstract_collection___MapRead_____bra(fra.me.REG[3])(fra.me.REG[3], fra.me.REG[1]);
+    fra.me.REG[2] = fra.me.REG[3];
+    goto label1;
   }
-  variable[4] = variable[0];
-  variable[5] = NEW_MMVirtualType_virtualtype___MMVirtualType___init(variable[4],  variable[1] /*recv*/); /*new MMVirtualType*/
-  variable[4] = variable[5];
-  variable[3] = variable[4];
-  variable[4] = variable[0];
-  variable[4] = ATTR_virtualtype___MMTypeProperty____stypes_cache(variable[4]) /*MMTypeProperty::_stypes_cache*/;
-  ((hash___HashMap_____braeq_t)CALL(variable[4],COLOR_abstract_collection___Map_____braeq))(variable[4],  variable[1] /*recv*/,  variable[3] /*res*/) /*HashMap::[]=*/;
-  variable[2] =  variable[3] /*res*/;
-  goto return_label2;
-  return_label2: while(false);
-  tracehead = trace.prev;
-  return variable[2];
+  /* ./metamodel//virtualtype.nit:49 */
+  fra.me.REG[3] = NEW_MMVirtualType_virtualtype___MMVirtualType___init(fra.me.REG[0], fra.me.REG[1]);
+  /* ./metamodel//virtualtype.nit:50 */
+  REGB0 = TAG_Bool(ATTR_virtualtype___MMTypeProperty____stypes_cache(fra.me.REG[0])!=NIT_NULL);
+  if (UNTAG_Bool(REGB0)) {
+  } else {
+    nit_abort("Uninitialized attribute %s", "_stypes_cache", LOCATE_virtualtype, 50);
+  }
+  fra.me.REG[0] = ATTR_virtualtype___MMTypeProperty____stypes_cache(fra.me.REG[0]);
+  CALL_abstract_collection___Map_____braeq(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[1], fra.me.REG[3]);
+  /* ./metamodel//virtualtype.nit:52 */
+  fra.me.REG[2] = fra.me.REG[3];
+  goto label1;
+  label1: while(0);
+  stack_frame_head = fra.me.prev;
+  return fra.me.REG[2];
 }
-val_t virtualtype___MMVirtualType___module(val_t  self) {
-  struct trace_t trace = {NULL, NULL, 71, LOCATE_virtualtype___MMVirtualType___module};
-  val_t variable[3];
-  void **closurevariable = NULL;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_virtualtype;
-  variable[0] =  self;
-  variable[2] = variable[0];
-  variable[2] = ATTR_virtualtype___MMVirtualType____recv(variable[2]) /*MMVirtualType::_recv*/;
-  variable[2] = ((static_type___MMType___module_t)CALL(variable[2],COLOR_static_type___MMType___module))(variable[2]) /*MMType::module*/;
-  variable[1] = variable[2];
-  goto return_label3;
-  return_label3: while(false);
-  tracehead = trace.prev;
-  return variable[1];
+val_t virtualtype___MMVirtualType___property(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_virtualtype;
+  fra.me.line = 58;
+  fra.me.meth = LOCATE_virtualtype___MMVirtualType___property;
+  fra.me.has_broke = 0;
+  fra.me.REG_size = 1;
+  fra.me.REG[0] = NIT_NULL;
+  fra.me.REG[0] = p0;
+  /* ./metamodel//virtualtype.nit:58 */
+  REGB0 = TAG_Bool(ATTR_virtualtype___MMVirtualType____property(fra.me.REG[0])!=NIT_NULL);
+  if (UNTAG_Bool(REGB0)) {
+  } else {
+    nit_abort("Uninitialized attribute %s", "_property", LOCATE_virtualtype, 58);
+  }
+  fra.me.REG[0] = ATTR_virtualtype___MMVirtualType____property(fra.me.REG[0]);
+  stack_frame_head = fra.me.prev;
+  return fra.me.REG[0];
 }
-val_t virtualtype___MMVirtualType___for_module(val_t  self, val_t  param0) {
-  struct trace_t trace = {NULL, NULL, 73, LOCATE_virtualtype___MMVirtualType___for_module};
-  val_t variable[5];
-  void **closurevariable = NULL;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_virtualtype;
-  variable[0] =  self;
-  variable[1] =  param0;
-  variable[3] = variable[0];
-  variable[3] = ((virtualtype___MMVirtualType___module_t)CALL(variable[3],COLOR_static_type___MMType___module))(variable[3]) /*MMVirtualType::module*/;
-  variable[3] = TAG_Bool(( variable[1] /*mod*/ == variable[3]) || (( variable[1] /*mod*/ != NIT_NULL) && ((((kernel___Object_____eqeq_t)CALL( variable[1] /*mod*/,COLOR_kernel___Object_____eqeq))==kernel___Object_____eqeq)?(IS_EQUAL_NN( variable[1] /*mod*/,variable[3])):(UNTAG_Bool(((kernel___Object_____eqeq_t)CALL( variable[1] /*mod*/,COLOR_kernel___Object_____eqeq))( variable[1] /*mod*/, variable[3]) /*Object::==*/)))));
-  if (UNTAG_Bool(variable[3])) { /*if*/
-    variable[3] = variable[0];
-    variable[2] = variable[3];
-    goto return_label4;
+val_t virtualtype___MMVirtualType___recv(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_virtualtype;
+  fra.me.line = 61;
+  fra.me.meth = LOCATE_virtualtype___MMVirtualType___recv;
+  fra.me.has_broke = 0;
+  fra.me.REG_size = 1;
+  fra.me.REG[0] = NIT_NULL;
+  fra.me.REG[0] = p0;
+  /* ./metamodel//virtualtype.nit:61 */
+  REGB0 = TAG_Bool(ATTR_virtualtype___MMVirtualType____recv(fra.me.REG[0])!=NIT_NULL);
+  if (UNTAG_Bool(REGB0)) {
+  } else {
+    nit_abort("Uninitialized attribute %s", "_recv", LOCATE_virtualtype, 61);
   }
-  variable[3] = variable[0];
-  variable[4] = variable[0];
-  variable[4] = ((virtualtype___MMVirtualType___recv_t)CALL(variable[4],COLOR_virtualtype___MMVirtualType___recv))(variable[4]) /*MMVirtualType::recv*/;
-  variable[4] = ((static_type___MMType___for_module_t)CALL(variable[4],COLOR_static_type___MMType___for_module))(variable[4],  variable[1] /*mod*/) /*MMType::for_module*/;
-  variable[3] = ((virtualtype___MMVirtualType___adapt_to_t)CALL(variable[3],COLOR_static_type___MMType___adapt_to))(variable[3], variable[4]) /*MMVirtualType::adapt_to*/;
-  variable[2] = variable[3];
-  goto return_label4;
-  return_label4: while(false);
-  tracehead = trace.prev;
-  return variable[2];
+  fra.me.REG[0] = ATTR_virtualtype___MMVirtualType____recv(fra.me.REG[0]);
+  stack_frame_head = fra.me.prev;
+  return fra.me.REG[0];
 }
-val_t virtualtype___MMVirtualType___adapt_to(val_t  self, val_t  param0) {
-  struct trace_t trace = {NULL, NULL, 84, LOCATE_virtualtype___MMVirtualType___adapt_to};
-  val_t variable[4];
-  void **closurevariable = NULL;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_virtualtype;
-  variable[0] =  self;
-  variable[1] =  param0;
-  variable[3] = variable[0];
-  variable[3] = ((virtualtype___MMVirtualType___property_t)CALL(variable[3],COLOR_virtualtype___MMVirtualType___property))(variable[3]) /*MMVirtualType::property*/;
-  variable[3] = ((virtualtype___MMTypeProperty___stype_for_t)CALL(variable[3],COLOR_virtualtype___MMTypeProperty___stype_for))(variable[3],  variable[1] /*recv*/) /*MMTypeProperty::stype_for*/;
-  variable[2] = variable[3];
-  goto return_label5;
-  return_label5: while(false);
-  tracehead = trace.prev;
-  return variable[2];
+void virtualtype___MMVirtualType___init(val_t p0, val_t p1, val_t p2, int* init_table){
+  int itpos0 = VAL2OBJ(p0)->vft[INIT_TABLE_POS_MMVirtualType].i;
+  struct {struct stack_frame_t me; val_t MORE_REG[5];} fra;
+  val_t tmp;
+  if (init_table[itpos0]) return;
+  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+  fra.me.file = LOCATE_virtualtype;
+  fra.me.line = 64;
+  fra.me.meth = LOCATE_virtualtype___MMVirtualType___init;
+  fra.me.has_broke = 0;
+  fra.me.REG_size = 6;
+  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[4] = NIT_NULL;
+  fra.me.REG[5] = NIT_NULL;
+  fra.me.REG[0] = p0;
+  fra.me.REG[1] = p1;
+  fra.me.REG[2] = p2;
+  /* ./metamodel//virtualtype.nit:64 */
+  fra.me.REG[3] = fra.me.REG[0];
+  /* ./metamodel//virtualtype.nit:66 */
+  fra.me.REG[4] = CALL_abstractmetamodel___MMLocalProperty___name(fra.me.REG[1])(fra.me.REG[1]);
+  fra.me.REG[5] = CALL_static_type___MMLocalProperty___signature_for(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[2]);
+  fra.me.REG[5] = CALL_static_type___MMSignature___return_type(fra.me.REG[5])(fra.me.REG[5]);
+  CALL_type_formal___MMTypeFormal___init(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[4], fra.me.REG[5], init_table);
+  /* ./metamodel//virtualtype.nit:67 */
+  ATTR_virtualtype___MMVirtualType____property(fra.me.REG[3]) = fra.me.REG[1];
+  /* ./metamodel//virtualtype.nit:68 */
+  ATTR_virtualtype___MMVirtualType____recv(fra.me.REG[3]) = fra.me.REG[2];
+  stack_frame_head = fra.me.prev;
+  init_table[itpos0] = 1;
+  return;
 }
-val_t virtualtype___MMVirtualType___not_for_self(val_t  self) {
-  struct trace_t trace = {NULL, NULL, 79, LOCATE_virtualtype___MMVirtualType___not_for_self};
-  val_t variable[3];
-  void **closurevariable = NULL;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_virtualtype;
-  variable[0] =  self;
-  variable[2] = variable[0];
-  variable[2] = ((type_formal___MMTypeFormal___bound_t)CALL(variable[2],COLOR_type_formal___MMTypeFormal___bound))(variable[2]) /*MMTypeFormal::bound*/;
-  variable[2] = ((static_type___MMType___not_for_self_t)CALL(variable[2],COLOR_static_type___MMType___not_for_self))(variable[2]) /*MMType::not_for_self*/;
-  variable[1] = variable[2];
-  goto return_label6;
-  return_label6: while(false);
-  tracehead = trace.prev;
-  return variable[1];
+val_t virtualtype___MMVirtualType___mmmodule(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_virtualtype;
+  fra.me.line = 71;
+  fra.me.meth = LOCATE_virtualtype___MMVirtualType___mmmodule;
+  fra.me.has_broke = 0;
+  fra.me.REG_size = 1;
+  fra.me.REG[0] = NIT_NULL;
+  fra.me.REG[0] = p0;
+  /* ./metamodel//virtualtype.nit:71 */
+  REGB0 = TAG_Bool(ATTR_virtualtype___MMVirtualType____recv(fra.me.REG[0])!=NIT_NULL);
+  if (UNTAG_Bool(REGB0)) {
+  } else {
+    nit_abort("Uninitialized attribute %s", "_recv", LOCATE_virtualtype, 71);
+  }
+  fra.me.REG[0] = ATTR_virtualtype___MMVirtualType____recv(fra.me.REG[0]);
+  fra.me.REG[0] = CALL_static_type___MMType___mmmodule(fra.me.REG[0])(fra.me.REG[0]);
+  goto label1;
+  label1: while(0);
+  stack_frame_head = fra.me.prev;
+  return fra.me.REG[0];
 }
-val_t virtualtype___MMVirtualType___property(val_t  self) {
-  struct trace_t trace = {NULL, NULL, 58, LOCATE_virtualtype___MMVirtualType___property};
-  val_t *variable = NULL;
-  void **closurevariable = NULL;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_virtualtype;
-  tracehead = trace.prev;
-  return ATTR_virtualtype___MMVirtualType____property( self) /*MMVirtualType::_property*/;
+val_t virtualtype___MMVirtualType___for_module(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_virtualtype;
+  fra.me.line = 73;
+  fra.me.meth = LOCATE_virtualtype___MMVirtualType___for_module;
+  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;
+  /* ./metamodel//virtualtype.nit:75 */
+  fra.me.REG[2] = CALL_static_type___MMType___mmmodule(fra.me.REG[0])(fra.me.REG[0]);
+  REGB0 = TAG_Bool(IS_EQUAL_OO(fra.me.REG[1],fra.me.REG[2]));
+  if (UNTAG_Bool(REGB0)) {
+  } else {
+    REGB1 = CALL_kernel___Object_____eqeq(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[2]);
+    REGB0 = REGB1;
+  }
+  if (UNTAG_Bool(REGB0)) {
+    fra.me.REG[2] = fra.me.REG[0];
+    goto label1;
+  }
+  /* ./metamodel//virtualtype.nit:76 */
+  fra.me.REG[3] = CALL_virtualtype___MMVirtualType___recv(fra.me.REG[0])(fra.me.REG[0]);
+  fra.me.REG[1] = CALL_static_type___MMType___for_module(fra.me.REG[3])(fra.me.REG[3], fra.me.REG[1]);
+  fra.me.REG[1] = CALL_static_type___MMType___adapt_to(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[1]);
+  fra.me.REG[2] = fra.me.REG[1];
+  goto label1;
+  label1: while(0);
+  stack_frame_head = fra.me.prev;
+  return fra.me.REG[2];
 }
-val_t virtualtype___MMVirtualType___recv(val_t  self) {
-  struct trace_t trace = {NULL, NULL, 61, LOCATE_virtualtype___MMVirtualType___recv};
-  val_t *variable = NULL;
-  void **closurevariable = NULL;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_virtualtype;
-  tracehead = trace.prev;
-  return ATTR_virtualtype___MMVirtualType____recv( self) /*MMVirtualType::_recv*/;
+val_t virtualtype___MMVirtualType___not_for_self(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_virtualtype;
+  fra.me.line = 79;
+  fra.me.meth = LOCATE_virtualtype___MMVirtualType___not_for_self;
+  fra.me.has_broke = 0;
+  fra.me.REG_size = 1;
+  fra.me.REG[0] = NIT_NULL;
+  fra.me.REG[0] = p0;
+  /* ./metamodel//virtualtype.nit:81 */
+  fra.me.REG[0] = CALL_type_formal___MMTypeFormal___bound(fra.me.REG[0])(fra.me.REG[0]);
+  fra.me.REG[0] = CALL_static_type___MMType___not_for_self(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 virtualtype___MMVirtualType___init(val_t  self, val_t  param0, val_t  param1, int* init_table) {
-  struct trace_t trace = {NULL, NULL, 64, LOCATE_virtualtype___MMVirtualType___init};
-  val_t variable[6];
-  void **closurevariable = NULL;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_virtualtype;
-  variable[0] =  self;
-  variable[1] =  param0;
-  variable[2] =  param1;
-  if (init_table[VAL2OBJ( self)->vft[INIT_TABLE_POS_MMVirtualType].i]) return;
-  variable[4] = ((abstractmetamodel___MMLocalProperty___name_t)CALL( variable[1] /*p*/,COLOR_abstractmetamodel___MMLocalProperty___name))( variable[1] /*p*/) /*MMLocalProperty::name*/;
-  variable[5] = ((static_type___MMLocalProperty___signature_for_t)CALL( variable[1] /*p*/,COLOR_static_type___MMLocalProperty___signature_for))( variable[1] /*p*/,  variable[2] /*recv*/) /*MMLocalProperty::signature_for*/;
-  variable[5] = ((static_type___MMSignature___return_type_t)CALL(variable[5],COLOR_static_type___MMSignature___return_type))(variable[5]) /*MMSignature::return_type*/;
-  ((type_formal___MMTypeFormal___init_t)CALL(variable[0],COLOR_type_formal___MMTypeFormal___init))(variable[0], variable[4], variable[5], init_table /*YYY*/) /*MMTypeFormal::init*/;
-  variable[4] = variable[0];
-  ATTR_virtualtype___MMVirtualType____property(variable[4]) /*MMVirtualType::_property*/ =  variable[1] /*p*/;
-  variable[4] = variable[0];
-  ATTR_virtualtype___MMVirtualType____recv(variable[4]) /*MMVirtualType::_recv*/ =  variable[2] /*recv*/;
-  return_label7: while(false);
-  init_table[VAL2OBJ( self)->vft[INIT_TABLE_POS_MMVirtualType].i] = 1;
-  tracehead = trace.prev;
-  return;
+val_t virtualtype___MMVirtualType___adapt_to(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_virtualtype;
+  fra.me.line = 84;
+  fra.me.meth = LOCATE_virtualtype___MMVirtualType___adapt_to;
+  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;
+  /* ./metamodel//virtualtype.nit:86 */
+  fra.me.REG[0] = CALL_virtualtype___MMVirtualType___property(fra.me.REG[0])(fra.me.REG[0]);
+  fra.me.REG[1] = CALL_virtualtype___MMTypeProperty___stype_for(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[1]);
+  REGB0 = TAG_Bool(fra.me.REG[1]!=NIT_NULL);
+  if (UNTAG_Bool(REGB0)) {
+  } else {
+    nit_abort("Cast failed", NULL, LOCATE_virtualtype, 86);
+  }
+  goto label1;
+  label1: while(0);
+  stack_frame_head = fra.me.prev;
+  return fra.me.REG[1];
 }
-val_t virtualtype___MMLocalClass___virtual_type(val_t  self, val_t  param0) {
-  struct trace_t trace = {NULL, NULL, 91, LOCATE_virtualtype___MMLocalClass___virtual_type};
-  val_t variable[5];
-  void **closurevariable = NULL;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_virtualtype;
-  variable[0] =  self;
-  variable[1] =  param0;
-  variable[4] = variable[0];
-  variable[4] = ((abstractmetamodel___MMLocalClass___get_property_by_name_t)CALL(variable[4],COLOR_abstractmetamodel___MMLocalClass___get_property_by_name))(variable[4],  variable[1] /*s*/) /*MMLocalClass::get_property_by_name*/;
-  variable[3] = variable[4];
-  variable[4] = ((virtualtype___MMGlobalProperty___is_virtual_type_t)CALL( variable[3] /*prop*/,COLOR_virtualtype___MMGlobalProperty___is_virtual_type))( variable[3] /*prop*/) /*MMGlobalProperty::is_virtual_type*/;
-  if (UNTAG_Bool(variable[4])) { /*if*/
-    variable[2] =  variable[3] /*prop*/;
-    goto return_label8;
+val_t virtualtype___MMLocalClass___virtual_type(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_virtualtype;
+  fra.me.line = 91;
+  fra.me.meth = LOCATE_virtualtype___MMLocalClass___virtual_type;
+  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;
+  /* ./metamodel//virtualtype.nit:93 */
+  fra.me.REG[1] = CALL_abstractmetamodel___MMLocalClass___get_property_by_name(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[1]);
+  /* ./metamodel//virtualtype.nit:94 */
+  REGB0 = CALL_virtualtype___MMGlobalProperty___is_virtual_type(fra.me.REG[1])(fra.me.REG[1]);
+  if (UNTAG_Bool(REGB0)) {
+    /* ./metamodel//virtualtype.nit:95 */
+    goto label1;
   }
-  variable[2] =  NIT_NULL /*null*/;
-  goto return_label8;
-  return_label8: while(false);
-  tracehead = trace.prev;
-  return variable[2];
+  /* ./metamodel//virtualtype.nit:97 */
+  nit_abort("Aborted", NULL, LOCATE_virtualtype, 97);
+  label1: while(0);
+  stack_frame_head = fra.me.prev;
+  return fra.me.REG[1];
 }
-val_t virtualtype___MMLocalClass___select_virtual_type(val_t  self, val_t  param0) {
-  struct trace_t trace = {NULL, NULL, 100, LOCATE_virtualtype___MMLocalClass___select_virtual_type};
-  val_t variable[6];
-  void **closurevariable = NULL;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_virtualtype;
-  variable[0] =  self;
-  variable[1] =  param0;
-  variable[3] = TAG_Bool(!UNTAG_Bool(TAG_Bool(( variable[1] /*name*/ ==  NIT_NULL /*null*/) || (( variable[1] /*name*/ != NIT_NULL) && ((((kernel___Object_____eqeq_t)CALL( variable[1] /*name*/,COLOR_kernel___Object_____eqeq))==kernel___Object_____eqeq)?(IS_EQUAL_NN( variable[1] /*name*/, NIT_NULL /*null*/)):(UNTAG_Bool(((kernel___Object_____eqeq_t)CALL( variable[1] /*name*/,COLOR_kernel___Object_____eqeq))( variable[1] /*name*/,  NIT_NULL /*null*/) /*Object::==*/)))))));
-  if (!UNTAG_Bool(variable[3])) { fprintf(stderr, "Assert%s failed", ""); fprintf(stderr, " in %s (%s:%d)\n", LOCATE_virtualtype___MMLocalClass___select_virtual_type, LOCATE_virtualtype, 103); nit_exit(1);}
-  variable[4] = variable[0];
-  variable[4] = ((virtualtype___MMLocalClass___virtual_type_t)CALL(variable[4],COLOR_virtualtype___MMLocalClass___virtual_type))(variable[4],  variable[1] /*name*/) /*MMLocalClass::virtual_type*/;
-  variable[3] = variable[4];
-  variable[4] = TAG_Bool(( variable[3] /*gp*/ ==  NIT_NULL /*null*/) || (( variable[3] /*gp*/ != NIT_NULL) && ((((kernel___Object_____eqeq_t)CALL( variable[3] /*gp*/,COLOR_kernel___Object_____eqeq))==kernel___Object_____eqeq)?(IS_EQUAL_NN( variable[3] /*gp*/, NIT_NULL /*null*/)):(UNTAG_Bool(((kernel___Object_____eqeq_t)CALL( variable[3] /*gp*/,COLOR_kernel___Object_____eqeq))( variable[3] /*gp*/,  NIT_NULL /*null*/) /*Object::==*/)))));
-  if (UNTAG_Bool(variable[4])) { /*if*/
-    variable[2] =  NIT_NULL /*null*/;
-    goto return_label9;
+val_t virtualtype___MMLocalClass___select_virtual_type(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_virtualtype;
+  fra.me.line = 100;
+  fra.me.meth = LOCATE_virtualtype___MMLocalClass___select_virtual_type;
+  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;
+  /* ./metamodel//virtualtype.nit:103 */
+  fra.me.REG[1] = CALL_virtualtype___MMLocalClass___virtual_type(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[1]);
+  /* ./metamodel//virtualtype.nit:104 */
+  fra.me.REG[1] = CALL_abstractmetamodel___MMLocalClass_____bra(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[1]);
+  /* ./metamodel//virtualtype.nit:105 */
+  REGB0 = TAG_Bool(VAL_ISA(fra.me.REG[1], COLOR_MMTypeProperty, ID_MMTypeProperty)) /*cast MMTypeProperty*/;
+  if (UNTAG_Bool(REGB0)) {
+  } else {
+    nit_abort("Assert failed", NULL, LOCATE_virtualtype, 105);
   }
-  variable[5] = variable[0];
-  variable[5] = ((inheritance___MMLocalClass_____bra_t)CALL(variable[5],COLOR_abstractmetamodel___MMLocalClass_____bra))(variable[5],  variable[3] /*gp*/) /*MMLocalClass::[]*/;
-  variable[4] = variable[5];
-  variable[5] = TAG_Bool(( variable[4] /*res*/==NIT_NULL) || VAL_ISA( variable[4] /*res*/, COLOR_MMTypeProperty, ID_MMTypeProperty)) /*cast MMTypeProperty*/;
-  if (!UNTAG_Bool(variable[5])) { fprintf(stderr, "Assert%s failed", ""); fprintf(stderr, " in %s (%s:%d)\n", LOCATE_virtualtype___MMLocalClass___select_virtual_type, LOCATE_virtualtype, 107); nit_exit(1);}
-  variable[2] =  variable[4] /*res*/;
-  goto return_label9;
-  return_label9: while(false);
-  tracehead = trace.prev;
-  return variable[2];
+  /* ./metamodel//virtualtype.nit:106 */
+  goto label1;
+  label1: while(0);
+  stack_frame_head = fra.me.prev;
+  return fra.me.REG[1];
 }