Reports the else branches in if statements whose bodies always execute a terminating statement such as return or throw. Such branches are redundant and can be safely omitted.