index_constraint ::= "(" discrete_range { "," discrete_range } ")"
This rule is called by -> constraint
-> constraint