bag_type
INSTANCE bag_type#11;
corresponds_to = {correspondence#56};
element_type = unresolved_reference("expression");
lower_bound = integer_literal#117;
upper_bound = built_in_constant#114;
END_INSTANCE;
INSTANCE bag_type#12;
corresponds_to = {correspondence#59};
element_type = unresolved_reference("expression");
lower_bound = integer_literal#118;
upper_bound = built_in_constant#115;
END_INSTANCE;
INSTANCE bag_type#13;
element_type = entity_type#242;
lower_bound = integer_literal#165;
upper_bound = built_in_constant#162;
END_INSTANCE;
INSTANCE bag_type#14;
element_type = entity_type#242;
lower_bound = integer_literal#166;
upper_bound = built_in_constant#163;
END_INSTANCE;
INSTANCE bag_type#15;
element_type = entity_type#242;
lower_bound = integer_literal#167;
upper_bound = built_in_constant#164;
END_INSTANCE;
INSTANCE bag_type#16;
corresponds_to = {correspondence#56};
element_type = unresolved_reference("expression");
lower_bound = integer_literal#174;
upper_bound = built_in_constant#171;
END_INSTANCE;
INSTANCE bag_type#17;
corresponds_to = {correspondence#59};
element_type = unresolved_reference("expression");
lower_bound = integer_literal#175;
upper_bound = built_in_constant#172;
END_INSTANCE;
INSTANCE bag_type#18;
element_type = defined_type#76;
lower_bound = integer_literal#181;
upper_bound = built_in_constant#178;
END_INSTANCE;
INSTANCE bag_type#19;
element_type = unresolved_reference("expression");
lower_bound = integer_literal#209;
upper_bound = built_in_constant#206;
END_INSTANCE;
INSTANCE bag_type#20;
element_type = unresolved_reference("expression");
lower_bound = integer_literal#210;
upper_bound = built_in_constant#207;
END_INSTANCE;
INSTANCE bag_type#21;
element_type = unresolved_reference("expression");
lower_bound = integer_literal#211;
upper_bound = built_in_constant#208;
END_INSTANCE;