Cumulative fixing commit

Will be squashed and redistributed.

Author: Petr Bauch

regression/goto-harness/havoc-global-int-02/test.desc

@@ -1,7 +1,7 @@
 CORE
 main.c
 --harness-type initialise-with-memory-snapshot --memory-snapshot ../load-snapshot-json-snapshots/global-int-x-y-snapshot.json --initial-location checkpoint --havoc-variables y
-^\[main.assertion.1\] line \d+ assertion y + 2 > x: SUCCESS$
+^\[main.assertion.1\] line \d+ assertion y \+ 2 > x: SUCCESS$
 ^VERIFICATION SUCCESSFUL$
 ^EXIT=0$
 ^SIGNAL=0$