Recognizing pro-𝖱 closures of regular languages