Correzione sulla terminazione
scoperto perchè non è responsive l'uscita dal programma: è "colpa" di general_iterator che rimane in attesa.
Ho bypassato il problema prendendo il comando ctrl+c