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