Add possible workaround for initial global values with mutex-meet
Add possible workaround for initial global values with mutex-meet

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