+ added test for i=-990-10 (handled via + by Soot)
+ added -i-1
+ test interval - interval
+ added division by integer literal