[Eva] Updates the test oracles of the traces domain.

tests/value/traces/oracle/test1.res.oracle

@@ -24,9 +24,9 @@ c -> 5
     6 -> Assign: tmp = 0 -> 7
     7 -> Assume: c true -> 8; Assume: c false -> 10
     8 -> Assign: tmp = g -> 9
-    9 -> EnterScope: i -> 15
+    9 -> EnterScope: i -> 12
     10 -> Assign: tmp = 2 -> 11
-    11 -> EnterScope: i -> 12
+    11 -> EnterScope: i -> 15
     12 -> initialize variable: i -> 13
     13 -> Assign: i = 0 -> 14
     14 -> enter_loop -> 19
@@ -35,34 +35,36 @@ c -> 5
     17 -> enter_loop -> 18
     18 -> Assume: i < 3 true -> 20
     19 -> Assume: i < 3 true -> 21
-    20 -> Assign: tmp = tmp + 1 -> 23
-    21 -> Assign: tmp = tmp + 1 -> 22
+    20 -> Assign: tmp = tmp + 1 -> 22
+    21 -> Assign: tmp = tmp + 1 -> 23
     22 -> Assign: i = i + 1 -> 24
     23 -> Assign: i = i + 1 -> 25
     24 -> Assume: i < 3 true -> 27
     25 -> Assume: i < 3 true -> 26
-    26 -> Assign: tmp = tmp + 1 -> 29
-    27 -> Assign: tmp = tmp + 1 -> 28
+    26 -> Assign: tmp = tmp + 1 -> 28
+    27 -> Assign: tmp = tmp + 1 -> 29
     28 -> Assign: i = i + 1 -> 30
     29 -> Assign: i = i + 1 -> 31
     30 -> Assume: i < 3 true -> 33
     31 -> Assume: i < 3 true -> 32
-    32 -> Assign: tmp = tmp + 1 -> 35
-    33 -> Assign: tmp = tmp + 1 -> 34
+    32 -> Assign: tmp = tmp + 1 -> 34
+    33 -> Assign: tmp = tmp + 1 -> 35
     34 -> Assign: i = i + 1 -> 36
     35 -> Assign: i = i + 1 -> 37
     36 -> Assume: i < 3 false -> 39
     37 -> Assume: i < 3 false -> 38
-    38 -> LeaveScope: i -> 40
-    39 -> LeaveScope: i -> 41
+    38 -> LeaveScope: i -> 41
+    39 -> LeaveScope: i -> 40
     40 -> LeaveScope: i -> 42
     41 -> LeaveScope: i -> 43
-    42 -> Assign: g = tmp -> 45
-    43 -> Assign: g = tmp -> 44
-    44 -> join -> 46
-    45 -> join -> 46
-    46 -> EnterScope: \result<main> -> 47
-    47 -> Assign: \result<main> = tmp -> 48 ]} at 48
+    42 -> Assign: g = tmp -> 44
+    43 -> Assign: g = tmp -> 45
+    44 -> EnterScope: \result<main> -> 46
+    45 -> EnterScope: \result<main> -> 48
+    46 -> Assign: \result<main> = tmp -> 47
+    47 -> join -> 50
+    48 -> Assign: \result<main> = tmp -> 49
+    49 -> join -> 50 ]} at 50
 [from] Computing for function main
 [from] Done for function main
 [from] ====== DEPENDENCIES COMPUTED ======

tests/value/traces/oracle/test2.res.oracle

@@ -54,7 +54,7 @@ c -> 1
     36 -> finalize_call: loop -> 37
     37 -> Assign: tmp = \result<loop> -> 38
     38 -> LeaveScope: \result<loop> -> 39
-    39 -> join -> 79
+    39 -> EnterScope: \result<main> -> 80
     40 -> EnterScope: j -> 41
     41 -> Assign: j = tmp -> 42
     42 -> EnterScope: i -> 44
@@ -75,13 +75,15 @@ c -> 1
     58 -> LeaveScope: i -> 59
     59 -> EnterScope: \result<loop> -> 60
     60 -> Assign: \result<loop> = j -> 61
-    61 -> LeaveScope: j -> 75
-    75 -> finalize_call: loop -> 76
-    76 -> Assign: tmp = \result<loop> -> 77
-    77 -> LeaveScope: \result<loop> -> 78
-    78 -> join -> 79
-    79 -> EnterScope: \result<main> -> 80
-    80 -> Assign: \result<main> = tmp -> 81 ]} at 81
+    61 -> LeaveScope: j -> 76
+    76 -> finalize_call: loop -> 77
+    77 -> Assign: tmp = \result<loop> -> 78
+    78 -> LeaveScope: \result<loop> -> 79
+    79 -> EnterScope: \result<main> -> 82
+    80 -> Assign: \result<main> = tmp -> 81
+    81 -> join -> 84
+    82 -> Assign: \result<main> = tmp -> 83
+    83 -> join -> 84 ]} at 84
 [from] Computing for function loop
 [from] Done for function loop
 [from] Computing for function main