[Civl] Change failure preservation check#1013

shazqadeer merged 5 commits intomasterboogie-org/boogie:masterfrom

change-mover-checkboogie-org/boogie:change-mover-checkCopy head branch name to clipboard