Linker now adds branching edges to control graph and phi node fix

Issue: #32