-\State $de_{r_{cr}} \gets de_s$ \textit{such that} $de_s \in DE_s, \r
- de_s \in D \land de_s = cr \land de_s \neq de_{cr}$\r
-\If{$de_{r_{cr}} \neq \emptyset$}\r
- \State $\tuple{s_{r_{ret}},id_{r_{ret}}} \gets GetCR(de_{r_{cr}})$\r
-\Else\r
- \State $\tuple{s_{r_{ret}},id_{r_{ret}}} \r
- \gets \emptyset$\r
-\EndIf\r
-\State \Return{$\{\tuple{s_{ret},id_{ret}},\tuple{s_{r_{ret}},id_{r_{ret}}}\}$}\r
+%\State $de_{r_{cr}} \gets de_s$ \textit{such that} $de_s \in DE_s, \r
+% de_s \in D \land de_s = cr \land de_s \neq de_{cr}$\r
+%\If{$de_{r_{cr}} \neq \emptyset$}\r
+% \State $\tuple{s_{r_{ret}},id_{r_{ret}}} \gets GetCR(de_{r_{cr}})$\r
+%\Else\r
+% \State $\tuple{s_{r_{ret}},id_{r_{ret}}} \r
+% \gets \emptyset$\r
+%\EndIf\r
+%\State \Return{$\{\tuple{s_{ret},id_{ret}},\tuple{s_{r_{ret}},id_{r_{ret}}}\}$}\r
+\State \Return{$\{\tuple{s_{ret},id_{ret}}\}$}\r