Bug fix: restore solver state after simpligivation.
Clean-up warnings.
Add another example that should work.