Update golden results

Author: Petr Bauch

experiments/golden-results/vct-summary.txt

@@ -125,7 +125,7 @@ Raw compiler error message:
 --
 Occurs: 1 times
 +===========================GNAT BUG DETECTED==============================+
-| GNU Ada (ada2goto) Assert_Failure failed precondition from goto_utils.ads:115|
+| GNU Ada (ada2goto) Assert_Failure failed precondition from goto_utils.ads:144|
 | Error detected at system.ads:156:5                                       |
 --
 Occurs: 1 times