See SingleFunctionExitPoint.