Push new rclosed through ret_lemmas
Push through new RC condition