SMV: pre-traversal identifier conversion#1409

kroening wants to merge 1 commit intomaindiffblue/hw-cbmc:mainfrom

smv-identifier-pre-traversaldiffblue/hw-cbmc:smv-identifier-pre-traversalCopy head branch name to clipboard