Change "violated assumption" to "assumption" in trace#2511

tautschnig merged 2 commits intodiffblue:developdiffblue/cbmc:developfrom

polgreen:fix_trace_wordingpolgreen/cbmc:fix_trace_wordingCopy head branch name to clipboard