Add incremental sided restarting of removed start variables
Add incremental sided restarting of removed start variables

This is necessary to prune them, removing their warnings and spurious comparison with from scratch.

goblint/analyzer,goblint/analyzer,goblint/analyzer,goblint/analyzer,goblint/analyzer