Fix stp build (#200) #1457

Job	Run time
Docker	8m 21s
Coverage (STP)	51m 50s
clang-format	14s
Coverage (Z3)	54m 0s
macOS	11m 32s
Coverage (Bitwuzla)	53m 29s
Linux (LLVM 16)	11m 7s
Linux (LLVM 15)	9m 42s
Linux (LLVM 14)	12m 41s
Linux (LLVM 13)	12m 17s
Linux (LLVM 12)	13m 5s
Linux (LLVM 11, Doxygen)	13m 15s
Linux (ASan)	48m 22s
Linux (UBSan)	49m 50s
Linux (MSan)	1h 11m 37s
Linux (Z3 only)	12m 34s
Linux (metaSMT)	33m 52s
Linux (STP master)	15m 20s
Linux (Bitwuzla only)	12m 31s
Linux (Latest klee-uclibc)	13m 42s
Linux (Asserts disabled)	12m 6s
Linux (No TCMalloc, optimised runtime)	32m 27s
	9h 13m 54s

Provide feedback