New testcase for dominator problem