No-assertions should not affect assertions in built-ins#681

kroening merged 3 commits intodiffblue:masterdiffblue/cbmc:masterfrom

peterschrammel:no-assertions-for-user-onlypeterschrammel/cbmc:no-assertions-for-user-onlyCopy head branch name to clipboard