diff tests/builtins/oracle/Longinit_sequencer.res.oracle tests/builtins/oracle_apron/Longinit_sequencer.res.oracle
59,62c59,78
< [eva] tests/builtins/long_init.c:29: Reusing old results for call to subanalyze
< [eva] tests/builtins/long_init.c:29: Reusing old results for call to subanalyze
< [eva] tests/builtins/long_init.c:29: Reusing old results for call to subanalyze
< [eva] tests/builtins/long_init.c:29: Reusing old results for call to subanalyze
---
> [eva] computing for function subanalyze <- analyze <- init_inner <- init_outer <- 
>                           main.
>   Called from tests/builtins/long_init.c:29.
> [eva] Recording results for subanalyze
> [eva] Done for function subanalyze
> [eva] computing for function subanalyze <- analyze <- init_inner <- init_outer <- 
>                           main.
>   Called from tests/builtins/long_init.c:29.
> [eva] Recording results for subanalyze
> [eva] Done for function subanalyze
> [eva] computing for function subanalyze <- analyze <- init_inner <- init_outer <- 
>                           main.
>   Called from tests/builtins/long_init.c:29.
> [eva] Recording results for subanalyze
> [eva] Done for function subanalyze
> [eva] computing for function subanalyze <- analyze <- init_inner <- init_outer <- 
>                           main.
>   Called from tests/builtins/long_init.c:29.
> [eva] Recording results for subanalyze
> [eva] Done for function subanalyze
148,149c164,211
< [eva] tests/builtins/long_init.c:93: Reusing old results for call to analyze
< [eva] tests/builtins/long_init.c:94: Reusing old results for call to analyze
---
> [eva] computing for function analyze <- main.
>   Called from tests/builtins/long_init.c:93.
> [eva] computing for function subanalyze <- analyze <- main.
>   Called from tests/builtins/long_init.c:29.
> [eva] Recording results for subanalyze
> [eva] Done for function subanalyze
> [eva] computing for function subanalyze <- analyze <- main.
>   Called from tests/builtins/long_init.c:29.
> [eva] Recording results for subanalyze
> [eva] Done for function subanalyze
> [eva] computing for function subanalyze <- analyze <- main.
>   Called from tests/builtins/long_init.c:29.
> [eva] Recording results for subanalyze
> [eva] Done for function subanalyze
> [eva] computing for function subanalyze <- analyze <- main.
>   Called from tests/builtins/long_init.c:29.
> [eva] Recording results for subanalyze
> [eva] Done for function subanalyze
> [eva] computing for function subanalyze <- analyze <- main.
>   Called from tests/builtins/long_init.c:29.
> [eva] Recording results for subanalyze
> [eva] Done for function subanalyze
> [eva] Recording results for analyze
> [eva] Done for function analyze
> [eva] computing for function analyze <- main.
>   Called from tests/builtins/long_init.c:94.
> [eva] computing for function subanalyze <- analyze <- main.
>   Called from tests/builtins/long_init.c:29.
> [eva] Recording results for subanalyze
> [eva] Done for function subanalyze
> [eva] computing for function subanalyze <- analyze <- main.
>   Called from tests/builtins/long_init.c:29.
> [eva] Recording results for subanalyze
> [eva] Done for function subanalyze
> [eva] computing for function subanalyze <- analyze <- main.
>   Called from tests/builtins/long_init.c:29.
> [eva] Recording results for subanalyze
> [eva] Done for function subanalyze
> [eva] computing for function subanalyze <- analyze <- main.
>   Called from tests/builtins/long_init.c:29.
> [eva] Recording results for subanalyze
> [eva] Done for function subanalyze
> [eva] computing for function subanalyze <- analyze <- main.
>   Called from tests/builtins/long_init.c:29.
> [eva] Recording results for subanalyze
> [eva] Done for function subanalyze
> [eva] Recording results for analyze
> [eva] Done for function analyze
320c382
<   tests/builtins/result/Longinit_sequencer.sav
---
>   tests/builtins/result_apron/Longinit_sequencer.sav
411,414c473,488
< [eva] tests/builtins/long_init2.c:29: Reusing old results for call to subanalyze
< [eva] tests/builtins/long_init2.c:29: Reusing old results for call to subanalyze
< [eva] tests/builtins/long_init2.c:29: Reusing old results for call to subanalyze
< [eva] tests/builtins/long_init2.c:29: Reusing old results for call to subanalyze
---
> [eva] computing for function subanalyze <- analyze <- main.
>   Called from tests/builtins/long_init2.c:29.
> [eva] Recording results for subanalyze
> [eva] Done for function subanalyze
> [eva] computing for function subanalyze <- analyze <- main.
>   Called from tests/builtins/long_init2.c:29.
> [eva] Recording results for subanalyze
> [eva] Done for function subanalyze
> [eva] computing for function subanalyze <- analyze <- main.
>   Called from tests/builtins/long_init2.c:29.
> [eva] Recording results for subanalyze
> [eva] Done for function subanalyze
> [eva] computing for function subanalyze <- analyze <- main.
>   Called from tests/builtins/long_init2.c:29.
> [eva] Recording results for subanalyze
> [eva] Done for function subanalyze
556c630
<   tests/builtins/result/Longinit_sequencer.sav
---
>   tests/builtins/result_apron/Longinit_sequencer.sav
643,646c717,732
< [eva] tests/builtins/long_init3.c:29: Reusing old results for call to subanalyze
< [eva] tests/builtins/long_init3.c:29: Reusing old results for call to subanalyze
< [eva] tests/builtins/long_init3.c:29: Reusing old results for call to subanalyze
< [eva] tests/builtins/long_init3.c:29: Reusing old results for call to subanalyze
---
> [eva] computing for function subanalyze <- analyze <- main.
>   Called from tests/builtins/long_init3.c:29.
> [eva] Recording results for subanalyze
> [eva] Done for function subanalyze
> [eva] computing for function subanalyze <- analyze <- main.
>   Called from tests/builtins/long_init3.c:29.
> [eva] Recording results for subanalyze
> [eva] Done for function subanalyze
> [eva] computing for function subanalyze <- analyze <- main.
>   Called from tests/builtins/long_init3.c:29.
> [eva] Recording results for subanalyze
> [eva] Done for function subanalyze
> [eva] computing for function subanalyze <- analyze <- main.
>   Called from tests/builtins/long_init3.c:29.
> [eva] Recording results for subanalyze
> [eva] Done for function subanalyze
diff tests/builtins/oracle/allocated.0.res.oracle tests/builtins/oracle_apron/allocated.0.res.oracle
260a261,263
> [eva] tests/builtins/allocated.c:127: Call to builtin __fc_vla_alloc
> [eva:malloc] tests/builtins/allocated.c:127: 
>   resizing variable `__malloc_main_l127' (0..31/319) to fit 0..63/319
273c276
<   j ∈ [1..2147483647]
---
>   j ∈ [1..10]
diff tests/builtins/oracle/memexec-malloc.res.oracle tests/builtins/oracle_apron/memexec-malloc.res.oracle
16c16,19
< [eva] tests/builtins/memexec-malloc.c:25: Reusing old results for call to f
---
> [eva] computing for function f <- main.
>   Called from tests/builtins/memexec-malloc.c:25.
> [eva] Recording results for f
> [eva] Done for function f
20c23,26
< [eva] tests/builtins/memexec-malloc.c:29: Reusing old results for call to f
---
> [eva] computing for function f <- main.
>   Called from tests/builtins/memexec-malloc.c:29.
> [eva] Recording results for f
> [eva] Done for function f
