Fixed domination check in phi node, added domination check between
instructions in same basic block.