Remove global invariant component from octApron mutex-meet local state
Remove global invariant component from octApron mutex-meet local state

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