x = 0 y = max(x, z) z = y + 1