Bootstrap: generate phi node for branched blocks. Refactored BranchedBlock into separate strategies.