#include "nit.common.h"
#define COLOR_nitc__modelbuilder__ToolContext___opt_ignore_visibility 2
extern const char FILE_nitc__modelbuilder[];
-#define COLOR_nitc__modelbuilder___ToolContext___core__kernel__Object__init 150
+#define COLOR_nitc__modelbuilder___ToolContext___core__kernel__Object__init 152
#define COLOR_nitc__toolcontext__ToolContext___option_context 15
extern const char FILE_nitc__toolcontext[];
val* NEW_core__Array(const struct type* type);
extern const struct type type_core__Array__opts__Option;
val* NEW_core__NativeArray(int length, const struct type* type);
extern const struct type type_core__NativeArray__opts__Option;
-#define COLOR_core__array__Array__with_native 27
+#define COLOR_core__array__Array__with_native 32
void opts___opts__OptionContext___add_option(val* self, val* p0);
short int core___core__AbstractArrayRead___core__abstract_collection__Collection__is_empty(val* self);
-#define COLOR_core__array__AbstractArrayRead___length 0
-val* core___core__SequenceRead___Collection__first(val* self);
val* NEW_nitc__MModule(const struct type* type);
extern const struct type type_nitc__MModule;
val* nitc__modelbuilder_base___ToolContext___modelbuilder(val* self);
-#define COLOR_nitc__modelbuilder_base__ModelBuilder___model 11
+#define COLOR_nitc__modelbuilder_base__ModelBuilder___model 12
extern const char FILE_nitc__modelbuilder_base[];
-#define COLOR_nitc__mmodule__MModule___name 44
+val* core___core__SequenceRead___Collection__first(val* self);
+#define COLOR_nitc__mmodule__MModule___name 43
extern const char FILE_nitc__mmodule[];
-val* core__flat___NativeString___to_s_full(char* self, long p0, long p1);
-#define COLOR_core__abstract_text__String___43d 76
+val* core__flat___CString___to_s_unsafe(char* self, val* p0, val* p1, val* p2, val* p3);
+#define COLOR_core__abstract_text__Text___43d 39
val* NEW_nitc__Location(const struct type* type);
extern const struct type type_nitc__Location;
-#define COLOR_nitc__mmodule__MModule___location 45
+#define COLOR_nitc__mmodule__MModule___location 44
#define COLOR_nitc__location__Location___file 0
-#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__location__Location__file_61d 19
+#define COLOR_nitc__location__Location__line_start_61d 20
+#define COLOR_nitc__location__Location__line_end_61d 21
+#define COLOR_nitc__location__Location__column_start_61d 22
+#define COLOR_nitc__location__Location__column_end_61d 23
#define COLOR_core__kernel__Object__init 0
-#define COLOR_nitc__mmodule__MModule__model_61d 29
-#define COLOR_nitc__mmodule__MModule__mgroup_61d 30
-#define COLOR_nitc__mmodule__MModule__name_61d 31
-#define COLOR_nitc__mmodule__MModule__location_61d 32
+#define COLOR_nitc__mmodule__MModule__model_61d 30
+#define COLOR_nitc__mmodule__MModule__mgroup_61d 31
+#define COLOR_nitc__mmodule__MModule__name_61d 32
+#define COLOR_nitc__mmodule__MModule__location_61d 33
#define COLOR_nitc__model_base__MEntity___is_fictive 1
+#define COLOR_nitc__mmodule__MModule___first_real_mmodule 55
void nitc___nitc__MModule___set_imported_mmodules(val* self, val* p0);
void nitc__loader___ModelBuilder___apply_conditional_importations(val* self, val* p0);
+#define COLOR_nitc__mmodule__MModule___in_importation 45
+val* poset___poset__POSetElement___direct_greaters(val* self);
+#define COLOR_core__abstract_collection__Collection__length 22
+#define COLOR_core__abstract_collection__Collection__first 29
void nitc__modelbuilder___ModelBuilder___run_phases(val* self);
val* nitc__mixin___ToolContext___make_main_module(val* self, val* p0);
val* nitc__phase___ToolContext___phases_list(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
#define COLOR_nitc__phase__Phase___disabled 3
val* core___core__AbstractArrayRead___core__abstract_collection__Collection__iterator(val* self);
val* nitc__loader___ModelBuilder___mmodule2node(val* self, val* p0);
void core___core__Array___core__abstract_collection__SimpleCollection__add(val* self, val* p0);
-#define COLOR_nitc__modelbuilder_base__ModelBuilder___toolcontext 12
+#define COLOR_nitc__modelbuilder_base__ModelBuilder___toolcontext 13
void nitc__phase___ToolContext___run_phases(val* self, val* p0);
#define COLOR_nitc__loader__ToolContext___opt_only_metamodel 4
#define COLOR_opts__Option___value 6