Fixes pack #1004

Job	Run time
Coverage (STP)	33s
Docker	33s
Coverage (Z3)	2m 13s
macOS	21s
Linux (LLVM 14)	31s
clang-format	33s
Linux (LLVM 13)	30s
Linux (LLVM 12)	32s
Linux (LLVM 11, Doxygen)	33s
Linux (LLVM 10)	32s
Linux (LLVM 9)	31s
Linux (ASan)	31s
Linux (UBSan)	1s
Linux (MSan)	32s
Linux (Z3 only)	1s
Linux (metaSMT)	2m 12s
Linux (STP master)	32s
Linux (Latest klee-uclibc)	33s
Linux (Asserts disabled)	31s
Linux (No TCMalloc, optimised runtime)	31s
	12m 46s

Provide feedback