+#define COLOR_nit__coloring__POSetGroupColorer___graph 0
+#define COLOR_nit__POSetConflictGraph__nit__POSetGroupColorer___35dH 3
+#define COLOR_nit__coloring__POSetGroupColorer___buckets 1
+#define COLOR_standard__Map__nit__POSetGroupColorer___35dH__standard__Collection__nit__POSetGroupColorer___35dE 4
+#define COLOR_nit__coloring__POSetGroupColorer___colors 2
+#define COLOR_nit__coloring__POSetGroupColorer___used_colors 5
+extern const struct type type_standard__HashSet__standard__Int;
+void nit___nit__POSetGroupColorer___compute_colors(val* self);
+#define COLOR_nit__coloring__POSetGroupColorer___colors_cache 4
+#define COLOR_nit__POSetGroupColorer___35dH 5
+val* NEW_standard__Array(const struct type* type);
+#define COLOR_standard__Array__nullable__nit__POSetGroupColorer___35dE 6
+void standard___standard__Array___standard__kernel__Object__init(val* self);
+val* nit___nit__POSetGroupColorer___poset(val* self);
+#define COLOR_standard__abstract_collection__MapRead__get_or_null 23
+#define COLOR_standard__kernel__Object___61d_61d 4
+val* nit___nit__POSetGroupColorer___colors(val* self);
+#define COLOR_standard__abstract_collection__MapRead___91d_93d 19
+#define COLOR_standard__array__AbstractArrayRead___length 0
+void standard___standard__Array___standard__abstract_collection__Sequence___91d_93d_61d(val* self, long p0, val* p1);
+long standard___standard__Int___Discrete__successor(long self, long p0);
+val* standard___standard__Array___standard__abstract_collection__SequenceRead___91d_93d(val* self, long p0);
+val* NEW_standard__NativeArray(int length, const struct type* type);
+extern const struct type type_standard__NativeArray__standard__String;
+val* standard___standard__NativeString___to_s_with_length(char* self, long p0);
+#define COLOR_standard__string__Object__to_s 3
+val* standard__string___Int___Object__to_s(long self);
+#define COLOR_standard__string__NativeArray__native_to_s 16
+void standard__file___Sys___print(val* self, val* p0);
+void nit___nit__POSetGroupColorer___colorize_core(val* self);
+void nit___nit__POSetGroupColorer___colorize_set(val* self, val* p0);
+long nit___nit__POSetGroupColorer___inherit_color(val* self, val* p0);
+long nit___nit__POSetGroupColorer___next_free_color(val* self, long p0, val* p1);
+#define COLOR_nit__coloring__POSetGroupColorer___min_colors 6
+#define COLOR_standard__Set__nit__POSetGroupColorer___35dH 7
+#define COLOR_standard__abstract_collection__Collection__has 28
+#define COLOR_standard__Collection__nit__POSetGroupColorer___35dH 8
+#define COLOR_nit___nit__POSetGroupColorer___standard__kernel__Object__init 31