Fix invalid assumptions and invariants in GraphML witness generation#8802

tautschnig merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:fix-5264-graphmltautschnig/cbmc:fix-5264-graphmlCopy head branch name to clipboard