netlist conversion: replace recursion by explicit stack#1373

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

trans-netlist-explicit-stackdiffblue/hw-cbmc:trans-netlist-explicit-stackCopy head branch name to clipboard