- [ ] phi nodes can take any number of predecessor blocks and corresponding variables - [ ] unit tested happy-path with a ternary phi-node