По-моему есть четкий критерий применения LOOP. Если в WHILE невозможно однозначно определить условие выхода (нужна  обработка доп. условия в теле цикла или дублирование), то, следовательно конструкция не справляется,  и тогда  лучше перейти к LOOP, как более адекватной.