Creating this to get some help. I'll try to create some eleventh hour workaround, and then maybe we can fix this for real.

• But first, I wanted to add some strncat or something and realized that strcat is already there but different from strcpy. I think the first argument is the destination for both, but it might be worth checking this because it is wrong in master as well.
• About what goes wrong inside goblint that triggers lots of dead code. At the core of it is the bot-initialization of mallocs, but we do at least some stuff that would avoid unsoundness, so I'm not completely sure what in this example is really the culprit because almost all simplifications of this example and test no longer fails. (It's even possible that the program is wrong...)