INSTANCE interval#2; corresponds_to = {correspondence#7}; hlcs_extracted = {range#5}; (* set indirectly *) covered_by = {range#5}; (* set indirectly *) tipe = simple_type(logical_type); lower_bound = integer_literal#99; 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#100; END_INSTANCE;