CBMC checking of some "A/G, Contracts, Pattern" generates a new copy of the project
When verifying some “A/G, Contracts, Pattern” with CMBC, a copy of the verified project is made in the navigator (as soon as the check button is clicked).
Note: this happens only if CBMC is selected as the checker, not for NuSMV.
(from redmine: issue id 1903, created on 2014-01-24, closed on 2014-02-13)