Base.set: Do not eval global integral variable when not used in invariant, and when it is not an allocated block.
Base.set: Do not eval global integral variable when not used in invariant, and when it is not an allocated block.

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