Add broken protection-based octApron read_global not restricting local enough
Add broken protection-based octApron read_global not restricting local enough

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