smaller regression to test workflow#6

carolynzech wants to merge 12 commits intomainAlexanderPortland/kani:mainfrom

smaller-regressionAlexanderPortland/kani:smaller-regressionCopy head branch name to clipboard