Remove unused parameters in convert_with_*#2431

kroening merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:vs-withtautschnig/cbmc:vs-withCopy head branch name to clipboard