Minimal incremental restarting of sided variables #543
Description
It was discussed during GobCon that a minimal sided variable restarting could also be possible, as opposed to doing it transitively during destabilize_with_side. Since you already discussed this on the Munich side and probably have a better idea how it should work/help, I'd leave it up to you.