Setup for correctly handling phi node value transfer