tsdima, предлагает генерировать особенный код(приведенный выше) для схемы из двух закольцованных If. Я же утверждаю, что такая оптимизация сомнительна ввиду её неоднозначности(постом выше привел тот же код через goto) и потому не может быть проделана всегда в отличие от свертывания простых цепочек If или case.