Check the well-formedness of identifiers declared in cases of switch statements.
(check-identifiers-swcase case) → _