Deprecate make_and in favour of conjunction(expr, expr)#8450

tautschnig merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:no-make_andtautschnig/cbmc:no-make_andCopy head branch name to clipboard