Implement initial write_global in protection-based octApron priv
Implement initial write_global in protection-based octApron priv

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