SMV: move conversion of . and [...] to type checker#1379

kroening merged 1 commit intomaindiffblue/hw-cbmc:mainfrom

smv-typecheck-index-memberdiffblue/hw-cbmc:smv-typecheck-index-memberCopy head branch name to clipboard