Promote set_all_frozen to decision_proceduret to remove a dynamic_cast#8404

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

tautschnig:freeze-no-dynamic_casttautschnig/cbmc:freeze-no-dynamic_castCopy head branch name to clipboard