Correctly determine equivalent expression for pointer accesses
Correctly determine equivalent expression for pointer accesses

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