Fix expected verdict of xcsp/Haystack* tasks

According to XCSP, these are open problems.
But we claim that they are safe (CPAchecker and CBMC report TRUE for most of them)

Author: lembergerth

c/xcsp/Haystacks-06.yml

@@ -3,7 +3,7 @@ format_version: '2.0'
 input_files: 'Haystacks-06.c'
 properties:
   - property_file: ../properties/unreach-call.prp
-    expected_verdict: false
+    expected_verdict: true
 
 options:
   language: C

c/xcsp/Haystacks-07.yml

@@ -3,7 +3,7 @@ format_version: '2.0'
 input_files: 'Haystacks-07.c'
 properties:
   - property_file: ../properties/unreach-call.prp
-    expected_verdict: false
+    expected_verdict: true
 
 options:
   language: C

c/xcsp/Haystacks-08.yml

@@ -3,7 +3,7 @@ format_version: '2.0'
 input_files: 'Haystacks-08.c'
 properties:
   - property_file: ../properties/unreach-call.prp
-    expected_verdict: false
+    expected_verdict: true
 
 options:
   language: C

c/xcsp/Haystacks-09.yml

@@ -3,7 +3,7 @@ format_version: '2.0'
 input_files: 'Haystacks-09.c'
 properties:
   - property_file: ../properties/unreach-call.prp
-    expected_verdict: false
+    expected_verdict: true
 
 options:
   language: C

c/xcsp/Haystacks-10.yml

@@ -3,7 +3,7 @@ format_version: '2.0'
 input_files: 'Haystacks-10.c'
 properties:
   - property_file: ../properties/unreach-call.prp
-    expected_verdict: false
+    expected_verdict: true
 
 options:
   language: C

c/xcsp/Haystacks-11.yml

@@ -3,7 +3,7 @@ format_version: '2.0'
 input_files: 'Haystacks-11.c'
 properties:
   - property_file: ../properties/unreach-call.prp
-    expected_verdict: false
+    expected_verdict: true
 
 options:
   language: C

c/xcsp/Haystacks-12.yml

@@ -3,7 +3,7 @@ format_version: '2.0'
 input_files: 'Haystacks-12.c'
 properties:
   - property_file: ../properties/unreach-call.prp
-    expected_verdict: false
+    expected_verdict: true
 
 options:
   language: C

c/xcsp/Haystacks-13.yml

@@ -3,7 +3,7 @@ format_version: '2.0'
 input_files: 'Haystacks-13.c'
 properties:
   - property_file: ../properties/unreach-call.prp
-    expected_verdict: false
+    expected_verdict: true
 
 options:
   language: C

c/xcsp/Haystacks-14.yml

@@ -3,7 +3,7 @@ format_version: '2.0'
 input_files: 'Haystacks-14.c'
 properties:
   - property_file: ../properties/unreach-call.prp
-    expected_verdict: false
+    expected_verdict: true
 
 options:
   language: C

c/xcsp/Haystacks-15.yml

@@ -3,7 +3,7 @@ format_version: '2.0'
 input_files: 'Haystacks-15.c'
 properties:
   - property_file: ../properties/unreach-call.prp
-    expected_verdict: false
+    expected_verdict: true
 
 options:
   language: C