x := x + y
x = 3 и y = 17
т.к. в строке x := x + y происходило присвоение нового значения переменной x, значит значение y не поменялось и в момент присвоения было равно 17-ти. Т.е. можно записать x := x + 17. Т.к. после увеличения x на 17 x стал равен 3-м (x + 17 = 3), то до увеличения x был равен x = 3 - 17 = -14
ответ: x = -14; y = 17
