SMV: complex identifiers are now parsed as expressions#1195

kroening merged 1 commit intomaindiffblue/hw-cbmc:mainfrom

smvlang-complex-identifierdiffblue/hw-cbmc:smvlang-complex-identifierCopy head branch name to clipboard