Small fixes #861

Job	Run time
clang-format	5m 31s
Docker	13m 12s
Coverage (STP)	46m 56s
Linux (LLVM 14)	17m 45s
Coverage (Z3)	41m 2s
macOS	11m 33s
Linux (LLVM 13)	21m 9s
Linux (LLVM 12)	16m 30s
Linux (LLVM 11, Doxygen)	17m 43s
Linux (LLVM 10)	16m 0s
Linux (LLVM 9)	16m 33s
Linux (ASan)	49m 31s
Linux (UBSan)	49m 3s
Linux (MSan)	54m 54s
Linux (Z3 only)	20m 1s
Linux (metaSMT)	38m 5s
Linux (STP master)	17m 31s
Linux (Latest klee-uclibc)	19m 10s
Linux (Asserts disabled)	16m 30s
Linux (No TCMalloc, optimised runtime)	16m 8s
	8h 24m 47s

Provide feedback