Klever

Thanks to recent changes in CPAchecker it does not erroneously support recursion in configuration "-ldv-bam" (#9583). Unfortunately, some our tests use recursion although they do not need it actually. The generic rule is that tests should be simple to avoid interference with complex issues.