In ResultStateRecorderForStaticInternalObject, only add a known memory region if one does not already exist at the given address, because the size of the internal object should not change.
In ResultStateRecorderForStaticInternalObject, only add a known memory region if one does not already exist at the given address, because the size of the internal object should not change.

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