Fixed scope of moved symbol#1559

smowton merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

NathanJPhillips:bugfix/variable-scopeNathanJPhillips/cbmc:bugfix/variable-scopeCopy head branch name to clipboard