> I put in some print statements and Function.dominatorTree is looping. > *scary*. I will investigate. Not so scary. This was a performance bug in validDominators, which is quadratic. I propose commenting out the assert in directed-graph.sml. With that gone, array.sml passes the commonSubexpSSA pass fine.