Incorrect fix of failed refinement
Before for CPAchecker_files.zip CPAchecker failed with exception ("Error: Refinement failed: Counterexample could not be ruled out and was found again"). Now it proves safety incorrectly. From my point of view the issue is quite crucial.