skip optimization (that avoids evaluation of integer values) for integer heap variables with offset
skip optimization (that avoids evaluation of integer values) for integer heap variables with offset

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