Verilog: fix nested hierarchical identifiers#254

tautschnig merged 1 commit intomaindiffblue/hw-cbmc:mainfrom

hierarchical_identifiers2diffblue/hw-cbmc:hierarchical_identifiers2Copy head branch name to clipboard