Nils Adermann 6b2edeae56 Fix solver problem exceptions with unexpected contradictory "Conclusions" vor 6 Jahren
..
Test 6b2edeae56 Fix solver problem exceptions with unexpected contradictory "Conclusions" vor 6 Jahren