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;