SMV grammar: rename `variable_name` and `qstring_list`#1119

tautschnig merged 1 commit intomaindiffblue/hw-cbmc:mainfrom

svm-identifier-grammardiffblue/hw-cbmc:svm-identifier-grammarCopy head branch name to clipboard