Octagon: Fix problem where global vars were included in constraints
Octagon: Fix problem where global vars were included in constraints

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