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

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