SMV: avoid ambiguity when generating binary expression strings#1088

tautschnig merged 1 commit intomaindiffblue/hw-cbmc:mainfrom

smv-binary-precedencediffblue/hw-cbmc:smv-binary-precedenceCopy head branch name to clipboard