New testcase for trivial DSE