[tests] update wrt printer changes

src/plugins/e-acsl/tests/bts/oracle/gen_bts1837.c

@@ -167,8 +167,7 @@ int main(void)
   i = 4;
   while (1) {
     int tmp;
-    {
-      /*sequence*/
+    { /* sequence */
       tmp = i;
       i --;
       ;

src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_longlong.c

@@ -127,8 +127,7 @@ unsigned long long my_pow(unsigned int x, unsigned int n)
     __retres = (unsigned long long)1;
     goto return_label;
   }
-  {
-    /*sequence*/
+  { /* sequence */
     tmp_0 = my_pow(x,n / (unsigned int)2);
     tmp = (int)tmp_0;
   }

src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_longlong2.c

@@ -122,8 +122,7 @@ unsigned long long my_pow(unsigned int x, unsigned int n)
     __retres = (unsigned long long)1;
     goto return_label;
   }
-  {
-    /*sequence*/
+  { /* sequence */
     tmp_0 = my_pow(x,n / (unsigned int)2);
     tmp = (int)tmp_0;
   }