Predicate ImplicitReturn::getAFallThroughStmt

Gets a fall-through statement in function f, that is, a statement that is reachable, does not have a successor statement inside the function, isn’t a throw or a return, and isn’t contained in a finally block.

Stmt getAFallThroughStmt(Function f)