- variable6 = ((partial_order___PartialOrder___select_smallests_t)CALL( variable2 /*ghier*/,COLOR_partial_order___PartialOrder___select_smallests))( variable2 /*ghier*/, variable4 /*impls*/) /*PartialOrder::select_smallests*/;
- variable5 = variable6;
- variable6 = ((array___AbstractArray___length_t)CALL( variable5 /*impls2*/,COLOR_abstract_collection___Collection___length))( variable5 /*impls2*/) /*AbstractArray::length*/;
- variable6 = TAG_Bool((variable6)!=( TAG_Int(1)));
- if (UNTAG_Bool(variable6)) { /*if*/
- variable6 = ((file___Object___stderr_t)CALL( self,COLOR_file___Object___stderr))( self) /*Object::stderr*/;
- variable7 = NEW_String_string___String___with_native(BOX_NativeString("Fatal error: inherit_local_property error\n"), TAG_Int(42)); /*new String*/
- ((file___OFStream___write_t)CALL(variable6,COLOR_stream___OStream___write))(variable6, variable7) /*OFStream::write*/;
- variable6 = NEW_String_string___String___init(); /*new String*/
- variable7 = NEW_String_string___String___with_native(BOX_NativeString("------- "), TAG_Int(8)); /*new String*/
- variable8 = variable7;
- ((string___String___append_t)CALL(variable6,COLOR_abstract_collection___IndexedCollection___append))(variable6, variable8) /*String::append*/;
- variable9 = ((abstractmetamodel___MMLocalClass___module_t)CALL( self,COLOR_abstractmetamodel___MMLocalClass___module))( self) /*MMLocalClass::module*/;
- variable10 = variable9;
- variable10 = ((string___String___to_s_t)CALL(variable10,COLOR_string___Object___to_s))(variable10) /*String::to_s*/;
- ((string___String___append_t)CALL(variable6,COLOR_abstract_collection___IndexedCollection___append))(variable6, variable10) /*String::append*/;
- variable11 = NEW_String_string___String___with_native(BOX_NativeString("::"), TAG_Int(2)); /*new String*/
- variable12 = variable11;
- ((string___String___append_t)CALL(variable6,COLOR_abstract_collection___IndexedCollection___append))(variable6, variable12) /*String::append*/;
- variable13 = self;
- variable13 = ((string___String___to_s_t)CALL(variable13,COLOR_string___Object___to_s))(variable13) /*String::to_s*/;
- ((string___String___append_t)CALL(variable6,COLOR_abstract_collection___IndexedCollection___append))(variable6, variable13) /*String::append*/;
- variable14 = NEW_String_string___String___with_native(BOX_NativeString(" "), TAG_Int(1)); /*new String*/
- variable15 = variable14;
- ((string___String___append_t)CALL(variable6,COLOR_abstract_collection___IndexedCollection___append))(variable6, variable15) /*String::append*/;
- variable16 = ((abstractmetamodel___MMGlobalProperty___intro_t)CALL( variable0 /*glob*/,COLOR_abstractmetamodel___MMGlobalProperty___intro))( variable0 /*glob*/) /*MMGlobalProperty::intro*/;
- variable16 = ((abstractmetamodel___MMLocalProperty___full_name_t)CALL(variable16,COLOR_abstractmetamodel___MMLocalProperty___full_name))(variable16) /*MMLocalProperty::full_name*/;
- variable17 = variable16;
- ((string___String___append_t)CALL(variable6,COLOR_abstract_collection___IndexedCollection___append))(variable6, variable17) /*String::append*/;
- variable18 = NEW_String_string___String___with_native(BOX_NativeString(""), TAG_Int(0)); /*new String*/
- variable19 = variable18;
- ((string___String___append_t)CALL(variable6,COLOR_abstract_collection___IndexedCollection___append))(variable6, variable19) /*String::append*/;
- ((file___Object___print_t)CALL( self,COLOR_file___Object___print))( self, variable6) /*Object::print*/;
- variable6 = ((array___AbstractArray___iterator_t)CALL( variable5 /*impls2*/,COLOR_abstract_collection___Collection___iterator))( variable5 /*impls2*/) /*AbstractArray::iterator*/;
+ variable[8] = ((partial_order___PartialOrder___select_smallests_t)CALL( variable[4] /*ghier*/,COLOR_partial_order___PartialOrder___select_smallests))( variable[4] /*ghier*/, variable[6] /*impls*/) /*PartialOrder::select_smallests*/;
+ variable[7] = variable[8];
+ variable[8] = ((array___AbstractArray___length_t)CALL( variable[7] /*impls2*/,COLOR_abstract_collection___Collection___length))( variable[7] /*impls2*/) /*AbstractArray::length*/;
+ variable[8] = TAG_Bool((variable[8])!=( TAG_Int(1)));
+ if (UNTAG_Bool(variable[8])) { /*if*/
+ variable[8] = variable[0];
+ variable[8] = ((file___Object___stderr_t)CALL(variable[8],COLOR_file___Object___stderr))(variable[8]) /*Object::stderr*/;
+ variable[9] = NEW_String_string___String___with_native(BOX_NativeString("Fatal error: inherit_local_property error\n"), TAG_Int(42)); /*new String*/
+ ((file___OFStream___write_t)CALL(variable[8],COLOR_stream___OStream___write))(variable[8], variable[9]) /*OFStream::write*/;
+ variable[8] = variable[0];
+ variable[9] = NEW_String_string___String___init(); /*new String*/
+ variable[10] = NEW_String_string___String___with_native(BOX_NativeString("------- "), TAG_Int(8)); /*new String*/
+ variable[11] = variable[10];
+ ((string___String___append_t)CALL(variable[9],COLOR_abstract_collection___IndexedCollection___append))(variable[9], variable[11]) /*String::append*/;
+ variable[12] = variable[0];
+ variable[12] = ((abstractmetamodel___MMLocalClass___module_t)CALL(variable[12],COLOR_abstractmetamodel___MMLocalClass___module))(variable[12]) /*MMLocalClass::module*/;
+ variable[13] = variable[12];
+ variable[13] = ((string___String___to_s_t)CALL(variable[13],COLOR_string___Object___to_s))(variable[13]) /*String::to_s*/;
+ ((string___String___append_t)CALL(variable[9],COLOR_abstract_collection___IndexedCollection___append))(variable[9], variable[13]) /*String::append*/;
+ variable[14] = NEW_String_string___String___with_native(BOX_NativeString("::"), TAG_Int(2)); /*new String*/
+ variable[15] = variable[14];
+ ((string___String___append_t)CALL(variable[9],COLOR_abstract_collection___IndexedCollection___append))(variable[9], variable[15]) /*String::append*/;
+ variable[16] = variable[0];
+ variable[17] = variable[16];
+ variable[17] = ((string___String___to_s_t)CALL(variable[17],COLOR_string___Object___to_s))(variable[17]) /*String::to_s*/;
+ ((string___String___append_t)CALL(variable[9],COLOR_abstract_collection___IndexedCollection___append))(variable[9], variable[17]) /*String::append*/;
+ variable[18] = NEW_String_string___String___with_native(BOX_NativeString(" "), TAG_Int(1)); /*new String*/
+ variable[19] = variable[18];
+ ((string___String___append_t)CALL(variable[9],COLOR_abstract_collection___IndexedCollection___append))(variable[9], variable[19]) /*String::append*/;
+ variable[20] = ((abstractmetamodel___MMGlobalProperty___intro_t)CALL( variable[1] /*glob*/,COLOR_abstractmetamodel___MMGlobalProperty___intro))( variable[1] /*glob*/) /*MMGlobalProperty::intro*/;
+ variable[20] = ((abstractmetamodel___MMLocalProperty___full_name_t)CALL(variable[20],COLOR_abstractmetamodel___MMLocalProperty___full_name))(variable[20]) /*MMLocalProperty::full_name*/;
+ variable[21] = variable[20];
+ ((string___String___append_t)CALL(variable[9],COLOR_abstract_collection___IndexedCollection___append))(variable[9], variable[21]) /*String::append*/;
+ variable[22] = NEW_String_string___String___with_native(BOX_NativeString(""), TAG_Int(0)); /*new String*/
+ variable[23] = variable[22];
+ ((string___String___append_t)CALL(variable[9],COLOR_abstract_collection___IndexedCollection___append))(variable[9], variable[23]) /*String::append*/;
+ ((file___Object___print_t)CALL(variable[8],COLOR_file___Object___print))(variable[8], variable[9]) /*Object::print*/;
+ variable[8] = ((array___AbstractArray___iterator_t)CALL( variable[7] /*impls2*/,COLOR_abstract_collection___Collection___iterator))( variable[7] /*impls2*/) /*AbstractArray::iterator*/;