Create variables for old expressions in Boogie#217

atomb wants to merge 1 commit intomainstrata-org/Strata:mainfrom

create-old-varsstrata-org/Strata:create-old-varsCopy head branch name to clipboard