New testcase where loop simplify is not updating domfrontiers correctly