Дописывал парсер, разговаривал с Костей по WFS:

Решено было использовать PES как обычную запускалку единичных шагов. Выделили I- и D-интерпретаторы (для интерпретации императивной и декларативной частей).

Парсер разбирает скрипт, а также отруливает явные зависимости (по after).