Member predicate BasicBlock::strictlyReaches

Holds if this basic block strictly reaches the other. Is the start of other reachable from the end of this.