Fix 56-witness/62-tm-inv-transfer-protection-witness by also not widening with unassume

Author: sim642

tests/regression/56-witness/62-tm-inv-transfer-protection-witness.c

@@ -1,4 +1,4 @@
-// PARAM: --set solvers.td3.side_widen always --enable ana.int.interval --set ana.base.privatization protection --set "ana.activated[+]" unassume --set witness.yaml.unassume 62-tm-inv-transfer-protection-witness.yml --enable ana.widen.tokens
+// PARAM: --set solvers.td3.side_widen never --enable ana.int.interval --set ana.base.privatization protection --set "ana.activated[+]" unassume --set witness.yaml.unassume 62-tm-inv-transfer-protection-witness.yml --enable ana.widen.tokens
 #include <pthread.h>
 #include <goblint.h>
 

tests/regression/56-witness/62-tm-inv-transfer-protection-witness.yml

@@ -1,8 +1,8 @@
 - entry_type: invariant_set
   metadata:
     format_version: "2.0"
-    uuid: 198dd98d-49a8-4e2a-a516-bebbe4ddc11f
-    creation_time: 2025-03-07T15:01:05Z
+    uuid: 616f1f47-6b4f-42b4-a6d0-5b0e96c46d04
+    creation_time: 2025-03-10T08:52:01Z
     producer:
       name: Goblint
       version: heads/tm-inv-transfer-0-g2297ee03e-dirty
@@ -15,7 +15,7 @@
       input_files:
       - 62-tm-inv-transfer-protection-witness.c
       input_file_hashes:
-        62-tm-inv-transfer-protection-witness.c: 139627d4167e48c2399f0a6359e533d8ac7597e9b4155c58ddcb2b7bfe780088
+        62-tm-inv-transfer-protection-witness.c: 092126836eb79039199015ac90bff562d5e53fcd1c9d793373dec577edd4c71b
       data_model: LP64
       language: C
   content: