[fix] #76

Job	Run time
Docker	5m 21s
clang-format	5m 49s
Coverage (STP)	1m 28s
Linux (LLVM 14)	1m 22s
Coverage (Z3)	1m 25s
macOS	6m 1s
Coverage (Bitwuzla)	1m 9s
Linux (LLVM 13)	1m 21s
Linux (LLVM 12)	1m 23s
Linux (LLVM 11, Doxygen)	1m 23s
Linux (LLVM 10)	1m 14s
Linux (LLVM 9)	1m 13s
Linux (ASan)	1m 7s
Linux (UBSan)	1m 22s
Linux (MSan)	1m 23s
Linux (Z3 only)	1s
Linux (metaSMT)	1m 23s
Linux (STP master)	1m 22s
Linux (Bitwuzla only)	1m 12s
Linux (Latest klee-uclibc)	1m 11s
Linux (Asserts disabled)	1m 10s
Linux (No TCMalloc, optimised runtime)	1m 23s
	40m 43s

Provide feedback