Fix several bugs #1011

Job	Run time
Coverage (STP)	47m 13s
Docker	8m 39s
Coverage (Z3)	30m 47s
Linux (LLVM 14)	18m 32s
clang-format	7m 9s
Linux (LLVM 13)	11m 19s
macOS	13m 19s
Linux (LLVM 12)	15m 59s
Linux (LLVM 11, Doxygen)	16m 45s
Linux (LLVM 10)	18m 40s
Linux (LLVM 9)	14m 6s
Linux (ASan)	36m 42s
Linux (UBSan)	34m 31s
Linux (MSan)	1h 28m 37s
Linux (Z3 only)	15m 44s
Linux (metaSMT)	17m 53s
Linux (STP master)	14m 20s
Linux (Latest klee-uclibc)	24m 51s
Linux (Asserts disabled)	22m 56s
Linux (No TCMalloc, optimised runtime)	15m 41s
	7h 53m 43s

Provide feedback