Member predicate BasicBlock::likelyReachable

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