New testcase for PHI handling