block_dominates() can now handle Bad nodes