INSTANCE unordered_aggregation_type#1; END_INSTANCE;
INSTANCE unordered_aggregation_type#2; END_INSTANCE;