SMV: further support for assignments of sets to scalars #5553

Job	Run time
check-ubuntu-24_04-make-gcc	2m 58s
Emscripten build	1m 53s
check-ubuntu-24_04-make-clang	3m 9s
CentOS 8	1m 17s
check-vs-2022-make-build-and-test	2m 22s
check-macos-15-make-clang	2m 21s
examples	11s
benchmarking	3m 34s
ebmc-spot	45s
check-ubuntu-24_04-make-clang-KNOWNBUG	35s
	19m 5s

Provide feedback