Respect block dominance in localopt. Node a may not be live in b's block.

[r28430]