Fix read_global in protection-based octApron priv when no local write exists
Fix read_global in protection-based octApron priv when no local write exists

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