Non-termination Witnesses in Format 2.1 for ASE 2025 Article `Non-termination Witnesses and Their Validation'

Non-termination witnesses in witness format 2.1 for programs Ex02.c and nonterminating-loop.c. These witnesses were contributed as part of the following research paper: Non-termination Witnesses and Their Validation.by Zs. Ádám, P. Ayaziová, L. Bajczi, D. Beyer, M. Jankola, M. Lingsch-Rosenfeld, and J. Strejček.Proc. ASE. IEEE (2025). Also available in the SV-Benchmarks repository: https://gitlab.com/sosy-lab/benchmarking/sv-benchmarks/-/merge_requests/1634