fix: Fix the `cover-error-call` tests #1453

Job	Run time
clang-format	15s
Coverage (STP)	50m 20s
Docker	8m 22s
Coverage (Z3)	50m 22s
Linux (LLVM 16)	1m 27s
Coverage (Bitwuzla)	50m 5s
macOS	10m 37s
Linux (LLVM 15)	1m 28s
Linux (LLVM 14)	1m 27s
Linux (LLVM 13)	1m 28s
Linux (LLVM 12)	1m 29s
Linux (LLVM 11, Doxygen)	1m 28s
Linux (ASan)	1m 30s
Linux (UBSan)	1m 29s
Linux (MSan)	1m 32s
Linux (Z3 only)	1s
Linux (metaSMT)	1m 27s
Linux (STP master)	1m 11s
Linux (Bitwuzla only)	1m 29s
Linux (Latest klee-uclibc)	1m 27s
Linux (Asserts disabled)	1m 28s
Linux (No TCMalloc, optimised runtime)	1m 27s
	3h 11m 49s

Provide feedback