interval
INSTANCE interval#2;
corresponds_to = {correspondence#4};
tipe = simple_type(logical_type);
lower_bound = integer_literal#100;
lower_inclusive = inclusive_or_exclusive(inclusive);
variable = built_in_constant#97;
discrete = discrete_or_continuous(continuous);
upper_inclusive = inclusive_or_exclusive(inclusive);
upper_bound = integer_literal#101;
END_INSTANCE;
INSTANCE interval#3;
corresponds_to = {correspondence#21};
tipe = simple_type(logical_type);
lower_bound = attribute_qualifier#1;
lower_inclusive = inclusive_or_exclusive(inclusive);
variable = explicit_attribute#291;
discrete = discrete_or_continuous(continuous);
upper_inclusive = inclusive_or_exclusive(inclusive);
upper_bound = attribute_qualifier#2;
END_INSTANCE;
INSTANCE interval#4;
corresponds_to = {correspondence#32};
tipe = simple_type(logical_type);
lower_bound = attribute_qualifier#3;
lower_inclusive = inclusive_or_exclusive(inclusive);
variable = explicit_attribute#301;
discrete = discrete_or_continuous(continuous);
upper_inclusive = inclusive_or_exclusive(inclusive);
upper_bound = attribute_qualifier#4;
END_INSTANCE;
INSTANCE interval#5;
corresponds_to = {correspondence#4};
tipe = simple_type(logical_type);
lower_bound = integer_literal#107;
lower_inclusive = inclusive_or_exclusive(inclusive);
variable = built_in_constant#101;
discrete = discrete_or_continuous(continuous);
upper_inclusive = inclusive_or_exclusive(inclusive);
upper_bound = integer_literal#108;
END_INSTANCE;
INSTANCE interval#6;
corresponds_to = {correspondence#32};
tipe = simple_type(logical_type);
lower_bound = attribute_qualifier#5;
lower_inclusive = inclusive_or_exclusive(inclusive);
variable = explicit_attribute#308;
discrete = discrete_or_continuous(continuous);
upper_inclusive = inclusive_or_exclusive(inclusive);
upper_bound = attribute_qualifier#6;
END_INSTANCE;
INSTANCE interval#7;
corresponds_to = {correspondence#21};
tipe = simple_type(logical_type);
lower_bound = attribute_qualifier#7;
lower_inclusive = inclusive_or_exclusive(inclusive);
variable = explicit_attribute#304;
discrete = discrete_or_continuous(continuous);
upper_inclusive = inclusive_or_exclusive(inclusive);
upper_bound = attribute_qualifier#8;
END_INSTANCE;