Fix concurrent traces generated via --trace#697

kroening merged 1 commit intodiffblue:masterdiffblue/cbmc:masterfrom

tautschnig:concurrency-tracetautschnig/cbmc:concurrency-traceCopy head branch name to clipboard