É comum as redes de interação deixarem pilhas de fãs redundantes?

Estou compilando termos de cálculo lambda para redes de interação para avaliá-las usando o algoritmo abstrato de Lamping. Para testar minha implementação, usei esta função de divisão de número de igreja: div = (λ a b c d . (b (λ e . (e d)) (a (b ...