[Eva] statistics: add a test

tests/value/oracle/statistics.res.oracle

+[kernel] Parsing statistics.i (no preprocessing)
+[eva] Analyzing a complete application starting at main
+[eva] Computing initial state
+[eva] Initial state computed
+[eva:initial-state] Values of globals at initialization
+  
+[eva] computing for function f <- main.
+  Called from statistics.i:15.
+[eva] computing for function g <- f <- main.
+  Called from statistics.i:10.
+[eva] Recording results for g
+[eva] Done for function g
+[eva] statistics.i:9: starting to merge loop iterations
+[eva] computing for function g <- f <- main.
+  Called from statistics.i:10.
+[eva] Recording results for g
+[eva] Done for function g
+[eva] computing for function g <- f <- main.
+  Called from statistics.i:10.
+[eva] Recording results for g
+[eva] Done for function g
+[eva] computing for function g <- f <- main.
+  Called from statistics.i:10.
+[eva] Recording results for g
+[eva] Done for function g
+[eva] Recording results for f
+[eva] Done for function f
+[eva:alarm] statistics.i:16: Warning: 
+  signed overflow. assert -2147483648 ≤ n - 1;
+[eva] computing for function f <- main.
+  Called from statistics.i:16.
+[eva] statistics.i:10: Reusing old results for call to g
+[eva] statistics.i:10: Reusing old results for call to g
+[eva] statistics.i:10: Reusing old results for call to g
+[eva] computing for function g <- f <- main.
+  Called from statistics.i:10.
+[eva] Recording results for g
+[eva] Done for function g
+[eva] Recording results for f
+[eva] Done for function f
+[eva] Recording results for main
+[eva] done for function main
+[eva] ====== VALUES COMPUTED ======
+[eva:final-states] Values at end of function g:
+  
+[eva:final-states] Values at end of function f:
+  i ∈ [0..2147483647]
+[eva:final-states] Values at end of function main:
+  __retres ∈ {0}
+[from] Computing for function g
+[from] Done for function g
+[from] Computing for function f
+[from] Done for function f
+[from] Computing for function main
+[from] Done for function main
+[from] ====== DEPENDENCIES COMPUTED ======
+  These dependencies hold at termination for the executions that terminate:
+[from] Function g:
+  NO EFFECTS
+[from] Function f:
+  NO EFFECTS
+[from] Function main:
+  \result FROM \nothing
+[from] ====== END OF DEPENDENCIES ======
+[inout] Out (internal) for function g:
+    \nothing
+[inout] Inputs for function g:
+    \nothing
+[inout] Out (internal) for function f:
+    i
+[inout] Inputs for function f:
+    \nothing
+[inout] Out (internal) for function main:
+    __retres
+[inout] Inputs for function main:
+    \nothing

tests/value/oracle/statistics.stats

+memexec-hits:g	3
+memexec-misses:g	5
+memexec-misses:f	2
+memexec-misses:main	1
+partitioning-index-misses	57
+max-widenings:statistics.i:9	1
+iterations:statistics.i:9	8

tests/value/oracle_apron/statistics.res.oracle

+32,34c32,43
+< [eva] statistics.i:10: Reusing old results for call to g
+< [eva] statistics.i:10: Reusing old results for call to g
+< [eva] statistics.i:10: Reusing old results for call to g
+---
+> [eva] computing for function g <- f <- main.
+>   Called from statistics.i:10.
+> [eva] Recording results for g
+> [eva] Done for function g
+> [eva] computing for function g <- f <- main.
+>   Called from statistics.i:10.
+> [eva] Recording results for g
+> [eva] Done for function g
+> [eva] computing for function g <- f <- main.
+>   Called from statistics.i:10.
+> [eva] Recording results for g
+> [eva] Done for function g

tests/value/oracle_apron/statistics.stats

+memexec-misses:g	8
+memexec-misses:f	2
+memexec-misses:main	1
+partitioning-index-misses	60
+max-widenings:statistics.i:9	1
+iterations:statistics.i:9	8

tests/value/oracle_bitwise/statistics.stats

+memexec-hits:g	3
+memexec-misses:g	5
+memexec-misses:f	2
+memexec-misses:main	1
+partitioning-index-misses	57
+max-widenings:statistics.i:9	1
+iterations:statistics.i:9	8

tests/value/oracle_equality/statistics.stats

+memexec-hits:g	3
+memexec-misses:g	5
+memexec-misses:f	2
+memexec-misses:main	1
+partitioning-index-misses	57
+max-widenings:statistics.i:9	1
+iterations:statistics.i:9	8

tests/value/oracle_gauges/statistics.stats

+memexec-hits:g	3
+memexec-misses:g	5
+memexec-misses:f	2
+memexec-misses:main	1
+partitioning-index-misses	57
+max-widenings:statistics.i:9	1
+iterations:statistics.i:9	8

tests/value/oracle_multidim/statistics.stats

+memexec-hits:g	3
+memexec-misses:g	5
+memexec-misses:f	2
+memexec-misses:main	1
+partitioning-index-misses	57
+max-widenings:statistics.i:9	1
+iterations:statistics.i:9	8

tests/value/oracle_octagon/statistics.stats

+memexec-hits:g	3
+memexec-misses:g	5
+memexec-misses:f	2
+memexec-misses:main	1
+partitioning-index-misses	57
+max-widenings:statistics.i:9	1
+iterations:statistics.i:9	8

tests/value/oracle_symblocs/statistics.stats

+memexec-hits:g	3
+memexec-misses:g	5
+memexec-misses:f	2
+memexec-misses:main	1
+partitioning-index-misses	57
+max-widenings:statistics.i:9	1
+iterations:statistics.i:9	8

tests/value/statistics.i

+/* run.config*
+   LOG: @PTEST_NAME@.stats
+   STDOPT: +" -eva-statistics-file ./@PTEST_NAME@.stats"
+*/
+
+void g(int i) {}
+
+void f(int n) {
+  for (int i = 0 ; i < n ; i++) {
+    g(i);
+  }
+}
+
+int main(int n) {
+  f(n);
+  f(n-1);
+}