DFCC: do not surface confusing warning#8694

tautschnig merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:dfcc-generate-no-warntautschnig/cbmc:dfcc-generate-no-warnCopy head branch name to clipboard