Add Var cast on read
Add Var cast on read

This compensates for the removed int cast on write.
It is also consistent with existing Mem behavior which does this cast.

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