-val* var31 /* : nullable Object */;
-val* var_x /* var x: Object */;
-val* var32 /* : HashMap[Object, POSetElement[Object]] */;
-val* var33 /* : nullable Object */;
-val* var_xe /* var xe: POSetElement[Object] */;
-val* var34 /* : HashSet[Object] */;
-short int var35 /* : Bool */;
-val* var36 /* : HashSet[Object] */;
-val* var37 /* : HashSet[Object] */;
-val* var39 /* : HashSet[Object] */;
-val* var40 /* : Array[nullable Object] */;
-val* var41 /* : Iterator[nullable Object] */;
-short int var42 /* : Bool */;
-val* var43 /* : nullable Object */;
-val* var_x44 /* var x: Object */;
-val* var45 /* : HashMap[Object, POSetElement[Object]] */;
-val* var46 /* : nullable Object */;
-val* var_xe47 /* var xe: POSetElement[Object] */;
-val* var48 /* : HashSet[Object] */;
-short int var49 /* : Bool */;
-val* var50 /* : HashSet[Object] */;
-val* var51 /* : HashSet[Object] */;
-val* var53 /* : HashSet[Object] */;
-val* var54 /* : HashSet[Object] */;
-/* Covariant cast for argument 0 (f) <p0:Object> isa POSet#0 */
-/* <p0:Object> isa POSet#0 */
-type_struct = self->type->resolution_table->types[COLOR_poset__POSet_FT0];
+val* var32 /* : nullable Object */;
+val* var_tt /* var tt: nullable Object */;
+val* var33 /* : HashMap[nullable Object, POSetElement[nullable Object]] */;
+val* var35 /* : HashMap[nullable Object, POSetElement[nullable Object]] */;
+val* var36 /* : nullable Object */;
+val* var_tte /* var tte: POSetElement[nullable Object] */;
+val* var37 /* : HashSet[nullable Object] */;
+val* var39 /* : HashSet[nullable Object] */;
+val* var40 /* : HashSet[nullable Object] */;
+val* var42 /* : HashSet[nullable Object] */;
+val* var43 /* : HashSet[nullable Object] */;
+val* var45 /* : HashSet[nullable Object] */;
+short int var46 /* : Bool */;
+val* var_to_remove /* var to_remove: nullable Array[nullable Object] */;
+val* var47 /* : HashSet[nullable Object] */;
+val* var49 /* : HashSet[nullable Object] */;
+val* var_50 /* var : HashSet[nullable Object] */;
+val* var51 /* : Iterator[nullable Object] */;
+val* var_52 /* var : Iterator[nullable Object] */;
+short int var53 /* : Bool */;
+val* var55 /* : nullable Object */;
+val* var_x /* var x: nullable Object */;
+val* var56 /* : HashMap[nullable Object, POSetElement[nullable Object]] */;
+val* var58 /* : HashMap[nullable Object, POSetElement[nullable Object]] */;
+val* var59 /* : nullable Object */;
+val* var_xe /* var xe: POSetElement[nullable Object] */;
+val* var60 /* : HashSet[nullable Object] */;
+val* var62 /* : HashSet[nullable Object] */;
+short int var63 /* : Bool */;
+short int var64 /* : Bool */;
+short int var65 /* : Bool */;
+val* var66 /* : Array[nullable Object] */;
+val* var67 /* : HashSet[nullable Object] */;
+val* var69 /* : HashSet[nullable Object] */;
+short int var70 /* : Bool */;
+short int var71 /* : Bool */;
+val* var_other /* var other: nullable Object */;
+short int var73 /* : Bool */;
+short int var74 /* : Bool */;
+val* var_75 /* var : Array[nullable Object] */;
+val* var76 /* : IndexedIterator[nullable Object] */;
+val* var_77 /* var : IndexedIterator[nullable Object] */;
+short int var78 /* : Bool */;
+val* var80 /* : nullable Object */;
+val* var_x81 /* var x: nullable Object */;
+val* var82 /* : HashSet[nullable Object] */;
+val* var84 /* : HashSet[nullable Object] */;
+val* var85 /* : HashSet[nullable Object] */;
+val* var87 /* : HashSet[nullable Object] */;
+val* var_88 /* var : HashSet[nullable Object] */;
+val* var89 /* : Iterator[nullable Object] */;
+val* var_90 /* var : Iterator[nullable Object] */;
+short int var91 /* : Bool */;
+val* var93 /* : nullable Object */;
+val* var_x94 /* var x: nullable Object */;
+val* var95 /* : HashMap[nullable Object, POSetElement[nullable Object]] */;
+val* var97 /* : HashMap[nullable Object, POSetElement[nullable Object]] */;
+val* var98 /* : nullable Object */;
+val* var_xe99 /* var xe: POSetElement[nullable Object] */;
+val* var100 /* : HashSet[nullable Object] */;
+val* var102 /* : HashSet[nullable Object] */;
+short int var103 /* : Bool */;
+val* var104 /* : HashSet[nullable Object] */;
+val* var106 /* : HashSet[nullable Object] */;
+short int var107 /* : Bool */;
+short int var108 /* : Bool */;
+val* var109 /* : Array[nullable Object] */;
+short int var110 /* : Bool */;
+short int var111 /* : Bool */;
+short int var113 /* : Bool */;
+short int var114 /* : Bool */;
+val* var_115 /* var : Array[nullable Object] */;
+val* var116 /* : IndexedIterator[nullable Object] */;
+val* var_117 /* var : IndexedIterator[nullable Object] */;
+short int var118 /* : Bool */;
+val* var120 /* : nullable Object */;
+val* var_x121 /* var x: nullable Object */;
+val* var122 /* : HashSet[nullable Object] */;
+val* var124 /* : HashSet[nullable Object] */;
+val* var125 /* : HashSet[nullable Object] */;
+val* var127 /* : HashSet[nullable Object] */;
+val* var128 /* : HashSet[nullable Object] */;
+val* var130 /* : HashSet[nullable Object] */;
+/* Covariant cast for argument 0 (f) <p0:nullable Object> isa E */
+/* <p0:nullable Object> isa E */
+type_struct = self->type->resolution_table->types[COLOR_poset__POSet___35dE];