Post

All that effort to implement sparse conditional constant propagation only to find out that fixpoint looping over RPO is faster