currently
Determine whether code added after the last instruction of this block would be reachable. Take into account whether the block itself seems to be reachable.
Return
Whether it would be possible to reach a new instruction added to this block.