Make sure that `naive_solver` does not create any new evars on leafs.

This fixes issue #163 (closed).

This is quite regression prone, so would be good to have a CI run on all reverse dependencies.

mentioned in merge request !448 (merged)

added 31 commits

• 6462fa7c...46e72edb - 28 commits from branch master
• ab1c4c33 - Make sure that `naive_solver` does not create any new evars on leafs.
• c25d0657 - Test.
• daabbc9a - CHANGELOG.

Compare with previous version

resolved all threads

I think this MR is ready. We can continue bikeshedding about no_new_unresolved_evars in !448 (merged)

enabled an automatic merge when the pipeline for daabbc9a succeeds

merged

mentioned in commit 38fd58f4

mentioned in commit dimsum@dda1d721

mentioned in issue #174