TODO: fix result output for branches with complex conditions -> join all CIL lines that map to the same line
TODO: fix result output for branches with complex conditions
-> join all CIL lines that map to the same line

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