Replace broken copy constructor with move constructor#1517

kroening merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

NathanJPhillips:bugfix/journaling-symbol-table-constructorNathanJPhillips/cbmc:bugfix/journaling-symbol-table-constructorCopy head branch name to clipboard