[Python-Dev] Expression optimizations

In peephole.c I noticed some expression optimizations: /* not a is b --> a is not b not a in b --> a not in b not a is not b --> a is b not a not in b --> a in b */ So, it seems that an operation can be changed to another one which is logically equivalent. Could it be applyable to other operations as well? So, if I wrote: c = not(a < b) the compiler and/or peephole optimizer can generate bytecodes instructions which, instead, execute the following operation: c = a >= b Is it right? Thanks a lot Cesare