[Eva] Resets statistics in function [pre_analysis].

src/plugins/eva/engine/analysis.ml

@@ -214,7 +214,6 @@ let force_compute () =
     Eva_audit.check_configuration (Kernel.AuditCheck.get ());
   let kf, lib_entry = Globals.entry_point () in
   reset_analyzer ();
-  Statistics.reset_all ();
   (* The new analyzer can be accesed through hooks *)
   Self.set_computation_state Computing;
   let module Analyzer = (val snd !ref_analyzer) in

src/plugins/eva/engine/compute_functions.ml

@@ -85,6 +85,7 @@ let pre_analysis () =
   Widen.precompute_widen_hints ();
   Builtins.prepare_builtins ();
   Eva_perf.reset ();
+  Statistics.reset_all ();
   (* We may be resuming Value from a previously crashed analysis. Clear
      degeneration states *)
   Eva_utils.DegenerationPoints.clear ();