Use null check annotation everywhere#1229

smowton merged 3 commits intodiffblue:test-gen-supportdiffblue/cbmc:test-gen-supportfrom

smowton:smowton/feature/use_null_check_annotation_everywheresmowton/cbmc:smowton/feature/use_null_check_annotation_everywhereCopy head branch name to clipboard