Add regression test where TD3 aborting with self-dependency and fixed switch to Narrow is unsound
Add regression test where TD3 aborting with self-dependency and fixed switch to Narrow is unsound

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