Equality Saturation is a really, really neat idea. That paper is full of gold, especially when they use a modified Rete algorithm to generate the different equ

Equality Saturation is a really, really neat idea. That paper is full of gold, especially when they use a modified Rete algorithm to generate the different equivalent forms. Do you know of any mainstream compilers that are considering implementing this approach?