I was looking at register allocation in kraken-audio-beat-detection and
noticed that in the innermost loop there is a HTransitionElementsKind that
is dominated by a map check that actually allows to prove that that
transition can never happen.
I tried writing a simple pass to eliminate transition and it seems to
improve perf by ~15%.