interval


INSTANCE interval#2;
	corresponds_to = {correspondence#18};
	hlcs_extracted = {range#9}; (* set indirectly *)
	covered_by = {range#9}; (* set indirectly *)
	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#7};
	hlcs_extracted = {range#4}; (* set indirectly *)
	covered_by = {range#4}; (* set indirectly *)
	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#29};
	hlcs_extracted = {range#6}; (* set indirectly *)
	covered_by = {range#6}; (* set indirectly *)
	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#18};
	hlcs_extracted = {range#8}; (* set indirectly *)
	covered_by = {range#8}; (* set indirectly *)
	tipe = simple_type(logical_type);
	lower_bound = integer_literal#108;
	lower_inclusive = inclusive_or_exclusive(inclusive);
	variable = built_in_constant#102;
	discrete = discrete_or_continuous(continuous);
	upper_inclusive = inclusive_or_exclusive(inclusive);
	upper_bound = integer_literal#109;
END_INSTANCE;

INSTANCE interval#6;
	corresponds_to = {correspondence#7};
	hlcs_extracted = {range#5}; (* set indirectly *)
	covered_by = {range#5}; (* set indirectly *)
	tipe = simple_type(logical_type);
	lower_bound = attribute_qualifier#11;
	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#12;
END_INSTANCE;

INSTANCE interval#7;
	corresponds_to = {correspondence#29};
	hlcs_extracted = {range#7}; (* set indirectly *)
	covered_by = {range#7}; (* set indirectly *)
	tipe = simple_type(logical_type);
	lower_bound = attribute_qualifier#16;
	lower_inclusive = inclusive_or_exclusive(inclusive);
	variable = explicit_attribute#315;
	discrete = discrete_or_continuous(continuous);
	upper_inclusive = inclusive_or_exclusive(inclusive);
	upper_bound = attribute_qualifier#17;
END_INSTANCE;