INSTANCE list_type#23; corresponds_to = {correspondence#1}; element_type = simple_type(string_type); lower_bound = integer_literal#97; upper_bound = built_in_constant#94; is_unique = false; END_INSTANCE;
INSTANCE list_type#24; corresponds_to = {correspondence#1}; element_type = simple_type(string_type); lower_bound = integer_literal#98; upper_bound = built_in_constant#95; is_unique = false; END_INSTANCE;