SystemVerilog: declarations in named blocks in tasks/functions#970

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

named_block1-fixdiffblue/hw-cbmc:named_block1-fixCopy head branch name to clipboard