1 Regression test for HGraphBuilder which would compute wrong dominance information 2 in the presence of irreducible loops.