Начальное значение a равно 2.
a
Условие a < 6 истинно, так как 2 < 6.
a < 6
Выполняется ветка то: a := a + 9. Новое значение a равно 2 + 9 = 11.
то
a := a + 9