Fix protection-based octApron write_global not restricting local enough
Fix protection-based octApron write_global not restricting local enough

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