Weaken RC init to take reach-closure in m