Use propt::lcnf when cnf_handled_well is true #10305

Job	Run time
check-ubuntu-20_04-cmake-gcc	18m 54s
check-ubuntu-20_04-make-gcc	19m 14s
check-macos-12-cmake-clang	45m 55s
check-macos-13-make-clang	29m 48s
check-ubuntu-20_04-cmake-gcc-KNOWNBUG	3m 33s
check-ubuntu-20_04-cmake-gcc-THOROUGH	1h 44m 32s
check-ubuntu-20_04-make-clang	25m 48s
check-ubuntu-20_04-make-clang-smt-z3	3m 49s
check-ubuntu-22_04-cmake-gcc	17m 17s
check-ubuntu-22_04-cmake-gcc-32bit	15m 31s
check-ubuntu-22_04-make-clang	19m 40s
check-ubuntu-24_04-cmake-gcc-14	17m 24s
check-docker-image	20m 30s
check-string-table	2m 32s
check-vs-2019-cmake-build-and-test	36m 30s
include-what-you-use	22m 51s
windows-msi-package	9m 46s
check-vs-2022-make-build-and-test	20m 51s
	7h 14m 25s

Provide feedback