Add a couple of test cases for Phi nodes