Transformed sequence inequality into 'not s1 = s2' prior to generating it in order to promote code reuse
Added generation of the indices unary expression. In addtion, a small improvement for sequence comparison has been made.
Added test exercising generation of the indices unary expression