Fix aborting of branching loop bodies using destabilization front
Fix aborting of branching loop bodies using destabilization front

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