Add a test case with UBs on each phi edge