fix the description of some assertions for ACSL operators#6437

kroening merged 1 commit intodevelopdiffblue/cbmc:developfrom

fix_operators_c_testdiffblue/cbmc:fix_operators_c_testCopy head branch name to clipboard