Revert "Destabilize start unknowns with changed abstract value"
Revert "Destabilize start unknowns with changed abstract value"

This reverts commit d30ceaa31b2980c9525d94e4df918ac78c8e8256.

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