Fixed goto-instrument/slice23 regressions

Author: esteffin

Diff for: regression/goto-instrument/slice23/test.desc

@@ -1,6 +1,6 @@
 CORE
 main.c
---no-standard-checks --full-slice --add-library _ --no-standard-checks
+--no-malloc-may-fail --full-slice --add-library _ --no-standard-checks
 ^EXIT=0$
 ^SIGNAL=0$
 ^VERIFICATION SUCCESSFUL$