Case definitions in a union definition distinguish between different type cases.
not supported
case_def := case_label(*) element_spec ';'