Такое выполнение команды "if NLC0E, jump loop_for; … ;;" является верным, так как последовательность действий при исполнении следующая:
1. Декремент счётчика LC0;
2. Проверка выполнения условия "отчёт не закончен";
3. Если условие выполнено, исполняется переход на начало цикла (loop_for).

Подробное описание выполнения циклов с использованием счётчика LCx описано в "Руководстве по программированию", глава 8. Устройство управления, пункт "Отработка циклов". Чтобы избежать подобного поведения, необходимо включить проверку числа циклов на равенство 0, то есть требуется ли вообще выполнение цикла.