Value-set supported simplifier: add object_size, is_invalid_pointer#8704

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

tautschnig:simp-more-predicatestautschnig/cbmc:simp-more-predicatesCopy head branch name to clipboard