Use stable data structure for BV refinement approximations#1621

kroening merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:fix-1620tautschnig/cbmc:fix-1620Copy head branch name to clipboard