Fix infeasibility detection logic #1014

Job	Run time
[conda:ubuntu-latest:Release:c++17]	2m 15s
[conda:ubuntu-latest:Release:c++20]	1m 40s
[conda:macos-latest:Release:c++17]	12m 35s
[conda:macos-latest:Release:c++20]	6m 39s
[conda:windows-2019:Release:c++17]	22m 42s
[conda:windows-2019:Release:c++20]	25m 6s
[conda:windows-latest:Release:c++17]	25m 56s
[conda:windows-latest:Release:c++20]	23m 26s
[conda:macos-14:Release:c++17]	3m 23s
[conda:macos-14:Release:c++20]	3m 35s
[conda:ubuntu-latest:Debug:c++17]	8m 24s
[conda:ubuntu-latest:Debug:c++20]	8m 14s
[conda:windows-2019:Debug:c++17]	6h 0m 19s
[conda:windows-2019:Debug:c++20]	22m 5s
[conda:windows-latest:Debug:c++17]	18m 7s
[conda:windows-latest:Debug:c++20]	21m 11s
[conda:macos-14:Debug:c++17]	3m 1s
[conda:macos-14:Debug:c++20]	3m 5s
[conda:macos-latest:Release:c++14]	6m 21s
[conda:macos-latest:Debug:c++17]	12m 48s
[conda:macos-latest:Debug:c++20]	11m 18s
check-ci-linux-osx-win-conda	2s
	10h 2m 12s

Provide feedback