Fix graphml output of concurrency witnesses#1511

kroening merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

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