Better logic to simplify and/or. #5163

Job	Run time
build-rewatch (macos-13, x86_64-apple-darwin)	22s
build-compiler (ubuntu-latest, ocaml-variants.5.2.0+options,ocaml-option-static, true, true, true...	2m 43s
build-rewatch (macos-14, aarch64-apple-darwin)	15s
build-compiler (buildjet-2vcpu-ubuntu-2204-arm, ocaml-variants.5.2.0+options,ocaml-option-static,...	3m 9s
build-rewatch (ubuntu-latest, x86_64-unknown-linux-musl)	12s
build-compiler (macos-13, 5.2.0, true)	3m 46s
build-rewatch (buildjet-2vcpu-ubuntu-2204-arm, aarch64-unknown-linux-musl)	12s
build-compiler (macos-14, 5.2.0, true)	2m 13s
build-rewatch (windows-latest, x86_64-pc-windows-gnu)	21s
build-compiler (windows-latest, 5.2.0, true)	3m 20s
build-compiler (ubuntu-latest, ocaml-variants.5.0.0+options,ocaml-option-static)	1m 41s
build-compiler (ubuntu-latest, ocaml-variants.4.14.2+options,ocaml-option-static)	1m 31s
build-compiler (ubuntu-latest, ocaml-variants.4.13.0+options,ocaml-option-static)	1m 36s
package	33s
installationTest (macos-13)	24s
installationTest (macos-14)	16s
installationTest (ubuntu-latest)	14s
installationTest (buildjet-2vcpu-ubuntu-2204-arm)	28s
installationTest (windows-latest)	50s
publish	0s
	24m 6s

Provide feedback