Updated language use in cbmc-assertions.md#3534

tautschnig merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

edstenson:review_assertion_checkingedstenson/cbmc:review_assertion_checkingCopy head branch name to clipboard