Use heterogeneous OctApronDomain for local domain via components
Use heterogeneous OctApronDomain for local domain via components

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