Update golden results following rebase to latest diffblue/master.

Author: tjj2017

experiments/golden-results/StratoX-summary.txt

@@ -1825,7 +1825,7 @@ Error detected at REDACTED
 --
 Occurs: 1 times
 +===========================GNAT BUG DETECTED==============================+
-| GNU Ada (ada2goto) Assert_Failure failed precondition from tree_walk.adb:73|
+| GNU Ada (ada2goto) Assert_Failure failed precondition from tree_walk.adb:74|
 Error detected at REDACTED
 --
 Occurs: 1 times
@@ -2155,7 +2155,7 @@ Error detected at REDACTED
 --
 Occurs: 1 times
 +===========================GNAT BUG DETECTED==============================+
-| GNU Ada (ada2goto) Assert_Failure failed precondition from tree_walk.adb:73|
+| GNU Ada (ada2goto) Assert_Failure sinfo.adb:394                          |
 Error detected at REDACTED
 --
 Occurs: 1 times
@@ -2210,5 +2210,5 @@ raised SYSTEM.ASSERTIONS.ASSERT_FAILURE : failed precondition from range_check.a
 --
 Occurs: 1 times
 <========================>
-raised SYSTEM.ASSERTIONS.ASSERT_FAILURE : failed precondition from tree_walk.adb:73
+raised SYSTEM.ASSERTIONS.ASSERT_FAILURE : failed precondition from tree_walk.adb:74
 

experiments/golden-results/libsparkcrypto-summary.txt

@@ -48,11 +48,6 @@ Calling function: Process_Pragma_Declaration
 Error message: pragma Import: Multi-language analysis unsupported
 Nkind: N_Pragma
 --
-Occurs: 24 times
-Calling function: Process_Declaration
-Error message: size clause not applied by the front-end
-Nkind: N_Attribute_Definition_Clause
---
 Occurs: 23 times
 Calling function: Do_Expression
 Error message: Quantified