Fixes type of terminator/entry nodes of control domains

Issue: #32
Linker now adds branching edges to control graph and phi node fix

Issue: #32