keep original variable names in .spvasm#18

tonghaining wants to merge 2 commits intodevelopmenttonghaining/Dat3M:developmentfrom

keep-value-namestonghaining/Dat3M:keep-value-namesCopy head branch name to clipboard