diff --git a/typechecking/solutions/jetbrains.mps.lang.typesystem2.samplechecker/models/jetbrains/mps/lang/typesystem2/samplechecker/template.mps b/typechecking/solutions/jetbrains.mps.lang.typesystem2.samplechecker/models/jetbrains/mps/lang/typesystem2/samplechecker/template.mps
index 50c74161..37f8cbc7 100644
--- a/typechecking/solutions/jetbrains.mps.lang.typesystem2.samplechecker/models/jetbrains/mps/lang/typesystem2/samplechecker/template.mps
+++ b/typechecking/solutions/jetbrains.mps.lang.typesystem2.samplechecker/models/jetbrains/mps/lang/typesystem2/samplechecker/template.mps
@@ -5686,21 +5686,10 @@
               </node>
             </node>
           </node>
-          <node concept="3Aqczg" id="13kcg0CWP0" role="3cqZAp">
-            <node concept="3Aqt3T" id="13kcg0CWOW" role="3Aqpz8">
-              <ref role="3AqCNq" node="13kcg0CRYw" resolve="capture" />
-              <node concept="a7P8L" id="13kcg0CX$R" role="3AunhB">
-                <ref role="a7OzE" node="13kcg0CWlY" resolve="RetTypeCap" />
-              </node>
-              <node concept="a7P8L" id="13kcg0CX$Z" role="3AunhB">
-                <ref role="a7OzE" node="5nh5pPDxqe7" resolve="RetType" />
-              </node>
-            </node>
-          </node>
           <node concept="3Aqczg" id="5nh5pPDxpUC" role="3cqZAp">
             <node concept="3XxkQB" id="5nh5pPDxpUD" role="3Aqpz8">
-              <node concept="a7P8L" id="13kcg0CX_5" role="3Xxm5W">
-                <ref role="a7OzE" node="13kcg0CWlY" resolve="RetTypeCap" />
+              <node concept="a7P8L" id="y6Wqj8Y8ML" role="3Xxm5W">
+                <ref role="a7OzE" node="5nh5pPDxqe7" resolve="RetType" />
               </node>
               <node concept="aYllk" id="5nh5pPDxpUF" role="3XxmmS">
                 <node concept="3A2sRY" id="3m6K8XLcIcN" role="aYrYs">
@@ -5817,21 +5806,10 @@
               </node>
             </node>
           </node>
-          <node concept="3Aqczg" id="13kcg0CYbh" role="3cqZAp">
-            <node concept="3Aqt3T" id="13kcg0CYbd" role="3Aqpz8">
-              <ref role="3AqCNq" node="13kcg0CRYw" resolve="capture" />
-              <node concept="a7P8L" id="13kcg0CYre" role="3AunhB">
-                <ref role="a7OzE" node="13kcg0CXO4" resolve="RetTypeCap" />
-              </node>
-              <node concept="a7P8L" id="13kcg0CYrk" role="3AunhB">
-                <ref role="a7OzE" node="3m6K8XLcIcU" resolve="RetType" />
-              </node>
-            </node>
-          </node>
           <node concept="3Aqczg" id="3m6K8XLcId8" role="3cqZAp">
             <node concept="3XxkQB" id="3m6K8XLcId9" role="3Aqpz8">
-              <node concept="a7P8L" id="13kcg0CYEp" role="3Xxm5W">
-                <ref role="a7OzE" node="13kcg0CXO4" resolve="RetTypeCap" />
+              <node concept="a7P8L" id="y6Wqj8Y9dr" role="3Xxm5W">
+                <ref role="a7OzE" node="3m6K8XLcIcU" resolve="RetType" />
               </node>
               <node concept="aYllk" id="3m6K8XLcIdb" role="3XxmmS">
                 <node concept="3A2sRY" id="3m6K8XLcKsq" role="aYrYs">