Add string literal support to incremental SMT decision procedure #8410

Job	Run time
check-ubuntu-20_04-cmake-gcc	29m 23s
check-ubuntu-20_04-make-clang	45m 43s
check-ubuntu-20_04-make-clang-smt-z3	4m 42s
check-ubuntu-20_04-make-gcc	19m 32s
check-docker-image	23m 2s
check-macos-11-make-clang	47m 5s
check-macos-12-cmake-clang	1h 4m 21s
check-string-table	3m 23s
check-ubuntu-20_04-cmake-gcc-KNOWNBUG	4m 4s
check-ubuntu-20_04-cmake-gcc-THOROUGH	9m 29s
check-ubuntu-22_04-cmake-gcc	32m 27s
check-ubuntu-22_04-cmake-gcc-12	33m 1s
check-ubuntu-22_04-make-clang	23m 37s
check-vs-2019-cmake-build-and-test	1h 7m 12s
check-vs-2022-make-build-and-test	50m 45s
codecov-coverage-report	47m 5s
include-what-you-use	28m 40s
windows-msi-package	7m 17s
	9h 0m 48s

Provide feedback