Approximation of tree incrementality for Z3 solver #747

Job	Run time
Docker	3m 40s
clang-format	4m 20s
Coverage (STP)	3m 54s
Coverage (Z3)	4m 53s
Linux (LLVM 14)	1s
Linux (LLVM 13)	41s
Linux (LLVM 12)	59s
Linux (LLVM 11, Doxygen)	1m 12s
Linux (LLVM 10)	1m 14s
Linux (LLVM 9)	1s
Linux (ASan)	3m 15s
Linux (UBSan)	1s
Linux (MSan)	1s
Linux (Z3 only)	1s
Linux (metaSMT)	1s
Linux (STP master)	1s
Linux (Latest klee-uclibc)	1m 53s
Linux (Asserts disabled)	2m 26s
Linux (No TCMalloc, optimised runtime)	1s
macOS	1s
	28m 36s

Provide feedback