Merge pull request #1532 from diffblue/smv_in1 #5534

Job	Run time
check-ubuntu-24_04-make-clang	3m 1s
check-vs-2022-make-build-and-test	2m 9s
check-ubuntu-24_04-make-gcc	2m 29s
CentOS 8	1m 9s
check-macos-15-make-clang	1m 58s
Emscripten build	1m 48s
ebmc-spot	38s
examples	7s
benchmarking	3m 44s
check-ubuntu-24_04-make-clang-KNOWNBUG	34s
	17m 37s

Provide feedback