SMV: remove legacy grammar rules #5551

Job	Run time
Emscripten build	1m 42s
check-vs-2022-make-build-and-test	2m 10s
CentOS 8	1m 12s
check-macos-15-make-clang	2m 33s
check-ubuntu-24_04-make-clang	3m 2s
check-ubuntu-24_04-make-gcc	2m 31s
examples	7s
check-ubuntu-24_04-make-clang-KNOWNBUG	35s
ebmc-spot	38s
benchmarking	3m 27s
	17m 57s

Provide feedback