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