Fix a nasty problem with dominance calculation for unreachable blocks.