[Eva] Adds a test of successive runs using -eva-domains-function.

tests/value/domains_function.c

tests/value/oracle/domains_function.0.res.oracle

tests/value/oracle/domains_function.1.res.oracle

tests/value/oracle_apron/domains_function.0.res.oracle

tests/value/oracle_apron/domains_function.1.res.oracle

tests/value/oracle_equality/domains_function.0.res.oracle

tests/value/oracle_equality/domains_function.res.oracle

tests/value/oracle_multidim/domains_function.0.res.oracle

tests/value/oracle_octagon/domains_function.1.res.oracle

tests/value/oracle_symblocs/domains_function.0.res.oracle

tests/value/oracle_symblocs/domains_function.1.res.oracle