Мне кажется что тут допущенна ошибка c:=a=b
а еще он бесконечный
выражение c:=a=b; означает положить в переменную с результат сравнения переменных a и b и делать это пока a < b, вероятней всего программа зациклится
Если бы было написано
while a<b do c:=a:=b;
тогда цикл отработает 1 раз и все 3 переменные будут равны b
