Restrict with_exprt to exactly three operands #11176

Job	Run time
check-ubuntu-24_04-make-gcc	18m 30s
check-ubuntu-24_04-cmake-gcc-THOROUGH	10m 29s
check-macos-13-make-clang	38m 19s
check-ubuntu-24_04-cmake-gcc-KNOWNBUG	4m 9s
check-ubuntu-24_04-make-clang	12m 15s
check-ubuntu-22_04-cmake-gcc-32bit	29m 7s
check-ubuntu-24_04-cmake-gcc	18m 53s
check-macos-14-cmake-clang	1h 11m 21s
check-vs-2025-cmake-build-and-test	34m 6s
check-ubuntu-24_04-make-clang-smt-z3	8m 6s
check-ubuntu-22_04-cmake-gcc	30m 26s
check-ubuntu-22_04-make-clang	19m 53s
check-ubuntu-24_04-cmake-gcc-14	30m 20s
check-ubuntu-24_04-arm-cmake-gcc	23m 31s
check-vs-2022-make-build-and-test	6h 0m 11s
check-string-table	1m 43s
windows-msi-package	5m 11s
check-docker-image	20m 41s
include-what-you-use	14m 39s
	12h 31m 50s

Provide feedback