Use boolean_negate for immediate simplification#8449

tautschnig merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:use-boolean_negatetautschnig/cbmc:use-boolean_negateCopy head branch name to clipboard