SMV: split up and rename `formula_list`#1181

tautschnig merged 1 commit intomaindiffblue/hw-cbmc:mainfrom

smv-rename-formula-listdiffblue/hw-cbmc:smv-rename-formula-listCopy head branch name to clipboard