Где выражение (If x) выполняется, так как переменная x хранит значение. Условие (x>y) не выполняется, поэтому переходим к else и дальше идёт присваивание x и y значение равное 3.
ПОПРАВКА
Программа написана неверно, так как ветвления (if) должны быть после begin
Также стоит объявить переменные x и y как ( int: x, y; )