Member predicate Flow::BasicBlock::likelyReachable

Whether (as inferred by type inference) this basic block is likely to be reachable.

predicate likelyReachable()