[htfy96]

Thanks for the information. It seems that it is a super optimizer[0].

[0]: https://en.wikipedia.org/wiki/Superoptimization

[sanxiyn]

Unison is not a superoptimizer. Superoptimizer is evem slower.