Add a test case with nested phis and UB