maul.esel

I added some tests, hope they're ok. Otherwise let me know. I also added a short test for `concat(list, list);` and so far it seems to work. What part exactly...

I ran the SV-COMP Concurrency benchmarks on commits 0612a5f3 (before `hashJenkins`) and 39023316 (after `hashJenkins`). The results can be found [here](https://struebli.informatik.uni-freiburg.de/logs/student-concurrency/concurrency.2022-09-20_20-14-50/results.2022-09-21_13-45-46.table.html) and do show as significant a difference.

OK, I've investigated one of the benchmarks further (`weaver/parallel-min-max-1`). The hash code changes seem to affect both the **number of iterations** and the time spent per iteration. I tested all...

The different numbers of iterations seem to suggest that some code, perhaps in the unfolding & selection of counterexamples, is iterating over a `HashSet` of events or conditions, perhaps? I'll...

OK, one problem is that `PetriNetUnfolder::constructRun(Event, ConditionMarking)` iterates over `event.getPredecessorConditions()`, which is a `HashSet` and thus the iteration order depends on the hash codes. As a result, different counterexamples are...

LTLAutomizer has troubles with inlining, because it ignores all steps within the procedures `ULTIMATE.init` and `ULTIMATE.start`. Inlining results in a program where all code is inlined into one of these...

**Attention:** the FormsFramework version in my repo is not (yet) AHK_L, compatible, I just started to convert it!

In its current form, the PR * fixes a known bug with constants in internal statements * refactors and simplifies the code (though more could be done, especially for calls...

Hi! Did you follow the setup instructions in [our wiki](https://github.com/ultimate-pa/ultimate/wiki/Installation) and install the tools mentioned there? And if so, did you encounter problems with any of the steps?

* Which projects are affected? I.e., which projects are missing the lexer and parser files? * If you do a clean rebuild of one such project (and only that one),...