Add another automatic arithmetic rewrite: ~(0 < n) <=> (n = 0)