Support reordered pointer operands in local_bitvector_analysis#8785

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

tautschnig:fix-2689-pointer-sum-opstautschnig/cbmc:fix-2689-pointer-sum-opsCopy head branch name to clipboard