Restrict with_exprt to exactly three operands #11177

Job	Run time
check-ubuntu-24_04-make-clang	25m 59s
check-ubuntu-24_04-make-gcc	31m 58s
check-ubuntu-24_04-make-clang-smt-z3	8m 1s
check-ubuntu-22_04-cmake-gcc-32bit	28m 59s
check-ubuntu-24_04-cmake-gcc-14	28m 59s
check-ubuntu-24_04-arm-cmake-gcc	23m 52s
check-macos-13-make-clang	48m 29s
check-ubuntu-24_04-cmake-gcc-KNOWNBUG	4m 3s
check-ubuntu-24_04-cmake-gcc-THOROUGH	10m 10s
check-ubuntu-24_04-cmake-gcc	17m 1s
check-vs-2025-cmake-build-and-test	33m 15s
check-ubuntu-22_04-make-clang	33m 27s
check-vs-2022-make-build-and-test	6h 0m 14s
check-macos-14-cmake-clang	1h 37m 49s
check-ubuntu-22_04-cmake-gcc	28m 14s
include-what-you-use	15m 43s
check-string-table	1m 44s
windows-msi-package	7m 48s
check-docker-image	20m 2s
	13h 45m 47s

Provide feedback