Compiler optimizer for arbitrary control flow based on equality saturation - View it on GitHub