SystemVerilog: preserve scopes between compilation units#963

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

global-scopesdiffblue/hw-cbmc:global-scopesCopy head branch name to clipboard