+1704, /* HashMap[Object, nullable Object] */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+1801, /* HashMap[MType, POSetElement[MType]] */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+},
+};
+const struct types resolution_table_core__HashMap__nitc__MClassType__poset__POSetElement__nitc__MClassType = {
+0, /* dummy */
+{
+NULL, /* empty */
+NULL, /* empty */
+NULL, /* empty */
+&type_core__hash_collection__HashMapIterator__nitc__MClassType__poset__POSetElement__nitc__MClassType, /* HashMapIterator[K, V]: HashMapIterator[MClassType, POSetElement[MClassType]] */
+&type_nitc__MClassType, /* K: MClassType */
+&type_poset__POSetElement__nitc__MClassType, /* V: POSetElement[MClassType] */
+&type_core__hash_collection__HashMapNode__nitc__MClassType__poset__POSetElement__nitc__MClassType, /* HashMapNode[K, V]: HashMapNode[MClassType, POSetElement[MClassType]] */
+&type_core__hash_collection__HashMapKeys__nitc__MClassType__poset__POSetElement__nitc__MClassType, /* HashMapKeys[K, V]: HashMapKeys[MClassType, POSetElement[MClassType]] */
+&type_core__hash_collection__HashMapValues__nitc__MClassType__poset__POSetElement__nitc__MClassType, /* HashMapValues[K, V]: HashMapValues[MClassType, POSetElement[MClassType]] */
+&type_nullable__core__hash_collection__HashMapNode__nitc__MClassType__poset__POSetElement__nitc__MClassType, /* nullable N: nullable HashMapNode[MClassType, POSetElement[MClassType]] */
+&type_core__MapRead__nitc__MClassType__poset__POSetElement__nitc__MClassType, /* MapRead[K, V]: MapRead[MClassType, POSetElement[MClassType]] */
+NULL, /* empty */
+&type_core__hash_collection__HashMapNode__nitc__MClassType__poset__POSetElement__nitc__MClassType, /* N: HashMapNode[MClassType, POSetElement[MClassType]] */
+&type_core__NativeArray__nullable__core__hash_collection__HashMapNode__nitc__MClassType__poset__POSetElement__nitc__MClassType, /* NativeArray[nullable N]: NativeArray[nullable HashMapNode[MClassType, POSetElement[MClassType]]] */
+}
+};
+/* runtime type POSetElement[MClassType] */
+const struct type type_poset__POSetElement__nitc__MClassType = {
+1203,
+"POSetElement[MClassType]", /* class_name_string */
+5,
+0,
+&resolution_table_poset__POSetElement__nitc__MClassType,
+9,
+{
+2380, /* Object */
+2401, /* nullable Object */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+1203, /* POSetElement[MClassType] */
+-1, /* empty */
+1802, /* POSetElement[MType] */
+-1, /* empty */
+},
+};
+const struct types resolution_table_poset__POSetElement__nitc__MClassType = {
+0, /* dummy */
+{
+&type_core__HashSet__nitc__MClassType, /* HashSet[E]: HashSet[MClassType] */
+&type_poset__POSet__nitc__MClassType, /* POSet[E]: POSet[MClassType] */
+&type_nitc__MClassType, /* E: MClassType */
+}
+};
+/* runtime type POSetConflictGraph[MClassType] */
+const struct type type_nitc__POSetConflictGraph__nitc__MClassType = {
+1204,
+"POSetConflictGraph[MClassType]", /* class_name_string */
+5,
+0,
+&resolution_table_nitc__POSetConflictGraph__nitc__MClassType,
+9,
+{
+2380, /* Object */
+2401, /* nullable Object */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+1204, /* POSetConflictGraph[MClassType] */
+-1, /* empty */
+-1, /* empty */
+1803, /* POSetConflictGraph[MType] */
+},
+};
+const struct types resolution_table_nitc__POSetConflictGraph__nitc__MClassType = {
+0, /* dummy */
+{
+&type_core__HashSet__nitc__MClassType, /* HashSet[E]: HashSet[MClassType] */
+&type_core__HashMap__nitc__MClassType__core__Set__nitc__MClassType, /* HashMap[E, Set[E]]: HashMap[MClassType, Set[MClassType]] */
+&type_poset__POSet__nitc__MClassType, /* POSet[E]: POSet[MClassType] */
+&type_core__Array__nitc__MClassType, /* Array[E]: Array[MClassType] */
+&type_nitc__MClassType, /* E: MClassType */
+&type_core__Collection__nitc__MClassType, /* Collection[E]: Collection[MClassType] */
+}
+};
+/* runtime type HashMap[MClassType, Set[MClassType]] */
+const struct type type_core__HashMap__nitc__MClassType__core__Set__nitc__MClassType = {
+1205,
+"HashMap[MClassType, Set[MClassType]]", /* class_name_string */
+99,
+0,
+&resolution_table_core__HashMap__nitc__MClassType__core__Set__nitc__MClassType,
+166,
+{
+2380, /* Object */
+2401, /* nullable Object */
+2206, /* MapRead[nullable Object, nullable Object] */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */