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.