Я передумал. Он не "зеркальное отражение" цикла Дейкстры. В ЦД выполнение заканчивается когда ложны все условия, а в Адском цикле выполнение заканчивается когда истинно хотя бы одно условие.Мощность разная.