- reified-slset->slset RSprocedure
Extract the slset (the plain list of symbols) from the reified slset RS, with any mutations done so far. Note that this list may be shared with the reified slset, so any mutations made to the list could invalidate the slset assumptions.