Combo of small performance changes#4314

feliperodri merged 3 commits intomodel-checking:mainmodel-checking/kani:mainfrom

AlexanderPortland:final-small-changesAlexanderPortland/kani:final-small-changesCopy head branch name to clipboard