Restrict with_exprt to exactly three operands #11174

Job	Run time
check-ubuntu-24_04-make-gcc	15m 29s
check-ubuntu-24_04-make-clang-smt-z3	18m 19s
check-ubuntu-24_04-make-clang	19m 45s
check-macos-13-make-clang	24m 26s
check-ubuntu-22_04-cmake-gcc-32bit	29m 0s
check-macos-14-cmake-clang	1h 38m 26s
check-ubuntu-24_04-cmake-gcc	29m 14s
check-ubuntu-22_04-make-clang	17m 52s
check-ubuntu-24_04-cmake-gcc-THOROUGH	23m 11s
check-ubuntu-24_04-cmake-gcc-KNOWNBUG	18m 13s
check-ubuntu-22_04-cmake-gcc	29m 29s
check-ubuntu-24_04-arm-cmake-gcc	21m 39s
check-ubuntu-24_04-cmake-gcc-14	29m 38s
check-vs-2025-cmake-build-and-test	53m 58s
include-what-you-use	15m 56s
windows-msi-package	25m 50s
check-docker-image	20m 7s
check-string-table	1m 45s
check-vs-2022-make-build-and-test	6h 0m 11s
	14h 12m 28s

Provide feedback