Fixed wrong verify warning.

Dominance is reflexive.
We did not need a special case for Bad nodes.

They are located in the start block, which dominates all other blocks.