Support SV-COMP's __VERIFIER_atomic_{begin,end}#13

kroening merged 1 commit intodiffblue:masterdiffblue/cbmc:masterfrom

tautschnig:sv-comp-verifier-atomictautschnig/cbmc:sv-comp-verifier-atomicCopy head branch name to clipboard