Merge pull request #1535 from diffblue/smv_set_typing #5540

Job	Run time
Emscripten build	1m 33s
check-ubuntu-24_04-make-gcc	2m 20s
CentOS 8	1m 3s
check-vs-2022-make-build-and-test	2m 13s
check-macos-15-make-clang	2m 7s
check-ubuntu-24_04-make-clang	2m 48s
ebmc-spot	35s
benchmarking	4m 12s
check-ubuntu-24_04-make-clang-KNOWNBUG	35s
examples	9s
	17m 35s

Provide feedback