[DO NOT MERGE] Preprocessing of cassert to debug AppVeyor failure#2339

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

tautschnig:cassert-debuggingtautschnig/cbmc:cassert-debuggingCopy head branch name to clipboard