Remove deprecated set_attribute calls from static_verifier.cpp#8920

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

tautschnig:fix-8027-set_attributetautschnig/cbmc:fix-8027-set_attributeCopy head branch name to clipboard