¿Por qué se almacenan en la pila (marco) las referencias a los valores de Python que son parámetros de función en CPython?

Python trabaja con el conteo de referencias. Esto significa que si no hay más referencias a un valor, entonces la memoria de ese valor es reciclada. En otras palabras, mientras exista al menos una referencia restante, el objeto no es eliminado y la memoria no es liberada.

Consideremos el siguiente ejemplo:

def myfn():                    
    result = work_with(BigObj()) # la referencia 1 a BigObj está en el marco de pila.
                                 # Todavía no contando ninguna
                                 # referencia dentro de la función work_with
                                 # después de que work_with devuelve: El marco de pila
                                 # y la referencia 1 son eliminados. la memoria de BigObj
                                 # es liberada
    return result             

def work_with(big_obj):       # aquí tenemos otra referencia a BigObj
    big_obj = None            # supongamos que necesitamos más memoria y que no
                              # necesitamos big_obj más
                              # la referencia dentro de work_with es eliminada. Sin embargo,
                              # todavía hay una referencia en la pila. Entonces la
                              # memoria no se libera hasta que work_with devuelve
    other_big_obj = BigObj()  # necesitamos la memoria para otro BigObj -> podemos quedarnos
                              # sin memoria aquí

Entonces mi pregunta es:

¿Por qué CPython mantiene una referencia adicional a los valores que se pasan a las funciones en la pila? ¿Hay algún propósito especial detrás de esto o es solo un detalle de implementación “desafortunado”?

Mi primera idea al respecto es:
Para evitar que el conteo de referencias caiga a cero. Sin embargo, todavía tenemos una referencia viva dentro de la función llamada. Entonces esto no tiene sentido para mí.