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

diff --git a/c_src/poset.sep.1.c b/c_src/poset.sep.1.c
index 7e43363..597559e 100644
--- a/c_src/poset.sep.1.c
+++ b/c_src/poset.sep.1.c
@@ -1,5 +1,5 @@
 #include "poset.sep.0.h"
-/* method poset#POSet#iterator for (self: POSet[nullable Object]): Iterator[nullable Object] */
+/* method poset$POSet$iterator for (self: POSet[nullable Object]): Iterator[nullable Object] */
 val* poset___poset__POSet___core__abstract_collection__Collection__iterator(val* self) {
 val* var /* : Iterator[nullable Object] */;
 val* var1 /* : HashMap[nullable Object, POSetElement[nullable Object]] */;
@@ -7,11 +7,14 @@ val* var3 /* : HashMap[nullable Object, POSetElement[nullable Object]] */;
 val* var4 /* : RemovableCollection[nullable Object] */;
 val* var5 /* : Iterator[nullable Object] */;
 {
-{ /* Inline poset#POSet#elements (self) on <self:POSet[nullable Object]> */
+{ /* Inline poset$POSet$elements (self) on <self:POSet[nullable Object]> */
 var3 = self->attrs[COLOR_poset__POSet___elements].val; /* _elements on <self:POSet[nullable Object]> */
 if (unlikely(var3 == NULL)) {
+if(catchStack.cursor >= 0){
+longjmp(catchStack.envs[catchStack.cursor], 1);
+}
 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _elements");
-PRINT_ERROR(" (%s:%d)\n", FILE_poset, 82);
+PRINT_ERROR(" (%s:%d)\n", FILE_poset, 86);
 fatal_exit(1);
 }
 var1 = var3;
@@ -29,21 +32,24 @@ goto RET_LABEL;
 RET_LABEL:;
 return var;
 }
-/* method poset#POSet#elements for (self: POSet[nullable Object]): HashMap[nullable Object, POSetElement[nullable Object]] */
+/* method poset$POSet$elements for (self: POSet[nullable Object]): HashMap[nullable Object, POSetElement[nullable Object]] */
 val* poset___poset__POSet___elements(val* self) {
 val* var /* : HashMap[nullable Object, POSetElement[nullable Object]] */;
 val* var1 /* : HashMap[nullable Object, POSetElement[nullable Object]] */;
 var1 = self->attrs[COLOR_poset__POSet___elements].val; /* _elements on <self:POSet[nullable Object]> */
 if (unlikely(var1 == NULL)) {
+if(catchStack.cursor >= 0){
+longjmp(catchStack.envs[catchStack.cursor], 1);
+}
 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _elements");
-PRINT_ERROR(" (%s:%d)\n", FILE_poset, 82);
+PRINT_ERROR(" (%s:%d)\n", FILE_poset, 86);
 fatal_exit(1);
 }
 var = var1;
 RET_LABEL:;
 return var;
 }
-/* method poset#POSet#has for (self: POSet[nullable Object], nullable Object): Bool */
+/* method poset$POSet$has for (self: POSet[nullable Object], nullable Object): Bool */
 short int poset___poset__POSet___core__abstract_collection__Collection__has(val* self, val* p0) {
 short int var /* : Bool */;
 val* var_e /* var e: nullable Object */;
@@ -53,11 +59,14 @@ val* var4 /* : RemovableCollection[nullable Object] */;
 short int var5 /* : Bool */;
 var_e = p0;
 {
-{ /* Inline poset#POSet#elements (self) on <self:POSet[nullable Object]> */
+{ /* Inline poset$POSet$elements (self) on <self:POSet[nullable Object]> */
 var3 = self->attrs[COLOR_poset__POSet___elements].val; /* _elements on <self:POSet[nullable Object]> */
 if (unlikely(var3 == NULL)) {
+if(catchStack.cursor >= 0){
+longjmp(catchStack.envs[catchStack.cursor], 1);
+}
 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _elements");
-PRINT_ERROR(" (%s:%d)\n", FILE_poset, 82);
+PRINT_ERROR(" (%s:%d)\n", FILE_poset, 86);
 fatal_exit(1);
 }
 var1 = var3;
@@ -75,7 +84,7 @@ goto RET_LABEL;
 RET_LABEL:;
 return var;
 }
-/* method poset#POSet#add_node for (self: POSet[nullable Object], nullable Object): POSetElement[nullable Object] */
+/* method poset$POSet$add_node for (self: POSet[nullable Object], nullable Object): POSetElement[nullable Object] */
 val* poset___poset__POSet___add_node(val* self, val* p0) {
 val* var /* : POSetElement[nullable Object] */;
 short int var1 /* : Bool */;
@@ -121,16 +130,19 @@ var1 = (((long)p0&3)?type_info[((long)p0&3)]:p0->type)->type_table[cltype] == id
 if (unlikely(!var1)) {
 var_class_name = p0 == NULL ? "null" : (((long)p0&3)?type_info[((long)p0&3)]:p0->type)->name;
 PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "E", var_class_name);
-PRINT_ERROR(" (%s:%d)\n", FILE_poset, 87);
+PRINT_ERROR(" (%s:%d)\n", FILE_poset, 91);
 fatal_exit(1);
 }
 var_e = p0;
 {
-{ /* Inline poset#POSet#elements (self) on <self:POSet[nullable Object]> */
+{ /* Inline poset$POSet$elements (self) on <self:POSet[nullable Object]> */
 var4 = self->attrs[COLOR_poset__POSet___elements].val; /* _elements on <self:POSet[nullable Object]> */
 if (unlikely(var4 == NULL)) {
+if(catchStack.cursor >= 0){
+longjmp(catchStack.envs[catchStack.cursor], 1);
+}
 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _elements");
-PRINT_ERROR(" (%s:%d)\n", FILE_poset, 82);
+PRINT_ERROR(" (%s:%d)\n", FILE_poset, 86);
 fatal_exit(1);
 }
 var2 = var4;
@@ -145,11 +157,14 @@ var6 = ((short int(*)(val* self, val* p0))((((long)var5&3)?class_info[((long)var
 }
 if (var6){
 {
-{ /* Inline poset#POSet#elements (self) on <self:POSet[nullable Object]> */
+{ /* Inline poset$POSet$elements (self) on <self:POSet[nullable Object]> */
 var9 = self->attrs[COLOR_poset__POSet___elements].val; /* _elements on <self:POSet[nullable Object]> */
 if (unlikely(var9 == NULL)) {
+if(catchStack.cursor >= 0){
+longjmp(catchStack.envs[catchStack.cursor], 1);
+}
 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _elements");
-PRINT_ERROR(" (%s:%d)\n", FILE_poset, 82);
+PRINT_ERROR(" (%s:%d)\n", FILE_poset, 86);
 fatal_exit(1);
 }
 var7 = var9;
@@ -165,11 +180,14 @@ goto RET_LABEL;
 }
 var11 = NEW_poset__POSetElement(self->type->resolution_table->types[COLOR_poset__POSetElement__poset__POSet___35dE]);
 {
-{ /* Inline poset#POSet#elements (self) on <self:POSet[nullable Object]> */
+{ /* Inline poset$POSet$elements (self) on <self:POSet[nullable Object]> */
 var14 = self->attrs[COLOR_poset__POSet___elements].val; /* _elements on <self:POSet[nullable Object]> */
 if (unlikely(var14 == NULL)) {
+if(catchStack.cursor >= 0){
+longjmp(catchStack.envs[catchStack.cursor], 1);
+}
 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _elements");
-PRINT_ERROR(" (%s:%d)\n", FILE_poset, 82);
+PRINT_ERROR(" (%s:%d)\n", FILE_poset, 86);
 fatal_exit(1);
 }
 var12 = var14;
@@ -193,11 +211,14 @@ var15 = core___core__HashMap___core__abstract_collection__MapRead__length(var12)
 }
 var_poe = var11;
 {
-{ /* Inline poset#POSetElement#tos (var_poe) on <var_poe:POSetElement[nullable Object]> */
+{ /* Inline poset$POSetElement$tos (var_poe) on <var_poe:POSetElement[nullable Object]> */
 var18 = var_poe->attrs[COLOR_poset__POSetElement___tos].val; /* _tos on <var_poe:POSetElement[nullable Object]> */
 if (unlikely(var18 == NULL)) {
+if(catchStack.cursor >= 0){
+longjmp(catchStack.envs[catchStack.cursor], 1);
+}
 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _tos");
-PRINT_ERROR(" (%s:%d)\n", FILE_poset, 406);
+PRINT_ERROR(" (%s:%d)\n", FILE_poset, 532);
 fatal_exit(1);
 }
 var16 = var18;
@@ -205,14 +226,17 @@ RET_LABEL17:(void)0;
 }
 }
 {
-core___core__HashSet___core__abstract_collection__SimpleCollection__add(var16, var_e); /* Direct call hash_collection#HashSet#add on <var16:HashSet[nullable Object]>*/
+core___core__HashSet___core__abstract_collection__SimpleCollection__add(var16, var_e); /* Direct call hash_collection$HashSet$add on <var16:HashSet[nullable Object]>*/
 }
 {
-{ /* Inline poset#POSetElement#froms (var_poe) on <var_poe:POSetElement[nullable Object]> */
+{ /* Inline poset$POSetElement$froms (var_poe) on <var_poe:POSetElement[nullable Object]> */
 var21 = var_poe->attrs[COLOR_poset__POSetElement___froms].val; /* _froms on <var_poe:POSetElement[nullable Object]> */
 if (unlikely(var21 == NULL)) {
+if(catchStack.cursor >= 0){
+longjmp(catchStack.envs[catchStack.cursor], 1);
+}
 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _froms");
-PRINT_ERROR(" (%s:%d)\n", FILE_poset, 407);
+PRINT_ERROR(" (%s:%d)\n", FILE_poset, 533);
 fatal_exit(1);
 }
 var19 = var21;
@@ -220,14 +244,17 @@ RET_LABEL20:(void)0;
 }
 }
 {
-core___core__HashSet___core__abstract_collection__SimpleCollection__add(var19, var_e); /* Direct call hash_collection#HashSet#add on <var19:HashSet[nullable Object]>*/
+core___core__HashSet___core__abstract_collection__SimpleCollection__add(var19, var_e); /* Direct call hash_collection$HashSet$add on <var19:HashSet[nullable Object]>*/
 }
 {
-{ /* Inline poset#POSet#elements (self) on <self:POSet[nullable Object]> */
+{ /* Inline poset$POSet$elements (self) on <self:POSet[nullable Object]> */
 var24 = self->attrs[COLOR_poset__POSet___elements].val; /* _elements on <self:POSet[nullable Object]> */
 if (unlikely(var24 == NULL)) {
+if(catchStack.cursor >= 0){
+longjmp(catchStack.envs[catchStack.cursor], 1);
+}
 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _elements");
-PRINT_ERROR(" (%s:%d)\n", FILE_poset, 82);
+PRINT_ERROR(" (%s:%d)\n", FILE_poset, 86);
 fatal_exit(1);
 }
 var22 = var24;
@@ -235,14 +262,14 @@ RET_LABEL23:(void)0;
 }
 }
 {
-core___core__HashMap___core__abstract_collection__Map___91d_93d_61d(var22, var_e, var_poe); /* Direct call hash_collection#HashMap#[]= on <var22:HashMap[nullable Object, POSetElement[nullable Object]]>*/
+core___core__HashMap___core__abstract_collection__Map___91d_93d_61d(var22, var_e, var_poe); /* Direct call hash_collection$HashMap$[]= on <var22:HashMap[nullable Object, POSetElement[nullable Object]]>*/
 }
 var = var_poe;
 goto RET_LABEL;
 RET_LABEL:;
 return var;
 }
-/* method poset#POSet#[] for (self: POSet[nullable Object], nullable Object): POSetElement[nullable Object] */
+/* method poset$POSet$[] for (self: POSet[nullable Object], nullable Object): POSetElement[nullable Object] */
 val* poset___poset__POSet____91d_93d(val* self, val* p0) {
 val* var /* : POSetElement[nullable Object] */;
 short int var1 /* : Bool */;
@@ -277,16 +304,19 @@ var1 = (((long)p0&3)?type_info[((long)p0&3)]:p0->type)->type_table[cltype] == id
 if (unlikely(!var1)) {
 var_class_name = p0 == NULL ? "null" : (((long)p0&3)?type_info[((long)p0&3)]:p0->type)->name;
 PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "E", var_class_name);
-PRINT_ERROR(" (%s:%d)\n", FILE_poset, 101);
+PRINT_ERROR(" (%s:%d)\n", FILE_poset, 105);
 fatal_exit(1);
 }
 var_e = p0;
 {
-{ /* Inline poset#POSet#elements (self) on <self:POSet[nullable Object]> */
+{ /* Inline poset$POSet$elements (self) on <self:POSet[nullable Object]> */
 var4 = self->attrs[COLOR_poset__POSet___elements].val; /* _elements on <self:POSet[nullable Object]> */
 if (unlikely(var4 == NULL)) {
+if(catchStack.cursor >= 0){
+longjmp(catchStack.envs[catchStack.cursor], 1);
+}
 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _elements");
-PRINT_ERROR(" (%s:%d)\n", FILE_poset, 82);
+PRINT_ERROR(" (%s:%d)\n", FILE_poset, 86);
 fatal_exit(1);
 }
 var2 = var4;
@@ -300,16 +330,22 @@ var5 = core___core__HashMap___core__abstract_collection__MapRead__keys(var2);
 var6 = ((short int(*)(val* self, val* p0))((((long)var5&3)?class_info[((long)var5&3)]:var5->class)->vft[COLOR_core__abstract_collection__Collection__has]))(var5, var_e); /* has on <var5:RemovableCollection[nullable Object]>*/
 }
 if (unlikely(!var6)) {
+if(catchStack.cursor >= 0){
+longjmp(catchStack.envs[catchStack.cursor], 1);
+}
 PRINT_ERROR("Runtime error: %s", "Assert failed");
-PRINT_ERROR(" (%s:%d)\n", FILE_poset, 115);
+PRINT_ERROR(" (%s:%d)\n", FILE_poset, 119);
 fatal_exit(1);
 }
 {
-{ /* Inline poset#POSet#elements (self) on <self:POSet[nullable Object]> */
+{ /* Inline poset$POSet$elements (self) on <self:POSet[nullable Object]> */
 var9 = self->attrs[COLOR_poset__POSet___elements].val; /* _elements on <self:POSet[nullable Object]> */
 if (unlikely(var9 == NULL)) {
+if(catchStack.cursor >= 0){
+longjmp(catchStack.envs[catchStack.cursor], 1);
+}
 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _elements");
-PRINT_ERROR(" (%s:%d)\n", FILE_poset, 82);
+PRINT_ERROR(" (%s:%d)\n", FILE_poset, 86);
 fatal_exit(1);
 }
 var7 = var9;
@@ -324,7 +360,7 @@ goto RET_LABEL;
 RET_LABEL:;
 return var;
 }
-/* method poset#POSet#add_edge for (self: POSet[nullable Object], nullable Object, nullable Object) */
+/* method poset$POSet$add_edge for (self: POSet[nullable Object], nullable Object, nullable Object) */
 void poset___poset__POSet___add_edge(val* self, val* p0, val* p1) {
 short int var /* : Bool */;
 int cltype;
@@ -466,7 +502,7 @@ var = (((long)p0&3)?type_info[((long)p0&3)]:p0->type)->type_table[cltype] == idt
 if (unlikely(!var)) {
 var_class_name = p0 == NULL ? "null" : (((long)p0&3)?type_info[((long)p0&3)]:p0->type)->name;
 PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "E", var_class_name);
-PRINT_ERROR(" (%s:%d)\n", FILE_poset, 119);
+PRINT_ERROR(" (%s:%d)\n", FILE_poset, 123);
 fatal_exit(1);
 }
 /* Covariant cast for argument 1 (t) <p1:nullable Object> isa E */
@@ -487,7 +523,7 @@ var1 = (((long)p1&3)?type_info[((long)p1&3)]:p1->type)->type_table[cltype2] == i
 if (unlikely(!var1)) {
 var_class_name6 = p1 == NULL ? "null" : (((long)p1&3)?type_info[((long)p1&3)]:p1->type)->name;
 PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "E", var_class_name6);
-PRINT_ERROR(" (%s:%d)\n", FILE_poset, 119);
+PRINT_ERROR(" (%s:%d)\n", FILE_poset, 123);
 fatal_exit(1);
 }
 var_f = p0;
@@ -501,11 +537,14 @@ var8 = poset___poset__POSet___add_node(self, var_t);
 }
 var_te = var8;
 {
-{ /* Inline poset#POSetElement#tos (var_fe) on <var_fe:POSetElement[nullable Object]> */
+{ /* Inline poset$POSetElement$tos (var_fe) on <var_fe:POSetElement[nullable Object]> */
 var11 = var_fe->attrs[COLOR_poset__POSetElement___tos].val; /* _tos on <var_fe:POSetElement[nullable Object]> */
 if (unlikely(var11 == NULL)) {
+if(catchStack.cursor >= 0){
+longjmp(catchStack.envs[catchStack.cursor], 1);
+}
 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _tos");
-PRINT_ERROR(" (%s:%d)\n", FILE_poset, 406);
+PRINT_ERROR(" (%s:%d)\n", FILE_poset, 532);
 fatal_exit(1);
 }
 var9 = var11;
@@ -520,11 +559,14 @@ goto RET_LABEL;
 } else {
 }
 {
-{ /* Inline poset#POSetElement#froms (var_fe) on <var_fe:POSetElement[nullable Object]> */
+{ /* Inline poset$POSetElement$froms (var_fe) on <var_fe:POSetElement[nullable Object]> */
 var15 = var_fe->attrs[COLOR_poset__POSetElement___froms].val; /* _froms on <var_fe:POSetElement[nullable Object]> */
 if (unlikely(var15 == NULL)) {
+if(catchStack.cursor >= 0){
+longjmp(catchStack.envs[catchStack.cursor], 1);
+}
 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _froms");
-PRINT_ERROR(" (%s:%d)\n", FILE_poset, 407);
+PRINT_ERROR(" (%s:%d)\n", FILE_poset, 533);
 fatal_exit(1);
 }
 var13 = var15;
@@ -549,11 +591,14 @@ var19 = ((val*(*)(val* self))((((long)var_17&3)?class_info[((long)var_17&3)]:var
 }
 var_ff = var19;
 {
-{ /* Inline poset#POSet#elements (self) on <self:POSet[nullable Object]> */
+{ /* Inline poset$POSet$elements (self) on <self:POSet[nullable Object]> */
 var22 = self->attrs[COLOR_poset__POSet___elements].val; /* _elements on <self:POSet[nullable Object]> */
 if (unlikely(var22 == NULL)) {
+if(catchStack.cursor >= 0){
+longjmp(catchStack.envs[catchStack.cursor], 1);
+}
 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _elements");
-PRINT_ERROR(" (%s:%d)\n", FILE_poset, 82);
+PRINT_ERROR(" (%s:%d)\n", FILE_poset, 86);
 fatal_exit(1);
 }
 var20 = var22;
@@ -565,11 +610,14 @@ var23 = core___core__HashMap___core__abstract_collection__MapRead___91d_93d(var2
 }
 var_ffe = var23;
 {
-{ /* Inline poset#POSetElement#tos (var_te) on <var_te:POSetElement[nullable Object]> */
+{ /* Inline poset$POSetElement$tos (var_te) on <var_te:POSetElement[nullable Object]> */
 var26 = var_te->attrs[COLOR_poset__POSetElement___tos].val; /* _tos on <var_te:POSetElement[nullable Object]> */
 if (unlikely(var26 == NULL)) {
+if(catchStack.cursor >= 0){
+longjmp(catchStack.envs[catchStack.cursor], 1);
+}
 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _tos");
-PRINT_ERROR(" (%s:%d)\n", FILE_poset, 406);
+PRINT_ERROR(" (%s:%d)\n", FILE_poset, 532);
 fatal_exit(1);
 }
 var24 = var26;
@@ -594,11 +642,14 @@ var32 = ((val*(*)(val* self))((((long)var_29&3)?class_info[((long)var_29&3)]:var
 }
 var_tt = var32;
 {
-{ /* Inline poset#POSet#elements (self) on <self:POSet[nullable Object]> */
+{ /* Inline poset$POSet$elements (self) on <self:POSet[nullable Object]> */
 var35 = self->attrs[COLOR_poset__POSet___elements].val; /* _elements on <self:POSet[nullable Object]> */
 if (unlikely(var35 == NULL)) {
+if(catchStack.cursor >= 0){
+longjmp(catchStack.envs[catchStack.cursor], 1);
+}
 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _elements");
-PRINT_ERROR(" (%s:%d)\n", FILE_poset, 82);
+PRINT_ERROR(" (%s:%d)\n", FILE_poset, 86);
 fatal_exit(1);
 }
 var33 = var35;
@@ -610,11 +661,14 @@ var36 = core___core__HashMap___core__abstract_collection__MapRead___91d_93d(var3
 }
 var_tte = var36;
 {
-{ /* Inline poset#POSetElement#froms (var_tte) on <var_tte:POSetElement[nullable Object]> */
+{ /* Inline poset$POSetElement$froms (var_tte) on <var_tte:POSetElement[nullable Object]> */
 var39 = var_tte->attrs[COLOR_poset__POSetElement___froms].val; /* _froms on <var_tte:POSetElement[nullable Object]> */
 if (unlikely(var39 == NULL)) {
+if(catchStack.cursor >= 0){
+longjmp(catchStack.envs[catchStack.cursor], 1);
+}
 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _froms");
-PRINT_ERROR(" (%s:%d)\n", FILE_poset, 407);
+PRINT_ERROR(" (%s:%d)\n", FILE_poset, 533);
 fatal_exit(1);
 }
 var37 = var39;
@@ -622,14 +676,17 @@ RET_LABEL38:(void)0;
 }
 }
 {
-core___core__HashSet___core__abstract_collection__SimpleCollection__add(var37, var_ff); /* Direct call hash_collection#HashSet#add on <var37:HashSet[nullable Object]>*/
+core___core__HashSet___core__abstract_collection__SimpleCollection__add(var37, var_ff); /* Direct call hash_collection$HashSet$add on <var37:HashSet[nullable Object]>*/
 }
 {
-{ /* Inline poset#POSetElement#tos (var_ffe) on <var_ffe:POSetElement[nullable Object]> */
+{ /* Inline poset$POSetElement$tos (var_ffe) on <var_ffe:POSetElement[nullable Object]> */
 var42 = var_ffe->attrs[COLOR_poset__POSetElement___tos].val; /* _tos on <var_ffe:POSetElement[nullable Object]> */
 if (unlikely(var42 == NULL)) {
+if(catchStack.cursor >= 0){
+longjmp(catchStack.envs[catchStack.cursor], 1);
+}
 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _tos");
-PRINT_ERROR(" (%s:%d)\n", FILE_poset, 406);
+PRINT_ERROR(" (%s:%d)\n", FILE_poset, 532);
 fatal_exit(1);
 }
 var40 = var42;
@@ -637,7 +694,7 @@ RET_LABEL41:(void)0;
 }
 }
 {
-core___core__HashSet___core__abstract_collection__SimpleCollection__add(var40, var_tt); /* Direct call hash_collection#HashSet#add on <var40:HashSet[nullable Object]>*/
+core___core__HashSet___core__abstract_collection__SimpleCollection__add(var40, var_tt); /* Direct call hash_collection$HashSet$add on <var40:HashSet[nullable Object]>*/
 }
 {
 ((void(*)(val* self))((((long)var_29&3)?class_info[((long)var_29&3)]:var_29->class)->vft[COLOR_core__abstract_collection__Iterator__next]))(var_29); /* next on <var_29:Iterator[nullable Object]>*/
@@ -656,11 +713,14 @@ BREAK_label: (void)0;
 ((void(*)(val* self))((((long)var_17&3)?class_info[((long)var_17&3)]:var_17->class)->vft[COLOR_core__abstract_collection__Iterator__finish]))(var_17); /* finish on <var_17:Iterator[nullable Object]>*/
 }
 {
-{ /* Inline poset#POSetElement#tos (var_te) on <var_te:POSetElement[nullable Object]> */
+{ /* Inline poset$POSetElement$tos (var_te) on <var_te:POSetElement[nullable Object]> */
 var45 = var_te->attrs[COLOR_poset__POSetElement___tos].val; /* _tos on <var_te:POSetElement[nullable Object]> */
 if (unlikely(var45 == NULL)) {
+if(catchStack.cursor >= 0){
+longjmp(catchStack.envs[catchStack.cursor], 1);
+}
 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _tos");
-PRINT_ERROR(" (%s:%d)\n", FILE_poset, 406);
+PRINT_ERROR(" (%s:%d)\n", FILE_poset, 532);
 fatal_exit(1);
 }
 var43 = var45;
@@ -676,11 +736,14 @@ goto RET_LABEL;
 }
 var_to_remove = ((val*)NULL);
 {
-{ /* Inline poset#POSetElement#dfroms (var_te) on <var_te:POSetElement[nullable Object]> */
+{ /* Inline poset$POSetElement$dfroms (var_te) on <var_te:POSetElement[nullable Object]> */
 var49 = var_te->attrs[COLOR_poset__POSetElement___dfroms].val; /* _dfroms on <var_te:POSetElement[nullable Object]> */
 if (unlikely(var49 == NULL)) {
+if(catchStack.cursor >= 0){
+longjmp(catchStack.envs[catchStack.cursor], 1);
+}
 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _dfroms");
-PRINT_ERROR(" (%s:%d)\n", FILE_poset, 409);
+PRINT_ERROR(" (%s:%d)\n", FILE_poset, 535);
 fatal_exit(1);
 }
 var47 = var49;
@@ -705,11 +768,14 @@ var55 = ((val*(*)(val* self))((((long)var_52&3)?class_info[((long)var_52&3)]:var
 }
 var_x = var55;
 {
-{ /* Inline poset#POSet#elements (self) on <self:POSet[nullable Object]> */
+{ /* Inline poset$POSet$elements (self) on <self:POSet[nullable Object]> */
 var58 = self->attrs[COLOR_poset__POSet___elements].val; /* _elements on <self:POSet[nullable Object]> */
 if (unlikely(var58 == NULL)) {
+if(catchStack.cursor >= 0){
+longjmp(catchStack.envs[catchStack.cursor], 1);
+}
 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _elements");
-PRINT_ERROR(" (%s:%d)\n", FILE_poset, 82);
+PRINT_ERROR(" (%s:%d)\n", FILE_poset, 86);
 fatal_exit(1);
 }
 var56 = var58;
@@ -721,11 +787,14 @@ var59 = core___core__HashMap___core__abstract_collection__MapRead___91d_93d(var5
 }
 var_xe = var59;
 {
-{ /* Inline poset#POSetElement#tos (var_xe) on <var_xe:POSetElement[nullable Object]> */
+{ /* Inline poset$POSetElement$tos (var_xe) on <var_xe:POSetElement[nullable Object]> */
 var62 = var_xe->attrs[COLOR_poset__POSetElement___tos].val; /* _tos on <var_xe:POSetElement[nullable Object]> */
 if (unlikely(var62 == NULL)) {
+if(catchStack.cursor >= 0){
+longjmp(catchStack.envs[catchStack.cursor], 1);
+}
 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _tos");
-PRINT_ERROR(" (%s:%d)\n", FILE_poset, 406);
+PRINT_ERROR(" (%s:%d)\n", FILE_poset, 532);
 fatal_exit(1);
 }
 var60 = var62;
@@ -748,20 +817,23 @@ var64 = var65;
 if (var64){
 var66 = NEW_core__Array(self->type->resolution_table->types[COLOR_core__Array__poset__POSet___35dE]);
 {
-core___core__Array___core__kernel__Object__init(var66); /* Direct call array#Array#init on <var66:Array[nullable Object]>*/
+core___core__Array___core__kernel__Object__init(var66); /* Direct call array$Array$init on <var66:Array[nullable Object]>*/
 }
 var_to_remove = var66;
 } else {
 }
 {
-core___core__Array___core__abstract_collection__SimpleCollection__add(var_to_remove, var_x); /* Direct call array#Array#add on <var_to_remove:nullable Array[nullable Object](Array[nullable Object])>*/
+core___core__Array___core__abstract_collection__SimpleCollection__add(var_to_remove, var_x); /* Direct call array$Array$add on <var_to_remove:nullable Array[nullable Object](Array[nullable Object])>*/
 }
 {
-{ /* Inline poset#POSetElement#dtos (var_xe) on <var_xe:POSetElement[nullable Object]> */
+{ /* Inline poset$POSetElement$dtos (var_xe) on <var_xe:POSetElement[nullable Object]> */
 var69 = var_xe->attrs[COLOR_poset__POSetElement___dtos].val; /* _dtos on <var_xe:POSetElement[nullable Object]> */
 if (unlikely(var69 == NULL)) {
+if(catchStack.cursor >= 0){
+longjmp(catchStack.envs[catchStack.cursor], 1);
+}
 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _dtos");
-PRINT_ERROR(" (%s:%d)\n", FILE_poset, 408);
+PRINT_ERROR(" (%s:%d)\n", FILE_poset, 534);
 fatal_exit(1);
 }
 var67 = var69;
@@ -769,7 +841,7 @@ RET_LABEL68:(void)0;
 }
 }
 {
-core___core__HashSet___core__abstract_collection__RemovableCollection__remove(var67, var_t); /* Direct call hash_collection#HashSet#remove on <var67:HashSet[nullable Object]>*/
+core___core__HashSet___core__abstract_collection__RemovableCollection__remove(var67, var_t); /* Direct call hash_collection$HashSet$remove on <var67:HashSet[nullable Object]>*/
 }
 } else {
 }
@@ -787,7 +859,7 @@ var70 = 0; /* is null */
 var70 = 1; /* arg is null and recv is not */
 }
 if (0) {
-{ /* Inline kernel#Object#!= (var_to_remove,((val*)NULL)) on <var_to_remove:nullable Array[nullable Object]> */
+{ /* Inline kernel$Object$!= (var_to_remove,((val*)NULL)) on <var_to_remove:nullable Array[nullable Object]> */
 var_other = ((val*)NULL);
 {
 var73 = ((short int(*)(val* self, val* p0))(var_to_remove->class->vft[COLOR_core__kernel__Object___61d_61d]))(var_to_remove, var_other); /* == on <var_to_remove:nullable Array[nullable Object](Array[nullable Object])>*/
@@ -818,11 +890,14 @@ var80 = ((val*(*)(val* self))((((long)var_77&3)?class_info[((long)var_77&3)]:var
 }
 var_x81 = var80;
 {
-{ /* Inline poset#POSetElement#dfroms (var_te) on <var_te:POSetElement[nullable Object]> */
+{ /* Inline poset$POSetElement$dfroms (var_te) on <var_te:POSetElement[nullable Object]> */
 var84 = var_te->attrs[COLOR_poset__POSetElement___dfroms].val; /* _dfroms on <var_te:POSetElement[nullable Object]> */
 if (unlikely(var84 == NULL)) {
+if(catchStack.cursor >= 0){
+longjmp(catchStack.envs[catchStack.cursor], 1);
+}
 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _dfroms");
-PRINT_ERROR(" (%s:%d)\n", FILE_poset, 409);
+PRINT_ERROR(" (%s:%d)\n", FILE_poset, 535);
 fatal_exit(1);
 }
 var82 = var84;
@@ -830,7 +905,7 @@ RET_LABEL83:(void)0;
 }
 }
 {
-core___core__HashSet___core__abstract_collection__RemovableCollection__remove(var82, var_x81); /* Direct call hash_collection#HashSet#remove on <var82:HashSet[nullable Object]>*/
+core___core__HashSet___core__abstract_collection__RemovableCollection__remove(var82, var_x81); /* Direct call hash_collection$HashSet$remove on <var82:HashSet[nullable Object]>*/
 }
 {
 ((void(*)(val* self))((((long)var_77&3)?class_info[((long)var_77&3)]:var_77->class)->vft[COLOR_core__abstract_collection__Iterator__next]))(var_77); /* next on <var_77:IndexedIterator[nullable Object]>*/
@@ -841,16 +916,19 @@ BREAK_label79: (void)0;
 ((void(*)(val* self))((((long)var_77&3)?class_info[((long)var_77&3)]:var_77->class)->vft[COLOR_core__abstract_collection__Iterator__finish]))(var_77); /* finish on <var_77:IndexedIterator[nullable Object]>*/
 }
 {
-core___core__AbstractArray___core__abstract_collection__RemovableCollection__clear(var_to_remove); /* Direct call array#AbstractArray#clear on <var_to_remove:nullable Array[nullable Object](Array[nullable Object])>*/
+core___core__AbstractArray___core__abstract_collection__RemovableCollection__clear(var_to_remove); /* Direct call array$AbstractArray$clear on <var_to_remove:nullable Array[nullable Object](Array[nullable Object])>*/
 }
 } else {
 }
 {
-{ /* Inline poset#POSetElement#dtos (var_fe) on <var_fe:POSetElement[nullable Object]> */
+{ /* Inline poset$POSetElement$dtos (var_fe) on <var_fe:POSetElement[nullable Object]> */
 var87 = var_fe->attrs[COLOR_poset__POSetElement___dtos].val; /* _dtos on <var_fe:POSetElement[nullable Object]> */
 if (unlikely(var87 == NULL)) {
+if(catchStack.cursor >= 0){
+longjmp(catchStack.envs[catchStack.cursor], 1);
+}
 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _dtos");
-PRINT_ERROR(" (%s:%d)\n", FILE_poset, 408);
+PRINT_ERROR(" (%s:%d)\n", FILE_poset, 534);
 fatal_exit(1);
 }
 var85 = var87;
@@ -875,11 +953,14 @@ var93 = ((val*(*)(val* self))((((long)var_90&3)?class_info[((long)var_90&3)]:var
 }
 var_x94 = var93;
 {
-{ /* Inline poset#POSet#elements (self) on <self:POSet[nullable Object]> */
+{ /* Inline poset$POSet$elements (self) on <self:POSet[nullable Object]> */
 var97 = self->attrs[COLOR_poset__POSet___elements].val; /* _elements on <self:POSet[nullable Object]> */
 if (unlikely(var97 == NULL)) {
+if(catchStack.cursor >= 0){
+longjmp(catchStack.envs[catchStack.cursor], 1);
+}
 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _elements");
-PRINT_ERROR(" (%s:%d)\n", FILE_poset, 82);
+PRINT_ERROR(" (%s:%d)\n", FILE_poset, 86);
 fatal_exit(1);
 }
 var95 = var97;
@@ -891,11 +972,14 @@ var98 = core___core__HashMap___core__abstract_collection__MapRead___91d_93d(var9
 }
 var_xe99 = var98;
 {
-{ /* Inline poset#POSetElement#froms (var_xe99) on <var_xe99:POSetElement[nullable Object]> */
+{ /* Inline poset$POSetElement$froms (var_xe99) on <var_xe99:POSetElement[nullable Object]> */
 var102 = var_xe99->attrs[COLOR_poset__POSetElement___froms].val; /* _froms on <var_xe99:POSetElement[nullable Object]> */
 if (unlikely(var102 == NULL)) {
+if(catchStack.cursor >= 0){
+longjmp(catchStack.envs[catchStack.cursor], 1);
+}
 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _froms");
-PRINT_ERROR(" (%s:%d)\n", FILE_poset, 407);
+PRINT_ERROR(" (%s:%d)\n", FILE_poset, 533);
 fatal_exit(1);
 }
 var100 = var102;
@@ -907,11 +991,14 @@ var103 = core___core__HashSet___core__abstract_collection__Collection__has(var10
 }
 if (var103){
 {
-{ /* Inline poset#POSetElement#dfroms (var_xe99) on <var_xe99:POSetElement[nullable Object]> */
+{ /* Inline poset$POSetElement$dfroms (var_xe99) on <var_xe99:POSetElement[nullable Object]> */
 var106 = var_xe99->attrs[COLOR_poset__POSetElement___dfroms].val; /* _dfroms on <var_xe99:POSetElement[nullable Object]> */
 if (unlikely(var106 == NULL)) {
+if(catchStack.cursor >= 0){
+longjmp(catchStack.envs[catchStack.cursor], 1);
+}
 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _dfroms");
-PRINT_ERROR(" (%s:%d)\n", FILE_poset, 409);
+PRINT_ERROR(" (%s:%d)\n", FILE_poset, 535);
 fatal_exit(1);
 }
 var104 = var106;
@@ -919,7 +1006,7 @@ RET_LABEL105:(void)0;
 }
 }
 {
-core___core__HashSet___core__abstract_collection__RemovableCollection__remove(var104, var_f); /* Direct call hash_collection#HashSet#remove on <var104:HashSet[nullable Object]>*/
+core___core__HashSet___core__abstract_collection__RemovableCollection__remove(var104, var_f); /* Direct call hash_collection$HashSet$remove on <var104:HashSet[nullable Object]>*/
 }
 if (var_to_remove == NULL) {
 var107 = 1; /* is null */
@@ -933,13 +1020,13 @@ var107 = var108;
 if (var107){
 var109 = NEW_core__Array(self->type->resolution_table->types[COLOR_core__Array__poset__POSet___35dE]);
 {
-core___core__Array___core__kernel__Object__init(var109); /* Direct call array#Array#init on <var109:Array[nullable Object]>*/
+core___core__Array___core__kernel__Object__init(var109); /* Direct call array$Array$init on <var109:Array[nullable Object]>*/
 }
 var_to_remove = var109;
 } else {
 }
 {
-core___core__Array___core__abstract_collection__SimpleCollection__add(var_to_remove, var_x94); /* Direct call array#Array#add on <var_to_remove:nullable Array[nullable Object](Array[nullable Object])>*/
+core___core__Array___core__abstract_collection__SimpleCollection__add(var_to_remove, var_x94); /* Direct call array$Array$add on <var_to_remove:nullable Array[nullable Object](Array[nullable Object])>*/
 }
 } else {
 }
@@ -957,7 +1044,7 @@ var110 = 0; /* is null */
 var110 = 1; /* arg is null and recv is not */
 }
 if (0) {
-{ /* Inline kernel#Object#!= (var_to_remove,((val*)NULL)) on <var_to_remove:nullable Array[nullable Object]> */
+{ /* Inline kernel$Object$!= (var_to_remove,((val*)NULL)) on <var_to_remove:nullable Array[nullable Object]> */
 var_other = ((val*)NULL);
 {
 var113 = ((short int(*)(val* self, val* p0))(var_to_remove->class->vft[COLOR_core__kernel__Object___61d_61d]))(var_to_remove, var_other); /* == on <var_to_remove:nullable Array[nullable Object](Array[nullable Object])>*/
@@ -988,11 +1075,14 @@ var120 = ((val*(*)(val* self))((((long)var_117&3)?class_info[((long)var_117&3)]:
 }
 var_x121 = var120;
 {
-{ /* Inline poset#POSetElement#dtos (var_fe) on <var_fe:POSetElement[nullable Object]> */
+{ /* Inline poset$POSetElement$dtos (var_fe) on <var_fe:POSetElement[nullable Object]> */
 var124 = var_fe->attrs[COLOR_poset__POSetElement___dtos].val; /* _dtos on <var_fe:POSetElement[nullable Object]> */
 if (unlikely(var124 == NULL)) {
+if(catchStack.cursor >= 0){
+longjmp(catchStack.envs[catchStack.cursor], 1);
+}
 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _dtos");
-PRINT_ERROR(" (%s:%d)\n", FILE_poset, 408);
+PRINT_ERROR(" (%s:%d)\n", FILE_poset, 534);
 fatal_exit(1);
 }
 var122 = var124;
@@ -1000,7 +1090,7 @@ RET_LABEL123:(void)0;
 }
 }
 {
-core___core__HashSet___core__abstract_collection__RemovableCollection__remove(var122, var_x121); /* Direct call hash_collection#HashSet#remove on <var122:HashSet[nullable Object]>*/
+core___core__HashSet___core__abstract_collection__RemovableCollection__remove(var122, var_x121); /* Direct call hash_collection$HashSet$remove on <var122:HashSet[nullable Object]>*/
 }
 {
 ((void(*)(val* self))((((long)var_117&3)?class_info[((long)var_117&3)]:var_117->class)->vft[COLOR_core__abstract_collection__Iterator__next]))(var_117); /* next on <var_117:IndexedIterator[nullable Object]>*/
@@ -1013,11 +1103,14 @@ BREAK_label119: (void)0;
 } else {
 }
 {
-{ /* Inline poset#POSetElement#dtos (var_fe) on <var_fe:POSetElement[nullable Object]> */
+{ /* Inline poset$POSetElement$dtos (var_fe) on <var_fe:POSetElement[nullable Object]> */
 var127 = var_fe->attrs[COLOR_poset__POSetElement___dtos].val; /* _dtos on <var_fe:POSetElement[nullable Object]> */
 if (unlikely(var127 == NULL)) {
+if(catchStack.cursor >= 0){
+longjmp(catchStack.envs[catchStack.cursor], 1);
+}
 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _dtos");
-PRINT_ERROR(" (%s:%d)\n", FILE_poset, 408);
+PRINT_ERROR(" (%s:%d)\n", FILE_poset, 534);
 fatal_exit(1);
 }
 var125 = var127;
@@ -1025,14 +1118,17 @@ RET_LABEL126:(void)0;
 }
 }
 {
-core___core__HashSet___core__abstract_collection__SimpleCollection__add(var125, var_t); /* Direct call hash_collection#HashSet#add on <var125:HashSet[nullable Object]>*/
+core___core__HashSet___core__abstract_collection__SimpleCollection__add(var125, var_t); /* Direct call hash_collection$HashSet$add on <var125:HashSet[nullable Object]>*/
 }
 {
-{ /* Inline poset#POSetElement#dfroms (var_te) on <var_te:POSetElement[nullable Object]> */
+{ /* Inline poset$POSetElement$dfroms (var_te) on <var_te:POSetElement[nullable Object]> */
 var130 = var_te->attrs[COLOR_poset__POSetElement___dfroms].val; /* _dfroms on <var_te:POSetElement[nullable Object]> */
 if (unlikely(var130 == NULL)) {
+if(catchStack.cursor >= 0){
+longjmp(catchStack.envs[catchStack.cursor], 1);
+}
 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _dfroms");
-PRINT_ERROR(" (%s:%d)\n", FILE_poset, 409);
+PRINT_ERROR(" (%s:%d)\n", FILE_poset, 535);
 fatal_exit(1);
 }
 var128 = var130;
@@ -1040,11 +1136,11 @@ RET_LABEL129:(void)0;
 }
 }
 {
-core___core__HashSet___core__abstract_collection__SimpleCollection__add(var128, var_f); /* Direct call hash_collection#HashSet#add on <var128:HashSet[nullable Object]>*/
+core___core__HashSet___core__abstract_collection__SimpleCollection__add(var128, var_f); /* Direct call hash_collection$HashSet$add on <var128:HashSet[nullable Object]>*/
 }
 RET_LABEL:;
 }
-/* method poset#POSet#has_edge for (self: POSet[nullable Object], nullable Object, nullable Object): Bool */
+/* method poset$POSet$has_edge for (self: POSet[nullable Object], nullable Object, nullable Object): Bool */
 short int poset___poset__POSet___has_edge(val* self, val* p0, val* p1) {
 short int var /* : Bool */;
 short int var1 /* : Bool */;
@@ -1091,7 +1187,7 @@ var1 = (((long)p0&3)?type_info[((long)p0&3)]:p0->type)->type_table[cltype] == id
 if (unlikely(!var1)) {
 var_class_name = p0 == NULL ? "null" : (((long)p0&3)?type_info[((long)p0&3)]:p0->type)->name;
 PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "E", var_class_name);
-PRINT_ERROR(" (%s:%d)\n", FILE_poset, 208);
+PRINT_ERROR(" (%s:%d)\n", FILE_poset, 212);
 fatal_exit(1);
 }
 /* Covariant cast for argument 1 (t) <p1:nullable Object> isa E */
@@ -1112,17 +1208,20 @@ var2 = (((long)p1&3)?type_info[((long)p1&3)]:p1->type)->type_table[cltype3] == i
 if (unlikely(!var2)) {
 var_class_name7 = p1 == NULL ? "null" : (((long)p1&3)?type_info[((long)p1&3)]:p1->type)->name;
 PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "E", var_class_name7);
-PRINT_ERROR(" (%s:%d)\n", FILE_poset, 208);
+PRINT_ERROR(" (%s:%d)\n", FILE_poset, 212);
 fatal_exit(1);
 }
 var_f = p0;
 var_t = p1;
 {
-{ /* Inline poset#POSet#elements (self) on <self:POSet[nullable Object]> */
+{ /* Inline poset$POSet$elements (self) on <self:POSet[nullable Object]> */
 var10 = self->attrs[COLOR_poset__POSet___elements].val; /* _elements on <self:POSet[nullable Object]> */
 if (unlikely(var10 == NULL)) {
+if(catchStack.cursor >= 0){
+longjmp(catchStack.envs[catchStack.cursor], 1);
+}
 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _elements");
-PRINT_ERROR(" (%s:%d)\n", FILE_poset, 82);
+PRINT_ERROR(" (%s:%d)\n", FILE_poset, 86);
 fatal_exit(1);
 }
 var8 = var10;
@@ -1142,11 +1241,14 @@ goto RET_LABEL;
 } else {
 }
 {
-{ /* Inline poset#POSet#elements (self) on <self:POSet[nullable Object]> */
+{ /* Inline poset$POSet$elements (self) on <self:POSet[nullable Object]> */
 var16 = self->attrs[COLOR_poset__POSet___elements].val; /* _elements on <self:POSet[nullable Object]> */
 if (unlikely(var16 == NULL)) {
+if(catchStack.cursor >= 0){
+longjmp(catchStack.envs[catchStack.cursor], 1);
+}
 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _elements");
-PRINT_ERROR(" (%s:%d)\n", FILE_poset, 82);
+PRINT_ERROR(" (%s:%d)\n", FILE_poset, 86);
 fatal_exit(1);
 }
 var14 = var16;
@@ -1158,11 +1260,14 @@ var17 = core___core__HashMap___core__abstract_collection__MapRead___91d_93d(var1
 }
 var_fe = var17;
 {
-{ /* Inline poset#POSetElement#tos (var_fe) on <var_fe:POSetElement[nullable Object]> */
+{ /* Inline poset$POSetElement$tos (var_fe) on <var_fe:POSetElement[nullable Object]> */
 var20 = var_fe->attrs[COLOR_poset__POSetElement___tos].val; /* _tos on <var_fe:POSetElement[nullable Object]> */
 if (unlikely(var20 == NULL)) {
+if(catchStack.cursor >= 0){
+longjmp(catchStack.envs[catchStack.cursor], 1);
+}
 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _tos");
-PRINT_ERROR(" (%s:%d)\n", FILE_poset, 406);
+PRINT_ERROR(" (%s:%d)\n", FILE_poset, 532);
 fatal_exit(1);
 }
 var18 = var20;
@@ -1177,7 +1282,7 @@ goto RET_LABEL;
 RET_LABEL:;
 return var;
 }
-/* method poset#POSet#compare for (self: POSet[nullable Object], nullable Object, nullable Object): Int */
+/* method poset$POSet$compare for (self: POSet[nullable Object], nullable Object, nullable Object): Int */
 long poset___poset__POSet___core__sorter__Comparator__compare(val* self, val* p0, val* p1) {
 long var /* : Int */;
 short int var1 /* : Bool */;
@@ -1224,9 +1329,9 @@ val* var39 /* : nullable Object */;
 long var40 /* : Int */;
 long var42 /* : Int */;
 long var43 /* : Int */;
-/* Covariant cast for argument 0 (a) <p0:nullable Object> isa E */
-/* <p0:nullable Object> isa E */
-type_struct = self->type->resolution_table->types[COLOR_poset__POSet___35dE];
+/* Covariant cast for argument 0 (a) <p0:nullable Object> isa COMPARED */
+/* <p0:nullable Object> isa COMPARED */
+type_struct = self->type->resolution_table->types[COLOR_core__sorter__Comparator__COMPARED];
 cltype = type_struct->color;
 idtype = type_struct->id;
 is_nullable = type_struct->is_nullable;
@@ -1241,13 +1346,13 @@ var1 = (((long)p0&3)?type_info[((long)p0&3)]:p0->type)->type_table[cltype] == id
 }
 if (unlikely(!var1)) {
 var_class_name = p0 == NULL ? "null" : (((long)p0&3)?type_info[((long)p0&3)]:p0->type)->name;
-PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "E", var_class_name);
-PRINT_ERROR(" (%s:%d)\n", FILE_poset, 284);
+PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "COMPARED", var_class_name);
+PRINT_ERROR(" (%s:%d)\n", FILE_poset, 288);
 fatal_exit(1);
 }
-/* Covariant cast for argument 1 (b) <p1:nullable Object> isa E */
-/* <p1:nullable Object> isa E */
-type_struct5 = self->type->resolution_table->types[COLOR_poset__POSet___35dE];
+/* Covariant cast for argument 1 (b) <p1:nullable Object> isa COMPARED */
+/* <p1:nullable Object> isa COMPARED */
+type_struct5 = self->type->resolution_table->types[COLOR_core__sorter__Comparator__COMPARED];
 cltype3 = type_struct5->color;
 idtype4 = type_struct5->id;
 is_nullable6 = type_struct5->is_nullable;
@@ -1262,18 +1367,21 @@ var2 = (((long)p1&3)?type_info[((long)p1&3)]:p1->type)->type_table[cltype3] == i
 }
 if (unlikely(!var2)) {
 var_class_name7 = p1 == NULL ? "null" : (((long)p1&3)?type_info[((long)p1&3)]:p1->type)->name;
-PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "E", var_class_name7);
-PRINT_ERROR(" (%s:%d)\n", FILE_poset, 284);
+PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "COMPARED", var_class_name7);
+PRINT_ERROR(" (%s:%d)\n", FILE_poset, 288);
 fatal_exit(1);
 }
 var_a = p0;
 var_b = p1;
 {
-{ /* Inline poset#POSet#elements (self) on <self:POSet[nullable Object]> */
+{ /* Inline poset$POSet$elements (self) on <self:POSet[nullable Object]> */
 var10 = self->attrs[COLOR_poset__POSet___elements].val; /* _elements on <self:POSet[nullable Object]> */
 if (unlikely(var10 == NULL)) {
+if(catchStack.cursor >= 0){
+longjmp(catchStack.envs[catchStack.cursor], 1);
+}
 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _elements");
-PRINT_ERROR(" (%s:%d)\n", FILE_poset, 82);
+PRINT_ERROR(" (%s:%d)\n", FILE_poset, 86);
 fatal_exit(1);
 }
 var8 = var10;
@@ -1285,11 +1393,14 @@ var11 = core___core__HashMap___core__abstract_collection__MapRead___91d_93d(var8
 }
 var_ae = var11;
 {
-{ /* Inline poset#POSet#elements (self) on <self:POSet[nullable Object]> */
+{ /* Inline poset$POSet$elements (self) on <self:POSet[nullable Object]> */
 var14 = self->attrs[COLOR_poset__POSet___elements].val; /* _elements on <self:POSet[nullable Object]> */
 if (unlikely(var14 == NULL)) {
+if(catchStack.cursor >= 0){
+longjmp(catchStack.envs[catchStack.cursor], 1);
+}
 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _elements");
-PRINT_ERROR(" (%s:%d)\n", FILE_poset, 82);
+PRINT_ERROR(" (%s:%d)\n", FILE_poset, 86);
 fatal_exit(1);
 }
 var12 = var14;
@@ -1301,11 +1412,14 @@ var15 = core___core__HashMap___core__abstract_collection__MapRead___91d_93d(var1
 }
 var_be = var15;
 {
-{ /* Inline poset#POSetElement#tos (var_ae) on <var_ae:POSetElement[nullable Object]> */
+{ /* Inline poset$POSetElement$tos (var_ae) on <var_ae:POSetElement[nullable Object]> */
 var18 = var_ae->attrs[COLOR_poset__POSetElement___tos].val; /* _tos on <var_ae:POSetElement[nullable Object]> */
 if (unlikely(var18 == NULL)) {
+if(catchStack.cursor >= 0){
+longjmp(catchStack.envs[catchStack.cursor], 1);
+}
 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _tos");
-PRINT_ERROR(" (%s:%d)\n", FILE_poset, 406);
+PRINT_ERROR(" (%s:%d)\n", FILE_poset, 532);
 fatal_exit(1);
 }
 var16 = var18;
@@ -1316,11 +1430,14 @@ RET_LABEL17:(void)0;
 var19 = core___core__HashSet___core__abstract_collection__Collection__length(var16);
 }
 {
-{ /* Inline poset#POSetElement#tos (var_be) on <var_be:POSetElement[nullable Object]> */
+{ /* Inline poset$POSetElement$tos (var_be) on <var_be:POSetElement[nullable Object]> */
 var22 = var_be->attrs[COLOR_poset__POSetElement___tos].val; /* _tos on <var_be:POSetElement[nullable Object]> */
 if (unlikely(var22 == NULL)) {
+if(catchStack.cursor >= 0){
+longjmp(catchStack.envs[catchStack.cursor], 1);
+}
 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _tos");
-PRINT_ERROR(" (%s:%d)\n", FILE_poset, 406);
+PRINT_ERROR(" (%s:%d)\n", FILE_poset, 532);
 fatal_exit(1);
 }
 var20 = var22;
@@ -1335,7 +1452,7 @@ var24 = core___core__Int___Comparable___60d_61d_62d(var19, var23);
 }
 var_res = var24;
 {
-{ /* Inline kernel#Int#!= (var_res,0l) on <var_res:Int> */
+{ /* Inline kernel$Int$!= (var_res,0l) on <var_res:Int> */
 var27 = var_res == 0l;
 var28 = !var27;
 var25 = var28;
@@ -1349,11 +1466,14 @@ goto RET_LABEL;
 } else {
 }
 {
-{ /* Inline poset#POSet#elements (self) on <self:POSet[nullable Object]> */
+{ /* Inline poset$POSet$elements (self) on <self:POSet[nullable Object]> */
 var31 = self->attrs[COLOR_poset__POSet___elements].val; /* _elements on <self:POSet[nullable Object]> */
 if (unlikely(var31 == NULL)) {
+if(catchStack.cursor >= 0){
+longjmp(catchStack.envs[catchStack.cursor], 1);
+}
 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _elements");
-PRINT_ERROR(" (%s:%d)\n", FILE_poset, 82);
+PRINT_ERROR(" (%s:%d)\n", FILE_poset, 86);
 fatal_exit(1);
 }
 var29 = var31;
@@ -1364,18 +1484,21 @@ RET_LABEL30:(void)0;
 var32 = core___core__HashMap___core__abstract_collection__MapRead___91d_93d(var29, var_a);
 }
 {
-{ /* Inline poset#POSetElement#count (var32) on <var32:nullable Object(POSetElement[nullable Object])> */
+{ /* Inline poset$POSetElement$count (var32) on <var32:nullable Object(POSetElement[nullable Object])> */
 var35 = var32->attrs[COLOR_poset__POSetElement___count].l; /* _count on <var32:nullable Object(POSetElement[nullable Object])> */
 var33 = var35;
 RET_LABEL34:(void)0;
 }
 }
 {
-{ /* Inline poset#POSet#elements (self) on <self:POSet[nullable Object]> */
+{ /* Inline poset$POSet$elements (self) on <self:POSet[nullable Object]> */
 var38 = self->attrs[COLOR_poset__POSet___elements].val; /* _elements on <self:POSet[nullable Object]> */
 if (unlikely(var38 == NULL)) {
+if(catchStack.cursor >= 0){
+longjmp(catchStack.envs[catchStack.cursor], 1);
+}
 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _elements");
-PRINT_ERROR(" (%s:%d)\n", FILE_poset, 82);
+PRINT_ERROR(" (%s:%d)\n", FILE_poset, 86);
 fatal_exit(1);
 }
 var36 = var38;
@@ -1386,7 +1509,7 @@ RET_LABEL37:(void)0;
 var39 = core___core__HashMap___core__abstract_collection__MapRead___91d_93d(var36, var_b);
 }
 {
-{ /* Inline poset#POSetElement#count (var39) on <var39:nullable Object(POSetElement[nullable Object])> */
+{ /* Inline poset$POSetElement$count (var39) on <var39:nullable Object(POSetElement[nullable Object])> */
 var42 = var39->attrs[COLOR_poset__POSetElement___count].l; /* _count on <var39:nullable Object(POSetElement[nullable Object])> */
 var40 = var42;
 RET_LABEL41:(void)0;
@@ -1400,7 +1523,7 @@ goto RET_LABEL;
 RET_LABEL:;
 return var;
 }
-/* method poset#POSet#linearize for (self: POSet[nullable Object], Collection[nullable Object]): Array[nullable Object] */
+/* method poset$POSet$linearize for (self: POSet[nullable Object], Collection[nullable Object]): Array[nullable Object] */
 val* poset___poset__POSet___linearize(val* self, val* p0) {
 val* var /* : Array[nullable Object] */;
 short int var1 /* : Bool */;
@@ -1424,7 +1547,7 @@ var1 = (((long)p0&3)?type_info[((long)p0&3)]:p0->type)->type_table[cltype] == id
 if (unlikely(!var1)) {
 var_class_name = p0 == NULL ? "null" : (((long)p0&3)?type_info[((long)p0&3)]:p0->type)->name;
 PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "Collection[E]", var_class_name);
-PRINT_ERROR(" (%s:%d)\n", FILE_poset, 370);
+PRINT_ERROR(" (%s:%d)\n", FILE_poset, 374);
 fatal_exit(1);
 }
 var_elements = p0;
@@ -1433,28 +1556,575 @@ var2 = ((val*(*)(val* self))((((long)var_elements&3)?class_info[((long)var_eleme
 }
 var_lin = var2;
 {
-core___core__Comparator___sort(self, var_lin); /* Direct call sorter#Comparator#sort on <self:POSet[nullable Object]>*/
+core___core__Comparator___sort(self, var_lin); /* Direct call sorter$Comparator$sort on <self:POSet[nullable Object]>*/
 }
 var = var_lin;
 goto RET_LABEL;
 RET_LABEL:;
 return var;
 }
-/* method poset#POSetElement#poset for (self: POSetElement[nullable Object]): POSet[nullable Object] */
+/* method poset$POSet$clone for (self: POSet[nullable Object]): POSet[nullable Object] */
+val* poset___poset__POSet___core__kernel__Cloneable__clone(val* self) {
+val* var /* : POSet[nullable Object] */;
+val* var1 /* : POSet[nullable Object] */;
+short int var2 /* : Bool */;
+int cltype;
+int idtype;
+const struct type* type_struct;
+const char* var_class_name;
+{
+var1 = poset___poset__POSet___sub(self, self);
+}
+/* <var1:POSet[nullable Object]> isa SELF */
+type_struct = self->type->resolution_table->types[COLOR_core__kernel__Object__SELF];
+cltype = type_struct->color;
+idtype = type_struct->id;
+if(cltype >= var1->type->table_size) {
+var2 = 0;
+} else {
+var2 = var1->type->type_table[cltype] == idtype;
+}
+if (unlikely(!var2)) {
+var_class_name = var1 == NULL ? "null" : var1->type->name;
+PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "SELF", var_class_name);
+PRINT_ERROR(" (%s:%d)\n", FILE_poset, 388);
+fatal_exit(1);
+}
+var = var1;
+goto RET_LABEL;
+RET_LABEL:;
+return var;
+}
+/* method poset$POSet$sub for (self: POSet[nullable Object], Collection[nullable Object]): POSet[nullable Object] */
+val* poset___poset__POSet___sub(val* self, val* p0) {
+val* var /* : POSet[nullable Object] */;
+short int var1 /* : Bool */;
+int cltype;
+int idtype;
+const struct type* type_struct;
+const char* var_class_name;
+val* var_elements /* var elements: Collection[nullable Object] */;
+val* var2 /* : POSet[nullable Object] */;
+val* var_res /* var res: POSet[nullable Object] */;
+val* var_ /* var : POSet[nullable Object] */;
+val* var4 /* : Iterator[nullable Object] */;
+val* var_5 /* var : Iterator[nullable Object] */;
+short int var6 /* : Bool */;
+val* var7 /* : nullable Object */;
+val* var_e /* var e: nullable Object */;
+short int var8 /* : Bool */;
+short int var9 /* : Bool */;
+val* var11 /* : POSetElement[nullable Object] */;
+val* var_12 /* var : POSet[nullable Object] */;
+val* var13 /* : Iterator[nullable Object] */;
+val* var_14 /* var : Iterator[nullable Object] */;
+short int var15 /* : Bool */;
+val* var17 /* : nullable Object */;
+val* var_e18 /* var e: nullable Object */;
+val* var19 /* : POSetElement[nullable Object] */;
+val* var20 /* : Collection[nullable Object] */;
+val* var_21 /* var : Collection[nullable Object] */;
+val* var22 /* : Iterator[nullable Object] */;
+val* var_23 /* var : Iterator[nullable Object] */;
+short int var24 /* : Bool */;
+val* var26 /* : nullable Object */;
+val* var_f /* var f: nullable Object */;
+short int var27 /* : Bool */;
+short int var28 /* : Bool */;
+/* Covariant cast for argument 0 (elements) <p0:Collection[nullable Object]> isa Collection[E] */
+/* <p0:Collection[nullable Object]> isa Collection[E] */
+type_struct = self->type->resolution_table->types[COLOR_core__Collection__poset__POSet___35dE];
+cltype = type_struct->color;
+idtype = type_struct->id;
+if(cltype >= (((long)p0&3)?type_info[((long)p0&3)]:p0->type)->table_size) {
+var1 = 0;
+} else {
+var1 = (((long)p0&3)?type_info[((long)p0&3)]:p0->type)->type_table[cltype] == idtype;
+}
+if (unlikely(!var1)) {
+var_class_name = p0 == NULL ? "null" : (((long)p0&3)?type_info[((long)p0&3)]:p0->type)->name;
+PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "Collection[E]", var_class_name);
+PRINT_ERROR(" (%s:%d)\n", FILE_poset, 390);
+fatal_exit(1);
+}
+var_elements = p0;
+var2 = NEW_poset__POSet(self->type->resolution_table->types[COLOR_poset__POSet__poset__POSet___35dE]);
+{
+{ /* Inline kernel$Object$init (var2) on <var2:POSet[nullable Object]> */
+RET_LABEL3:(void)0;
+}
+}
+var_res = var2;
+var_ = self;
+{
+var4 = poset___poset__POSet___core__abstract_collection__Collection__iterator(var_);
+}
+var_5 = var4;
+for(;;) {
+{
+var6 = ((short int(*)(val* self))((((long)var_5&3)?class_info[((long)var_5&3)]:var_5->class)->vft[COLOR_core__abstract_collection__Iterator__is_ok]))(var_5); /* is_ok on <var_5:Iterator[nullable Object]>*/
+}
+if (var6){
+} else {
+goto BREAK_label;
+}
+{
+var7 = ((val*(*)(val* self))((((long)var_5&3)?class_info[((long)var_5&3)]:var_5->class)->vft[COLOR_core__abstract_collection__Iterator__item]))(var_5); /* item on <var_5:Iterator[nullable Object]>*/
+}
+var_e = var7;
+{
+var8 = ((short int(*)(val* self, val* p0))((((long)var_elements&3)?class_info[((long)var_elements&3)]:var_elements->class)->vft[COLOR_core__abstract_collection__Collection__has]))(var_elements, var_e); /* has on <var_elements:Collection[nullable Object]>*/
+}
+var9 = !var8;
+if (var9){
+goto BREAK_label10;
+} else {
+}
+{
+var11 = poset___poset__POSet___add_node(var_res, var_e);
+}
+BREAK_label10: (void)0;
+{
+((void(*)(val* self))((((long)var_5&3)?class_info[((long)var_5&3)]:var_5->class)->vft[COLOR_core__abstract_collection__Iterator__next]))(var_5); /* next on <var_5:Iterator[nullable Object]>*/
+}
+}
+BREAK_label: (void)0;
+{
+((void(*)(val* self))((((long)var_5&3)?class_info[((long)var_5&3)]:var_5->class)->vft[COLOR_core__abstract_collection__Iterator__finish]))(var_5); /* finish on <var_5:Iterator[nullable Object]>*/
+}
+var_12 = var_res;
+{
+var13 = poset___poset__POSet___core__abstract_collection__Collection__iterator(var_12);
+}
+var_14 = var13;
+for(;;) {
+{
+var15 = ((short int(*)(val* self))((((long)var_14&3)?class_info[((long)var_14&3)]:var_14->class)->vft[COLOR_core__abstract_collection__Iterator__is_ok]))(var_14); /* is_ok on <var_14:Iterator[nullable Object]>*/
+}
+if (var15){
+} else {
+goto BREAK_label16;
+}
+{
+var17 = ((val*(*)(val* self))((((long)var_14&3)?class_info[((long)var_14&3)]:var_14->class)->vft[COLOR_core__abstract_collection__Iterator__item]))(var_14); /* item on <var_14:Iterator[nullable Object]>*/
+}
+var_e18 = var17;
+{
+var19 = poset___poset__POSet____91d_93d(self, var_e18);
+}
+{
+var20 = poset___poset__POSetElement___greaters(var19);
+}
+var_21 = var20;
+{
+var22 = ((val*(*)(val* self))((((long)var_21&3)?class_info[((long)var_21&3)]:var_21->class)->vft[COLOR_core__abstract_collection__Collection__iterator]))(var_21); /* iterator on <var_21:Collection[nullable Object]>*/
+}
+var_23 = var22;
+for(;;) {
+{
+var24 = ((short int(*)(val* self))((((long)var_23&3)?class_info[((long)var_23&3)]:var_23->class)->vft[COLOR_core__abstract_collection__Iterator__is_ok]))(var_23); /* is_ok on <var_23:Iterator[nullable Object]>*/
+}
+if (var24){
+} else {
+goto BREAK_label25;
+}
+{
+var26 = ((val*(*)(val* self))((((long)var_23&3)?class_info[((long)var_23&3)]:var_23->class)->vft[COLOR_core__abstract_collection__Iterator__item]))(var_23); /* item on <var_23:Iterator[nullable Object]>*/
+}
+var_f = var26;
+{
+var27 = ((short int(*)(val* self, val* p0))((((long)var_elements&3)?class_info[((long)var_elements&3)]:var_elements->class)->vft[COLOR_core__abstract_collection__Collection__has]))(var_elements, var_f); /* has on <var_elements:Collection[nullable Object]>*/
+}
+var28 = !var27;
+if (var28){
+goto BREAK_label29;
+} else {
+}
+{
+poset___poset__POSet___add_edge(var_res, var_e18, var_f); /* Direct call poset$POSet$add_edge on <var_res:POSet[nullable Object]>*/
+}
+BREAK_label29: (void)0;
+{
+((void(*)(val* self))((((long)var_23&3)?class_info[((long)var_23&3)]:var_23->class)->vft[COLOR_core__abstract_collection__Iterator__next]))(var_23); /* next on <var_23:Iterator[nullable Object]>*/
+}
+}
+BREAK_label25: (void)0;
+{
+((void(*)(val* self))((((long)var_23&3)?class_info[((long)var_23&3)]:var_23->class)->vft[COLOR_core__abstract_collection__Iterator__finish]))(var_23); /* finish on <var_23:Iterator[nullable Object]>*/
+}
+{
+((void(*)(val* self))((((long)var_14&3)?class_info[((long)var_14&3)]:var_14->class)->vft[COLOR_core__abstract_collection__Iterator__next]))(var_14); /* next on <var_14:Iterator[nullable Object]>*/
+}
+}
+BREAK_label16: (void)0;
+{
+((void(*)(val* self))((((long)var_14&3)?class_info[((long)var_14&3)]:var_14->class)->vft[COLOR_core__abstract_collection__Iterator__finish]))(var_14); /* finish on <var_14:Iterator[nullable Object]>*/
+}
+var = var_res;
+goto RET_LABEL;
+RET_LABEL:;
+return var;
+}
+/* method poset$POSet$== for (self: POSet[nullable Object], nullable Object): Bool */
+short int poset___poset__POSet___core__kernel__Object___61d_61d(val* self, val* p0) {
+short int var /* : Bool */;
+val* var_other /* var other: nullable Object */;
+short int var1 /* : Bool */;
+int cltype;
+int idtype;
+short int var2 /* : Bool */;
+val* var3 /* : HashMap[nullable Object, POSetElement[nullable Object]] */;
+val* var5 /* : HashMap[nullable Object, POSetElement[nullable Object]] */;
+val* var6 /* : RemovableCollection[nullable Object] */;
+val* var7 /* : HashMap[nullable Object, POSetElement[nullable Object]] */;
+val* var9 /* : HashMap[nullable Object, POSetElement[nullable Object]] */;
+val* var10 /* : RemovableCollection[nullable Object] */;
+short int var11 /* : Bool */;
+short int var12 /* : Bool */;
+val* var13 /* : HashMap[nullable Object, POSetElement[nullable Object]] */;
+val* var15 /* : HashMap[nullable Object, POSetElement[nullable Object]] */;
+val* var_ /* var : HashMap[nullable Object, POSetElement[nullable Object]] */;
+val* var16 /* : MapIterator[nullable Object, nullable Object] */;
+val* var_17 /* var : MapIterator[nullable Object, POSetElement[nullable Object]] */;
+short int var18 /* : Bool */;
+val* var19 /* : nullable Object */;
+val* var_e /* var e: nullable Object */;
+val* var20 /* : nullable Object */;
+val* var_ee /* var ee: POSetElement[nullable Object] */;
+val* var21 /* : Collection[nullable Object] */;
+val* var22 /* : POSetElement[nullable Object] */;
+val* var23 /* : Collection[nullable Object] */;
+short int var24 /* : Bool */;
+val* var_other26 /* var other: nullable Object */;
+short int var27 /* : Bool */;
+short int var28 /* : Bool */;
+long var30 /* : Int */;
+long var31 /* : Int */;
+short int var32 /* : Bool */;
+short int var34 /* : Bool */;
+var_other = p0;
+/* <var_other:nullable Object> isa POSet[nullable Object] */
+cltype = type_poset__POSet__nullable__core__Object.color;
+idtype = type_poset__POSet__nullable__core__Object.id;
+if(var_other == NULL) {
+var1 = 0;
+} else {
+if(cltype >= (((long)var_other&3)?type_info[((long)var_other&3)]:var_other->type)->table_size) {
+var1 = 0;
+} else {
+var1 = (((long)var_other&3)?type_info[((long)var_other&3)]:var_other->type)->type_table[cltype] == idtype;
+}
+}
+var2 = !var1;
+if (var2){
+var = 0;
+goto RET_LABEL;
+} else {
+}
+{
+{ /* Inline poset$POSet$elements (self) on <self:POSet[nullable Object]> */
+var5 = self->attrs[COLOR_poset__POSet___elements].val; /* _elements on <self:POSet[nullable Object]> */
+if (unlikely(var5 == NULL)) {
+if(catchStack.cursor >= 0){
+longjmp(catchStack.envs[catchStack.cursor], 1);
+}
+PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _elements");
+PRINT_ERROR(" (%s:%d)\n", FILE_poset, 86);
+fatal_exit(1);
+}
+var3 = var5;
+RET_LABEL4:(void)0;
+}
+}
+{
+var6 = core___core__HashMap___core__abstract_collection__MapRead__keys(var3);
+}
+{
+{ /* Inline poset$POSet$elements (var_other) on <var_other:nullable Object(POSet[nullable Object])> */
+var9 = var_other->attrs[COLOR_poset__POSet___elements].val; /* _elements on <var_other:nullable Object(POSet[nullable Object])> */
+if (unlikely(var9 == NULL)) {
+if(catchStack.cursor >= 0){
+longjmp(catchStack.envs[catchStack.cursor], 1);
+}
+PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _elements");
+PRINT_ERROR(" (%s:%d)\n", FILE_poset, 86);
+fatal_exit(1);
+}
+var7 = var9;
+RET_LABEL8:(void)0;
+}
+}
+{
+var10 = core___core__HashMap___core__abstract_collection__MapRead__keys(var7);
+}
+{
+var11 = core___core__Collection___has_exactly(var6, var10);
+}
+var12 = !var11;
+if (var12){
+var = 0;
+goto RET_LABEL;
+} else {
+}
+{
+{ /* Inline poset$POSet$elements (self) on <self:POSet[nullable Object]> */
+var15 = self->attrs[COLOR_poset__POSet___elements].val; /* _elements on <self:POSet[nullable Object]> */
+if (unlikely(var15 == NULL)) {
+if(catchStack.cursor >= 0){
+longjmp(catchStack.envs[catchStack.cursor], 1);
+}
+PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _elements");
+PRINT_ERROR(" (%s:%d)\n", FILE_poset, 86);
+fatal_exit(1);
+}
+var13 = var15;
+RET_LABEL14:(void)0;
+}
+}
+var_ = var13;
+{
+var16 = core___core__HashMap___core__abstract_collection__MapRead__iterator(var_);
+}
+var_17 = var16;
+for(;;) {
+{
+var18 = ((short int(*)(val* self))((((long)var_17&3)?class_info[((long)var_17&3)]:var_17->class)->vft[COLOR_core__abstract_collection__MapIterator__is_ok]))(var_17); /* is_ok on <var_17:MapIterator[nullable Object, POSetElement[nullable Object]]>*/
+}
+if (var18){
+} else {
+goto BREAK_label;
+}
+{
+var19 = ((val*(*)(val* self))((((long)var_17&3)?class_info[((long)var_17&3)]:var_17->class)->vft[COLOR_core__abstract_collection__MapIterator__key]))(var_17); /* key on <var_17:MapIterator[nullable Object, POSetElement[nullable Object]]>*/
+}
+var_e = var19;
+{
+var20 = ((val*(*)(val* self))((((long)var_17&3)?class_info[((long)var_17&3)]:var_17->class)->vft[COLOR_core__abstract_collection__MapIterator__item]))(var_17); /* item on <var_17:MapIterator[nullable Object, POSetElement[nullable Object]]>*/
+}
+var_ee = var20;
+{
+var21 = poset___poset__POSetElement___direct_greaters(var_ee);
+}
+{
+var22 = poset___poset__POSet____91d_93d(var_other, var_e);
+}
+{
+var23 = poset___poset__POSetElement___direct_greaters(var22);
+}
+{
+{ /* Inline kernel$Object$!= (var21,var23) on <var21:Collection[nullable Object]> */
+var_other26 = var23;
+{
+var27 = ((short int(*)(val* self, val* p0))((((long)var21&3)?class_info[((long)var21&3)]:var21->class)->vft[COLOR_core__kernel__Object___61d_61d]))(var21, var_other26); /* == on <var21:Collection[nullable Object]>*/
+}
+var28 = !var27;
+var24 = var28;
+goto RET_LABEL25;
+RET_LABEL25:(void)0;
+}
+}
+if (var24){
+var = 0;
+goto RET_LABEL;
+} else {
+}
+{
+((void(*)(val* self))((((long)var_17&3)?class_info[((long)var_17&3)]:var_17->class)->vft[COLOR_core__abstract_collection__MapIterator__next]))(var_17); /* next on <var_17:MapIterator[nullable Object, POSetElement[nullable Object]]>*/
+}
+}
+BREAK_label: (void)0;
+{
+{ /* Inline abstract_collection$MapIterator$finish (var_17) on <var_17:MapIterator[nullable Object, POSetElement[nullable Object]]> */
+RET_LABEL29:(void)0;
+}
+}
+{
+var30 = poset___poset__POSet___core__kernel__Object__hash(self);
+}
+{
+var31 = poset___poset__POSet___core__kernel__Object__hash(var_other);
+}
+{
+{ /* Inline kernel$Int$== (var30,var31) on <var30:Int> */
+var34 = var30 == var31;
+var32 = var34;
+goto RET_LABEL33;
+RET_LABEL33:(void)0;
+}
+}
+if (unlikely(!var32)) {
+if(catchStack.cursor >= 0){
+longjmp(catchStack.envs[catchStack.cursor], 1);
+}
+PRINT_ERROR("Runtime error: %s", "Assert failed");
+PRINT_ERROR(" (%s:%d)\n", FILE_poset, 476);
+fatal_exit(1);
+}
+var = 1;
+goto RET_LABEL;
+RET_LABEL:;
+return var;
+}
+/* method poset$POSet$hash for (self: POSet[nullable Object]): Int */
+long poset___poset__POSet___core__kernel__Object__hash(val* self) {
+long var /* : Int */;
+long var_res /* var res: Int */;
+val* var1 /* : HashMap[nullable Object, POSetElement[nullable Object]] */;
+val* var3 /* : HashMap[nullable Object, POSetElement[nullable Object]] */;
+val* var_ /* var : HashMap[nullable Object, POSetElement[nullable Object]] */;
+val* var4 /* : MapIterator[nullable Object, nullable Object] */;
+val* var_5 /* var : MapIterator[nullable Object, POSetElement[nullable Object]] */;
+short int var6 /* : Bool */;
+val* var7 /* : nullable Object */;
+val* var_e /* var e: nullable Object */;
+val* var8 /* : nullable Object */;
+val* var_ee /* var ee: POSetElement[nullable Object] */;
+short int var9 /* : Bool */;
+short int var10 /* : Bool */;
+long var12 /* : Int */;
+long var13 /* : Int */;
+short int var15 /* : Bool */;
+int cltype;
+int idtype;
+const char* var_class_name;
+long var16 /* : Int */;
+val* var17 /* : Collection[nullable Object] */;
+long var18 /* : Int */;
+long var19 /* : Int */;
+short int var21 /* : Bool */;
+int cltype22;
+int idtype23;
+const char* var_class_name24;
+long var25 /* : Int */;
+var_res = 0l;
+{
+{ /* Inline poset$POSet$elements (self) on <self:POSet[nullable Object]> */
+var3 = self->attrs[COLOR_poset__POSet___elements].val; /* _elements on <self:POSet[nullable Object]> */
+if (unlikely(var3 == NULL)) {
+if(catchStack.cursor >= 0){
+longjmp(catchStack.envs[catchStack.cursor], 1);
+}
+PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _elements");
+PRINT_ERROR(" (%s:%d)\n", FILE_poset, 86);
+fatal_exit(1);
+}
+var1 = var3;
+RET_LABEL2:(void)0;
+}
+}
+var_ = var1;
+{
+var4 = core___core__HashMap___core__abstract_collection__MapRead__iterator(var_);
+}
+var_5 = var4;
+for(;;) {
+{
+var6 = ((short int(*)(val* self))((((long)var_5&3)?class_info[((long)var_5&3)]:var_5->class)->vft[COLOR_core__abstract_collection__MapIterator__is_ok]))(var_5); /* is_ok on <var_5:MapIterator[nullable Object, POSetElement[nullable Object]]>*/
+}
+if (var6){
+} else {
+goto BREAK_label;
+}
+{
+var7 = ((val*(*)(val* self))((((long)var_5&3)?class_info[((long)var_5&3)]:var_5->class)->vft[COLOR_core__abstract_collection__MapIterator__key]))(var_5); /* key on <var_5:MapIterator[nullable Object, POSetElement[nullable Object]]>*/
+}
+var_e = var7;
+{
+var8 = ((val*(*)(val* self))((((long)var_5&3)?class_info[((long)var_5&3)]:var_5->class)->vft[COLOR_core__abstract_collection__MapIterator__item]))(var_5); /* item on <var_5:MapIterator[nullable Object, POSetElement[nullable Object]]>*/
+}
+var_ee = var8;
+if (var_e == NULL) {
+var9 = 1; /* is null */
+} else {
+var9 = 0; /* arg is null but recv is not */
+}
+if (0) {
+var10 = ((short int(*)(val* self, val* p0))((((long)var_e&3)?class_info[((long)var_e&3)]:var_e->class)->vft[COLOR_core__kernel__Object___61d_61d]))(var_e, ((val*)NULL)); /* == on <var_e:nullable Object>*/
+var9 = var10;
+}
+if (var9){
+goto BREAK_label11;
+} else {
+}
+{
+var12 = ((long(*)(val* self))((((long)var_e&3)?class_info[((long)var_e&3)]:var_e->class)->vft[COLOR_core__kernel__Object__hash]))(var_e); /* hash on <var_e:nullable Object(Object)>*/
+}
+{
+{ /* Inline kernel$Int$+ (var_res,var12) on <var_res:Int> */
+/* Covariant cast for argument 0 (i) <var12:Int> isa OTHER */
+/* <var12:Int> isa OTHER */
+var15 = 1; /* easy <var12:Int> isa OTHER*/
+if (unlikely(!var15)) {
+var_class_name = type_core__Int.name;
+PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name);
+PRINT_ERROR(" (%s:%d)\n", FILE_core__kernel, 728);
+fatal_exit(1);
+}
+var16 = var_res + var12;
+var13 = var16;
+goto RET_LABEL14;
+RET_LABEL14:(void)0;
+}
+}
+var_res = var13;
+{
+var17 = poset___poset__POSetElement___direct_greaters(var_ee);
+}
+{
+var18 = ((long(*)(val* self))((((long)var17&3)?class_info[((long)var17&3)]:var17->class)->vft[COLOR_core__abstract_collection__Collection__length]))(var17); /* length on <var17:Collection[nullable Object]>*/
+}
+{
+{ /* Inline kernel$Int$+ (var_res,var18) on <var_res:Int> */
+/* Covariant cast for argument 0 (i) <var18:Int> isa OTHER */
+/* <var18:Int> isa OTHER */
+var21 = 1; /* easy <var18:Int> isa OTHER*/
+if (unlikely(!var21)) {
+var_class_name24 = type_core__Int.name;
+PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name24);
+PRINT_ERROR(" (%s:%d)\n", FILE_core__kernel, 728);
+fatal_exit(1);
+}
+var25 = var_res + var18;
+var19 = var25;
+goto RET_LABEL20;
+RET_LABEL20:(void)0;
+}
+}
+var_res = var19;
+BREAK_label11: (void)0;
+{
+((void(*)(val* self))((((long)var_5&3)?class_info[((long)var_5&3)]:var_5->class)->vft[COLOR_core__abstract_collection__MapIterator__next]))(var_5); /* next on <var_5:MapIterator[nullable Object, POSetElement[nullable Object]]>*/
+}
+}
+BREAK_label: (void)0;
+{
+{ /* Inline abstract_collection$MapIterator$finish (var_5) on <var_5:MapIterator[nullable Object, POSetElement[nullable Object]]> */
+RET_LABEL26:(void)0;
+}
+}
+var = var_res;
+goto RET_LABEL;
+RET_LABEL:;
+return var;
+}
+/* method poset$POSetElement$poset for (self: POSetElement[nullable Object]): POSet[nullable Object] */
 val* poset___poset__POSetElement___poset(val* self) {
 val* var /* : POSet[nullable Object] */;
 val* var1 /* : POSet[nullable Object] */;
 var1 = self->attrs[COLOR_poset__POSetElement___poset].val; /* _poset on <self:POSetElement[nullable Object]> */
 if (unlikely(var1 == NULL)) {
+if(catchStack.cursor >= 0){
+longjmp(catchStack.envs[catchStack.cursor], 1);
+}
 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _poset");
-PRINT_ERROR(" (%s:%d)\n", FILE_poset, 400);
+PRINT_ERROR(" (%s:%d)\n", FILE_poset, 526);
 fatal_exit(1);
 }
 var = var1;
 RET_LABEL:;
 return var;
 }
-/* method poset#POSetElement#poset= for (self: POSetElement[nullable Object], POSet[nullable Object]) */
+/* method poset$POSetElement$poset= for (self: POSetElement[nullable Object], POSet[nullable Object]) */
 void poset___poset__POSetElement___poset_61d(val* self, val* p0) {
 short int var /* : Bool */;
 int cltype;
@@ -1474,13 +2144,13 @@ var = p0->type->type_table[cltype] == idtype;
 if (unlikely(!var)) {
 var_class_name = p0 == NULL ? "null" : p0->type->name;
 PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "POSet[E]", var_class_name);
-PRINT_ERROR(" (%s:%d)\n", FILE_poset, 400);
+PRINT_ERROR(" (%s:%d)\n", FILE_poset, 526);
 fatal_exit(1);
 }
 self->attrs[COLOR_poset__POSetElement___poset].val = p0; /* _poset on <self:POSetElement[nullable Object]> */
 RET_LABEL:;
 }
-/* method poset#POSetElement#element for (self: POSetElement[nullable Object]): nullable Object */
+/* method poset$POSetElement$element for (self: POSetElement[nullable Object]): nullable Object */
 val* poset___poset__POSetElement___element(val* self) {
 val* var /* : nullable Object */;
 val* var1 /* : nullable Object */;
@@ -1489,7 +2159,7 @@ var = var1;
 RET_LABEL:;
 return var;
 }
-/* method poset#POSetElement#element= for (self: POSetElement[nullable Object], nullable Object) */
+/* method poset$POSetElement$element= for (self: POSetElement[nullable Object], nullable Object) */
 void poset___poset__POSetElement___element_61d(val* self, val* p0) {
 short int var /* : Bool */;
 int cltype;
@@ -1515,69 +2185,81 @@ var = (((long)p0&3)?type_info[((long)p0&3)]:p0->type)->type_table[cltype] == idt
 if (unlikely(!var)) {
 var_class_name = p0 == NULL ? "null" : (((long)p0&3)?type_info[((long)p0&3)]:p0->type)->name;
 PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "E", var_class_name);
-PRINT_ERROR(" (%s:%d)\n", FILE_poset, 403);
+PRINT_ERROR(" (%s:%d)\n", FILE_poset, 529);
 fatal_exit(1);
 }
 self->attrs[COLOR_poset__POSetElement___element].val = p0; /* _element on <self:POSetElement[nullable Object]> */
 RET_LABEL:;
 }
-/* method poset#POSetElement#tos for (self: POSetElement[nullable Object]): HashSet[nullable Object] */
+/* method poset$POSetElement$tos for (self: POSetElement[nullable Object]): HashSet[nullable Object] */
 val* poset___poset__POSetElement___tos(val* self) {
 val* var /* : HashSet[nullable Object] */;
 val* var1 /* : HashSet[nullable Object] */;
 var1 = self->attrs[COLOR_poset__POSetElement___tos].val; /* _tos on <self:POSetElement[nullable Object]> */
 if (unlikely(var1 == NULL)) {
+if(catchStack.cursor >= 0){
+longjmp(catchStack.envs[catchStack.cursor], 1);
+}
 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _tos");
-PRINT_ERROR(" (%s:%d)\n", FILE_poset, 406);
+PRINT_ERROR(" (%s:%d)\n", FILE_poset, 532);
 fatal_exit(1);
 }
 var = var1;
 RET_LABEL:;
 return var;
 }
-/* method poset#POSetElement#froms for (self: POSetElement[nullable Object]): HashSet[nullable Object] */
+/* method poset$POSetElement$froms for (self: POSetElement[nullable Object]): HashSet[nullable Object] */
 val* poset___poset__POSetElement___froms(val* self) {
 val* var /* : HashSet[nullable Object] */;
 val* var1 /* : HashSet[nullable Object] */;
 var1 = self->attrs[COLOR_poset__POSetElement___froms].val; /* _froms on <self:POSetElement[nullable Object]> */
 if (unlikely(var1 == NULL)) {
+if(catchStack.cursor >= 0){
+longjmp(catchStack.envs[catchStack.cursor], 1);
+}
 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _froms");
-PRINT_ERROR(" (%s:%d)\n", FILE_poset, 407);
+PRINT_ERROR(" (%s:%d)\n", FILE_poset, 533);
 fatal_exit(1);
 }
 var = var1;
 RET_LABEL:;
 return var;
 }
-/* method poset#POSetElement#dtos for (self: POSetElement[nullable Object]): HashSet[nullable Object] */
+/* method poset$POSetElement$dtos for (self: POSetElement[nullable Object]): HashSet[nullable Object] */
 val* poset___poset__POSetElement___dtos(val* self) {
 val* var /* : HashSet[nullable Object] */;
 val* var1 /* : HashSet[nullable Object] */;
 var1 = self->attrs[COLOR_poset__POSetElement___dtos].val; /* _dtos on <self:POSetElement[nullable Object]> */
 if (unlikely(var1 == NULL)) {
+if(catchStack.cursor >= 0){
+longjmp(catchStack.envs[catchStack.cursor], 1);
+}
 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _dtos");
-PRINT_ERROR(" (%s:%d)\n", FILE_poset, 408);
+PRINT_ERROR(" (%s:%d)\n", FILE_poset, 534);
 fatal_exit(1);
 }
 var = var1;
 RET_LABEL:;
 return var;
 }
-/* method poset#POSetElement#dfroms for (self: POSetElement[nullable Object]): HashSet[nullable Object] */
+/* method poset$POSetElement$dfroms for (self: POSetElement[nullable Object]): HashSet[nullable Object] */
 val* poset___poset__POSetElement___dfroms(val* self) {
 val* var /* : HashSet[nullable Object] */;
 val* var1 /* : HashSet[nullable Object] */;
 var1 = self->attrs[COLOR_poset__POSetElement___dfroms].val; /* _dfroms on <self:POSetElement[nullable Object]> */
 if (unlikely(var1 == NULL)) {
+if(catchStack.cursor >= 0){
+longjmp(catchStack.envs[catchStack.cursor], 1);
+}
 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _dfroms");
-PRINT_ERROR(" (%s:%d)\n", FILE_poset, 409);
+PRINT_ERROR(" (%s:%d)\n", FILE_poset, 535);
 fatal_exit(1);
 }
 var = var1;
 RET_LABEL:;
 return var;
 }
-/* method poset#POSetElement#count for (self: POSetElement[nullable Object]): Int */
+/* method poset$POSetElement$count for (self: POSetElement[nullable Object]): Int */
 long poset___poset__POSetElement___count(val* self) {
 long var /* : Int */;
 long var1 /* : Int */;
@@ -1586,22 +2268,25 @@ var = var1;
 RET_LABEL:;
 return var;
 }
-/* method poset#POSetElement#count= for (self: POSetElement[nullable Object], Int) */
+/* method poset$POSetElement$count= for (self: POSetElement[nullable Object], Int) */
 void poset___poset__POSetElement___count_61d(val* self, long p0) {
 self->attrs[COLOR_poset__POSetElement___count].l = p0; /* _count on <self:POSetElement[nullable Object]> */
 RET_LABEL:;
 }
-/* method poset#POSetElement#greaters for (self: POSetElement[nullable Object]): Collection[nullable Object] */
+/* method poset$POSetElement$greaters for (self: POSetElement[nullable Object]): Collection[nullable Object] */
 val* poset___poset__POSetElement___greaters(val* self) {
 val* var /* : Collection[nullable Object] */;
 val* var1 /* : HashSet[nullable Object] */;
 val* var3 /* : HashSet[nullable Object] */;
 {
-{ /* Inline poset#POSetElement#tos (self) on <self:POSetElement[nullable Object]> */
+{ /* Inline poset$POSetElement$tos (self) on <self:POSetElement[nullable Object]> */
 var3 = self->attrs[COLOR_poset__POSetElement___tos].val; /* _tos on <self:POSetElement[nullable Object]> */
 if (unlikely(var3 == NULL)) {
+if(catchStack.cursor >= 0){
+longjmp(catchStack.envs[catchStack.cursor], 1);
+}
 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _tos");
-PRINT_ERROR(" (%s:%d)\n", FILE_poset, 406);
+PRINT_ERROR(" (%s:%d)\n", FILE_poset, 532);
 fatal_exit(1);
 }
 var1 = var3;
@@ -1613,17 +2298,20 @@ goto RET_LABEL;
 RET_LABEL:;
 return var;
 }
-/* method poset#POSetElement#direct_greaters for (self: POSetElement[nullable Object]): Collection[nullable Object] */
+/* method poset$POSetElement$direct_greaters for (self: POSetElement[nullable Object]): Collection[nullable Object] */
 val* poset___poset__POSetElement___direct_greaters(val* self) {
 val* var /* : Collection[nullable Object] */;
 val* var1 /* : HashSet[nullable Object] */;
 val* var3 /* : HashSet[nullable Object] */;
 {
-{ /* Inline poset#POSetElement#dtos (self) on <self:POSetElement[nullable Object]> */
+{ /* Inline poset$POSetElement$dtos (self) on <self:POSetElement[nullable Object]> */
 var3 = self->attrs[COLOR_poset__POSetElement___dtos].val; /* _dtos on <self:POSetElement[nullable Object]> */
 if (unlikely(var3 == NULL)) {
+if(catchStack.cursor >= 0){
+longjmp(catchStack.envs[catchStack.cursor], 1);
+}
 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _dtos");
-PRINT_ERROR(" (%s:%d)\n", FILE_poset, 408);
+PRINT_ERROR(" (%s:%d)\n", FILE_poset, 534);
 fatal_exit(1);
 }
 var1 = var3;
@@ -1635,17 +2323,20 @@ goto RET_LABEL;
 RET_LABEL:;
 return var;
 }
-/* method poset#POSetElement#smallers for (self: POSetElement[nullable Object]): Collection[nullable Object] */
+/* method poset$POSetElement$smallers for (self: POSetElement[nullable Object]): Collection[nullable Object] */
 val* poset___poset__POSetElement___smallers(val* self) {
 val* var /* : Collection[nullable Object] */;
 val* var1 /* : HashSet[nullable Object] */;
 val* var3 /* : HashSet[nullable Object] */;
 {
-{ /* Inline poset#POSetElement#froms (self) on <self:POSetElement[nullable Object]> */
+{ /* Inline poset$POSetElement$froms (self) on <self:POSetElement[nullable Object]> */
 var3 = self->attrs[COLOR_poset__POSetElement___froms].val; /* _froms on <self:POSetElement[nullable Object]> */
 if (unlikely(var3 == NULL)) {
+if(catchStack.cursor >= 0){
+longjmp(catchStack.envs[catchStack.cursor], 1);
+}
 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _froms");
-PRINT_ERROR(" (%s:%d)\n", FILE_poset, 407);
+PRINT_ERROR(" (%s:%d)\n", FILE_poset, 533);
 fatal_exit(1);
 }
 var1 = var3;
@@ -1657,17 +2348,20 @@ goto RET_LABEL;
 RET_LABEL:;
 return var;
 }
-/* method poset#POSetElement#direct_smallers for (self: POSetElement[nullable Object]): Collection[nullable Object] */
+/* method poset$POSetElement$direct_smallers for (self: POSetElement[nullable Object]): Collection[nullable Object] */
 val* poset___poset__POSetElement___direct_smallers(val* self) {
 val* var /* : Collection[nullable Object] */;
 val* var1 /* : HashSet[nullable Object] */;
 val* var3 /* : HashSet[nullable Object] */;
 {
-{ /* Inline poset#POSetElement#dfroms (self) on <self:POSetElement[nullable Object]> */
+{ /* Inline poset$POSetElement$dfroms (self) on <self:POSetElement[nullable Object]> */
 var3 = self->attrs[COLOR_poset__POSetElement___dfroms].val; /* _dfroms on <self:POSetElement[nullable Object]> */
 if (unlikely(var3 == NULL)) {
+if(catchStack.cursor >= 0){
+longjmp(catchStack.envs[catchStack.cursor], 1);
+}
 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _dfroms");
-PRINT_ERROR(" (%s:%d)\n", FILE_poset, 409);
+PRINT_ERROR(" (%s:%d)\n", FILE_poset, 535);
 fatal_exit(1);
 }
 var1 = var3;
@@ -1679,7 +2373,7 @@ goto RET_LABEL;
 RET_LABEL:;
 return var;
 }
-/* method poset#POSetElement#<= for (self: POSetElement[nullable Object], nullable Object): Bool */
+/* method poset$POSetElement$<= for (self: POSetElement[nullable Object], nullable Object): Bool */
 short int poset___poset__POSetElement____60d_61d(val* self, val* p0) {
 short int var /* : Bool */;
 short int var1 /* : Bool */;
@@ -1710,16 +2404,19 @@ var1 = (((long)p0&3)?type_info[((long)p0&3)]:p0->type)->type_table[cltype] == id
 if (unlikely(!var1)) {
 var_class_name = p0 == NULL ? "null" : (((long)p0&3)?type_info[((long)p0&3)]:p0->type)->name;
 PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "E", var_class_name);
-PRINT_ERROR(" (%s:%d)\n", FILE_poset, 465);
+PRINT_ERROR(" (%s:%d)\n", FILE_poset, 591);
 fatal_exit(1);
 }
 var_t = p0;
 {
-{ /* Inline poset#POSetElement#tos (self) on <self:POSetElement[nullable Object]> */
+{ /* Inline poset$POSetElement$tos (self) on <self:POSetElement[nullable Object]> */
 var4 = self->attrs[COLOR_poset__POSetElement___tos].val; /* _tos on <self:POSetElement[nullable Object]> */
 if (unlikely(var4 == NULL)) {
+if(catchStack.cursor >= 0){
+longjmp(catchStack.envs[catchStack.cursor], 1);
+}
 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _tos");
-PRINT_ERROR(" (%s:%d)\n", FILE_poset, 406);
+PRINT_ERROR(" (%s:%d)\n", FILE_poset, 532);
 fatal_exit(1);
 }
 var2 = var4;
@@ -1734,7 +2431,7 @@ goto RET_LABEL;
 RET_LABEL:;
 return var;
 }
-/* method poset#POSetElement#< for (self: POSetElement[nullable Object], nullable Object): Bool */
+/* method poset$POSetElement$< for (self: POSetElement[nullable Object], nullable Object): Bool */
 short int poset___poset__POSetElement____60d(val* self, val* p0) {
 short int var /* : Bool */;
 short int var1 /* : Bool */;
@@ -1771,12 +2468,12 @@ var1 = (((long)p0&3)?type_info[((long)p0&3)]:p0->type)->type_table[cltype] == id
 if (unlikely(!var1)) {
 var_class_name = p0 == NULL ? "null" : (((long)p0&3)?type_info[((long)p0&3)]:p0->type)->name;
 PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "E", var_class_name);
-PRINT_ERROR(" (%s:%d)\n", FILE_poset, 480);
+PRINT_ERROR(" (%s:%d)\n", FILE_poset, 606);
 fatal_exit(1);
 }
 var_t = p0;
 {
-{ /* Inline poset#POSetElement#element (self) on <self:POSetElement[nullable Object]> */
+{ /* Inline poset$POSetElement$element (self) on <self:POSetElement[nullable Object]> */
 var5 = self->attrs[COLOR_poset__POSetElement___element].val; /* _element on <self:POSetElement[nullable Object]> */
 var3 = var5;
 RET_LABEL4:(void)0;
@@ -1791,11 +2488,14 @@ var6 = var7;
 var_ = var6;
 if (var6){
 {
-{ /* Inline poset#POSetElement#tos (self) on <self:POSetElement[nullable Object]> */
+{ /* Inline poset$POSetElement$tos (self) on <self:POSetElement[nullable Object]> */
 var10 = self->attrs[COLOR_poset__POSetElement___tos].val; /* _tos on <self:POSetElement[nullable Object]> */
 if (unlikely(var10 == NULL)) {
+if(catchStack.cursor >= 0){
+longjmp(catchStack.envs[catchStack.cursor], 1);
+}
 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _tos");
-PRINT_ERROR(" (%s:%d)\n", FILE_poset, 406);
+PRINT_ERROR(" (%s:%d)\n", FILE_poset, 532);
 fatal_exit(1);
 }
 var8 = var10;
@@ -1814,7 +2514,7 @@ goto RET_LABEL;
 RET_LABEL:;
 return var;
 }
-/* method poset#POSetElement#init for (self: POSetElement[nullable Object]) */
+/* method poset$POSetElement$init for (self: POSetElement[nullable Object]) */
 void poset___poset__POSetElement___core__kernel__Object__init(val* self) {
 {
 ((void(*)(val* self))(self->class->vft[COLOR_poset___poset__POSetElement___core__kernel__Object__init]))(self); /* init on <self:POSetElement[nullable Object]>*/