Regression test to check we don't break domination while code sinking.