[fix] #482

Job	Run time
Docker	8m 18s
clang-format	5m 29s
Linux (LLVM 14)	13m 21s
Coverage (STP)	31m 47s
Linux (LLVM 13)	13m 7s
Coverage (Z3)	33m 53s
macOS	10m 59s
Linux (LLVM 12)	13m 25s
Coverage (Bitwuzla)	34m 22s
Linux (LLVM 11, Doxygen)	13m 21s
Linux (LLVM 10)	13m 14s
Linux (LLVM 9)	13m 21s
Linux (ASan)	13m 21s
Linux (UBSan)	13m 21s
Linux (MSan)	13m 21s
Linux (Z3 only)	5m 0s
Linux (metaSMT)	13m 21s
Linux (STP master)	13m 21s
Linux (Bitwuzla only)	13m 5s
Linux (Latest klee-uclibc)	13m 20s
Linux (Asserts disabled)	13m 22s
Linux (No TCMalloc, optimised runtime)	13m 22s
	5h 29m 31s

Provide feedback