Fix invalid assumptions and invariants in GraphML witness generation#8802
Draft
tautschnig wants to merge 1 commit intodiffblue:developfrom
Draft
Fix invalid assumptions and invariants in GraphML witness generation#8802tautschnig wants to merge 1 commit intodiffblue:developfrom
tautschnig wants to merge 1 commit intodiffblue:developfrom
