Beh, si. Tra l'altro questo codice mi ha dato modo di approfondire il pattern visitor col double dispatching. Grazie.