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