Reports case branches of a switch statement that are unreachable in current context