Changes from CPAchecker 4.2.1 to CPAchecker 4.2.2
-------------------------------------------------
* Fix unintended export of witnesses in v2 format in SV-COMP'26 config
  for cases where the format is not defined yet.