Avoid unncessary signed/unsigned conversion#2545

tautschnig merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:vs-unnecessarytautschnig/cbmc:vs-unnecessaryCopy head branch name to clipboard