fixup! Merge branch 'sv-comp' of https://github.com/sim642/goblint into sv-comp
fixup! Merge branch 'sv-comp' of https://github.com/sim642/goblint into sv-comp

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