Fix TD3 abort to not reuse aborted rhs for narrowing switch optimization
Fix TD3 abort to not reuse aborted rhs for narrowing switch optimization

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