#100 simplification of i-i1 expressions

[Andrew V. Adinetz]

Simplify expressions of the form i-i1, where i is the original variable, and i1 is 'blocked' variable. Such expressions usually occur during unroll of ulocal() annotation