[Eva] update alternative test oracles

tests/builtins/oracle_equality/linked_list.1.res.oracle

@@ -16,8 +16,9 @@
 720a731,732
 > [kernel] linked_list.c:44: 
 >   more than 100(128) elements to enumerate. Approximating.
-817,820d828
-< [kernel] linked_list.c:43: 
+810,811d821
+< [kernel] linked_list.c:51: 
 <   more than 100(128) elements to enumerate. Approximating.
+819,820d828
 < [kernel] linked_list.c:44: 
 <   more than 100(128) elements to enumerate. Approximating.

tests/builtins/oracle_gauges/linked_list.1.res.oracle

-815a816,821
+817a818,823
 > [eva] computing for function printf_va_1 <- main.
 >   Called from linked_list.c:51.
 > [eva] Done for function printf_va_1

tests/builtins/oracle_octagon/linked_list.1.res.oracle

@@ -10,8 +10,9 @@
 720a727,728
 > [kernel] linked_list.c:44: 
 >   more than 100(128) elements to enumerate. Approximating.
-817,820d824
-< [kernel] linked_list.c:43: 
+810,811d817
+< [kernel] linked_list.c:51: 
 <   more than 100(128) elements to enumerate. Approximating.
+819,820d824
 < [kernel] linked_list.c:44: 
 <   more than 100(128) elements to enumerate. Approximating.

tests/builtins/oracle_symblocs/linked_list.1.res.oracle

@@ -10,8 +10,9 @@
 720a727,728
 > [kernel] linked_list.c:44: 
 >   more than 100(128) elements to enumerate. Approximating.
-817,820d824
-< [kernel] linked_list.c:43: 
+810,811d817
+< [kernel] linked_list.c:51: 
 <   more than 100(128) elements to enumerate. Approximating.
+819,820d824
 < [kernel] linked_list.c:44: 
 <   more than 100(128) elements to enumerate. Approximating.