keep only private globals in local state for funcion if earlyglobs/multi
keep only private globals in local state for funcion if earlyglobs/multi

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