Extra fix to unified_difft::lcss to not error on iterator check#1662

tautschnig merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

janmroczkowski:janmroczkowski/unified_difft-iterator-check-fix-morejanmroczkowski/cbmc:janmroczkowski/unified_difft-iterator-check-fix-moreCopy head branch name to clipboard