Fix bug with generating Values for pointers from runtime memory.
Fix bug with generating Values for pointers from runtime memory.

mheinsen/seec,seec-team/seec,seec-team/seec,seec-team/seec,seec-team/seec,mheinsen/seec,mheinsen/seec,seec-team/seec,mheinsen/seec,mheinsen/seec