[deterministic]

Even better: Use comments to "prove" your code:

// x == 0 && (y == 0 || y == x + 1) && a[x + y] != 0

... code here ...

// x == 0 && (y == x + 1) && ...