SMV: implement bit selection operator#1305

tautschnig merged 1 commit intomaindiffblue/hw-cbmc:mainfrom

smv_bit_selectiondiffblue/hw-cbmc:smv_bit_selectionCopy head branch name to clipboard