Цикл for и его секреты, если они есть?

Во всех сиподобных языках цикл for будет выполняться вот так:

Или в виде гифки

Зачем гадать, когда есть документация

for (initialization; termination; increment) {
    statement(s)
}

When using this version of the for statement, keep in mind that:

The initialization expression initializes the loop; it's executed once, as the loop begins.

When the termination expression evaluates to false, the loop terminates.

The increment expression is invoked after each iteration through the loop; it is perfectly acceptable for this expression to increment or decrement a value.

Последняя фраза говорит о том, что

Инкремент (или другое изменение) счётчика выполняется после тела цикла.

Так что пример из вопроса эквивалентен следующему коду:

   a = 1
@@start
   if (a < 5)
    {
       print(i);
    };
   i++;
   goto @@start