Factor out niche value computation#2369

tautschnig wants to merge 1 commit into

model-checking:mainmodel-checking/kani:mainfrom

tautschnig:niche-valuetautschnig/kani:niche-valueCopy head branch name to clipboard