Ported 'RedundantEmptyDefaultSwitchBranchIssue'.