Class SideEffectTagger.UniqueRWSets