ansi-c: more use of `conditional_keyword`#8625

kroening merged 1 commit intodevelopdiffblue/cbmc:developfrom

c-conditional-keyworddiffblue/cbmc:c-conditional-keywordCopy head branch name to clipboard