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;