From 76504f93217024e455751d01bf09c0034f7690ca Mon Sep 17 00:00:00 2001
From: "Mihail.Buryakov" <Mihail.Buryakov@jetbrains.com>
Date: Mon, 24 Aug 2015 13:19:46 +0200
Subject: [PATCH] discard check constraint for MethodDeclaration

---
 .../typesystem2/samplechecker/template.mps    | 409 +++++++++---------
 1 file changed, 214 insertions(+), 195 deletions(-)

diff --git a/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.samplechecker/models/jetbrains/mps/lang/typesystem2/samplechecker/template.mps b/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.samplechecker/models/jetbrains/mps/lang/typesystem2/samplechecker/template.mps
index e4ad3da9..cffc3623 100644
--- a/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.samplechecker/models/jetbrains/mps/lang/typesystem2/samplechecker/template.mps
+++ b/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.samplechecker/models/jetbrains/mps/lang/typesystem2/samplechecker/template.mps
@@ -3707,12 +3707,6 @@
     </node>
     <node concept="AVZhu" id="6qJjpCjoNmg" role="3ArX_J">
       <property role="TrG5h" value="checkBaseMethodDeclaration" />
-      <node concept="2t___k" id="5NuEpF1jvVI" role="2t_S9L">
-        <ref role="2t_S0q" to="tpee:fzclF7W" resolve="BaseMethodDeclaration" />
-        <node concept="3A20r5" id="6qJjpCjoNmh" role="2t_VXX">
-          <property role="TrG5h" value="bmd" />
-        </node>
-      </node>
       <node concept="cBwPQ" id="tIwzd1SxsI" role="3o$oQL">
         <node concept="3clFbS" id="tIwzd1SxsJ" role="16YjZG">
           <node concept="3clFbF" id="77AxcO4PY5M" role="3cqZAp">
@@ -3748,6 +3742,12 @@
           </node>
         </node>
       </node>
+      <node concept="2t___k" id="5NuEpF1jvVI" role="2t_S9L">
+        <ref role="2t_S0q" to="tpee:fzclF7W" resolve="BaseMethodDeclaration" />
+        <node concept="3A20r5" id="6qJjpCjoNmh" role="2t_VXX">
+          <property role="TrG5h" value="bmd" />
+        </node>
+      </node>
       <node concept="3Aq93q" id="6qJjpCjoNmi" role="3orSU4">
         <property role="3ArMco" value="true" />
         <node concept="3clFbS" id="6qJjpCjoNmj" role="3Aqf5P">
@@ -10318,20 +10318,13 @@
     <property role="3GE5qa" value="code" />
     <node concept="AVZhu" id="7t5VLKGTNCp" role="3ArX_J">
       <property role="TrG5h" value="methodDeclaration" />
-      <node concept="cBwPQ" id="7t5VLKH4wk3" role="3o$oQL">
-        <node concept="3clFbS" id="7t5VLKH4wk4" role="16YjZG">
-          <node concept="3clFbF" id="7t5VLKH4x2C" role="3cqZAp">
-            <node concept="2OqwBi" id="7t5VLKH4xuS" role="3clFbG">
-              <node concept="39rIew" id="4EfgX2EGUPV" role="2Oq$k0">
-                <ref role="39rHqR" node="7t5VLKGTNCS" resolve="retExpr" />
-              </node>
-              <node concept="3GX2aA" id="7t5VLKH4FCv" role="2OqNvi" />
-            </node>
-          </node>
-        </node>
-      </node>
       <node concept="2caHhw" id="7t5VLKGTNCQ" role="2ca0$_">
         <node concept="3clFbS" id="7t5VLKGTNCR" role="16YjZG">
+          <node concept="3SKdUt" id="7dgRGU4kYix" role="3cqZAp">
+            <node concept="3SKdUq" id="7dgRGU4kYk4" role="3SKWNk">
+              <property role="3SKdUp" value="todo: using descendants is an ugly hack" />
+            </node>
+          </node>
           <node concept="3cpWs8" id="7t5VLKGTYGq" role="3cqZAp">
             <node concept="3cpWsn" id="7t5VLKGTYGr" role="3cpWs9">
               <property role="TrG5h" value="rets" />
@@ -10363,6 +10356,9 @@
                       <node concept="3gn64h" id="7t5VLKGTYGA" role="hTh3Z">
                         <ref role="3gnhBz" to="tpee:hcYeOiq" resolve="AnonymousClassCreator" />
                       </node>
+                      <node concept="3gn64h" id="7dgRGU4muPU" role="hTh3Z">
+                        <ref role="3gnhBz" to="tpck:4uZwTti3_$T" resolve="Attribute" />
+                      </node>
                     </node>
                   </node>
                 </node>
@@ -10567,217 +10563,240 @@
       </node>
       <node concept="3Aq9E8" id="7t5VLKGTNCq" role="3otmyu">
         <node concept="3clFbS" id="7t5VLKGTNCr" role="3Aqf5P">
-          <node concept="3X$Joe" id="4EfgX2EFWd4" role="3cqZAp">
-            <node concept="aZer4" id="4EfgX2EFWN9" role="3XD1gS">
-              <property role="TrG5h" value="Inferred" />
-            </node>
-            <node concept="aZer4" id="4EfgX2EGdUV" role="3XD1gS">
-              <property role="TrG5h" value="Declared" />
-            </node>
-          </node>
-          <node concept="3clFbF" id="4EfgX2EG7eV" role="3cqZAp">
-            <node concept="2YIFZM" id="4EfgX2EGKea" role="3clFbG">
-              <ref role="37wK5l" node="7mm1a3qNU4M" resolve="newType_recursive_pattern" />
-              <ref role="1Pybhc" node="bNMVLgEtTD" resolve="TypeConstraintUtil" />
-              <node concept="3A9UF8" id="4EfgX2EGKeb" role="37wK5m">
-                <node concept="a7P8L" id="4EfgX2EGKec" role="3A9W3M">
-                  <ref role="a7OzE" node="4EfgX2EGdUV" resolve="Declared" />
+          <node concept="3clFbJ" id="7dgRGU4iKyJ" role="3cqZAp">
+            <node concept="3clFbS" id="7dgRGU4iKyL" role="3clFbx">
+              <node concept="3SKdUt" id="7dgRGU4jveq" role="3cqZAp">
+                <node concept="3SKdUq" id="7dgRGU4jvey" role="3SKWNk">
+                  <property role="3SKdUp" value="no return statements" />
                 </node>
               </node>
-              <node concept="2OqwBi" id="4EfgX2EGKed" role="37wK5m">
-                <node concept="3A2sRY" id="4EfgX2EGKee" role="2Oq$k0">
-                  <ref role="3A2yKK" node="1ffsG7bsOze" resolve="bmd" />
+              <node concept="3SKdUt" id="4EfgX2EG2qx" role="3cqZAp">
+                <node concept="3SKdUq" id="4EfgX2EG2Yr" role="3SKWNk">
+                  <property role="3SKdUp" value="TODO: what about missing return expression?" />
                 </node>
-                <node concept="3TrEf2" id="1ffsG7bsQJQ" role="2OqNvi">
-                  <ref role="3Tt5mk" to="tpee:fzclF7X" />
+              </node>
+              <node concept="3Aqczg" id="7dgRGU4iNIZ" role="3cqZAp">
+                <node concept="3wWvb2" id="7dgRGU4iNIY" role="3Aqpz8">
+                  <node concept="3clFbT" id="7dgRGU4iNIX" role="3wWo3s">
+                    <property role="3clFbU" value="true" />
+                  </node>
                 </node>
               </node>
             </node>
-          </node>
-          <node concept="3clFbH" id="4EfgX2EFWNb" role="3cqZAp" />
-          <node concept="3clFbJ" id="4EfgX2EFzOm" role="3cqZAp">
-            <node concept="3clFbS" id="4EfgX2EFzOo" role="3clFbx">
-              <node concept="3X$Joe" id="4EfgX2EFs84" role="3cqZAp">
-                <node concept="aZer4" id="4EfgX2EFs8J" role="3XD1gS">
-                  <property role="TrG5h" value="Lub" />
-                  <node concept="aYllk" id="4EfgX2EFs8M" role="aZjLW">
-                    <node concept="2OqwBi" id="4EfgX2EFs_3" role="aYrYs">
-                      <node concept="34oBXx" id="4EfgX2EFwdR" role="2OqNvi" />
-                      <node concept="39rIew" id="4EfgX2EGYEH" role="2Oq$k0">
-                        <ref role="39rHqR" node="7t5VLKGTNCS" resolve="retExpr" />
+            <node concept="2OqwBi" id="7dgRGU4iLQ4" role="3clFbw">
+              <node concept="39rIew" id="7dgRGU4iLh3" role="2Oq$k0">
+                <ref role="39rHqR" node="7t5VLKGTNCS" resolve="retExpr" />
+              </node>
+              <node concept="1v1jN8" id="7dgRGU4iNIf" role="2OqNvi" />
+            </node>
+            <node concept="9aQIb" id="7dgRGU4jt0S" role="9aQIa">
+              <node concept="3clFbS" id="7dgRGU4jt0T" role="9aQI4">
+                <node concept="3X$Joe" id="4EfgX2EFWd4" role="3cqZAp">
+                  <node concept="aZer4" id="4EfgX2EFWN9" role="3XD1gS">
+                    <property role="TrG5h" value="Inferred" />
+                  </node>
+                  <node concept="aZer4" id="4EfgX2EGdUV" role="3XD1gS">
+                    <property role="TrG5h" value="Declared" />
+                  </node>
+                </node>
+                <node concept="3clFbF" id="4EfgX2EG7eV" role="3cqZAp">
+                  <node concept="2YIFZM" id="4EfgX2EGKea" role="3clFbG">
+                    <ref role="1Pybhc" node="bNMVLgEtTD" resolve="TypeConstraintUtil" />
+                    <ref role="37wK5l" node="7mm1a3qNU4M" resolve="newType_recursive_pattern" />
+                    <node concept="3A9UF8" id="4EfgX2EGKeb" role="37wK5m">
+                      <node concept="a7P8L" id="4EfgX2EGKec" role="3A9W3M">
+                        <ref role="a7OzE" node="4EfgX2EGdUV" resolve="Declared" />
+                      </node>
+                    </node>
+                    <node concept="2OqwBi" id="4EfgX2EGKed" role="37wK5m">
+                      <node concept="3A2sRY" id="4EfgX2EGKee" role="2Oq$k0">
+                        <ref role="3A2yKK" node="1ffsG7bsOze" resolve="bmd" />
+                      </node>
+                      <node concept="3TrEf2" id="1ffsG7bsQJQ" role="2OqNvi">
+                        <ref role="3Tt5mk" to="tpee:fzclF7X" />
                       </node>
                     </node>
                   </node>
                 </node>
-              </node>
-              <node concept="3Aqczg" id="5SPO52V$9aq" role="3cqZAp">
-                <node concept="3A8Hvi" id="5SPO52V$9ak" role="3Aqpz8">
-                  <node concept="a7P8L" id="5SPO52V$9cc" role="3A8w4Q">
-                    <ref role="a7OzE" node="7t5VLKGUb$a" resolve="RetExprType" />
-                    <node concept="aYllk" id="5SPO52V$9cG" role="aYIAd">
-                      <node concept="2OqwBi" id="5SPO52V$9cX" role="aYrYs">
-                        <node concept="34oBXx" id="5SPO52V$9cY" role="2OqNvi" />
-                        <node concept="39rIew" id="5SPO52V$9cZ" role="2Oq$k0">
-                          <ref role="39rHqR" node="7t5VLKGTNCS" resolve="retExpr" />
-                        </node>
-                      </node>
-                    </node>
-                  </node>
-                  <node concept="a7P8L" id="5SPO52V$9ba" role="3A8wtg">
-                    <ref role="a7OzE" node="4EfgX2EFs8J" resolve="Lub" />
-                    <node concept="aYllk" id="5SPO52V$9bb" role="aYIAd">
-                      <node concept="2OqwBi" id="5SPO52V$9bn" role="aYrYs">
-                        <node concept="34oBXx" id="5SPO52V$9bo" role="2OqNvi" />
-                        <node concept="39rIew" id="5SPO52V$9bp" role="2Oq$k0">
-                          <ref role="39rHqR" node="7t5VLKGTNCS" resolve="retExpr" />
-                        </node>
-                      </node>
-                    </node>
-                  </node>
-                </node>
-              </node>
-              <node concept="3clFbH" id="5SPO52V$9dM" role="3cqZAp" />
-              <node concept="1Dw8fO" id="7t5VLKGUk69" role="3cqZAp">
-                <node concept="3clFbS" id="7t5VLKGUk6b" role="2LFqv$">
-                  <node concept="3Aqczg" id="6BU$YTNGUZ8" role="3cqZAp">
-                    <node concept="3Aqt3T" id="6BU$YTNGUZH" role="3Aqpz8">
-                      <ref role="3AqCNq" node="2q0gzCFHesp" resolve="lub" />
-                      <node concept="a7P8L" id="6BU$YTNGV4K" role="3AunhB">
-                        <ref role="a7OzE" node="4EfgX2EFs8J" resolve="Lub" />
-                        <node concept="aYllk" id="6BU$YTNGV4L" role="aYIAd">
-                          <node concept="37vLTw" id="6BU$YTNGV4M" role="aYrYs">
-                            <ref role="3cqZAo" node="7t5VLKGUk6c" resolve="i" />
+                <node concept="3clFbH" id="4EfgX2EFWNb" role="3cqZAp" />
+                <node concept="3clFbJ" id="4EfgX2EFzOm" role="3cqZAp">
+                  <node concept="9aQIb" id="4EfgX2EFGNm" role="9aQIa">
+                    <node concept="3clFbS" id="4EfgX2EFGNn" role="9aQI4">
+                      <node concept="3Aqczg" id="4EfgX2EFZAj" role="3cqZAp">
+                        <node concept="3A8Hvi" id="4EfgX2EFZAo" role="3Aqpz8">
+                          <node concept="a7P8L" id="4EfgX2EFZA$" role="3A8w4Q">
+                            <ref role="a7OzE" node="7t5VLKGUb$a" resolve="RetExprType" />
+                            <node concept="aYllk" id="4EfgX2EFZAH" role="aYIAd">
+                              <node concept="3cmrfG" id="4EfgX2EFZAL" role="aYrYs">
+                                <property role="3cmrfH" value="1" />
+                              </node>
+                            </node>
+                          </node>
+                          <node concept="a7P8L" id="4EfgX2EFZAx" role="3A8wtg">
+                            <ref role="a7OzE" node="4EfgX2EFWN9" resolve="Inferred" />
                           </node>
                         </node>
                       </node>
-                      <node concept="a7P8L" id="6BU$YTNHXF8" role="3AunhB">
-                        <ref role="a7OzE" node="7t5VLKGUb$a" resolve="RetExprType" />
-                        <node concept="aYllk" id="6BU$YTNHXF9" role="aYIAd">
-                          <node concept="37vLTw" id="6BU$YTNHXFa" role="aYrYs">
-                            <ref role="3cqZAo" node="7t5VLKGUk6c" resolve="i" />
+                    </node>
+                  </node>
+                  <node concept="3clFbS" id="4EfgX2EFzOo" role="3clFbx">
+                    <node concept="3X$Joe" id="4EfgX2EFs84" role="3cqZAp">
+                      <node concept="aZer4" id="4EfgX2EFs8J" role="3XD1gS">
+                        <property role="TrG5h" value="Lub" />
+                        <node concept="aYllk" id="4EfgX2EFs8M" role="aZjLW">
+                          <node concept="2OqwBi" id="4EfgX2EFs_3" role="aYrYs">
+                            <node concept="34oBXx" id="4EfgX2EFwdR" role="2OqNvi" />
+                            <node concept="39rIew" id="4EfgX2EGYEH" role="2Oq$k0">
+                              <ref role="39rHqR" node="7t5VLKGTNCS" resolve="retExpr" />
+                            </node>
                           </node>
                         </node>
                       </node>
-                      <node concept="a7P8L" id="6BU$YTNHXFJ" role="3AunhB">
-                        <ref role="a7OzE" node="4EfgX2EFs8J" resolve="Lub" />
-                        <node concept="aYllk" id="6BU$YTNHXFK" role="aYIAd">
-                          <node concept="3cpWs3" id="6BU$YTNHXFL" role="aYrYs">
-                            <node concept="3cmrfG" id="6BU$YTNHXFM" role="3uHU7w">
+                    </node>
+                    <node concept="3Aqczg" id="5SPO52V$9aq" role="3cqZAp">
+                      <node concept="3A8Hvi" id="5SPO52V$9ak" role="3Aqpz8">
+                        <node concept="a7P8L" id="5SPO52V$9cc" role="3A8w4Q">
+                          <ref role="a7OzE" node="7t5VLKGUb$a" resolve="RetExprType" />
+                          <node concept="aYllk" id="5SPO52V$9cG" role="aYIAd">
+                            <node concept="2OqwBi" id="5SPO52V$9cX" role="aYrYs">
+                              <node concept="34oBXx" id="5SPO52V$9cY" role="2OqNvi" />
+                              <node concept="39rIew" id="5SPO52V$9cZ" role="2Oq$k0">
+                                <ref role="39rHqR" node="7t5VLKGTNCS" resolve="retExpr" />
+                              </node>
+                            </node>
+                          </node>
+                        </node>
+                        <node concept="a7P8L" id="5SPO52V$9ba" role="3A8wtg">
+                          <ref role="a7OzE" node="4EfgX2EFs8J" resolve="Lub" />
+                          <node concept="aYllk" id="5SPO52V$9bb" role="aYIAd">
+                            <node concept="2OqwBi" id="5SPO52V$9bn" role="aYrYs">
+                              <node concept="34oBXx" id="5SPO52V$9bo" role="2OqNvi" />
+                              <node concept="39rIew" id="5SPO52V$9bp" role="2Oq$k0">
+                                <ref role="39rHqR" node="7t5VLKGTNCS" resolve="retExpr" />
+                              </node>
+                            </node>
+                          </node>
+                        </node>
+                      </node>
+                    </node>
+                    <node concept="3clFbH" id="5SPO52V$9dM" role="3cqZAp" />
+                    <node concept="1Dw8fO" id="7t5VLKGUk69" role="3cqZAp">
+                      <node concept="3clFbS" id="7t5VLKGUk6b" role="2LFqv$">
+                        <node concept="3Aqczg" id="6BU$YTNGUZ8" role="3cqZAp">
+                          <node concept="3Aqt3T" id="6BU$YTNGUZH" role="3Aqpz8">
+                            <ref role="3AqCNq" node="2q0gzCFHesp" resolve="lub" />
+                            <node concept="a7P8L" id="6BU$YTNGV4K" role="3AunhB">
+                              <ref role="a7OzE" node="4EfgX2EFs8J" resolve="Lub" />
+                              <node concept="aYllk" id="6BU$YTNGV4L" role="aYIAd">
+                                <node concept="37vLTw" id="6BU$YTNGV4M" role="aYrYs">
+                                  <ref role="3cqZAo" node="7t5VLKGUk6c" resolve="i" />
+                                </node>
+                              </node>
+                            </node>
+                            <node concept="a7P8L" id="6BU$YTNHXF8" role="3AunhB">
+                              <ref role="a7OzE" node="7t5VLKGUb$a" resolve="RetExprType" />
+                              <node concept="aYllk" id="6BU$YTNHXF9" role="aYIAd">
+                                <node concept="37vLTw" id="6BU$YTNHXFa" role="aYrYs">
+                                  <ref role="3cqZAo" node="7t5VLKGUk6c" resolve="i" />
+                                </node>
+                              </node>
+                            </node>
+                            <node concept="a7P8L" id="6BU$YTNHXFJ" role="3AunhB">
+                              <ref role="a7OzE" node="4EfgX2EFs8J" resolve="Lub" />
+                              <node concept="aYllk" id="6BU$YTNHXFK" role="aYIAd">
+                                <node concept="3cpWs3" id="6BU$YTNHXFL" role="aYrYs">
+                                  <node concept="3cmrfG" id="6BU$YTNHXFM" role="3uHU7w">
+                                    <property role="3cmrfH" value="1" />
+                                  </node>
+                                  <node concept="37vLTw" id="6BU$YTNHXFN" role="3uHU7B">
+                                    <ref role="3cqZAo" node="7t5VLKGUk6c" resolve="i" />
+                                  </node>
+                                </node>
+                              </node>
+                            </node>
+                          </node>
+                        </node>
+                      </node>
+                      <node concept="3cpWsn" id="7t5VLKGUk6c" role="1Duv9x">
+                        <property role="TrG5h" value="i" />
+                        <node concept="10Oyi0" id="7t5VLKGUk6m" role="1tU5fm" />
+                        <node concept="3cpWsd" id="4EfgX2EFLlj" role="33vP2m">
+                          <node concept="3cmrfG" id="4EfgX2EFLlm" role="3uHU7w">
+                            <property role="3cmrfH" value="1" />
+                          </node>
+                          <node concept="2OqwBi" id="4EfgX2EFISY" role="3uHU7B">
+                            <node concept="34oBXx" id="4EfgX2EFIT0" role="2OqNvi" />
+                            <node concept="39rIew" id="4EfgX2EGZGa" role="2Oq$k0">
+                              <ref role="39rHqR" node="7t5VLKGTNCS" resolve="retExpr" />
+                            </node>
+                          </node>
+                        </node>
+                      </node>
+                      <node concept="3eOSWO" id="4EfgX2EFNC5" role="1Dwp0S">
+                        <node concept="3cmrfG" id="4EfgX2EFNC8" role="3uHU7w">
+                          <property role="3cmrfH" value="0" />
+                        </node>
+                        <node concept="37vLTw" id="7t5VLKGUk6K" role="3uHU7B">
+                          <ref role="3cqZAo" node="7t5VLKGUk6c" resolve="i" />
+                        </node>
+                      </node>
+                      <node concept="3uO5VW" id="4EfgX2EFPPz" role="1Dwrff">
+                        <node concept="37vLTw" id="4EfgX2EFPP_" role="2$L3a6">
+                          <ref role="3cqZAo" node="7t5VLKGUk6c" resolve="i" />
+                        </node>
+                      </node>
+                    </node>
+                    <node concept="3clFbH" id="5SPO52V$7Nn" role="3cqZAp" />
+                    <node concept="3Aqczg" id="4EfgX2EFXph" role="3cqZAp">
+                      <node concept="3A8Hvi" id="4EfgX2EFXZa" role="3Aqpz8">
+                        <node concept="a7P8L" id="4EfgX2EFXZm" role="3A8w4Q">
+                          <ref role="a7OzE" node="4EfgX2EFs8J" resolve="Lub" />
+                          <node concept="aYllk" id="4EfgX2EFXZq" role="aYIAd">
+                            <node concept="3cmrfG" id="4EfgX2EFXZu" role="aYrYs">
                               <property role="3cmrfH" value="1" />
                             </node>
-                            <node concept="37vLTw" id="6BU$YTNHXFN" role="3uHU7B">
-                              <ref role="3cqZAo" node="7t5VLKGUk6c" resolve="i" />
-                            </node>
                           </node>
                         </node>
+                        <node concept="a7P8L" id="4EfgX2EFXZj" role="3A8wtg">
+                          <ref role="a7OzE" node="4EfgX2EFWN9" resolve="Inferred" />
+                        </node>
                       </node>
                     </node>
                   </node>
-                </node>
-                <node concept="3cpWsn" id="7t5VLKGUk6c" role="1Duv9x">
-                  <property role="TrG5h" value="i" />
-                  <node concept="10Oyi0" id="7t5VLKGUk6m" role="1tU5fm" />
-                  <node concept="3cpWsd" id="4EfgX2EFLlj" role="33vP2m">
-                    <node concept="3cmrfG" id="4EfgX2EFLlm" role="3uHU7w">
+                  <node concept="3eOSWO" id="4EfgX2EFDVu" role="3clFbw">
+                    <node concept="3cmrfG" id="4EfgX2EFDVx" role="3uHU7w">
                       <property role="3cmrfH" value="1" />
                     </node>
-                    <node concept="2OqwBi" id="4EfgX2EFISY" role="3uHU7B">
-                      <node concept="34oBXx" id="4EfgX2EFIT0" role="2OqNvi" />
-                      <node concept="39rIew" id="4EfgX2EGZGa" role="2Oq$k0">
+                    <node concept="2OqwBi" id="4EfgX2EF$q9" role="3uHU7B">
+                      <node concept="34oBXx" id="4EfgX2EFC3s" role="2OqNvi" />
+                      <node concept="39rIew" id="4EfgX2EGXD2" role="2Oq$k0">
                         <ref role="39rHqR" node="7t5VLKGTNCS" resolve="retExpr" />
                       </node>
                     </node>
                   </node>
                 </node>
-                <node concept="3eOSWO" id="4EfgX2EFNC5" role="1Dwp0S">
-                  <node concept="3cmrfG" id="4EfgX2EFNC8" role="3uHU7w">
-                    <property role="3cmrfH" value="0" />
-                  </node>
-                  <node concept="37vLTw" id="7t5VLKGUk6K" role="3uHU7B">
-                    <ref role="3cqZAo" node="7t5VLKGUk6c" resolve="i" />
-                  </node>
-                </node>
-                <node concept="3uO5VW" id="4EfgX2EFPPz" role="1Dwrff">
-                  <node concept="37vLTw" id="4EfgX2EFPP_" role="2$L3a6">
-                    <ref role="3cqZAo" node="7t5VLKGUk6c" resolve="i" />
-                  </node>
-                </node>
-              </node>
-              <node concept="3clFbH" id="5SPO52V$7Nn" role="3cqZAp" />
-              <node concept="3Aqczg" id="4EfgX2EFXph" role="3cqZAp">
-                <node concept="3A8Hvi" id="4EfgX2EFXZa" role="3Aqpz8">
-                  <node concept="a7P8L" id="4EfgX2EFXZm" role="3A8w4Q">
-                    <ref role="a7OzE" node="4EfgX2EFs8J" resolve="Lub" />
-                    <node concept="aYllk" id="4EfgX2EFXZq" role="aYIAd">
-                      <node concept="3cmrfG" id="4EfgX2EFXZu" role="aYrYs">
-                        <property role="3cmrfH" value="1" />
-                      </node>
-                    </node>
-                  </node>
-                  <node concept="a7P8L" id="4EfgX2EFXZj" role="3A8wtg">
-                    <ref role="a7OzE" node="4EfgX2EFWN9" resolve="Inferred" />
-                  </node>
-                </node>
-              </node>
-              <node concept="3clFbH" id="4EfgX2EFZ0m" role="3cqZAp" />
-            </node>
-            <node concept="3eOSWO" id="4EfgX2EFDVu" role="3clFbw">
-              <node concept="3cmrfG" id="4EfgX2EFDVx" role="3uHU7w">
-                <property role="3cmrfH" value="1" />
-              </node>
-              <node concept="2OqwBi" id="4EfgX2EF$q9" role="3uHU7B">
-                <node concept="34oBXx" id="4EfgX2EFC3s" role="2OqNvi" />
-                <node concept="39rIew" id="4EfgX2EGXD2" role="2Oq$k0">
-                  <ref role="39rHqR" node="7t5VLKGTNCS" resolve="retExpr" />
-                </node>
-              </node>
-            </node>
-            <node concept="9aQIb" id="4EfgX2EFGNm" role="9aQIa">
-              <node concept="3clFbS" id="4EfgX2EFGNn" role="9aQI4">
-                <node concept="3Aqczg" id="4EfgX2EFZAj" role="3cqZAp">
-                  <node concept="3A8Hvi" id="4EfgX2EFZAo" role="3Aqpz8">
-                    <node concept="a7P8L" id="4EfgX2EFZA$" role="3A8w4Q">
-                      <ref role="a7OzE" node="7t5VLKGUb$a" resolve="RetExprType" />
-                      <node concept="aYllk" id="4EfgX2EFZAH" role="aYIAd">
-                        <node concept="3cmrfG" id="4EfgX2EFZAL" role="aYrYs">
-                          <property role="3cmrfH" value="1" />
-                        </node>
-                      </node>
-                    </node>
-                    <node concept="a7P8L" id="4EfgX2EFZAx" role="3A8wtg">
+                <node concept="3Aqczg" id="4EfgX2EG4c7" role="3cqZAp">
+                  <node concept="3Aqt3T" id="4EfgX2EG4M_" role="3Aqpz8">
+                    <ref role="3AqCNq" node="3Qp4N06bUPu" resolve="convertsTo" />
+                    <node concept="a7P8L" id="4EfgX2EG4MI" role="3AunhB">
                       <ref role="a7OzE" node="4EfgX2EFWN9" resolve="Inferred" />
                     </node>
+                    <node concept="a7P8L" id="4EfgX2EH6Nr" role="3AunhB">
+                      <ref role="a7OzE" node="4EfgX2EGdUV" resolve="Declared" />
+                    </node>
                   </node>
                 </node>
-                <node concept="3clFbH" id="4EfgX2EFHoP" role="3cqZAp" />
-              </node>
-            </node>
-          </node>
-          <node concept="3SKdUt" id="4EfgX2EG2qx" role="3cqZAp">
-            <node concept="3SKdUq" id="4EfgX2EG2Yr" role="3SKWNk">
-              <property role="3SKdUp" value="TODO: what about missing return expression?" />
-            </node>
-          </node>
-          <node concept="3clFbH" id="4EfgX2EGbqH" role="3cqZAp" />
-          <node concept="3Aqczg" id="4EfgX2EG4c7" role="3cqZAp">
-            <node concept="3Aqt3T" id="4EfgX2EG4M_" role="3Aqpz8">
-              <ref role="3AqCNq" node="3Qp4N06bUPu" resolve="convertsTo" />
-              <node concept="a7P8L" id="4EfgX2EG4MI" role="3AunhB">
-                <ref role="a7OzE" node="4EfgX2EFWN9" resolve="Inferred" />
-              </node>
-              <node concept="a7P8L" id="4EfgX2EH6Nr" role="3AunhB">
-                <ref role="a7OzE" node="4EfgX2EGdUV" resolve="Declared" />
-              </node>
-            </node>
-          </node>
-          <node concept="3Aqczg" id="4EfgX2EIeO4" role="3cqZAp">
-            <node concept="3XxkQB" id="4EfgX2EIeTp" role="3Aqpz8">
-              <node concept="a7P8L" id="4EfgX2EIeTE" role="3Xxm5W">
-                <ref role="a7OzE" node="4EfgX2EFWN9" resolve="Inferred" />
-              </node>
-              <node concept="aYllk" id="4EfgX2EIeTt" role="3XxmmS">
-                <node concept="3A2sRY" id="4EfgX2EIeT_" role="aYrYs">
-                  <ref role="3A2yKK" node="1ffsG7bsOze" resolve="bmd" />
+                <node concept="3Aqczg" id="4EfgX2EIeO4" role="3cqZAp">
+                  <node concept="3XxkQB" id="4EfgX2EIeTp" role="3Aqpz8">
+                    <node concept="a7P8L" id="4EfgX2EIeTE" role="3Xxm5W">
+                      <ref role="a7OzE" node="4EfgX2EFWN9" resolve="Inferred" />
+                    </node>
+                    <node concept="aYllk" id="4EfgX2EIeTt" role="3XxmmS">
+                      <node concept="3A2sRY" id="4EfgX2EIeT_" role="aYrYs">
+                        <ref role="3A2yKK" node="1ffsG7bsOze" resolve="bmd" />
+                      </node>
+                    </node>
+                  </node>
                 </node>
               </node>
             </node>