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;