Add new solver with loc.widening+restart
Add support for keeping influences in the solve function.

It improves precision when coupled with localized widening.
Keep influence items by default with the loc. widening solver