One Return Per Function

See SingleFunctionExitPoint.