Move is_{true,false,zero,one} from `exprt` to `constant_exprt`#8664

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

tautschnig:constant_exprt-istautschnig/cbmc:constant_exprt-isCopy head branch name to clipboard