Member predicate ReachableBasicBlock::dominates

Holds if this basic block dominates bb.

This predicate is reflexive: each reachable basic block dominates itself.