[aeneas] Preserve variable names#3560

zhassan-aws merged 2 commits intomodel-checking:mainmodel-checking/kani:mainfrom

zhassan-aws:llbc-nameszhassan-aws/kani:llbc-namesCopy head branch name to clipboard