Adding extra information about invariant messages#2142

danpoe merged 2 commits intodiffblue:developdiffblue/cbmc:developfrom

thk123:docs/invariant-messagethk123/cbmc:docs/invariant-messageCopy head branch name to clipboard