[fix] Fix memory consumption #1007

Job	Run time
clang-format	5m 49s
Coverage (STP)	48m 44s
Docker	12m 27s
Coverage (Z3)	30m 27s
Linux (LLVM 14)	19m 49s
macOS	8m 18s
Linux (LLVM 13)	25m 16s
Linux (LLVM 12)	20m 1s
Linux (LLVM 11, Doxygen)	15m 26s
Linux (LLVM 10)	14m 19s
Linux (LLVM 9)	11m 42s
Linux (ASan)	49m 7s
Linux (UBSan)	50m 58s
Linux (MSan)	1h 1m 31s
Linux (Z3 only)	22m 14s
Linux (metaSMT)	36m 3s
Linux (STP master)	17m 42s
Linux (Latest klee-uclibc)	11m 27s
Linux (Asserts disabled)	11m 17s
Linux (No TCMalloc, optimised runtime)	15m 58s
	8h 8m 35s

Provide feedback