Partial-order concurrency: Remove unused parameter#2438

kroening merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:vs-partialtautschnig/cbmc:vs-partialCopy head branch name to clipboard