Handle quantifiers with statement expressions #10946

Job	Run time
check-ubuntu-20_04-cmake-gcc	16m 38s
check-ubuntu-20_04-make-clang	12m 33s
check-ubuntu-20_04-make-clang-smt-z3	5m 1s
check-ubuntu-20_04-make-gcc	22m 46s
check-ubuntu-22_04-make-clang	6m 10s
check-docker-image	21m 9s
check-macos-13-make-clang	14m 1s
check-macos-14-cmake-clang	1h 4m 10s
check-string-table	2m 11s
check-ubuntu-20_04-cmake-gcc-KNOWNBUG	3m 36s
check-ubuntu-20_04-cmake-gcc-THOROUGH	9m 24s
check-ubuntu-22_04-cmake-gcc	15m 19s
check-ubuntu-22_04-cmake-gcc-32bit	15m 3s
check-ubuntu-24_04-cmake-gcc-14	14m 0s
check-vs-2019-cmake-build-and-test	49m 40s
check-vs-2022-make-build-and-test	41m 36s
include-what-you-use	23m 10s
windows-msi-package	22m 12s
	5h 58m 39s

Provide feedback