Fix incorrect interval equality in VSD analysis#8936

tautschnig wants to merge 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:fix-6323-vsd-intervalstautschnig/cbmc:fix-6323-vsd-intervalsCopy head branch name to clipboard