Member predicate Flow::BasicBlock::reachesExit

Whether flow from this basic block reaches a normal exit from its scope

predicate reachesExit()