[Eva] Updates test oracles.

tests/builtins/oracle/calloc.0.res.oracle

tests/builtins/oracle/free.res.oracle

tests/builtins/oracle/realloc.res.oracle

tests/builtins/oracle/realloc_multiple.0.res.oracle

tests/builtins/oracle/realloc_multiple.1.res.oracle

tests/float/oracle/alarms.0.res.oracle

tests/float/oracle/alarms.1.res.oracle

tests/float/oracle/alarms.2.res.oracle

tests/float/oracle/const3.0.res.oracle

tests/float/oracle/const3.1.res.oracle

tests/float/oracle/const4.1.res.oracle

tests/value/oracle/ilevel.1.res.oracle

tests/value/oracle/initialized.res.oracle

tests/value/oracle/narrow_behaviors.res.oracle

tests/value/oracle/octagons-pointers-intermediate.res.oracle

tests/value/oracle/octagons-pointers-simple.res.oracle

tests/value/oracle/octagons-pointers.res.oracle

tests/value/oracle/period.res.oracle

tests/value/oracle/recursion.1.res.oracle

tests/value/oracle/recursion.2.res.oracle