interval


INSTANCE interval#2;
	corresponds_to = {conjunction#5};
	hlcs_extracted = {range#5}; (* set indirectly *)
	covered_by = {range#5}; (* set indirectly *)
	tipe = simple_type(logical_type);
	lower_bound = integer_literal#102;
	lower_inclusive = inclusive_or_exclusive(inclusive);
	variable = explicit_attribute#293;
	discrete = discrete_or_continuous(discrete);
	upper_inclusive = inclusive_or_exclusive(exclusive);
	upper_bound = integer_literal#103;
END_INSTANCE;