do not conclude a[x] -> null if a[x] = 0