Change PerGlobalPriv2 to not modify local state in read_global
Change PerGlobalPriv2 to not modify local state in read_global

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