STATIC_PROOF fails compilation if a condition can't be proven #546

Job	Run time
mutate	4m 4s
quality_checks_pass	43s
build_and_test_22 (clang, 14, 17, libc++, Debug)	2m 7s
build_and_test_24 (clang, 16, 17, libstdc++, Debug)	1m 46s
build_and_test_22 (clang, 14, 20, libc++, Debug)	7m 21s
build_and_test_24 (clang, 16, 17, libc++, Debug)	2m 23s
sanitize (undefined, clang)	4m 29s
build_and_test_22 (clang, 15, 17, libstdc++, Debug)	1m 43s
valgrind	5m 2s
sanitize (undefined, gcc)	4m 35s
build_and_test_24 (clang, 16, 20, libstdc++, Debug)	5m 8s
build_and_test_22 (clang, 15, 17, libc++, Debug)	2m 29s
sanitize (address, clang)	4m 48s
build_and_test_22 (clang, 15, 20, libstdc++, Debug)	4m 25s
build_and_test_24 (clang, 16, 20, libc++, Debug)	9m 17s
sanitize (address, gcc)	4m 3s
build_and_test_22 (clang, 15, 20, libc++, Debug)	9m 16s
build_and_test_24 (clang, 17, 17, libstdc++, Debug)	1m 40s
sanitize (thread, clang)	5m 20s
sanitize (thread, gcc)	4m 7s
build_and_test_24 (clang, 17, 17, libc++, Debug)	2m 14s
build_and_test_24 (clang, 17, 20, libstdc++, Debug)	4m 59s
build_and_test_24 (clang, 17, 20, libc++, Debug)	8m 59s
build_and_test_24 (clang, 18, 17, libstdc++, Debug)	1m 31s
build_and_test_24 (clang, 18, 17, libc++, Debug)	2m 37s
build_and_test_24 (clang, 18, 20, libstdc++, Debug)	5m 18s
build_and_test_24 (clang, 18, 20, libc++, Debug)	10m 12s
build_and_test_24 (gcc, 12, 17, libstdc++, Debug)	1m 55s
build_and_test_24 (gcc, 12, 20, libstdc++, Debug)	4m 17s
build_and_test_24 (gcc, 13, 17, libstdc++, Debug)	2m 3s
build_and_test_24 (gcc, 13, 20, libstdc++, Debug)	4m 15s
merge_ok	1s
	2h 13m 7s

Provide feedback