Fix: Error wording closer to semantics#676

shazqadeer merged 14 commits intomasterboogie-org/boogie:masterfrom

fix-3216-could-not-proveboogie-org/boogie:fix-3216-could-not-proveCopy head branch name to clipboard