В чём заключается ваш вопрос?
Если в "не могу понять - как тут описать цикл", то в этом месте вам нужно создать узел
AST (или какое у вас внутреннее представление структуры программы), описывающий цикл, ссылающийся на тело цикла (line, $2) и условие окончания (condition, $4).