Option to only destabilize access globals (instead of following all side-effects) after re-setting them to bottom#721

sim642 merged 4 commits intointeractivegoblint/analyzer:interactivefrom

access_restartgoblint/analyzer:access_restartCopy head branch name to clipboard