introduce `zero_expr()` and `one_expr()` for number types#8441

kroening merged 1 commit intodevelopdiffblue/cbmc:developfrom

zero_exprdiffblue/cbmc:zero_exprCopy head branch name to clipboard