Add variable splitting workaround for verify incompleteness
Add variable splitting workaround for verify incompleteness

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