+ added test case for i=i+1
now recognizes potential i+1>999 for i=[-999,999]