Здравствуйте!
Рад, что Вы нашли применение Рефалу! ))

Это не ошибка Рефала. Просто Вы невнимательны в одном важном моменте.
В сгенерированных процедурах параметр in - это не строка, а входной стек с символами.
Т.е. Вы должны класть текст для разбора к концу массива, указывая начало в переменной p и оставляя некоторое место в начале.
(В некоторых случаях чистого анализа стек может и не использоваться. Но обычно - будет.)

Ваша ошибка - это "переполнение входного стека". Переменная p в окне трэпа = -1.

Объём оставляемого места должны оценивать Вы сами, зная свой алгоритм. Так же, как и в случае с обычным стеком.