Aggiunta regola exit-invalid nel modulo EXIT, nella strategia VERYSAFE. Da testare