Small fixes #864

Job	Run time
Docker	16m 12s
Coverage (STP)	38m 0s
clang-format	5m 32s
Coverage (Z3)	40m 39s
Linux (LLVM 14)	18m 51s
macOS	10m 22s
Linux (LLVM 13)	15m 35s
Linux (LLVM 12)	16m 38s
Linux (LLVM 11, Doxygen)	17m 9s
Linux (LLVM 10)	14m 38s
Linux (LLVM 9)	16m 21s
Linux (ASan)	53m 16s
Linux (UBSan)	47m 34s
Linux (MSan)	1h 13m 0s
Linux (Z3 only)	20m 35s
Linux (metaSMT)	41m 54s
Linux (STP master)	15m 43s
Linux (Latest klee-uclibc)	15m 21s
Linux (Asserts disabled)	16m 1s
Linux (No TCMalloc, optimised runtime)	14m 34s
	8h 27m 55s

Provide feedback