Small fixes #859

Job	Run time
Docker	12m 55s
Coverage (STP)	52m 39s
clang-format	6m 29s
Coverage (Z3)	50m 30s
Linux (LLVM 14)	17m 20s
macOS	10m 49s
Linux (LLVM 13)	15m 45s
Linux (LLVM 12)	18m 32s
Linux (LLVM 11, Doxygen)	17m 13s
Linux (LLVM 10)	23m 8s
Linux (LLVM 9)	16m 8s
Linux (ASan)	1h 2m 24s
Linux (UBSan)	50m 40s
Linux (MSan)	53m 6s
Linux (Z3 only)	16m 11s
Linux (metaSMT)	32m 46s
Linux (STP master)	15m 18s
Linux (Latest klee-uclibc)	24m 12s
Linux (Asserts disabled)	14m 32s
Linux (No TCMalloc, optimised runtime)	17m 23s
	8h 48m 0s

Provide feedback