Remove dynamic_cast from bv_dimacst#8406

kroening merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

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