Make mine-lazy also distribute global initialization like mine-global
Make mine-lazy also distribute global initialization like mine-global

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