Small fixes #871

Job	Run time
clang-format	5m 32s
Coverage (STP)	47m 36s
Docker	12m 49s
Coverage (Z3)	49m 14s
Linux (LLVM 14)	16m 7s
macOS	13m 19s
Linux (LLVM 13)	16m 45s
Linux (LLVM 12)	23m 31s
Linux (LLVM 11, Doxygen)	20m 27s
Linux (LLVM 10)	15m 9s
Linux (LLVM 9)	16m 11s
Linux (ASan)	1h 0m 18s
Linux (UBSan)	48m 45s
Linux (MSan)	1h 20m 52s
Linux (Z3 only)	16m 29s
Linux (metaSMT)	43m 58s
Linux (STP master)	19m 15s
Linux (Latest klee-uclibc)	17m 51s
Linux (Asserts disabled)	14m 48s
Linux (No TCMalloc, optimised runtime)	20m 34s
	9h 19m 30s

Provide feedback