Catch out-of-memory exceptions during propositional reduction#8765

tautschnig merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:fix-727-better-oom-handlingtautschnig/cbmc:fix-727-better-oom-handlingCopy head branch name to clipboard