[Eva] Only runs the test statistics.i in the default configuration.

tests/value/oracle/statistics.res.oracle

tests/value/oracle/statistics.stats

tests/value/oracle_apron/statistics.res.oracle

tests/value/oracle_apron/statistics.stats

tests/value/oracle_bitwise/statistics.stats

tests/value/oracle_equality/statistics.stats

tests/value/oracle_gauges/statistics.stats

tests/value/oracle_multidim/statistics.stats

tests/value/oracle_octagon/statistics.stats

tests/value/oracle_symblocs/statistics.stats

tests/value/statistics.i