Fix --nondet-static-exclude to handle symbol names and report errors#8752

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

tautschnig:fix-8225-nondet-static-excludetautschnig/cbmc:fix-8225-nondet-static-excludeCopy head branch name to clipboard