Change ensures into closures#3207

pi314mm merged 15 commits into

model-checking:mainmodel-checking/kani:mainfrom

pi314mm:result_renamepi314mm/kani:result_renameCopy head branch name to clipboard