Perform simplification of not_exprt as preorder step#7996

tautschnig wants to merge 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:simplify-not-preordertautschnig/cbmc:simplify-not-preorderCopy head branch name to clipboard