[Eva] Updates test oracles for alternative domains.

tests/value/oracle_apron/partitioning-annots.0.res.oracle

+105,106c105,106
+<   x ∈ [0..44]
+<   y ∈ [0..44]
+---
+>   x ∈ [31..44]
+>   y ∈ [31..44]

tests/value/oracle_octagon/partitioning-annots.0.res.oracle

+105,106c105,106
+<   x ∈ [0..44]
+<   y ∈ [0..44]
+---
+>   x ∈ {31; 32; 44}
+>   y ∈ {31; 32; 44}