¿Es habitual que las redes de interacción dejen montones de ventiladores redundantes?

Estoy compilando términos de cálculo lambda en redes de interacción para evaluarlos usando el algoritmo abstracto de Lamping. Para probar mi implementación, utilicé esta función de división de número de iglesia: div = (λ a b c d . (b (λ e . (e ...