Aggiunte 2 assert a operazioni_file.cc