Apron: Both branches dead due to escaping local #1479
Description
In the course of #1417, I discovered a instance where both branches over a variable are dead:
[Error][Analyzer][Unsound] both branches over condition '! done' are dead (pianobar.c:9507:10-9507:16)
/home/goblint/michael-schwarz-dissertation/analyzer/goblint --conf /home/goblint/michael-schwarz-dissertation/analyzer/conf/traces-rel.json --set dbg.timeout 900 --set ana.activated[+] apron --set ana.path_sens[+] threadflag --set ana.relation.privatization mutex-meet-tid-cluster12 --set ana.base.privatization mutex-meet-tid pianobar.c --enable allglobs --enable dbg.timing.enabled --enable warn.debug -v