Clone a template `BodyTransformer` to avoid re-initialization#4259

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

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