Remove unused identifier#1429

kroening merged 2 commits intodiffblue:developdiffblue/cbmc:developfrom

janmroczkowski:janmroczkowski/unified_difft-remove-unused-identifierjanmroczkowski/cbmc:janmroczkowski/unified_difft-remove-unused-identifierCopy head branch name to clipboard