Add identity transformation for removing redundant AndV/OrV nodes "And" and "Or" logical operations are idempotent.

Hence, a sequence containing and/or operations with the same value multiple times like this

- op(op(a, b), b) can be reduced to op(a, b), where op = and/or.