Clone a template BodyTransformer to avoid re-initialization#4259

tautschnig merged 4 commits into

model-checking:mainmodel-checking/kani:mainfrom

AlexanderPortland:clone-transformerAlexanderPortland/kani:clone-transformerCopy head branch name to clipboard