Cleanup of pointer-in-range predicate handling#7459

kroening merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:cleanup/pointer-in-rangetautschnig/cbmc:cleanup/pointer-in-rangeCopy head branch name to clipboard