diff tests/value/oracle/addition.res.oracle tests/value/oracle_bitwise/addition.res.oracle
121,123c121
< [eva] tests/value/addition.i:52: 
<   Assigning imprecise value to p10.
<   The imprecision originates from Arithmetic {tests/value/addition.i:52}
---
> [eva] tests/value/addition.i:52: Assigning imprecise value to p10.
163a162
>   {{ garbled mix of &{p1} (origin: Misaligned {tests/value/addition.i:52}) }}
165a165
>   {{ garbled mix of &{p2} (origin: Misaligned {tests/value/addition.i:56}) }}
201,203c201
<   p10 ∈
<      {{ garbled mix of &{p1}
<       (origin: Arithmetic {tests/value/addition.i:52}) }}
---
>   p10 ∈ {{ garbled mix of &{p1} }}
428a427
>   {{ garbled mix of &{p1} (origin: Misaligned {tests/value/addition.i:52}) }}
467,469c466
<   p10 ∈
<      {{ garbled mix of &{p1}
<       (origin: Arithmetic {tests/value/addition.i:52}) }}
---
>   p10 ∈ {{ garbled mix of &{p1} }}
diff tests/value/oracle/bitwise.res.oracle tests/value/oracle_bitwise/bitwise.res.oracle
79c79,82
< [eva] tests/value/bitwise.i:144: Frama_C_show_each_dead: {0}
---
> [eva] tests/value/bitwise.i:142: 
>   The evaluation of the expression x & 2
>   led to bottom without alarms:
>   at this point the product of states has no possible concretization.
diff tests/value/oracle/bitwise_pointer.res.oracle tests/value/oracle_bitwise/bitwise_pointer.res.oracle
34,36c34
< [eva] tests/value/bitwise_pointer.i:18: 
<   Assigning imprecise value to p.
<   The imprecision originates from Arithmetic {tests/value/bitwise_pointer.i:18}
---
> [eva] tests/value/bitwise_pointer.i:18: Assigning imprecise value to p.
41,43c39
< [eva] tests/value/bitwise_pointer.i:22: 
<   Assigning imprecise value to p1.
<   The imprecision originates from Arithmetic {tests/value/bitwise_pointer.i:22}
---
> [eva] tests/value/bitwise_pointer.i:22: Assigning imprecise value to p1.
diff tests/value/oracle/logic_ptr_cast.res.oracle tests/value/oracle_bitwise/logic_ptr_cast.res.oracle
8,10c8
< [eva] tests/value/logic_ptr_cast.i:8: 
<   Assigning imprecise value to p.
<   The imprecision originates from Arithmetic {tests/value/logic_ptr_cast.i:8}
---
> [eva] tests/value/logic_ptr_cast.i:8: Assigning imprecise value to p.
