currentlyReachable

Determine whether the current block is probably reachable. If it has no predecessors and is removable, it's unreachable, but otherwise we assume it's reachable, at least until dead code elimination.

Return

Whether the current block is probably reachable.