#include "nit.common.h"
+val* nitc__model_base___core__Sys___public_visibility(val* self);
#define COLOR_nitc__model__Model___mclasses 6
extern const char FILE_nitc__model[];
#define COLOR_nitc__model__Model___mproperties 7
#define COLOR_core__kernel__Object___61d_61d 4
val* NEW_poset__POSet(const struct type* type);
extern const struct type type_poset__POSet__nitc__MClass;
-#define COLOR_nitc__mmodule__MModule___in_importation 46
+#define COLOR_nitc__mmodule__MModule___in_importation 45
extern const char FILE_nitc__mmodule[];
val* poset___poset__POSetElement___greaters(val* self);
-#define COLOR_core__abstract_collection__Collection__iterator 21
+#define COLOR_core__abstract_collection__Collection__iterator 24
#define COLOR_core__abstract_collection__Iterator__is_ok 12
#define COLOR_core__abstract_collection__Iterator__item 13
val* core___core__AbstractArrayRead___core__abstract_collection__Collection__iterator(val* self);
extern const struct type type_nitc__model__MPropDefSorter;
#define COLOR_nitc__model__MPropDefSorter__mmodule_61d 17
#define COLOR_nitc__model__MModule___object_type 9
-val* core__flat___NativeString___to_s_full(char* self, long p0, long p1);
+val* core__flat___CString___to_s_unsafe(char* self, val* p0, val* p1, val* p2, val* p3);
val* nitc__model___MModule___get_primitive_class(val* self, val* p0);
-#define COLOR_nitc__model__MClass___mclass_type 19
+#define COLOR_nitc__model__MClass___mclass_type 20
#define COLOR_nitc__model__MModule___pointer_type 11
#define COLOR_nitc__model__MModule___bool_type 13
#define COLOR_nitc__model__MModule___int_type 15
#define COLOR_nitc__model__MModule___char_type 29
#define COLOR_nitc__model__MModule___float_type 31
#define COLOR_nitc__model__MModule___string_type 33
-#define COLOR_nitc__model__MModule___native_string_type 35
+#define COLOR_nitc__model__MModule___c_string_type 35
val* nitc__model___MModule___array_class(val* self);
val* NEW_core__Array(const struct type* type);
extern const struct type type_core__Array__nitc__MType;
#define COLOR_nitc__model__MClass___intro_mmodule 7
short int poset___poset__POSetElement____60d_61d(val* self, val* p0);
short int core___core__AbstractArrayRead___core__abstract_collection__Collection__is_empty(val* self);
+#define COLOR_nitc__model_base__Model___no_location 19
+extern const char FILE_nitc__model_base[];
val* NEW_nitc__MClass(const struct type* type);
extern const struct type type_nitc__MClass;
val* nitc__model___core__Sys___enum_kind(val* self);
-val* nitc__model_base___core__Sys___public_visibility(val* self);
-#define COLOR_nitc__model__MClass__intro_mmodule_61d 30
-#define COLOR_nitc__model__MClass__name_61d 31
-#define COLOR_nitc__model__MClass__setup_parameter_names 32
-#define COLOR_nitc__model__MClass__kind_61d 33
-#define COLOR_nitc__model__MClass__visibility_61d 34
+#define COLOR_nitc__model__MClass__intro_mmodule_61d 31
+#define COLOR_nitc__model__MClass__name_61d 32
+#define COLOR_nitc__model__MClass__location_61d 33
+#define COLOR_nitc__model__MClass__setup_parameter_names 34
+#define COLOR_nitc__model__MClass__kind_61d 35
+#define COLOR_nitc__model__MClass__visibility_61d 36
val* NEW_nitc__MClassDef(const struct type* type);
extern const struct type type_nitc__MClassDef;
-val* NEW_nitc__Location(const struct type* type);
-extern const struct type type_nitc__Location;
-#define COLOR_nitc__location__Location__file_61d 18
-#define COLOR_nitc__location__Location__line_start_61d 19
-#define COLOR_nitc__location__Location__line_end_61d 20
-#define COLOR_nitc__location__Location__column_start_61d 21
-#define COLOR_nitc__location__Location__column_end_61d 22
-#define COLOR_nitc__model__MClassDef__mmodule_61d 28
-#define COLOR_nitc__model__MClassDef__bound_mtype_61d 29
-#define COLOR_nitc__model__MClassDef__location_61d 30
+#define COLOR_nitc__model__MClassDef__mmodule_61d 30
+#define COLOR_nitc__model__MClassDef__bound_mtype_61d 31
+#define COLOR_nitc__model__MClassDef__location_61d 32
extern const struct type type_core__Array__nitc__MClassType;
val* nitc__model___MModule___object_type(val* self);
void nitc___nitc__MClassDef___set_supertypes(val* self, val* p0);
extern const struct type type_core__NativeArray__core__String;
#define COLOR_core__abstract_text__Object__to_s 3
#define COLOR_core__abstract_text__NativeArray__native_to_s 12
-void core__file___Sys___print(val* self, val* p0);
+void core__file___Sys___print_error(val* self, val* p0);
#define COLOR_core__array__AbstractArrayRead___length 0
val* nitc___nitc__MClass___nitc__model_base__MEntity__full_name(val* self);
-#define COLOR_core__abstract_text__String___43d 76
+#define COLOR_core__abstract_text__Text___43d 39
val* core___core__SequenceRead___Collection__first(val* self);
val* nitc__model___Model___get_mproperties_by_name(val* self, val* p0);
-#define COLOR_nitc__model__MClass___intro 18
+#define COLOR_nitc__model__MClass___intro 19
#define COLOR_nitc__model__MClassDef___bound_mtype 9
extern const struct type type_nitc__MMethod;
short int nitc___nitc__MType___has_mproperty(val* self, val* p0, val* p1);
val* nitc___nitc__MProperty___nitc__model_base__MEntity__full_name(val* self);
#define COLOR_nitc__model__MClassDefSorter___mmodule 0
-#define COLOR_core__sorter__Comparator__COMPARED 0
+#define COLOR_core__sorter__Comparator__COMPARED 5
long poset___poset__POSet___core__sorter__Comparator__compare(val* self, val* p0, val* p1);
#define COLOR_nitc__model___nitc__model__MClassDefSorter___core__kernel__Object__init 19
#define COLOR_nitc__model__MPropDefSorter___mmodule 0
#define COLOR_nitc__model__MPropDef___mclassdef 7
#define COLOR_nitc__model___nitc__model__MPropDefSorter___core__kernel__Object__init 19
#define COLOR_nitc__model__MClass___name 8
-#define COLOR_nitc__model__MClass___full_name 9
-#define COLOR_nitc__model__MClass___visibility 16
+#define COLOR_nitc__model__MClass___location 9
+#define COLOR_nitc__model__MClass___full_name 10
+#define COLOR_nitc__model__MClass___visibility 17
val* nitc___nitc__MModule___namespace_for(val* self, val* p0);
-#define COLOR_nitc__model__MClass___c_name 11
+#define COLOR_nitc__model__MClass___c_name 12
val* nitc___nitc__MModule___c_namespace_for(val* self, val* p0);
val* core___core__Text___to_cmangle(val* self);
-#define COLOR_nitc__model__MClass___arity 13
-#define COLOR_nitc__model__MClass___mparameters 14
+#define COLOR_nitc__model__MClass___arity 14
+#define COLOR_nitc__model__MClass___mparameters 15
val* NEW_core__FlatBuffer(const struct type* type);
extern const struct type type_core__FlatBuffer;
-#define COLOR_core___core__FlatBuffer___core__kernel__Object__init 102
+#define COLOR_core___core__FlatBuffer___core__kernel__Object__init 122
void core___core__FlatBuffer___core__abstract_text__Buffer__append(val* self, val* p0);
extern const struct type type_core__Int;
extern const char FILE_core__kernel[];
val* core___core__Array___core__abstract_collection__SequenceRead___91d_93d(val* self, long p0);
#define COLOR_nitc__model__MParameterType___name 13
-#define COLOR_nitc__model__MClassType__arguments 57
+#define COLOR_nitc__model__MClassType__arguments 61
long core___core__Int___Discrete__successor(long self, long p0);
val* core___core__FlatBuffer___core__abstract_text__Object__to_s(val* self);
extern const struct type type_core__Array__nitc__MParameterType;
void core___core__Array___core__kernel__Object__init(val* self);
val* NEW_nitc__MParameterType(const struct type* type);
extern const struct type type_nitc__MParameterType;
-#define COLOR_nitc__model__MParameterType__mclass_61d 57
-#define COLOR_nitc__model__MParameterType__rank_61d 58
-#define COLOR_nitc__model__MParameterType__name_61d 59
+#define COLOR_nitc__model__MParameterType__mclass_61d 61
+#define COLOR_nitc__model__MParameterType__rank_61d 62
+#define COLOR_nitc__model__MParameterType__name_61d 63
void core___core__Array___core__abstract_collection__SimpleCollection__add(val* self, val* p0);
val* NEW_nitc__MGenericType(const struct type* type);
extern const struct type type_nitc__MGenericType;
-#define COLOR_nitc__model__MClassType__mclass_61d 58
-#define COLOR_nitc__model__MClassType__arguments_61d 59
-#define COLOR_nitc__model__MClass___get_mtype_cache 20
+#define COLOR_nitc__model__MClassType__mclass_61d 62
+#define COLOR_nitc__model__MClassType__arguments_61d 63
+#define COLOR_nitc__model__MClass___get_mtype_cache 21
void core___core__HashMap___core__abstract_collection__Map___91d_93d_61d(val* self, val* p0, val* p1);
val* NEW_nitc__MClassType(const struct type* type);
extern const struct type type_nitc__MClassType;
-#define COLOR_nitc__model__MClass___kind 15
-#define COLOR_nitc___nitc__MClass___core__kernel__Object__init 57
+#define COLOR_nitc__model__MClass___kind 16
+#define COLOR_nitc___nitc__MClass___core__kernel__Object__init 59
void more_collections___more_collections__MultiHashMap___add_one(val* self, val* p0, val* p1);
-#define COLOR_nitc__model__MClass___mclassdefs 17
+#define COLOR_nitc__model__MClass___mclassdefs 18
val* poset___poset__POSet____91d_93d(val* self, val* p0);
val* core__array___Collection___to_a(val* self);
-#define COLOR_nitc__model__MClass___has_new_factory 21
+#define COLOR_nitc__model__MClass___has_new_factory 22
#define COLOR_nitc__model__MClassDef___mmodule 7
#define COLOR_nitc__model__MClassDef___location 10
#define COLOR_nitc__model__MClassDef___to_s 11
-#define COLOR_nitc___nitc__MClassDef___core__kernel__Object__init 48
+#define COLOR_nitc___nitc__MClassDef___core__kernel__Object__init 50
#define COLOR_nitc__model__MClassDef___full_name 12
short int nitc___nitc__MClassDef___is_intro(val* self);
val* nitc___nitc__MModule___mpackage(val* self);
val* nitc___nitc__MModule___nitc__model_base__MEntity__full_name(val* self);
val* nitc__model_base___core__Sys___private_visibility(val* self);
short int core___core__Comparable____62d(val* self, val* p0);
-#define COLOR_nitc__mmodule__MModule___name 44
+#define COLOR_nitc__mmodule__MModule___name 43
#define COLOR_nitc__model__MClassDef___c_name 14
val* nitc___nitc__MClass___nitc__model_base__MEntity__c_name(val* self);
val* nitc___nitc__MModule___nitc__model_base__MEntity__c_name(val* self);
extern const char FILE_poset[];
#define COLOR_nitc__model__MClassDef___intro_mproperties 18
#define COLOR_nitc__model__MClassDef___mpropdefs 19
-#define COLOR_nitc__model__MType__need_anchor 29
-#define COLOR_nitc__model__MType__can_resolve_for 30
-#define COLOR_nitc__model__MType__lookup_fixed 44
+#define COLOR_nitc__model__MClassDef___mpropdefs_by_property 20
+#define COLOR_nitc__model__MType__need_anchor 31
+#define COLOR_nitc__model__MType__can_resolve_for 32
+#define COLOR_nitc__model__MType__lookup_fixed 48
extern const struct type type_nitc__MNullableType;
#define COLOR_nitc__model__MProxyType___mtype 9
extern const struct type type_nitc__MNotNullType;
extern const struct type type_nitc__MNullType;
extern const struct type type_nitc__MFormalType;
-#define COLOR_nitc__model__MType__lookup_bound 34
-#define COLOR_nitc__model__MType__as_notnull 35
+#define COLOR_nitc__model__MType__lookup_bound 37
+#define COLOR_nitc__model__MType__as_notnull 38
extern const struct type type_nitc__MBottomType;
+extern const struct type type_nitc__MErrorType;
val* core__abstract_text___Object___inspect(val* self);
val* nitc___nitc__MClassType___MType__anchor_to(val* self, val* p0, val* p1);
val* nitc___nitc__MClassType___MType__collect_mclasses(val* self, val* p0);
-#define COLOR_core__abstract_collection__Collection__has 23
+#define COLOR_core__abstract_collection__Collection__has 27
val* nitc___nitc__MType___supertype_to(val* self, val* p0, val* p1, val* p2);
#define COLOR_nitc__model__MGenericType___arguments 20
short int nitc___nitc__MType___is_subtype(val* self, val* p0, val* p1, val* p2);
-#define COLOR_nitc__model__MType__resolve_for 27
-#define COLOR_nitc__model__MType__anchor_to 31
-#define COLOR_nitc__model__MType__collect_mtypes 48
+#define COLOR_nitc__model__MType__resolve_for 29
+#define COLOR_nitc__model__MType__anchor_to 33
+#define COLOR_nitc__model__MType__collect_mtypes 52
+#define COLOR_nitc__model__MType__is_ok 39
#define COLOR_nitc__model__MType___as_nullable_cache 6
val* NEW_nitc__MNullableType(const struct type* type);
-#define COLOR_nitc__model__MProxyType__mtype_61d 57
-#define COLOR_nitc__model__MType__collect_mclassdefs 25
+#define COLOR_nitc__model__MProxyType__mtype_61d 61
+#define COLOR_nitc__model__MType__collect_mclassdefs 27
#define COLOR_nitc__model__MProperty___intro_mclassdef 6
#define COLOR_nitc__model__MClassType___arguments 10
val* nitc___nitc__MClass___core__abstract_text__Object__to_s(val* self);
-#define COLOR_nitc___nitc__MClassType___MType__anchor_to 69
+#define COLOR_nitc___nitc__MClassType___MType__anchor_to 73
#define COLOR_nitc__model__MClassType___collect_mclassdefs_cache 13
short int core___core__HashMap___core__abstract_collection__MapRead__has_key(val* self, val* p0);
void nitc___nitc__MClassType___collect_things(val* self, val* p0);
void core___core__HashSet___core__abstract_collection__SimpleCollection__add(val* self, val* p0);
val* core___core__AbstractArray___core__abstract_collection__Sequence__pop(val* self);
short int core___core__HashSet___core__abstract_collection__Collection__has(val* self, val* p0);
-#define COLOR_nitc___nitc__MClassType___core__kernel__Object__init 68
-#define COLOR_nitc___nitc__MGenericType___core__kernel__Object__init 73
+#define COLOR_nitc___nitc__MClassType___core__kernel__Object__init 72
+#define COLOR_nitc___nitc__MGenericType___core__kernel__Object__init 77
#define COLOR_nitc__model__MGenericType___need_anchor 26
-val* core__abstract_text___Collection___join(val* self, val* p0);
+val* core__abstract_text___Collection___join(val* self, val* p0, val* p1);
#define COLOR_nitc__model__MGenericType___to_s 21
#define COLOR_nitc__model__MGenericType___full_name 22
extern const struct type type_core__Array__core__String;
-#define COLOR_nitc__model_base__MEntity__full_name 17
+#define COLOR_nitc__model_base__MEntity__full_name 19
#define COLOR_nitc__model__MGenericType___c_name 24
#define COLOR_nitc__model_base__MEntity__c_name 12
val* core___core__String___Object__to_s(val* self);
short int nitc___nitc__MGenericType___MType__can_resolve_for(val* self, val* p0, val* p1, val* p2);
-#define COLOR_nitc__model__MType__length 36
+#define COLOR_nitc___nitc__MGenericType___MType__is_ok 78
+#define COLOR_nitc__model__MType__length 40
#define COLOR_nitc__model__MFormalType___as_notnull 9
val* NEW_nitc__MNotNullType(const struct type* type);
#define COLOR_nitc__model__MVirtualType___mproperty 11
+#define COLOR_nitc__model__MProperty___location 8
+val* NEW_nitc__MErrorType(const struct type* type);
+val* nitc___nitc__MVirtualType___nitc__model_base__MEntity__model(val* self);
+#define COLOR_nitc__model__MErrorType__model_61d 60
val* nitc___nitc__MVirtualType___lookup_single_definition(val* self, val* p0, val* p1);
#define COLOR_nitc__model__MVirtualTypeDef___bound 15
-val* NEW_nitc__MBottomType(const struct type* type);
-val* nitc___nitc__MVirtualType___nitc__model_base__MEntity__model(val* self);
-#define COLOR_nitc__model__MBottomType__model_61d 56
val* nitc___nitc__MProperty___lookup_definitions(val* self, val* p0, val* p1);
val* NEW_core__ArraySet(const struct type* type);
extern const struct type type_core__ArraySet__nitc__MType;
void core___core__ArraySet___core__abstract_collection__SimpleCollection__add(val* self, val* p0);
#define COLOR_nitc__model__MVirtualTypeDef___is_fixed 16
long core___core__ArraySet___core__abstract_collection__Collection__length(val* self);
-#define COLOR_nitc__model__MType__undecorate 47
+#define COLOR_nitc__model__MType__undecorate 51
short int nitc___nitc__MVirtualType___MType__can_resolve_for(val* self, val* p0, val* p1, val* p2);
+short int nitc___nitc__MVirtualTypeProp___is_selftype(val* self);
val* nitc___nitc__MVirtualType___MType__lookup_bound(val* self, val* p0, val* p1);
val* nitc___nitc__MProperty___core__abstract_text__Object__to_s(val* self);
val* nitc___nitc__MProperty___nitc__model_base__MEntity__c_name(val* self);
-#define COLOR_nitc___nitc__MVirtualType___core__kernel__Object__init 59
+#define COLOR_nitc___nitc__MVirtualType___core__kernel__Object__init 63
#define COLOR_nitc__model__MParameterType___mclass 11
#define COLOR_nitc__model__MParameterType___rank 12
#define COLOR_nitc__model__MParameterType___full_name 14
#define COLOR_nitc__model__MParameterType___c_name 16
val* nitc___nitc__MClassType___MType__collect_mtypes(val* self, val* p0);
+val* nitc___nitc__MParameterType___nitc__model_base__MEntity__model(val* self);
val* nitc___nitc__MParameterType___MType__resolve_for(val* self, val* p0, val* p1, val* p2, short int p3);
short int nitc___nitc__MParameterType___MType__can_resolve_for(val* self, val* p0, val* p1, val* p2);
val* nitc___nitc__MParameterType___MType__lookup_bound(val* self, val* p0, val* p1);
-#define COLOR_nitc___nitc__MParameterType___core__kernel__Object__init 61
+#define COLOR_nitc___nitc__MParameterType___core__kernel__Object__init 65
+#define COLOR_nitc__model_base__MEntity__location 15
#define COLOR_nitc__model_base__MEntity__model 13
-#define COLOR_nitc__model__MType__as_nullable 32
+#define COLOR_nitc__model__MType__as_nullable 35
+#define COLOR_nitc__model__MType__is_legal_in 34
short int nitc___nitc__MProxyType___MType__need_anchor(val* self);
-#define COLOR_nitc__model__MType__collect_mclasses 45
-#define COLOR_nitc___nitc__MProxyType___core__kernel__Object__init 58
-#define COLOR_nitc___nitc__MNullableType___core__kernel__Object__init 60
+#define COLOR_nitc__model__MType__collect_mclasses 49
+#define COLOR_nitc___nitc__MProxyType___core__kernel__Object__init 62
+#define COLOR_nitc___nitc__MNullableType___core__kernel__Object__init 64
#define COLOR_nitc__model__MNullableType___to_s 10
#define COLOR_nitc__model__MNullableType___full_name 11
#define COLOR_nitc__model__MNullableType___c_name 13
-#define COLOR_nitc___nitc__MNullableType___MType__resolve_for 61
-#define COLOR_nitc___nitc__MNullableType___MType__lookup_fixed 62
+#define COLOR_nitc___nitc__MNullableType___MType__resolve_for 65
+#define COLOR_nitc___nitc__MNullableType___MType__lookup_fixed 66
#define COLOR_nitc__model__MNotNullType___full_name 10
#define COLOR_nitc__model__MNotNullType___c_name 12
-#define COLOR_nitc___nitc__MNotNullType___MType__resolve_for 59
-#define COLOR_nitc___nitc__MNotNullType___MType__lookup_fixed 60
+#define COLOR_nitc___nitc__MNotNullType___MType__resolve_for 63
+#define COLOR_nitc___nitc__MNotNullType___MType__lookup_fixed 64
#define COLOR_nitc__model__MNullType___model 9
#define COLOR_nitc__model__MNullType___as_notnull 10
-#define COLOR_nitc___nitc__MNullType___core__kernel__Object__init 57
+val* NEW_nitc__MBottomType(const struct type* type);
+#define COLOR_nitc__model__MBottomType__model_61d 60
+#define COLOR_nitc___nitc__MNullType___core__kernel__Object__init 61
#define COLOR_nitc__model__MBottomType___model 9
-#define COLOR_nitc___nitc__MBottomType___core__kernel__Object__init 57
+#define COLOR_nitc___nitc__MBottomType___core__kernel__Object__init 61
+#define COLOR_nitc__model__MErrorType___model 9
+#define COLOR_nitc___nitc__MErrorType___core__kernel__Object__init 61
#define COLOR_nitc__model__MSignature___mparameters 9
#define COLOR_nitc__model__MParameter___name 6
#define COLOR_nitc__model__MSignature___return_mtype 10
#define COLOR_nitc__model__MParameter___mtype 7
-#define COLOR_nitc___nitc__MSignature___core__kernel__Object__init 65
+#define COLOR_nitc___nitc__MSignature___core__kernel__Object__init 69
#define COLOR_nitc__model__MParameter___is_vararg 8
#define COLOR_nitc__model__MSignature___vararg_rank 11
extern const struct type type_core__Array__nitc__MParameter;
val* nitc___nitc__MParameter___resolve_for(val* self, val* p0, val* p1, val* p2, short int p3);
val* NEW_nitc__MSignature(const struct type* type);
extern const struct type type_nitc__MSignature;
-#define COLOR_nitc__model__MSignature__mparameters_61d 60
-#define COLOR_nitc__model__MSignature__return_mtype_61d 61
+#define COLOR_nitc__model__MSignature__mparameters_61d 64
+#define COLOR_nitc__model__MSignature__return_mtype_61d 65
val* NEW_nitc__MParameter(const struct type* type);
extern const struct type type_nitc__MParameter;
-#define COLOR_nitc__model__MParameter__name_61d 26
-#define COLOR_nitc__model__MParameter__mtype_61d 27
-#define COLOR_nitc__model__MParameter__is_vararg_61d 28
-#define COLOR_nitc___nitc__MParameter___core__kernel__Object__init 31
+#define COLOR_nitc__model__MParameter__name_61d 28
+#define COLOR_nitc__model__MParameter__mtype_61d 29
+#define COLOR_nitc__model__MParameter__is_vararg_61d 30
+#define COLOR_nitc___nitc__MParameter___core__kernel__Object__init 33
#define COLOR_nitc__model__MProperty___name 7
-#define COLOR_nitc__model__MProperty___full_name 8
-#define COLOR_nitc__model__MProperty___visibility 12
-#define COLOR_nitc__model__MProperty___c_name 10
-#define COLOR_nitc__model__MProperty___is_autoinit 13
-#define COLOR_nitc___nitc__MProperty___core__kernel__Object__init 42
-#define COLOR_nitc__model__MProperty___mpropdefs 14
-#define COLOR_nitc__model__MProperty___intro 15
+#define COLOR_nitc__model__MProperty___full_name 9
+#define COLOR_nitc__model__MProperty___visibility 13
+#define COLOR_nitc__model__MProperty___c_name 11
+#define COLOR_nitc__model__MProperty___is_autoinit 14
+#define COLOR_nitc___nitc__MProperty___core__kernel__Object__init 44
+#define COLOR_nitc__model__MProperty___mpropdefs 15
+#define COLOR_nitc__model__MProperty___intro 16
#define COLOR_nitc__model__MProperty__MPROPDEF 2
val* nitc___nitc__MPropDef___nitc__model_base__MEntity__model(val* self);
-#define COLOR_nitc__model__MProperty___lookup_definitions_cache 16
+#define COLOR_nitc__model__MProperty___lookup_definitions_cache 17
val* more_collections___more_collections__HashMap2____91d_93d(val* self, val* p0, val* p1);
#define COLOR_core__Array__nitc__model__MProperty__MPROPDEF 0
+#define COLOR_core__abstract_collection__Collection__length 22
void more_collections___more_collections__HashMap2____91d_93d_61d(val* self, val* p0, val* p1, val* p2);
val* nitc___nitc__MProperty___select_most_specific(val* self, val* p0, val* p1);
short int poset___poset__POSetElement____60d(val* self, val* p0);
val* nitc___nitc__MProperty___lookup_all_definitions(val* self, val* p0, val* p1);
-#define COLOR_nitc__model__MProperty___lookup_all_definitions_cache 17
+#define COLOR_nitc__model__MProperty___lookup_all_definitions_cache 18
void nitc__model___MModule___linearize_mpropdefs(val* self, val* p0);
val* core___core__AbstractArrayRead___reversed(val* self);
-#define COLOR_nitc__model__MMethod___is_toplevel 18
-#define COLOR_nitc__model__MMethod___is_init 19
-#define COLOR_nitc__model__MMethod___is_root_init 20
-#define COLOR_nitc__model__MMethod___is_new 21
-#define COLOR_nitc__model__MVirtualTypeProp___mvirtualtype 18
+#define COLOR_nitc__model__MMethod___is_toplevel 19
+#define COLOR_nitc__model__MMethod___is_init 20
+#define COLOR_nitc__model__MMethod___is_root_init 21
+#define COLOR_nitc__model__MMethod___is_new 22
+#define COLOR_nitc__model__MVirtualTypeProp___mvirtualtype 19
+#define COLOR_nitc__model__MVirtualTypeProp__lazy_32d_is_selftype 21
+#define COLOR_nitc__model__MVirtualTypeProp___is_selftype 20
#define COLOR_nitc__model__MPropDef___mproperty 8
#define COLOR_nitc__model__MPropDef__MPROPERTY 1
#define COLOR_nitc__model__MPropDef___location 9
-#define COLOR_nitc___nitc__MPropDef___core__kernel__Object__init 36
+#define COLOR_nitc___nitc__MPropDef___core__kernel__Object__init 37
#define COLOR_nitc__model__MPropDef___to_s 14
#define COLOR_nitc__model__MPropDef___full_name 10
val* nitc___nitc__MClassDef___nitc__model_base__MEntity__full_name(val* self);