constraint ::= range_constraint | digits_constraint | delta_constraint | index_constraint | discriminant_constraint
This rule is called by -> subtype_indication
-> subtype_indication