Remove unused parameter criteria#2465

tautschnig merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:vs-criteriatautschnig/cbmc:vs-criteriaCopy head branch name to clipboard