Member predicate Flow::BasicBlock::strictlyReaches

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

predicate strictlyReaches(BasicBlock other)