Potrebbe andare:

codice:
contaOccorrenze (N, E)
   numeroOccorrenze = 0
   se N==E
      numeroOccorrenze = 1
   per ogni figlio Fi di N
      numeroOccorrenze = numeroOccorrenze + contaOccorrenze (Fi, E)

   return numeroOccorrenze

}
Se N==E, significa che i figli di N sono gli stessi figli di E?
Se è così e se nel sottoalbero con radice E c'è almeno un altro nodo E, allora nel sottoalbero di E ci sono infiniti nodi E.