Share body cache between harnesses within a codegen unit#4276

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

AlexanderPortland:better-body-cacheAlexanderPortland/kani:better-body-cacheCopy head branch name to clipboard