we should never lose information for globals when going MT -> publish no matter if private or not -> fixes deadcode problems
we should never lose information for globals when going MT
-> publish no matter if private or not
-> fixes deadcode problems

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