Verilog: extract `verilog_scopet::identifier_token()`#1261

tautschnig merged 1 commit intomaindiffblue/hw-cbmc:mainfrom

identifier_tokendiffblue/hw-cbmc:identifier_tokenCopy head branch name to clipboard