diff --git a/tests/builtins/oracle_equality/imprecise.res.oracle b/tests/builtins/oracle_equality/imprecise.res.oracle
index 510c64aad8aaa51da0c6f9e5f58617e8b42eef36..9633a07ab0e31c0bef97b7be3027233c2a4bf0db 100644
--- a/tests/builtins/oracle_equality/imprecise.res.oracle
+++ b/tests/builtins/oracle_equality/imprecise.res.oracle
@@ -1,13 +1,10 @@
-98a99,100
-> [kernel] imprecise.c:51: 
->   imprecise size for variable v3 (abstract type 'struct u')
-220a223,224
+220a221,222
 > [kernel] imprecise.c:111: 
 >   more than 200(300) elements to enumerate. Approximating.
-228a233,234
+228a231,232
 > [kernel] imprecise.c:114: 
 >   more than 200(300) elements to enumerate. Approximating.
-237,240d242
+237,240d240
 < [kernel] imprecise.c:111: 
 <   more than 200(300) elements to enumerate. Approximating.
 < [kernel] imprecise.c:114: 
diff --git a/tests/saveload/oracle/bool.0.res.oracle b/tests/saveload/oracle/bool.0.res.oracle
index ced50c36135d6d78cf9ee5f883e63852705a49f7..d193e342d69221b4cb1adb9cae3f0f96141e6d86 100644
--- a/tests/saveload/oracle/bool.0.res.oracle
+++ b/tests/saveload/oracle/bool.0.res.oracle
@@ -41,8 +41,8 @@
   x FROM \nothing
   y FROM \nothing
   S___fc_stdout[0].__fc_FILE_data
-               FROM S___fc_stdout[0]; "%d\n"; "%d\n"; "%d\n"; "%d\n";
-                    "%d,%d\n"[bits 0 to 55] (and SELF)
+               FROM S___fc_stdout[0]; "%d\n"; "%d\n";
+                    "%d,%d\n"[bits 0 to 55]; "%d\n"; "%d\n" (and SELF)
   \result FROM \nothing
 [from] ====== END OF DEPENDENCIES ======
 [inout] Out (internal) for function f:
@@ -52,5 +52,5 @@
 [inout] Out (internal) for function main:
     x; y; S___fc_stdout[0].__fc_FILE_data
 [inout] Inputs for function main:
-    x; y; S___fc_stdout[0]; "%d\n"; "%d\n"; "%d\n"; "%d\n";
-    "%d,%d\n"[bits 0 to 55]
+    x; y; S___fc_stdout[0]; "%d\n"; "%d\n"; "%d,%d\n"[bits 0 to 55]; "%d\n";
+    "%d\n"
diff --git a/tests/value/oracle/nonlin.res.oracle b/tests/value/oracle/nonlin.res.oracle
index bbfbde4a81a72bf95b4ea0c74134183e73bf1b08..ea7094541b99d9a1c031590e304585d26a4faf6f 100644
--- a/tests/value/oracle/nonlin.res.oracle
+++ b/tests/value/oracle/nonlin.res.oracle
@@ -33,11 +33,11 @@
 [eva:alarm] nonlin.c:38: Warning: 
   signed overflow.
   assert (int)((int)z + 17817) * (int)((int)z + 17817) ≤ 2147483647;
+[eva:nonlin] nonlin.c:45: non-linear 'i1 * i1', lv 'i1'
 [eva:nonlin] nonlin.c:45: 
   non-linear '(i2 + (long long)3) * (i2 + (long long)3)', lv 'i2'
-[eva:nonlin] nonlin.c:45: non-linear 'i1 * i1', lv 'i1'
-[eva:nonlin] nonlin.c:45: subdividing on i2
 [eva:nonlin] nonlin.c:45: subdividing on i1
+[eva:nonlin] nonlin.c:45: subdividing on i2
 [eva:alarm] nonlin.c:49: Warning: assertion got status unknown.
 [eva:nonlin] nonlin.c:50: non-linear '(int)idx * (int)idx', lv 'idx'
 [eva:nonlin] nonlin.c:50: subdividing on idx