Change the "no assigns..." and "no decreases..." warnings to higher verbosity#8655

kroening merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

rod-chapman:less_verbose_contract_warningsrod-chapman/cbmc:less_verbose_contract_warningsCopy head branch name to clipboard