Safety assumptions and adding memory address field to nested designators

The ''_designator_memory_address'' field is now set according to the memory address of nested designators. This makes identification of designators in a global context possible for logging mechanisms.