Fix unsound wpoint restart in TD3 by using non-outdated old value
Fix unsound wpoint restart in TD3 by using non-outdated old value

Since wpoint restart changes `HM.find rho x` during `eq`,
the following non-equality check should use the new value,
not the old outdated one.

The TD3 paper does the comparison using the non-cached value anyway.

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