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;