Member predicate BasicBlocks::ReachableBasicBlock::dominates

Holds if this basic block dominates bb.

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

predicate dominates(ReachableBasicBlock bb)