Small fixes #958

Job	Run time
Docker	12m 54s
clang-format	6m 24s
Coverage (STP)	38m 15s
macOS	8m 36s
Coverage (Z3)	38m 39s
Linux (LLVM 14)	15m 40s
Linux (LLVM 13)	15m 41s
Linux (LLVM 12)	15m 42s
Linux (LLVM 11, Doxygen)	15m 44s
Linux (LLVM 10)	15m 41s
Linux (LLVM 9)	15m 41s
Linux (ASan)	15m 41s
Linux (UBSan)	15m 40s
Linux (MSan)	16m 9s
Linux (Z3 only)	14m 56s
Linux (metaSMT)	15m 41s
Linux (STP master)	15m 41s
Linux (Latest klee-uclibc)	15m 43s
Linux (Asserts disabled)	14m 59s
Linux (No TCMalloc, optimised runtime)	15m 21s
	5h 38m 48s

Provide feedback