discrete_range ::= subtype_indication | range
This rule is called by -> discrete_choice -> index_constraint -> slice
-> discrete_choice -> index_constraint -> slice