Inserite precondizioni e postcondizioni per il metodo InserimentoCammino