td3: let destabilize return if a start var was destabilized
td3: let destabilize return if a start var was destabilized

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