SystemVerilog: create identifier expressions in scanner#953

kroening wants to merge 1 commit intomaindiffblue/hw-cbmc:mainfrom

identifier-tokens2diffblue/hw-cbmc:identifier-tokens2Copy head branch name to clipboard