if y - 2 > 1 + x then 
    x := y
else
    y := x