Fixed: read/write sets must be init(ed) on every call to select