> it already works very well.

Peephole optimization that can't be made global due to combinatorial explosion?