A case label defines either a specific case or the default case.
not supported
case_label := case_inst | default_def
