Relation between sref and sloc

I am trying to understand if the property `sref <= sloc` holds (where `<=` means subset of) and thus having `sloc & sref` in the definition of `mutordatom` is redundant.

If I think of `sref` and `sloc` as virtual an physical memory, I think the property should hold. However, it seems that on the device, `sref` can be [other things](https://registry.khronos.org/vulkan/specs/1.3/html/chap38.html#memory-model-references). Thus, I'm not completely sure if the property should also hold for those cases.

Beginne mit dem verlinkten Abschnitt zu den Vulkan-Speichermodellreferenzen und der Definition von mutordatom; vergleiche dann die Bedeutungen von sref und sloc für die dort beschriebenen Fälle. Als erledigt gilt die Aufgabe, wenn geklärt ist, ob sref immer eine Teilmenge von sloc ist, und dokumentiert ist, ob die Konjunktion redundant ist.

Vom Indexierungsmodell aus dem Issue-Text verfasst.