Reports the else branches in if statements whose bodies always return. Such branches are redundant and can be safely omitted.