Delete `string_constantt::get_value` and `string_constantt::set_value` functions#8003

kroening merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

NlightNFotis:delete_get_set_valueNlightNFotis/cbmc:delete_get_set_valueCopy head branch name to clipboard