INSTANCE list_type#23; corresponds_to = {correspondence#4}; element_type = simple_type(string_type); lower_bound = integer_literal#100; upper_bound = built_in_constant#97; is_unique = false; END_INSTANCE;
INSTANCE list_type#24; corresponds_to = {correspondence#4}; element_type = simple_type(string_type); lower_bound = integer_literal#107; upper_bound = built_in_constant#102; is_unique = false; END_INSTANCE;