-void array__ArrayIterator__next(val* self);
-void poset__POSet__add_edge(val* self, val* p0, val* p1);
-long hash_collection__HashSet__length(val* self);
-long kernel__Int___60d_61d_62d(long self, long p0);
-long poset__POSet__compare(val* self, val* p0, val* p1);
-#define COLOR_abstract_collection__Collectionposet__POSet_FT0 4
-void sorter__Comparator__sort(val* self, val* p0);
-val* poset__POSet__linearize(val* self, val* p0);
-val* poset__POSetElement__greaters(val* self);
-val* poset__POSetElement__direct_greaters(val* self);
-val* poset__POSetElement__smallers(val* self);
-val* poset__POSetElement__direct_smallers(val* self);
-short int poset__POSetElement___60d_61d(val* self, val* p0);
-#define COLOR_kernel__Object___33d_61d 3
-short int poset__POSetElement___60d(val* self, val* p0);
+void core___core__HashSet___core__abstract_collection__RemovableCollection__remove(val* self, val* p0);
+#define COLOR_core__kernel__Object___61d_61d 4
+val* core___core__AbstractArrayRead___core__abstract_collection__Collection__iterator(val* self);
+void core___core__AbstractArray___core__abstract_collection__RemovableCollection__clear(val* self);
+long core___core__HashSet___core__abstract_collection__Collection__length(val* self);
+long core___core__Int___Comparable___60d_61d_62d(long self, long p0);
+#define COLOR_poset__POSetElement___count 6
+#define COLOR_core__Collection__poset__POSet___35dE 5
+#define COLOR_core__array__Collection__to_a 18
+void core___core__Comparator___sort(val* self, val* p0);
+#define COLOR_poset__POSetElement___poset 0
+#define COLOR_poset__POSet__poset__POSetElement___35dE 1
+#define COLOR_poset__POSetElement___element 1
+#define COLOR_poset__POSetElement___35dE 2
+#define COLOR_core__kernel__Object___33d_61d 1
+#define COLOR_poset___poset__POSetElement___core__kernel__Object__init 28