Fix infinite recursion in E.econd when optimizing nested conditionals #8963

Job	Run time
build-compiler (macos-15-intel, 5.3.0, true, darwin-x64, x86_64-apple-darwin)	3m 55s
build-compiler (ubuntu-24.04-arm, ocaml-variants.5.3.0+options,ocaml-option-static, true, true, t...	1m 42s
build-compiler (ubuntu-24.04, ocaml-variants.4.14.2+options,ocaml-option-static, linux-x64, x86_6...	2m 8s
build-compiler (ubuntu-24.04, ocaml-variants.5.3.0+options,ocaml-option-static, true, true, linux...	1m 54s
build-compiler (macos-15, 5.3.0, true, darwin-arm64, aarch64-apple-darwin)	2m 18s
build-compiler (windows-2025, 5.3.0, true, win32-x64, x86_64-pc-windows-gnu, .exe)	3m 34s
api-docs	1s
pkg-pr-new	1s
test-integration-rewatch	1s
test-installation-pnpm	1s
test-installation-npm	1s
publish	1s
	15m 37s

Provide feedback