If blocks without else blocks never result in unreachable code