explicit_attribute


INSTANCE explicit_attribute#287;
	corresponds_to = {explicit_attribute#394};
	tipe = simple_type(boolean_type);
	is_variable = true;
	name = "is_abstract";
	is_optional = false;
	the_entity = entity_type#188; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#288;
	corresponds_to = {explicit_attribute#395};
	tipe = defined_type#35;
	is_variable = true;
	name = "supertype_of";
	is_optional = true;
	the_entity = entity_type#188; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#289;
	corresponds_to = {explicit_attribute#396};
	tipe = set_type#70;
	is_variable = true;
	name = "expressions";
	is_optional = false;
	the_entity = entity_type#189; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#290;
	tipe = defined_type#35;
	is_variable = true;
	name = "first_expression";
	is_optional = false;
	the_entity = entity_type#190; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#291;
	tipe = defined_type#35;
	is_variable = true;
	name = "second_expression";
	is_optional = false;
	the_entity = entity_type#190; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#292;
	tipe = defined_type#35;
	is_variable = true;
	name = "first_expression";
	is_optional = false;
	the_entity = entity_type#191; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#293;
	tipe = defined_type#35;
	is_variable = true;
	name = "second_expression";
	is_optional = false;
	the_entity = entity_type#191; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#294;
	corresponds_to = {explicit_attribute#399};
	hlcs_extracted = {optional_xor_empty_aggregation#6}; (* set indirectly *)
	tipe = set_type#71;
	is_variable = true;
	name = "subtype_of";
	is_optional = true;
	the_entity = entity_type#188; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#295;
	corresponds_to = {explicit_attribute#385};
	hlcs_extracted = {optional_xor_empty_aggregation#7}; (* set indirectly *)
	tipe = set_type#72;
	is_variable = true;
	name = "explicit_attributes";
	is_optional = false;
	the_entity = entity_type#188; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#296;
	corresponds_to = {explicit_attribute#386};
	tipe = entity_type#195;
	is_variable = true;
	name = "formula";
	is_optional = false;
	the_entity = entity_type#194; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#297;
	tipe = defined_type#36;
	is_variable = true;
	name = "literal_value";
	is_optional = false;
	the_entity = entity_type#196; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#298;
	corresponds_to = {explicit_attribute#440};
	tipe = defined_type#42;
	is_variable = true;
	name = "built_in_value";
	is_optional = false;
	the_entity = entity_type#197; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#299;
	tipe = defined_type#43;
	is_variable = true;
	name = "operator";
	is_optional = false;
	the_entity = entity_type#198; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#300;
	tipe = entity_type#195;
	is_variable = true;
	name = "expression";
	is_optional = false;
	the_entity = entity_type#198; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#301;
	tipe = defined_type#44;
	is_variable = true;
	name = "operator";
	is_optional = false;
	the_entity = entity_type#199; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#302;
	tipe = entity_type#195;
	is_variable = true;
	name = "first_expression";
	is_optional = false;
	the_entity = entity_type#199; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#303;
	tipe = entity_type#195;
	is_variable = true;
	name = "second_expression";
	is_optional = false;
	the_entity = entity_type#199; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#304;
	corresponds_to = {explicit_attribute#476};
	tipe = entity_type#201;
	is_variable = true;
	name = "variable";
	is_optional = false;
	the_entity = entity_type#200; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#305;
	corresponds_to = {explicit_attribute#477};
	tipe = simple_type(string_type);
	is_variable = true;
	name = "name";
	is_optional = false;
	the_entity = entity_type#201; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#306;
	corresponds_to = {explicit_attribute#478};
	tipe = entity_type#195;
	is_variable = true;
	name = "aggregation_expression";
	is_optional = false;
	the_entity = entity_type#200; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#307;
	corresponds_to = {explicit_attribute#479};
	tipe = entity_type#195;
	is_variable = true;
	name = "logical_expression";
	is_optional = false;
	the_entity = entity_type#200; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#308;
	tipe = defined_type#45;
	is_variable = true;
	name = "function_called";
	is_optional = false;
	the_entity = entity_type#203; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#309;
	tipe = simple_type(string_type);
	is_variable = true;
	name = "function_called";
	is_optional = false;
	the_entity = entity_type#204; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#310;
	corresponds_to = {explicit_attribute#481};
	hlcs_extracted = {optional_xor_empty_aggregation#19}; (* set indirectly *)
	tipe = list_type#23;
	is_variable = true;
	name = "actual_parameters";
	is_optional = false;
	the_entity = entity_type#202; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#311;
	tipe = defined_type#46;
	is_variable = true;
	name = "kind";
	is_optional = false;
	the_entity = entity_type#205; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#312;
	tipe = entity_type#195;
	is_variable = true;
	name = "first_expression";
	is_optional = true;
	the_entity = entity_type#205; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#313;
	tipe = entity_type#195;
	is_variable = true;
	name = "second_expression";
	is_optional = true;
	the_entity = entity_type#205; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#314;
	tipe = entity_type#195;
	is_variable = true;
	name = "third_expression";
	is_optional = true;
	the_entity = entity_type#205; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#315;
	tipe = simple_type(string_type);
	is_variable = true;
	name = "id";
	is_optional = false;
	the_entity = entity_type#206; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#316;
	corresponds_to = {explicit_attribute#487};
	hlcs_extracted = {optional_xor_empty_aggregation#20}; (* set indirectly *)
	tipe = list_type#24;
	is_variable = true;
	name = "elements";
	is_optional = false;
	the_entity = entity_type#207; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#317;
	corresponds_to = {explicit_attribute#488};
	tipe = entity_type#195;
	is_variable = true;
	name = "expression";
	is_optional = false;
	the_entity = entity_type#208; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#318;
	corresponds_to = {explicit_attribute#489};
	tipe = entity_type#195;
	is_variable = true;
	name = "repeat_count";
	is_optional = true;
	the_entity = entity_type#208; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#319;
	corresponds_to = {explicit_attribute#387};
	hlcs_extracted = {optional_xor_empty_aggregation#8}; (* set indirectly *)
	tipe = set_type#73;
	is_variable = true;
	name = "derived_attributes";
	is_optional = true;
	the_entity = entity_type#188; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#320;
	corresponds_to = {explicit_attribute#388};
	tipe = entity_type#193;
	is_variable = true;
	name = "for_attribute";
	is_optional = false;
	the_entity = entity_type#209; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#321;
	corresponds_to = {explicit_attribute#389};
	hlcs_extracted = {optional_xor_empty_aggregation#9}; (* set indirectly *)
	tipe = set_type#74;
	is_variable = true;
	name = "inverse_attributes";
	is_optional = true;
	the_entity = entity_type#188; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#322;
	corresponds_to = {explicit_attribute#390};
	tipe = simple_type(string_type);
	is_variable = true;
	name = "name";
	is_optional = false;
	the_entity = entity_type#193; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#323;
	tipe = defined_type#47;
	is_variable = true;
	name = "tipe";
	is_optional = false;
	the_entity = entity_type#193; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#324;
	tipe = defined_type#49;
	is_variable = true;
	name = "kind";
	is_optional = false;
	the_entity = entity_type#210; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#325;
	corresponds_to = {explicit_attribute#376};
	tipe = defined_type#47;
	is_variable = true;
	name = "element_type";
	is_optional = false;
	the_entity = entity_type#210; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#326;
	corresponds_to = {explicit_attribute#377};
	tipe = entity_type#195;
	is_variable = true;
	name = "lower_bound";
	is_optional = false;
	the_entity = entity_type#210; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#327;
	corresponds_to = {explicit_attribute#380};
	tipe = entity_type#195;
	is_variable = true;
	name = "upper_bound";
	is_optional = false;
	the_entity = entity_type#210; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#328;
	tipe = simple_type(boolean_type);
	is_variable = true;
	name = "is_unique";
	is_optional = false;
	the_entity = entity_type#210; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#329;
	tipe = simple_type(boolean_type);
	is_variable = true;
	name = "is_optional";
	is_optional = false;
	the_entity = entity_type#210; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#330;
	tipe = entity_type#188;
	is_variable = true;
	name = "owner";
	is_optional = true;
	the_entity = entity_type#193; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#331;
	corresponds_to = {explicit_attribute#384};
	tipe = simple_type(boolean_type);
	is_variable = true;
	name = "is_optional";
	is_optional = false;
	the_entity = entity_type#192; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#332;
	corresponds_to = {explicit_attribute#391};
	hlcs_extracted = {optional_xor_empty_aggregation#10}; (* set indirectly *)
	tipe = set_type#75;
	is_variable = true;
	name = "unique_rules";
	is_optional = true;
	the_entity = entity_type#188; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#333;
	corresponds_to = {explicit_attribute#393};
	tipe = entity_type#195;
	is_variable = true;
	name = "expression";
	is_optional = false;
	the_entity = entity_type#213; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#334;
	corresponds_to = {explicit_attribute#382, explicit_attribute#507};
	hlcs_extracted = {optional_xor_empty_aggregation#5}; (* set indirectly *)
	tipe = set_type#76;
	is_variable = true;
	name = "domain_rules";
	is_optional = true;
	the_entity = entity_type#187; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#335;
	corresponds_to = {explicit_attribute#392};
	tipe = simple_type(string_type);
	is_variable = true;
	name = "label";
	is_optional = false;
	the_entity = entity_type#212; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#336;
	corresponds_to = {explicit_attribute#383};
	tipe = set_type#77;
	is_variable = true;
	name = "attributes";
	is_optional = false;
	the_entity = entity_type#211; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#337;
	is_variable = true;
	name = "higher_level_constraints";
	is_optional = true;
	the_entity = entity_type#188; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#338;
	corresponds_to = {explicit_attribute#373};
	tipe = defined_type#50;
	is_variable = true;
	name = "tipe";
	is_optional = false;
	the_entity = entity_type#214; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#339;
	tipe = simple_type(string_type);
	is_variable = true;
	name = "name";
	is_optional = false;
	the_entity = entity_type#187; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#340;
	tipe = set_type#79;
	is_variable = true;
	name = "extracted_from";
	is_optional = false;
	the_entity = entity_type#215; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#341;
	tipe = entity_type#216;
	is_variable = true;
	name = "conjunct_of";
	is_optional = true;
	the_entity = entity_type#215; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#342;
	tipe = set_type#81;
	is_variable = true;
	name = "choice_set";
	is_optional = false;
	the_entity = entity_type#217; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#343;
	tipe = defined_type#55;
	is_variable = true;
	name = "constrainee";
	is_optional = false;
	the_entity = entity_type#217; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#344;
	tipe = set_type#82;
	is_variable = true;
	name = "choice_set";
	is_optional = false;
	the_entity = entity_type#218; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#345;
	tipe = defined_type#55;
	is_variable = true;
	name = "constrainee";
	is_optional = false;
	the_entity = entity_type#218; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#346;
	corresponds_to = {explicit_attribute#494};
	tipe = defined_type#56;
	is_variable = true;
	name = "kind";
	is_optional = false;
	the_entity = entity_type#219; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#347;
	corresponds_to = {explicit_attribute#495};
	tipe = simple_type(boolean_type);
	is_variable = true;
	name = "inclusive";
	is_optional = false;
	the_entity = entity_type#219; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#348;
	corresponds_to = {explicit_attribute#496};
	tipe = simple_type(boolean_type);
	is_variable = true;
	name = "discrete";
	is_optional = false;
	the_entity = entity_type#219; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#349;
	corresponds_to = {explicit_attribute#497};
	is_variable = true;
	name = "variable";
	is_optional = false;
	the_entity = entity_type#219; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#350;
	corresponds_to = {explicit_attribute#498};
	tipe = simple_type(number_type);
	is_variable = true;
	name = "limit";
	is_optional = false;
	the_entity = entity_type#219; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#351;
	corresponds_to = {explicit_attribute#499};
	tipe = entity_type#219;
	is_variable = true;
	name = "lower_bound";
	is_optional = false;
	the_entity = entity_type#220; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#352;
	corresponds_to = {explicit_attribute#500};
	tipe = entity_type#219;
	is_variable = true;
	name = "upper_bound";
	is_optional = false;
	the_entity = entity_type#220; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#353;
	corresponds_to = {explicit_attribute#501};
	is_variable = true;
	name = "variable";
	is_optional = false;
	the_entity = entity_type#220; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#354;
	corresponds_to = {explicit_attribute#503};
	is_variable = true;
	name = "attribute";
	is_optional = false;
	the_entity = entity_type#221; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#355;
	is_variable = true;
	name = "attribute";
	is_optional = false;
	the_entity = entity_type#222; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#356;
	tipe = set_type#83;
	is_variable = true;
	name = "equals";
	is_optional = false;
	the_entity = entity_type#223; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#357;
	corresponds_to = {explicit_attribute#510};
	tipe = bag_type#11;
	is_variable = true;
	name = "addends";
	is_optional = false;
	the_entity = entity_type#224; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#358;
	corresponds_to = {explicit_attribute#511};
	is_variable = true;
	name = "sum";
	is_optional = false;
	the_entity = entity_type#224; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#359;
	corresponds_to = {explicit_attribute#512};
	tipe = bag_type#12;
	is_variable = true;
	name = "multiplicands";
	is_optional = false;
	the_entity = entity_type#225; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#360;
	corresponds_to = {explicit_attribute#513};
	is_variable = true;
	name = "product";
	is_optional = false;
	the_entity = entity_type#225; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#361;
	corresponds_to = {explicit_attribute#521};
	is_variable = true;
	name = "problem";
	is_optional = false;
	the_entity = entity_type#226; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#362;
	corresponds_to = {explicit_attribute#522};
	is_variable = true;
	name = "solution";
	is_optional = false;
	the_entity = entity_type#226; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#363;
	hlcs_extracted = {optional_xor_empty_aggregation#3}; (* set indirectly *)
	tipe = set_type#84;
	is_variable = true;
	name = "extracted_from";
	is_optional = true;
	the_entity = entity_type#227; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#364;
	tipe = entity_type#227;
	is_variable = true;
	name = "covers";
	is_optional = true;
	the_entity = entity_type#227; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#365;
	is_variable = true;
	name = "description";
	is_optional = true;
	the_entity = entity_type#227; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#366;
	hlcs_extracted = {optional_xor_empty_aggregation#4}; (* set indirectly *)
	tipe = set_type#85;
	is_variable = true;
	name = "corresponds_to";
	is_optional = true;
	the_entity = entity_type#227; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#367;
	tipe = simple_type(string_type);
	is_variable = true;
	name = "name";
	is_optional = false;
	the_entity = entity_type#228; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#368;
	tipe = entity_type#227;
	is_variable = true;
	name = "frame1";
	is_optional = false;
	the_entity = entity_type#229; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#369;
	tipe = entity_type#227;
	is_variable = true;
	name = "frame2";
	is_optional = false;
	the_entity = entity_type#229; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#370;
	tipe = defined_type#57;
	is_variable = true;
	name = "semantic_equivalence";
	is_optional = false;
	the_entity = entity_type#229; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#371;
	tipe = set_type#88;
	is_variable = true;
	name = "schemata";
	is_optional = false;
	the_entity = entity_type#230; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#372;
	hlcs_extracted = {optional_xor_empty_aggregation#23}; (* set indirectly *)
	tipe = set_type#89;
	is_variable = true;
	name = "entities";
	is_optional = true;
	the_entity = entity_type#231; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#373;
	corresponds_to = {explicit_attribute#338};
	tipe = defined_type#58;
	is_variable = true;
	name = "tipe";
	is_optional = false;
	the_entity = entity_type#234; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#374;
	tipe = simple_type(boolean_type);
	is_variable = true;
	name = "is_optional";
	is_optional = false;
	the_entity = entity_type#241; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#375;
	tipe = simple_type(boolean_type);
	is_variable = true;
	name = "is_unique";
	is_optional = false;
	the_entity = entity_type#239; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#376;
	corresponds_to = {explicit_attribute#325};
	tipe = defined_type#60;
	is_variable = true;
	name = "element_type";
	is_optional = false;
	the_entity = entity_type#235; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#377;
	corresponds_to = {explicit_attribute#326};
	tipe = entity_type#242;
	is_variable = true;
	name = "lower_bound";
	is_optional = true;
	the_entity = entity_type#235; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#378;
	tipe = defined_type#61;
	is_variable = true;
	name = "tipe";
	is_optional = false;
	the_entity = entity_type#242; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#379;
	tipe = simple_type(boolean_type);
	is_variable = true;
	name = "is_variable";
	is_optional = false;
	the_entity = entity_type#242; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#380;
	corresponds_to = {explicit_attribute#327};
	tipe = entity_type#242;
	is_variable = true;
	name = "upper_bound";
	is_optional = true;
	the_entity = entity_type#235; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#381;
	hlcs_extracted = {optional_xor_empty_aggregation#24}; (* set indirectly *)
	tipe = set_type#91;
	is_variable = true;
	name = "defined_types";
	is_optional = true;
	the_entity = entity_type#231; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#382;
	corresponds_to = {explicit_attribute#334};
	hlcs_extracted = {optional_xor_empty_aggregation#21}; (* set indirectly *)
	tipe = set_type#92;
	is_variable = true;
	name = "domain_rules";
	is_optional = true;
	the_entity = entity_type#233; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#383;
	corresponds_to = {explicit_attribute#336};
	tipe = set_type#93;
	is_variable = true;
	name = "attributes";
	is_optional = false;
	the_entity = entity_type#246; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#384;
	corresponds_to = {explicit_attribute#331};
	tipe = simple_type(boolean_type);
	is_variable = true;
	name = "is_optional";
	is_optional = false;
	the_entity = entity_type#248; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#385;
	corresponds_to = {explicit_attribute#295};
	hlcs_extracted = {optional_xor_empty_aggregation#12}; (* set indirectly *)
	tipe = set_type#94;
	is_variable = true;
	name = "explicit_attributes";
	is_optional = false;
	the_entity = entity_type#232; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#386;
	corresponds_to = {explicit_attribute#296};
	tipe = entity_type#242;
	is_variable = true;
	name = "formula";
	is_optional = false;
	the_entity = entity_type#249; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#387;
	corresponds_to = {explicit_attribute#319};
	hlcs_extracted = {optional_xor_empty_aggregation#14}; (* set indirectly *)
	tipe = set_type#95;
	is_variable = true;
	name = "derived_attributes";
	is_optional = true;
	the_entity = entity_type#232; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#388;
	corresponds_to = {explicit_attribute#320};
	tipe = entity_type#247;
	is_variable = true;
	name = "for_attribute";
	is_optional = false;
	the_entity = entity_type#250; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#389;
	corresponds_to = {explicit_attribute#321};
	hlcs_extracted = {optional_xor_empty_aggregation#16}; (* set indirectly *)
	tipe = set_type#96;
	is_variable = true;
	name = "inverse_attributes";
	is_optional = true;
	the_entity = entity_type#232; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#390;
	corresponds_to = {explicit_attribute#322};
	tipe = simple_type(string_type);
	is_variable = true;
	name = "name";
	is_optional = false;
	the_entity = entity_type#247; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#391;
	corresponds_to = {explicit_attribute#332};
	hlcs_extracted = {optional_xor_empty_aggregation#18}; (* set indirectly *)
	tipe = set_type#97;
	is_variable = true;
	name = "unique_rules";
	is_optional = true;
	the_entity = entity_type#232; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#392;
	corresponds_to = {explicit_attribute#335};
	tipe = simple_type(string_type);
	is_variable = true;
	name = "label";
	is_optional = false;
	the_entity = entity_type#245; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#393;
	corresponds_to = {explicit_attribute#333};
	tipe = entity_type#242;
	is_variable = true;
	name = "expression";
	is_optional = false;
	the_entity = entity_type#244; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#394;
	corresponds_to = {explicit_attribute#287};
	tipe = simple_type(boolean_type);
	is_variable = true;
	name = "is_abstract";
	is_optional = false;
	the_entity = entity_type#232; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#395;
	corresponds_to = {explicit_attribute#288};
	tipe = entity_type#251;
	is_variable = true;
	name = "supertype_of";
	is_optional = true;
	the_entity = entity_type#232; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#396;
	corresponds_to = {explicit_attribute#289};
	tipe = set_type#98;
	is_variable = true;
	name = "expressions";
	is_optional = false;
	the_entity = entity_type#252; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#397;
	tipe = set_type#99;
	is_variable = true;
	name = "terms";
	is_optional = false;
	the_entity = entity_type#253; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#398;
	tipe = set_type#100;
	is_variable = true;
	name = "factors";
	is_optional = false;
	the_entity = entity_type#254; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#399;
	corresponds_to = {explicit_attribute#294};
	hlcs_extracted = {optional_xor_empty_aggregation#11}; (* set indirectly *)
	tipe = set_type#101;
	is_variable = true;
	name = "subtype_of";
	is_optional = true;
	the_entity = entity_type#232; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#400;
	hlcs_extracted = {optional_xor_empty_aggregation#13}; (* set indirectly *)
	tipe = set_type#102;
	is_variable = true;
	name = "explicit_attribute_redeclarations";
	is_optional = true;
	the_entity = entity_type#232; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#401;
	tipe = entity_type#242;
	is_variable = true;
	name = "formula";
	is_optional = false;
	the_entity = entity_type#257; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#402;
	hlcs_extracted = {optional_xor_empty_aggregation#15}; (* set indirectly *)
	tipe = set_type#103;
	is_variable = true;
	name = "derived_attribute_redeclarations";
	is_optional = true;
	the_entity = entity_type#232; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#403;
	tipe = entity_type#247;
	is_variable = true;
	name = "for_attribute";
	is_optional = false;
	the_entity = entity_type#258; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#404;
	hlcs_extracted = {optional_xor_empty_aggregation#17}; (* set indirectly *)
	tipe = set_type#104;
	is_variable = true;
	name = "inverse_attribute_redeclarations";
	is_optional = true;
	the_entity = entity_type#232; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#405;
	tipe = entity_type#247;
	is_variable = true;
	name = "attribute";
	is_optional = false;
	the_entity = entity_type#256; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#406;
	tipe = entity_type#232;
	is_variable = true;
	name = "entity_originally_declared_in";
	is_optional = false;
	the_entity = entity_type#256; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#407;
	tipe = defined_type#61;
	is_variable = true;
	name = "tipe";
	is_optional = false;
	the_entity = entity_type#256; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#408;
	tipe = simple_type(boolean_type);
	is_variable = true;
	name = "is_optional";
	is_optional = false;
	the_entity = entity_type#255; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#409;
	hlcs_extracted = {optional_xor_empty_aggregation#25}; (* set indirectly *)
	tipe = set_type#105;
	is_variable = true;
	name = "rules";
	is_optional = true;
	the_entity = entity_type#231; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#410;
	tipe = set_type#106;
	is_variable = true;
	name = "for_entities";
	is_optional = false;
	the_entity = entity_type#259; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#411;
	hlcs_extracted = {optional_xor_empty_aggregation#31}; (* set indirectly *)
	tipe = set_type#107;
	is_variable = true;
	name = "entity_types";
	is_optional = true;
	the_entity = entity_type#259; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#412;
	hlcs_extracted = {optional_xor_empty_aggregation#32}; (* set indirectly *)
	tipe = set_type#108;
	is_variable = true;
	name = "defined_types";
	is_optional = true;
	the_entity = entity_type#259; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#413;
	hlcs_extracted = {optional_xor_empty_aggregation#33}; (* set indirectly *)
	tipe = set_type#109;
	is_variable = true;
	name = "functions";
	is_optional = true;
	the_entity = entity_type#259; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#414;
	tipe = defined_type#60;
	is_variable = true;
	name = "parameter_type";
	is_optional = false;
	the_entity = entity_type#262; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#415;
	hlcs_extracted = {optional_xor_empty_aggregation#40}; (* set indirectly *)
	tipe = set_type#110;
	is_variable = true;
	name = "constants";
	is_optional = true;
	the_entity = entity_type#262; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#416;
	hlcs_extracted = {optional_xor_empty_aggregation#41}; (* set indirectly *)
	tipe = set_type#111;
	is_variable = true;
	name = "entities";
	is_optional = true;
	the_entity = entity_type#262; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#417;
	hlcs_extracted = {optional_xor_empty_aggregation#42}; (* set indirectly *)
	tipe = set_type#112;
	is_variable = true;
	name = "functions";
	is_optional = true;
	the_entity = entity_type#262; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#418;
	hlcs_extracted = {optional_xor_empty_aggregation#43}; (* set indirectly *)
	tipe = set_type#113;
	is_variable = true;
	name = "procedures";
	is_optional = true;
	the_entity = entity_type#262; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#419;
	hlcs_extracted = {optional_xor_empty_aggregation#44}; (* set indirectly *)
	tipe = set_type#114;
	is_variable = true;
	name = "local_variables";
	is_optional = true;
	the_entity = entity_type#262; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#420;
	tipe = set_type#115;
	is_variable = true;
	name = "body";
	is_optional = false;
	the_entity = entity_type#262; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#421;
	hlcs_extracted = {optional_xor_empty_aggregation#39}; (* set indirectly *)
	tipe = list_type#27;
	is_variable = true;
	name = "formal_parameters";
	is_optional = false;
	the_entity = entity_type#260; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#422;
	tipe = defined_type#60;
	is_variable = true;
	name = "tipe";
	is_optional = false;
	the_entity = entity_type#265; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#423;
	tipe = simple_type(boolean_type);
	is_variable = true;
	name = "is_optional";
	is_optional = false;
	the_entity = entity_type#265; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#424;
	tipe = defined_type#61;
	is_variable = true;
	name = "return_type";
	is_optional = false;
	the_entity = entity_type#260; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#425;
	hlcs_extracted = {optional_xor_empty_aggregation#34}; (* set indirectly *)
	tipe = set_type#116;
	is_variable = true;
	name = "procedures";
	is_optional = true;
	the_entity = entity_type#259; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#426;
	hlcs_extracted = {optional_xor_empty_aggregation#35}; (* set indirectly *)
	tipe = set_type#117;
	is_variable = true;
	name = "constants";
	is_optional = true;
	the_entity = entity_type#259; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#427;
	hlcs_extracted = {optional_xor_empty_aggregation#36}; (* set indirectly *)
	tipe = set_type#118;
	is_variable = true;
	name = "local_variables";
	is_optional = true;
	the_entity = entity_type#259; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#428;
	hlcs_extracted = {optional_xor_empty_aggregation#37}; (* set indirectly *)
	tipe = set_type#119;
	is_variable = true;
	name = "statements";
	is_optional = false;
	the_entity = entity_type#259; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#429;
	tipe = set_type#120;
	is_variable = true;
	name = "domain_rules";
	is_optional = false;
	the_entity = entity_type#259; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#430;
	hlcs_extracted = {optional_xor_empty_aggregation#26}; (* set indirectly *)
	tipe = set_type#121;
	is_variable = true;
	name = "functions";
	is_optional = true;
	the_entity = entity_type#231; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#431;
	hlcs_extracted = {optional_xor_empty_aggregation#27}; (* set indirectly *)
	tipe = set_type#122;
	is_variable = true;
	name = "procedures";
	is_optional = true;
	the_entity = entity_type#231; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#432;
	hlcs_extracted = {optional_xor_empty_aggregation#28}; (* set indirectly *)
	tipe = set_type#123;
	is_variable = true;
	name = "constants";
	is_optional = true;
	the_entity = entity_type#231; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#433;
	hlcs_extracted = {optional_xor_empty_aggregation#29}; (* set indirectly *)
	tipe = set_type#124;
	is_variable = true;
	name = "uses";
	is_optional = true;
	the_entity = entity_type#231; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#434;
	hlcs_extracted = {optional_xor_empty_aggregation#30}; (* set indirectly *)
	tipe = set_type#125;
	is_variable = true;
	name = "references";
	is_optional = true;
	the_entity = entity_type#231; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#435;
	tipe = simple_type(integer_type);
	is_variable = true;
	name = "literal_value";
	is_optional = false;
	the_entity = entity_type#269; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#436;
	tipe = simple_type(real_type);
	is_variable = true;
	name = "literal_value";
	is_optional = false;
	the_entity = entity_type#270; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#437;
	tipe = simple_type(logical_type);
	is_variable = true;
	name = "literal_value";
	is_optional = false;
	the_entity = entity_type#271; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#438;
	tipe = simple_type(string_type);
	is_variable = true;
	name = "literal_value";
	is_optional = false;
	the_entity = entity_type#272; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#439;
	tipe = simple_type(binary_type);
	is_variable = true;
	name = "literal_value";
	is_optional = false;
	the_entity = entity_type#273; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#440;
	corresponds_to = {explicit_attribute#298};
	tipe = defined_type#65;
	is_variable = true;
	name = "built_in_value";
	is_optional = false;
	the_entity = entity_type#274; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#441;
	tipe = set_type#126;
	is_variable = true;
	name = "equal_expressions";
	is_optional = false;
	the_entity = entity_type#275; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#442;
	tipe = entity_type#242;
	is_variable = true;
	name = "first_expression";
	is_optional = false;
	the_entity = entity_type#276; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#443;
	tipe = entity_type#242;
	is_variable = true;
	name = "second_expression";
	is_optional = false;
	the_entity = entity_type#276; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#444;
	tipe = set_type#127;
	is_variable = true;
	name = "equal_instances";
	is_optional = false;
	the_entity = entity_type#277; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#445;
	tipe = entity_type#242;
	is_variable = true;
	name = "first_instance";
	is_optional = false;
	the_entity = entity_type#278; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#446;
	tipe = entity_type#242;
	is_variable = true;
	name = "second_instance";
	is_optional = false;
	the_entity = entity_type#278; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#447;
	tipe = entity_type#242;
	is_variable = true;
	name = "greater";
	is_optional = false;
	the_entity = entity_type#279; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#448;
	tipe = entity_type#242;
	is_variable = true;
	name = "lesser";
	is_optional = false;
	the_entity = entity_type#279; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#449;
	tipe = defined_type#66;
	is_variable = true;
	name = "inclusive";
	is_optional = false;
	the_entity = entity_type#279; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#450;
	tipe = defined_type#67;
	is_variable = true;
	name = "discrete";
	is_optional = false;
	the_entity = entity_type#279; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#451;
	tipe = defined_type#68;
	is_variable = true;
	name = "which_way_round";
	is_optional = false;
	the_entity = entity_type#279; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#452;
	tipe = entity_type#242;
	is_variable = true;
	name = "lower_bound";
	is_optional = false;
	the_entity = entity_type#280; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#453;
	tipe = defined_type#66;
	is_variable = true;
	name = "lower_inclusive";
	is_optional = false;
	the_entity = entity_type#280; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#454;
	tipe = entity_type#242;
	is_variable = true;
	name = "variable";
	is_optional = false;
	the_entity = entity_type#280; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#455;
	tipe = defined_type#67;
	is_variable = true;
	name = "discrete";
	is_optional = false;
	the_entity = entity_type#280; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#456;
	tipe = defined_type#66;
	is_variable = true;
	name = "upper_inclusive";
	is_optional = false;
	the_entity = entity_type#280; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#457;
	tipe = entity_type#242;
	is_variable = true;
	name = "upper_bound";
	is_optional = false;
	the_entity = entity_type#280; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#458;
	tipe = entity_type#242;
	is_variable = true;
	name = "element";
	is_optional = false;
	the_entity = entity_type#281; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#459;
	tipe = entity_type#242;
	is_variable = true;
	name = "set_frame";
	is_optional = false;
	the_entity = entity_type#281; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#460;
	tipe = entity_type#242;
	is_variable = true;
	name = "source_string";
	is_optional = false;
	the_entity = entity_type#282; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#461;
	tipe = entity_type#242;
	is_variable = true;
	name = "target_string";
	is_optional = false;
	the_entity = entity_type#282; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#462;
	tipe = bag_type#13;
	is_variable = true;
	name = "addends";
	is_optional = false;
	the_entity = entity_type#283; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#463;
	tipe = entity_type#242;
	is_variable = true;
	name = "operand";
	is_optional = false;
	the_entity = entity_type#284; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#464;
	tipe = bag_type#14;
	is_variable = true;
	name = "multiplicands";
	is_optional = false;
	the_entity = entity_type#285; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#465;
	tipe = entity_type#242;
	is_variable = true;
	name = "operand";
	is_optional = false;
	the_entity = entity_type#286; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#466;
	tipe = entity_type#242;
	is_variable = true;
	name = "base";
	is_optional = false;
	the_entity = entity_type#287; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#467;
	tipe = entity_type#242;
	is_variable = true;
	name = "exponent";
	is_optional = false;
	the_entity = entity_type#287; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#468;
	tipe = entity_type#242;
	is_variable = true;
	name = "dividend";
	is_optional = false;
	the_entity = entity_type#288; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#469;
	tipe = entity_type#242;
	is_variable = true;
	name = "divisor";
	is_optional = false;
	the_entity = entity_type#288; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#470;
	tipe = entity_type#242;
	is_variable = true;
	name = "dividend";
	is_optional = false;
	the_entity = entity_type#289; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#471;
	tipe = entity_type#242;
	is_variable = true;
	name = "divisor";
	is_optional = false;
	the_entity = entity_type#289; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#472;
	tipe = bag_type#15;
	is_variable = true;
	name = "disjuncts";
	is_optional = false;
	the_entity = entity_type#290; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#473;
	hlcs_extracted = {optional_xor_empty_aggregation#38}; (* set indirectly *)
	tipe = set_type#128;
	is_variable = true;
	name = "conjuncts";
	is_optional = false;
	the_entity = entity_type#293; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#474;
	tipe = entity_type#242;
	is_variable = true;
	name = "operand";
	is_optional = false;
	the_entity = entity_type#294; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#475;
	tipe = list_type#28;
	is_variable = true;
	name = "entity_initialisers";
	is_optional = false;
	the_entity = entity_type#295; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#476;
	corresponds_to = {explicit_attribute#304};
	tipe = entity_type#297;
	is_variable = true;
	name = "variable";
	is_optional = false;
	the_entity = entity_type#296; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#477;
	corresponds_to = {explicit_attribute#305};
	tipe = simple_type(string_type);
	is_variable = true;
	name = "name";
	is_optional = false;
	the_entity = entity_type#297; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#478;
	corresponds_to = {explicit_attribute#306};
	tipe = entity_type#242;
	is_variable = true;
	name = "aggregation_expression";
	is_optional = false;
	the_entity = entity_type#296; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#479;
	corresponds_to = {explicit_attribute#307};
	tipe = entity_type#242;
	is_variable = true;
	name = "logical_expression";
	is_optional = false;
	the_entity = entity_type#296; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#480;
	tipe = entity_type#260;
	is_variable = true;
	name = "function_called";
	is_optional = false;
	the_entity = entity_type#298; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#481;
	corresponds_to = {explicit_attribute#310};
	hlcs_extracted = {optional_xor_empty_aggregation#22}; (* set indirectly *)
	tipe = list_type#29;
	is_variable = true;
	name = "actual_parameters";
	is_optional = false;
	the_entity = entity_type#298; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#482;
	tipe = entity_type#247;
	is_variable = true;
	name = "attribute_reference";
	is_optional = false;
	the_entity = entity_type#300; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#483;
	tipe = entity_type#232;
	is_variable = true;
	name = "entity_reference";
	is_optional = false;
	the_entity = entity_type#301; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#484;
	tipe = entity_type#242;
	is_variable = true;
	name = "index1";
	is_optional = false;
	the_entity = entity_type#302; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#485;
	tipe = entity_type#242;
	is_variable = true;
	name = "index2";
	is_optional = true;
	the_entity = entity_type#302; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#486;
	tipe = entity_type#242;
	is_variable = true;
	name = "qualified_factor";
	is_optional = false;
	the_entity = entity_type#299; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#487;
	corresponds_to = {explicit_attribute#316};
	hlcs_extracted = {optional_xor_empty_aggregation#45}; (* set indirectly *)
	tipe = list_type#30;
	is_variable = true;
	name = "elements";
	is_optional = false;
	the_entity = entity_type#303; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#488;
	corresponds_to = {explicit_attribute#317};
	tipe = entity_type#242;
	is_variable = true;
	name = "expression";
	is_optional = false;
	the_entity = entity_type#304; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#489;
	corresponds_to = {explicit_attribute#318};
	tipe = entity_type#242;
	is_variable = true;
	name = "repeat_count";
	is_optional = true;
	the_entity = entity_type#304; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#490;
	tipe = set_type#129;
	is_variable = true;
	name = "choice_set";
	is_optional = false;
	the_entity = entity_type#306; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#491;
	tipe = simple_type(boolean_type);
	is_variable = true;
	name = "is_optional";
	is_optional = false;
	the_entity = entity_type#306; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#492;
	is_variable = true;
	name = "constrained_entity";
	is_optional = false;
	the_entity = entity_type#306; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#493;
	is_variable = true;
	name = "attribute";
	is_optional = true;
	the_entity = entity_type#306; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#494;
	corresponds_to = {explicit_attribute#346};
	tipe = defined_type#70;
	is_variable = true;
	name = "kind";
	is_optional = false;
	the_entity = entity_type#307; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#495;
	corresponds_to = {explicit_attribute#347};
	is_variable = true;
	name = "inclusive";
	is_optional = false;
	the_entity = entity_type#307; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#496;
	corresponds_to = {explicit_attribute#348};
	is_variable = true;
	name = "discrete";
	is_optional = false;
	the_entity = entity_type#307; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#497;
	corresponds_to = {explicit_attribute#349};
	is_variable = true;
	name = "variable";
	is_optional = false;
	the_entity = entity_type#307; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#498;
	corresponds_to = {explicit_attribute#350};
	is_variable = true;
	name = "limit";
	is_optional = false;
	the_entity = entity_type#307; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#499;
	corresponds_to = {explicit_attribute#351};
	tipe = entity_type#307;
	is_variable = true;
	name = "lower_bound";
	is_optional = false;
	the_entity = entity_type#308; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#500;
	corresponds_to = {explicit_attribute#352};
	tipe = entity_type#307;
	is_variable = true;
	name = "upper_bound";
	is_optional = false;
	the_entity = entity_type#308; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#501;
	corresponds_to = {explicit_attribute#353};
	is_variable = true;
	name = "variable";
	is_optional = false;
	the_entity = entity_type#308; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#502;
	is_variable = true;
	name = "discrete";
	is_optional = false;
	the_entity = entity_type#308; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#503;
	corresponds_to = {explicit_attribute#354};
	is_variable = true;
	name = "attribute";
	is_optional = false;
	the_entity = entity_type#309; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#504;
	is_variable = true;
	name = "attribute";
	is_optional = false;
	the_entity = entity_type#310; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#505;
	is_variable = true;
	name = "tipe";
	is_optional = false;
	the_entity = entity_type#310; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#506;
	is_variable = true;
	name = "the_entity";
	is_optional = false;
	the_entity = entity_type#311; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#507;
	corresponds_to = {explicit_attribute#334};
	hlcs_extracted = {optional_xor_empty_aggregation#46}; (* set indirectly *)
	tipe = set_type#130;
	is_variable = true;
	name = "domain_rules";
	is_optional = true;
	the_entity = entity_type#311; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#508;
	is_variable = true;
	name = "substitute_for_self";
	is_optional = true;
	the_entity = entity_type#311; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#509;
	is_variable = true;
	name = "attribute";
	is_optional = false;
	the_entity = entity_type#312; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#510;
	corresponds_to = {explicit_attribute#357};
	tipe = bag_type#16;
	is_variable = true;
	name = "addends";
	is_optional = false;
	the_entity = entity_type#313; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#511;
	corresponds_to = {explicit_attribute#358};
	is_variable = true;
	name = "sum";
	is_optional = false;
	the_entity = entity_type#313; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#512;
	corresponds_to = {explicit_attribute#359};
	tipe = bag_type#17;
	is_variable = true;
	name = "multiplicands";
	is_optional = false;
	the_entity = entity_type#314; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#513;
	corresponds_to = {explicit_attribute#360};
	is_variable = true;
	name = "product";
	is_optional = false;
	the_entity = entity_type#314; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#514;
	is_variable = true;
	name = "source_entity";
	is_optional = false;
	the_entity = entity_type#315; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#515;
	is_variable = true;
	name = "source_attribute";
	is_optional = false;
	the_entity = entity_type#315; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#516;
	is_variable = true;
	name = "target_entity";
	is_optional = false;
	the_entity = entity_type#315; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#517;
	is_variable = true;
	name = "target_attribute";
	is_optional = false;
	the_entity = entity_type#315; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#518;
	is_variable = true;
	name = "bound_variable";
	is_optional = false;
	the_entity = entity_type#319; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#519;
	is_variable = true;
	name = "aggregation";
	is_optional = false;
	the_entity = entity_type#319; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#520;
	is_variable = true;
	name = "proposition";
	is_optional = false;
	the_entity = entity_type#319; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#521;
	corresponds_to = {explicit_attribute#361};
	is_variable = true;
	name = "problem";
	is_optional = false;
	the_entity = entity_type#322; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#522;
	corresponds_to = {explicit_attribute#362};
	tipe = defined_type#71;
	is_variable = true;
	name = "solution";
	is_optional = false;
	the_entity = entity_type#322; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#523;
	tipe = defined_type#73;
	is_variable = true;
	name = "language";
	is_optional = false;
	the_entity = entity_type#322; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#524;
	tipe = simple_type(string_type);
	is_variable = true;
	name = "filename";
	is_optional = false;
	the_entity = entity_type#322; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#525;
	tipe = set_type#132;
	is_variable = true;
	name = "frames";
	is_optional = false;
	the_entity = entity_type#328; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#526;
	hlcs_extracted = {optional_xor_empty_aggregation#47}; (* set indirectly *)
	tipe = set_type#133;
	is_variable = true;
	name = "necessary_slots";
	is_optional = false;
	the_entity = entity_type#329; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#527;
	hlcs_extracted = {optional_xor_empty_aggregation#48}; (* set indirectly *)
	tipe = set_type#134;
	is_variable = true;
	name = "semantic_strength_slots";
	is_optional = false;
	the_entity = entity_type#329; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#528;
	tipe = defined_type#74;
	is_variable = true;
	name = "slot_name";
	is_optional = false;
	the_entity = entity_type#330; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#529;
	tipe = defined_type#75;
	is_variable = true;
	name = "influence";
	is_optional = false;
	the_entity = entity_type#330; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#530;
	tipe = list_type#31;
	is_variable = true;
	name = "text";
	is_optional = false;
	the_entity = entity_type#331; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#531;
	tipe = defined_type#81;
	is_variable = true;
	name = "package";
	is_optional = true;
	the_entity = entity_type#332; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#532;
	hlcs_extracted = {optional_xor_empty_aggregation#49}; (* set indirectly *)
	tipe = set_type#136;
	is_variable = true;
	name = "imports";
	is_optional = false;
	the_entity = entity_type#332; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#533;
	hlcs_extracted = {optional_xor_empty_aggregation#50}; (* set indirectly *)
	tipe = set_type#137;
	is_variable = true;
	name = "classes";
	is_optional = false;
	the_entity = entity_type#332; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#534;
	tipe = simple_type(boolean_type);
	is_variable = true;
	name = "is_final";
	is_optional = true;
	the_entity = entity_type#334; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#535;
	tipe = entity_type#334;
	is_variable = true;
	name = "superclass";
	is_optional = true;
	the_entity = entity_type#334; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#536;
	hlcs_extracted = {optional_xor_empty_aggregation#55}; (* set indirectly *)
	tipe = set_type#138;
	is_variable = true;
	name = "interfaces_implemented";
	is_optional = true;
	the_entity = entity_type#334; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#537;
	hlcs_extracted = {optional_xor_empty_aggregation#58}; (* set indirectly *)
	tipe = set_type#139;
	is_variable = true;
	name = "superinterfaces";
	is_optional = true;
	the_entity = entity_type#335; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#538;
	hlcs_extracted = {optional_xor_empty_aggregation#56}; (* set indirectly *)
	tipe = set_type#140;
	is_variable = true;
	name = "initialisers";
	is_optional = false;
	the_entity = entity_type#334; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#539;
	tipe = simple_type(boolean_type);
	is_variable = true;
	name = "is_static";
	is_optional = false;
	the_entity = entity_type#336; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#540;
	tipe = entity_type#337;
	is_variable = true;
	name = "block";
	is_optional = false;
	the_entity = entity_type#336; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#541;
	tipe = simple_type(string_type);
	is_variable = true;
	name = "label";
	is_optional = true;
	the_entity = entity_type#338; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#542;
	hlcs_extracted = {optional_xor_empty_aggregation#61}; (* set indirectly *)
	tipe = list_type#34;
	is_variable = true;
	name = "statements";
	is_optional = false;
	the_entity = entity_type#337; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#543;
	hlcs_extracted = {optional_xor_empty_aggregation#62}; (* set indirectly *)
	tipe = set_type#141;
	is_variable = true;
	name = "local_variables";
	is_optional = false;
	the_entity = entity_type#337; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#544;
	tipe = defined_type#82;
	is_variable = true;
	name = "access_status";
	is_optional = false;
	the_entity = entity_type#341; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#545;
	tipe = simple_type(boolean_type);
	is_variable = true;
	name = "is_static";
	is_optional = false;
	the_entity = entity_type#341; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#546;
	tipe = simple_type(boolean_type);
	is_variable = true;
	name = "is_transient";
	is_optional = false;
	the_entity = entity_type#341; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#547;
	tipe = simple_type(boolean_type);
	is_variable = true;
	name = "is_volatile";
	is_optional = false;
	the_entity = entity_type#341; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#548;
	tipe = defined_type#83;
	is_variable = true;
	name = "initialiser";
	is_optional = true;
	the_entity = entity_type#341; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#549;
	tipe = defined_type#85;
	is_variable = true;
	name = "tipe";
	is_optional = false;
	the_entity = entity_type#340; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#550;
	tipe = defined_type#85;
	is_variable = true;
	name = "element_type";
	is_optional = false;
	the_entity = entity_type#343; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#551;
	tipe = simple_type(integer_type);
	is_variable = true;
	name = "number_of_dimensions";
	is_optional = false;
	the_entity = entity_type#343; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#552;
	tipe = simple_type(boolean_type);
	is_variable = true;
	name = "is_final";
	is_optional = false;
	the_entity = entity_type#340; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#553;
	tipe = defined_type#83;
	is_variable = true;
	name = "initialiser";
	is_optional = true;
	the_entity = entity_type#339; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#554;
	hlcs_extracted = {optional_xor_empty_aggregation#63}; (* set indirectly *)
	tipe = set_type#142;
	is_variable = true;
	name = "local_classes";
	is_optional = false;
	the_entity = entity_type#337; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#555;
	hlcs_extracted = {optional_xor_empty_aggregation#64}; (* set indirectly *)
	tipe = set_type#143;
	is_variable = true;
	name = "local_interfaces";
	is_optional = false;
	the_entity = entity_type#337; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#556;
	hlcs_extracted = {optional_xor_empty_aggregation#57}; (* set indirectly *)
	tipe = set_type#144;
	is_variable = true;
	name = "constructors";
	is_optional = false;
	the_entity = entity_type#334; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#557;
	tipe = simple_type(string_type);
	is_variable = true;
	name = "name";
	is_optional = false;
	the_entity = entity_type#349; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#558;
	tipe = simple_type(boolean_type);
	is_variable = true;
	name = "is_static";
	is_optional = false;
	the_entity = entity_type#349; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#559;
	tipe = simple_type(boolean_type);
	is_variable = true;
	name = "is_abstract";
	is_optional = false;
	the_entity = entity_type#349; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#560;
	tipe = simple_type(boolean_type);
	is_variable = true;
	name = "is_final";
	is_optional = false;
	the_entity = entity_type#349; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#561;
	tipe = simple_type(boolean_type);
	is_variable = true;
	name = "is_native";
	is_optional = false;
	the_entity = entity_type#349; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#562;
	tipe = simple_type(boolean_type);
	is_variable = true;
	name = "is_synchronised";
	is_optional = false;
	the_entity = entity_type#349; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#563;
	tipe = simple_type(boolean_type);
	is_variable = true;
	name = "is_strictfp";
	is_optional = false;
	the_entity = entity_type#349; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#564;
	tipe = defined_type#85;
	is_variable = true;
	name = "return_type";
	is_optional = true;
	the_entity = entity_type#349; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#565;
	tipe = defined_type#82;
	is_variable = true;
	name = "access_status";
	is_optional = false;
	the_entity = entity_type#348; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#566;
	hlcs_extracted = {optional_xor_empty_aggregation#59}; (* set indirectly *)
	tipe = list_type#36;
	is_variable = true;
	name = "formal_parameters";
	is_optional = false;
	the_entity = entity_type#348; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#567;
	hlcs_extracted = {optional_xor_empty_aggregation#60}; (* set indirectly *)
	tipe = set_type#145;
	is_variable = true;
	name = "throws_exceptions";
	is_optional = true;
	the_entity = entity_type#348; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#568;
	tipe = entity_type#337;
	is_variable = true;
	name = "body";
	is_optional = true;
	the_entity = entity_type#348; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#569;
	tipe = simple_type(string_type);
	is_variable = true;
	name = "name";
	is_optional = true;
	the_entity = entity_type#333; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#570;
	tipe = defined_type#82;
	is_variable = true;
	name = "access_status";
	is_optional = false;
	the_entity = entity_type#333; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#571;
	tipe = simple_type(boolean_type);
	is_variable = true;
	name = "is_abstract";
	is_optional = false;
	the_entity = entity_type#333; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#572;
	tipe = simple_type(boolean_type);
	is_variable = true;
	name = "is_strictfp";
	is_optional = false;
	the_entity = entity_type#333; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#573;
	hlcs_extracted = {optional_xor_empty_aggregation#51}; (* set indirectly *)
	tipe = set_type#147;
	is_variable = true;
	name = "nested_classes";
	is_optional = false;
	the_entity = entity_type#333; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#574;
	tipe = simple_type(boolean_type);
	is_variable = true;
	name = "is_static";
	is_optional = false;
	the_entity = entity_type#351; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#575;
	hlcs_extracted = {optional_xor_empty_aggregation#52}; (* set indirectly *)
	tipe = set_type#148;
	is_variable = true;
	name = "nested_interfaces";
	is_optional = false;
	the_entity = entity_type#333; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#576;
	hlcs_extracted = {optional_xor_empty_aggregation#53}; (* set indirectly *)
	tipe = set_type#149;
	is_variable = true;
	name = "methods";
	is_optional = false;
	the_entity = entity_type#333; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#577;
	hlcs_extracted = {optional_xor_empty_aggregation#54}; (* set indirectly *)
	tipe = set_type#150;
	is_variable = true;
	name = "fields";
	is_optional = false;
	the_entity = entity_type#333; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#578;
	tipe = entity_type#347;
	is_variable = true;
	name = "constructor_invoked";
	is_optional = false;
	the_entity = entity_type#353; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#579;
	hlcs_extracted = {optional_xor_empty_aggregation#65}; (* set indirectly *)
	tipe = list_type#37;
	is_variable = true;
	name = "arguments";
	is_optional = false;
	the_entity = entity_type#353; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#580;
	tipe = list_type#38;
	is_variable = true;
	name = "the_variables";
	is_optional = false;
	the_entity = entity_type#354; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#581;
	tipe = entity_type#344;
	is_variable = true;
	name = "the_class";
	is_optional = false;
	the_entity = entity_type#355; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#582;
	tipe = entity_type#346;
	is_variable = true;
	name = "the_interface";
	is_optional = false;
	the_entity = entity_type#356; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#583;
	is_variable = true;
	name = "expression";
	is_optional = false;
	the_entity = entity_type#358; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#584;
	is_variable = true;
	name = "switch_value";
	is_optional = false;
	the_entity = entity_type#359; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#585;
	hlcs_extracted = {optional_xor_empty_aggregation#66}; (* set indirectly *)
	tipe = list_type#39;
	is_variable = true;
	name = "cases";
	is_optional = false;
	the_entity = entity_type#359; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#586;
	is_variable = true;
	name = "case_value";
	is_optional = false;
	the_entity = entity_type#361; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#587;
	hlcs_extracted = {optional_xor_empty_aggregation#67}; (* set indirectly *)
	tipe = list_type#40;
	is_variable = true;
	name = "statements";
	is_optional = false;
	the_entity = entity_type#360; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#588;
	is_variable = true;
	name = "condition";
	is_optional = false;
	the_entity = entity_type#363; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#589;
	tipe = entity_type#338;
	is_variable = true;
	name = "then_statement";
	is_optional = false;
	the_entity = entity_type#363; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#590;
	tipe = entity_type#338;
	is_variable = true;
	name = "else_statement";
	is_optional = true;
	the_entity = entity_type#363; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#591;
	is_variable = true;
	name = "condition";
	is_optional = false;
	the_entity = entity_type#364; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#592;
	tipe = entity_type#338;
	is_variable = true;
	name = "statement";
	is_optional = false;
	the_entity = entity_type#364; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#593;
	tipe = entity_type#338;
	is_variable = true;
	name = "statement";
	is_optional = false;
	the_entity = entity_type#365; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#594;
	is_variable = true;
	name = "condition";
	is_optional = false;
	the_entity = entity_type#365; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#595;
	tipe = defined_type#87;
	is_variable = true;
	name = "initialisation";
	is_optional = true;
	the_entity = entity_type#366; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#596;
	tipe = list_type#41;
	is_variable = true;
	name = "expression_statements";
	is_optional = false;
	the_entity = entity_type#367; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#597;
	is_variable = true;
	name = "condition";
	is_optional = true;
	the_entity = entity_type#366; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#598;
	tipe = entity_type#367;
	is_variable = true;
	name = "update";
	is_optional = true;
	the_entity = entity_type#366; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#599;
	tipe = entity_type#338;
	is_variable = true;
	name = "statement";
	is_optional = false;
	the_entity = entity_type#366; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#600;
	tipe = simple_type(string_type);
	is_variable = true;
	name = "destination_label";
	is_optional = true;
	the_entity = entity_type#368; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#601;
	tipe = simple_type(string_type);
	is_variable = true;
	name = "destination_label";
	is_optional = true;
	the_entity = entity_type#369; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#602;
	is_variable = true;
	name = "return_value";
	is_optional = true;
	the_entity = entity_type#370; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#603;
	is_variable = true;
	name = "throwable_object";
	is_optional = false;
	the_entity = entity_type#371; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#604;
	is_variable = true;
	name = "expression";
	is_optional = false;
	the_entity = entity_type#372; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#605;
	tipe = entity_type#337;
	is_variable = true;
	name = "block";
	is_optional = false;
	the_entity = entity_type#372; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#606;
	tipe = entity_type#337;
	is_variable = true;
	name = "try_block";
	is_optional = false;
	the_entity = entity_type#373; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#607;
	hlcs_extracted = {optional_xor_empty_aggregation#68}; (* set indirectly *)
	tipe = list_type#42;
	is_variable = true;
	name = "catches";
	is_optional = false;
	the_entity = entity_type#373; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#608;
	tipe = entity_type#342;
	is_variable = true;
	name = "parameter";
	is_optional = false;
	the_entity = entity_type#374; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#609;
	tipe = entity_type#337;
	is_variable = true;
	name = "block";
	is_optional = false;
	the_entity = entity_type#374; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#610;
	tipe = entity_type#337;
	is_variable = true;
	name = "finally_block";
	is_optional = true;
	the_entity = entity_type#373; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#611;
	is_variable = true;
	name = "lvalue";
	is_optional = false;
	the_entity = entity_type#375; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#612;
	is_variable = true;
	name = "rvalue";
	is_optional = false;
	the_entity = entity_type#375; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#613;
	is_variable = true;
	name = "condition";
	is_optional = false;
	the_entity = entity_type#376; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#614;
	is_variable = true;
	name = "then_expression";
	is_optional = false;
	the_entity = entity_type#376; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#615;
	is_variable = true;
	name = "else_expression";
	is_optional = false;
	the_entity = entity_type#376; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#616;
	tipe = bag_type#19;
	is_variable = true;
	name = "disjuncts";
	is_optional = false;
	the_entity = entity_type#377; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#617;
	tipe = bag_type#20;
	is_variable = true;
	name = "disjuncts";
	is_optional = false;
	the_entity = entity_type#378; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#618;
	tipe = bag_type#21;
	is_variable = true;
	name = "conjuncts";
	is_optional = false;
	the_entity = entity_type#379; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#619;
	is_variable = true;
	name = "operand";
	is_optional = false;
	the_entity = entity_type#380; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#620;
	is_variable = true;
	name = "object";
	is_optional = false;
	the_entity = entity_type#381; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#621;
	tipe = entity_type#333;
	is_variable = true;
	name = "class";
	is_optional = false;
	the_entity = entity_type#381; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#622;
	is_variable = true;
	name = "operand";
	is_optional = false;
	the_entity = entity_type#382; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#623;
	is_variable = true;
	name = "number_of_bits";
	is_optional = false;
	the_entity = entity_type#382; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#624;
	is_variable = true;
	name = "operand";
	is_optional = false;
	the_entity = entity_type#383; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#625;
	is_variable = true;
	name = "number_of_bits";
	is_optional = false;
	the_entity = entity_type#383; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#626;
	is_variable = true;
	name = "variable";
	is_optional = false;
	the_entity = entity_type#386; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#627;
	is_variable = true;
	name = "variable";
	is_optional = false;
	the_entity = entity_type#389; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#628;
	tipe = defined_type#85;
	is_variable = true;
	name = "cast_type";
	is_optional = false;
	the_entity = entity_type#392; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#629;
	is_variable = true;
	name = "object";
	is_optional = false;
	the_entity = entity_type#392; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#630;
	tipe = entity_type#333;
	is_variable = true;
	name = "class";
	is_optional = false;
	the_entity = entity_type#393; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#631;
	tipe = simple_type(string_type);
	is_variable = true;
	name = "literal_value";
	is_optional = false;
	the_entity = entity_type#394; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#632;
	tipe = defined_type#85;
	is_variable = true;
	name = "new_type";
	is_optional = false;
	the_entity = entity_type#396; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#633;
	tipe = list_type#43;
	is_variable = true;
	name = "arguments";
	is_optional = true;
	the_entity = entity_type#396; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#634;
	hlcs_extracted = {optional_xor_empty_aggregation#69}; (* set indirectly *)
	tipe = list_type#44;
	is_variable = true;
	name = "array_dimensions";
	is_optional = true;
	the_entity = entity_type#396; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#635;
	tipe = defined_type#84;
	is_variable = true;
	name = "array_initialiser";
	is_optional = true;
	the_entity = entity_type#396; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#636;
	tipe = entity_type#344;
	is_variable = true;
	name = "anonymous_class";
	is_optional = true;
	the_entity = entity_type#396; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#637;
	is_variable = true;
	name = "var1";
	is_optional = false;
	the_entity = entity_type#397; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#638;
	is_variable = true;
	name = "var2";
	is_optional = false;
	the_entity = entity_type#397; (* set indirectly *)
END_INSTANCE;

INSTANCE explicit_attribute#639;
	is_variable = true;
	name = "temp_var";
	is_optional = false;
	the_entity = entity_type#397; (* set indirectly *)
END_INSTANCE;