Implemented and tested branching, switch and phi.