Extract TD3 destabilize to ref to hackily make reluctant solve use restarting
Extract TD3 destabilize to ref to hackily make reluctant solve use restarting

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