Fix count-trailing-zeros lowering for value zero#6703

tautschnig merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:bugfixes/6702-ctztautschnig/cbmc:bugfixes/6702-ctzCopy head branch name to clipboard