Add correct behaviour for undefined values

Don't just set them to be 0
Add interface to check for memory access errors

Also implement it in the snow memory model (TODO: Not all kinds of memory access errors implemented yet.).
Handle more stuff in the snow memory model
Include global variables in the debug output
Merge nodes must consider the whole call-stack as input variables
Change the handling of initial updates in snow memory model