use `zero_extend_exprt` in SMT2 front-end#8493

kroening merged 1 commit intodevelopdiffblue/cbmc:developfrom

zero-extend-smt2diffblue/cbmc:zero-extend-smt2Copy head branch name to clipboard