Added a regression test showing why we need parallel assignment when dealing with Phi nodes.