From aa40ca0e01d539e368ae74a8786cd73cd6d6c1d0 Mon Sep 17 00:00:00 2001
From: Grigorii Kirgizov <grigorii.kirgizov@jetbrains.com>
Date: Mon, 4 May 2020 13:24:52 +0300
Subject: [PATCH] Fix function conversion to allow coerceTo queries pass

---
 ...brains.mps.baseLanguage.function.types.mps | 379 +++++++++++-------
 1 file changed, 244 insertions(+), 135 deletions(-)

diff --git a/samples/mpscore/languages/jetbrains.mps.baseLanguage.function/models/jetbrains.mps.baseLanguage.function.types.mps b/samples/mpscore/languages/jetbrains.mps.baseLanguage.function/models/jetbrains.mps.baseLanguage.function.types.mps
index 7b848102..a0bfc811 100644
--- a/samples/mpscore/languages/jetbrains.mps.baseLanguage.function/models/jetbrains.mps.baseLanguage.function.types.mps
+++ b/samples/mpscore/languages/jetbrains.mps.baseLanguage.function/models/jetbrains.mps.baseLanguage.function.types.mps
@@ -13,6 +13,9 @@
   </imports>
   <registry>
     <language id="f3061a53-9226-4cc5-a443-f952ceaf5816" name="jetbrains.mps.baseLanguage">
+      <concept id="1082485599095" name="jetbrains.mps.baseLanguage.structure.BlockStatement" flags="nn" index="9aQIb">
+        <child id="1082485599096" name="statements" index="9aQI4" />
+      </concept>
       <concept id="1239709250944" name="jetbrains.mps.baseLanguage.structure.PrefixIncrementExpression" flags="nn" index="2$rviw" />
       <concept id="1239714755177" name="jetbrains.mps.baseLanguage.structure.AbstractUnaryNumberOperation" flags="nn" index="2$Kvd9">
         <child id="1239714902950" name="expression" index="2$L3a6" />
@@ -34,11 +37,14 @@
       <concept id="4972933694980447171" name="jetbrains.mps.baseLanguage.structure.BaseVariableDeclaration" flags="ng" index="19Szcq">
         <child id="5680397130376446158" name="type" index="1tU5fm" />
       </concept>
-      <concept id="1068580123157" name="jetbrains.mps.baseLanguage.structure.Statement" flags="nn" index="3clFbH" />
+      <concept id="1068580123159" name="jetbrains.mps.baseLanguage.structure.IfStatement" flags="nn" index="3clFbJ">
+        <child id="1082485599094" name="ifFalseStatement" index="9aQIa" />
+        <child id="1068580123160" name="condition" index="3clFbw" />
+        <child id="1068580123161" name="ifTrue" index="3clFbx" />
+      </concept>
       <concept id="1068580123136" name="jetbrains.mps.baseLanguage.structure.StatementList" flags="sn" stub="5293379017992965193" index="3clFbS">
         <child id="1068581517665" name="statement" index="3cqZAp" />
       </concept>
-      <concept id="1068580123137" name="jetbrains.mps.baseLanguage.structure.BooleanConstant" flags="nn" index="3clFbT" />
       <concept id="1068580320020" name="jetbrains.mps.baseLanguage.structure.IntegerConstant" flags="nn" index="3cmrfG">
         <property id="1068580320021" name="value" index="3cmrfH" />
       </concept>
@@ -55,8 +61,14 @@
         <child id="1144231399730" name="condition" index="1Dwp0S" />
         <child id="1144231408325" name="iteration" index="1Dwrff" />
       </concept>
+      <concept id="6329021646629104954" name="jetbrains.mps.baseLanguage.structure.SingleLineComment" flags="nn" index="3SKdUt">
+        <child id="1350122676458893092" name="text" index="3ndbpf" />
+      </concept>
     </language>
     <language id="35320f26-77cb-4c55-be9f-a97a27770af1" name="jetbrains.mps.logic">
+      <concept id="8456919074574710634" name="jetbrains.mps.logic.structure.ExpressionItem" flags="ng" index="37jhX">
+        <child id="8456919074574710741" name="code" index="37jj2" />
+      </concept>
       <concept id="8169506320648805904" name="jetbrains.mps.logic.structure.LogicalVariableDeclarationContainer" flags="ng" index="29MRiA">
         <child id="6399471711045617306" name="dataType" index="3vLBG7" />
         <child id="3063948360254832884" name="declaration" index="3XD1gS" />
@@ -87,6 +99,7 @@
       <concept id="1145383075378" name="jetbrains.mps.lang.smodel.structure.SNodeListType" flags="in" index="2I9FWS">
         <reference id="1145383142433" name="elementConcept" index="2I9WkF" />
       </concept>
+      <concept id="1172008320231" name="jetbrains.mps.lang.smodel.structure.Node_IsNotNullOperation" flags="nn" index="3x8VRR" />
       <concept id="1138055754698" name="jetbrains.mps.lang.smodel.structure.SNodeType" flags="in" index="3Tqbb2">
         <reference id="1138405853777" name="concept" index="ehGHo" />
       </concept>
@@ -96,6 +109,14 @@
         <property id="1169194664001" name="name" index="TrG5h" />
       </concept>
     </language>
+    <language id="c7fb639f-be78-4307-89b0-b5959c3fa8c8" name="jetbrains.mps.lang.text">
+      <concept id="155656958578482948" name="jetbrains.mps.lang.text.structure.Word" flags="ng" index="3oM_SD">
+        <property id="155656958578482949" name="value" index="3oM_SC" />
+      </concept>
+      <concept id="2535923850359271782" name="jetbrains.mps.lang.text.structure.Line" flags="ng" index="1PaTwC">
+        <child id="2535923850359271783" name="elements" index="1PaTwD" />
+      </concept>
+    </language>
     <language id="83888646-71ce-4f1c-9c53-c54016f6ad4f" name="jetbrains.mps.baseLanguage.collections">
       <concept id="1162935959151" name="jetbrains.mps.baseLanguage.collections.structure.GetSizeOperation" flags="nn" index="34oBXx" />
       <concept id="1225711141656" name="jetbrains.mps.baseLanguage.collections.structure.ListElementAccessExpression" flags="nn" index="1y4W85">
@@ -164,9 +185,6 @@
         <child id="3575255234174969665" name="rule" index="1nLNNK" />
       </concept>
       <concept id="8908809128801951597" name="jetbrains.mps.lang.coderules.structure.MacroBodyLogicalDeclaration" flags="ng" index="3uniRu" />
-      <concept id="5372587443968979218" name="jetbrains.mps.lang.coderules.structure.ExpressionConstraint" flags="ng" index="3wWvb2">
-        <child id="5372587443968983820" name="expression" index="3wWo3s" />
-      </concept>
       <concept id="7674753015762572646" name="jetbrains.mps.lang.coderules.structure.BodyBlock" flags="ng" index="3xSepi">
         <child id="7674753015762572647" name="body" index="3xSepj" />
       </concept>
@@ -342,6 +360,195 @@
         </node>
       </node>
     </node>
+  </node>
+  <node concept="0oKg$" id="6BFOg89KwUP">
+    <property role="TrG5h" value="FunctionMacro" />
+    <node concept="3hwh0R" id="6$MmqWfmo8t" role="0oKgB">
+      <property role="TrG5h" value="functionType" />
+      <node concept="3hPv5a" id="6$MmqWfmoJc" role="3hP23H">
+        <property role="TrG5h" value="paramTypes" />
+        <node concept="2I9FWS" id="6$MmqWfmoJg" role="3hPmi9">
+          <ref role="2I9WkF" to="tpee:fz3vP1H" resolve="Type" />
+        </node>
+      </node>
+      <node concept="3hPv5a" id="6$MmqWfmoJj" role="3hP23H">
+        <property role="TrG5h" value="resultType" />
+        <node concept="3Tqbb2" id="6$MmqWfmoJp" role="3hPmi9">
+          <ref role="ehGHo" to="tpee:fz3vP1H" resolve="Type" />
+        </node>
+      </node>
+      <node concept="3clFbS" id="6$MmqWfmo8v" role="3hEL4E">
+        <node concept="3clFbJ" id="2MpDLe9wosm" role="3cqZAp">
+          <node concept="3clFbS" id="2MpDLe9woso" role="3clFbx">
+            <node concept="1Dw8fO" id="4E290qPYBou" role="3cqZAp">
+              <node concept="3cpWsn" id="4E290qPYBov" role="1Duv9x">
+                <property role="TrG5h" value="i" />
+                <node concept="10Oyi0" id="4E290qPYBpn" role="1tU5fm" />
+                <node concept="3cmrfG" id="4E290qPYBqW" role="33vP2m">
+                  <property role="3cmrfH" value="0" />
+                </node>
+              </node>
+              <node concept="3clFbS" id="4E290qPYBow" role="2LFqv$">
+                <node concept="3Aqczg" id="4E290qPYH2O" role="3cqZAp">
+                  <node concept="3jbYBd" id="4E290qPYH2L" role="3Aqpz8">
+                    <ref role="3jbY9l" to="kqnc:5itBwMau8m1" resolve="lift" />
+                    <node concept="1y4W85" id="4E290qPYMln" role="3jbY8P">
+                      <node concept="37vLTw" id="4E290qPYMn1" role="1y58nS">
+                        <ref role="3cqZAo" node="4E290qPYBov" resolve="i" />
+                      </node>
+                      <node concept="3hN9Ij" id="6$MmqWfmwQS" role="1y566C">
+                        <ref role="3hLkJx" node="6$MmqWfmoJc" resolve="paramTypes" />
+                      </node>
+                    </node>
+                    <node concept="a7P8L" id="4E290qPYH3l" role="3jbY8V">
+                      <ref role="a7OzE" node="6$MmqWfmrsz" resolve="ParamTypes" />
+                      <node concept="37vLTw" id="4E290qPYH4_" role="3gCZO6">
+                        <ref role="3cqZAo" node="4E290qPYBov" resolve="i" />
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+              <node concept="3eOVzh" id="4E290qPYCgX" role="1Dwp0S">
+                <node concept="2OqwBi" id="4E290qPYETV" role="3uHU7w">
+                  <node concept="34oBXx" id="4E290qPYGYi" role="2OqNvi" />
+                  <node concept="3hN9Ij" id="6$MmqWfmwNU" role="2Oq$k0">
+                    <ref role="3hLkJx" node="6$MmqWfmoJc" resolve="paramTypes" />
+                  </node>
+                </node>
+                <node concept="37vLTw" id="4E290qPYBrP" role="3uHU7B">
+                  <ref role="3cqZAo" node="4E290qPYBov" resolve="i" />
+                </node>
+              </node>
+              <node concept="2$rviw" id="4E290qPYGZX" role="1Dwrff">
+                <node concept="37vLTw" id="4E290qPYH28" role="2$L3a6">
+                  <ref role="3cqZAo" node="4E290qPYBov" resolve="i" />
+                </node>
+              </node>
+            </node>
+            <node concept="3Aqczg" id="2MpDLe9woYf" role="3cqZAp">
+              <node concept="3A8Hvi" id="2MpDLe9woY9" role="3Aqpz8">
+                <node concept="a7P8L" id="2MpDLe9woYF" role="3A8wtg">
+                  <ref role="a7OzE" node="2MpDLe9worb" resolve="ParamTypesList" />
+                </node>
+                <node concept="Hz6ka" id="2MpDLe9wytD" role="3A8w4Q">
+                  <node concept="1Pxxm1" id="2MpDLe9w$zf" role="Hz6kd">
+                    <node concept="3wAshV" id="2MpDLe9w$zi" role="1Pxxm2">
+                      <node concept="a7P8L" id="2MpDLe9w$zh" role="3wAq21">
+                        <ref role="a7OzE" node="6$MmqWfmrsz" resolve="ParamTypes" />
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3Aqczg" id="6$MmqWfmpvk" role="3cqZAp">
+              <node concept="3jbYBd" id="6$MmqWfmpvh" role="3Aqpz8">
+                <ref role="3jbY9l" to="kqnc:5itBwMau8m1" resolve="lift" />
+                <node concept="3hN9Ij" id="6$MmqWfmw1K" role="3jbY8P">
+                  <ref role="3hLkJx" node="6$MmqWfmoJj" resolve="resultType" />
+                </node>
+                <node concept="a7P8L" id="6$MmqWfmw1D" role="3jbY8V">
+                  <ref role="a7OzE" node="6$MmqWfmrtC" resolve="ResultType" />
+                </node>
+              </node>
+            </node>
+          </node>
+          <node concept="2OqwBi" id="2MpDLe9woB$" role="3clFbw">
+            <node concept="3hN9Ij" id="2MpDLe9wot7" role="2Oq$k0">
+              <ref role="3hLkJx" node="6$MmqWfmoJj" resolve="resultType" />
+            </node>
+            <node concept="3x8VRR" id="2MpDLe9woLq" role="2OqNvi" />
+          </node>
+          <node concept="9aQIb" id="2MpDLe9wpV$" role="9aQIa">
+            <node concept="3clFbS" id="2MpDLe9wpV_" role="9aQI4">
+              <node concept="3SKdUt" id="2MpDLe9wpVN" role="3cqZAp">
+                <node concept="1PaTwC" id="2MpDLe9wpVO" role="3ndbpf">
+                  <node concept="3oM_SD" id="2MpDLe9wpVQ" role="1PaTwD">
+                    <property role="3oM_SC" value="leave" />
+                  </node>
+                  <node concept="3oM_SD" id="2MpDLe9wpVV" role="1PaTwD">
+                    <property role="3oM_SC" value="logicals" />
+                  </node>
+                  <node concept="3oM_SD" id="2MpDLe9wpVY" role="1PaTwD">
+                    <property role="3oM_SC" value="unbound" />
+                  </node>
+                  <node concept="3oM_SD" id="2MpDLe9wpW2" role="1PaTwD">
+                    <property role="3oM_SC" value="as" />
+                  </node>
+                  <node concept="3oM_SD" id="2MpDLe9wpW7" role="1PaTwD">
+                    <property role="3oM_SC" value="wildcards" />
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3Aqczg" id="6$MmqWfmpuR" role="3cqZAp">
+          <node concept="3A8Hvi" id="6$MmqWfmpuO" role="3Aqpz8">
+            <node concept="a7P8L" id="6$MmqWfmpuW" role="3A8wtg">
+              <ref role="a7OzE" node="6$MmqWfmo8G" resolve="Type" />
+            </node>
+            <node concept="ns1u0" id="6$MmqWfmpv3" role="3A8w4Q">
+              <ref role="ns1xF" node="6$MmqWflYd6" resolve="function" />
+              <node concept="nsMwS" id="6$MmqWfmpv5" role="ns1xD">
+                <ref role="nsMwP" node="6$MmqWflYdw" resolve="params" />
+                <node concept="1nq8_$" id="6$MmqWfmw1Q" role="nsMwV">
+                  <node concept="37jhX" id="2MpDLe9wpWf" role="1nq8_t">
+                    <node concept="1nq8_$" id="2MpDLe9wpWe" role="37jj2">
+                      <node concept="a7P8L" id="2MpDLe9wpWd" role="1nq8_t">
+                        <ref role="a7OzE" node="2MpDLe9worb" resolve="ParamTypesList" />
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+              <node concept="nsMwS" id="6$MmqWfmwCT" role="ns1xD">
+                <ref role="nsMwP" node="6$MmqWflYdg" resolve="result" />
+                <node concept="1nq8_$" id="6$MmqWfmwD1" role="nsMwV">
+                  <node concept="a7P8L" id="6$MmqWfmwD0" role="1nq8_t">
+                    <ref role="a7OzE" node="6$MmqWfmrtC" resolve="ResultType" />
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="3uniRu" id="6$MmqWfmo8F" role="3h32gL">
+        <node concept="aZer4" id="6$MmqWfmo8G" role="3XD1gS">
+          <property role="TrG5h" value="Type" />
+        </node>
+        <node concept="32pEOW" id="6$MmqWfmo8S" role="3vLBG7" />
+      </node>
+      <node concept="3uniRu" id="6$MmqWfmrsy" role="3hEOkk">
+        <node concept="aZer4" id="6$MmqWfmrsz" role="3XD1gS">
+          <property role="TrG5h" value="ParamTypes" />
+          <node concept="2OqwBi" id="6$MmqWfmthi" role="3gj$pD">
+            <node concept="3hN9Ij" id="6$MmqWfmruz" role="2Oq$k0">
+              <ref role="3hLkJx" node="6$MmqWfmoJc" resolve="paramTypes" />
+            </node>
+            <node concept="34oBXx" id="6$MmqWfmvkw" role="2OqNvi" />
+          </node>
+        </node>
+        <node concept="32pEOW" id="6$MmqWfmruf" role="3vLBG7" />
+      </node>
+      <node concept="3uniRu" id="6$MmqWfmrtB" role="3hEOkk">
+        <node concept="aZer4" id="6$MmqWfmrtC" role="3XD1gS">
+          <property role="TrG5h" value="ResultType" />
+        </node>
+        <node concept="32pEOW" id="6$MmqWfmrtR" role="3vLBG7" />
+      </node>
+      <node concept="3uniRu" id="2MpDLe9wora" role="3hEOkk">
+        <node concept="aZer4" id="2MpDLe9worb" role="3XD1gS">
+          <property role="TrG5h" value="ParamTypesList" />
+        </node>
+        <node concept="VbTHi" id="2MpDLe9worw" role="3vLBG7" />
+      </node>
+    </node>
+  </node>
+  <node concept="AVZre" id="2MpDLe9z6bx">
+    <property role="TrG5h" value="ConvertsLists" />
     <node concept="1nLNMY" id="6$MmqWfmARy" role="1nK1Vg">
       <property role="TrG5h" value="convertsLists_induction" />
       <node concept="3clFbS" id="6$MmqWfmARz" role="1nLNMH">
@@ -496,6 +703,31 @@
     <node concept="1nLNMY" id="6$MmqWfmBwC" role="1nK1Vg">
       <property role="TrG5h" value="convertsLists_default" />
       <node concept="3clFbS" id="6$MmqWfmBwD" role="1nLNMH">
+        <node concept="3SKdUt" id="2MpDLe9z3WV" role="3cqZAp">
+          <node concept="1PaTwC" id="2MpDLe9z3WW" role="3ndbpf">
+            <node concept="3oM_SD" id="2MpDLe9z3WY" role="1PaTwD">
+              <property role="3oM_SC" value="either" />
+            </node>
+            <node concept="3oM_SD" id="2MpDLe9z3Xn" role="1PaTwD">
+              <property role="3oM_SC" value="wildcard" />
+            </node>
+            <node concept="3oM_SD" id="2MpDLe9z3Xq" role="1PaTwD">
+              <property role="3oM_SC" value="or" />
+            </node>
+            <node concept="3oM_SD" id="2MpDLe9z3Xu" role="1PaTwD">
+              <property role="3oM_SC" value="lists" />
+            </node>
+            <node concept="3oM_SD" id="2MpDLe9z3Xz" role="1PaTwD">
+              <property role="3oM_SC" value="of" />
+            </node>
+            <node concept="3oM_SD" id="2MpDLe9z3XD" role="1PaTwD">
+              <property role="3oM_SC" value="different" />
+            </node>
+            <node concept="3oM_SD" id="2MpDLe9z3XK" role="1PaTwD">
+              <property role="3oM_SC" value="lengths" />
+            </node>
+          </node>
+        </node>
         <node concept="1nLNNL" id="6$MmqWfmBwE" role="3cqZAp">
           <node concept="1nLNMm" id="6$MmqWfmBwF" role="1nLNNK">
             <node concept="3Aq93q" id="6$MmqWfmBwG" role="1nLNMb">
@@ -526,8 +758,13 @@
               <node concept="3Aq9E8" id="6$MmqWfmBDl" role="3xSepj">
                 <node concept="3I6sU6" id="6$MmqWfmBDm" role="3Ip0Jz">
                   <node concept="3I6s7M" id="6$MmqWfmBDr" role="3I6sU7">
-                    <node concept="3wWvb2" id="6jkHA5M_Vme" role="3I6s78">
-                      <node concept="3clFbT" id="6jkHA5M_Vmg" role="3wWo3s" />
+                    <node concept="3A8Hvi" id="2MpDLe9z3Wf" role="3I6s78">
+                      <node concept="a7P8L" id="2MpDLe9z3Wo" role="3A8wtg">
+                        <ref role="a7OzE" node="6$MmqWfmBwT" resolve="L" />
+                      </node>
+                      <node concept="a7P8L" id="2MpDLe9z3Wv" role="3A8w4Q">
+                        <ref role="a7OzE" node="6$MmqWfmBwU" resolve="R" />
+                      </node>
                     </node>
                   </node>
                 </node>
@@ -549,133 +786,5 @@
       </node>
     </node>
   </node>
-  <node concept="0oKg$" id="6BFOg89KwUP">
-    <property role="TrG5h" value="FunctionMacro" />
-    <node concept="3hwh0R" id="6$MmqWfmo8t" role="0oKgB">
-      <property role="TrG5h" value="functionType" />
-      <node concept="3hPv5a" id="6$MmqWfmoJc" role="3hP23H">
-        <property role="TrG5h" value="paramTypes" />
-        <node concept="2I9FWS" id="6$MmqWfmoJg" role="3hPmi9">
-          <ref role="2I9WkF" to="tpee:fz3vP1H" resolve="Type" />
-        </node>
-      </node>
-      <node concept="3hPv5a" id="6$MmqWfmoJj" role="3hP23H">
-        <property role="TrG5h" value="resultType" />
-        <node concept="3Tqbb2" id="6$MmqWfmoJp" role="3hPmi9">
-          <ref role="ehGHo" to="tpee:fz3vP1H" resolve="Type" />
-        </node>
-      </node>
-      <node concept="3clFbS" id="6$MmqWfmo8v" role="3hEL4E">
-        <node concept="1Dw8fO" id="4E290qPYBou" role="3cqZAp">
-          <node concept="3cpWsn" id="4E290qPYBov" role="1Duv9x">
-            <property role="TrG5h" value="i" />
-            <node concept="10Oyi0" id="4E290qPYBpn" role="1tU5fm" />
-            <node concept="3cmrfG" id="4E290qPYBqW" role="33vP2m">
-              <property role="3cmrfH" value="0" />
-            </node>
-          </node>
-          <node concept="3clFbS" id="4E290qPYBow" role="2LFqv$">
-            <node concept="3Aqczg" id="4E290qPYH2O" role="3cqZAp">
-              <node concept="3jbYBd" id="4E290qPYH2L" role="3Aqpz8">
-                <ref role="3jbY9l" to="kqnc:5itBwMau8m1" resolve="lift" />
-                <node concept="1y4W85" id="4E290qPYMln" role="3jbY8P">
-                  <node concept="37vLTw" id="4E290qPYMn1" role="1y58nS">
-                    <ref role="3cqZAo" node="4E290qPYBov" resolve="i" />
-                  </node>
-                  <node concept="3hN9Ij" id="6$MmqWfmwQS" role="1y566C">
-                    <ref role="3hLkJx" node="6$MmqWfmoJc" resolve="paramTypes" />
-                  </node>
-                </node>
-                <node concept="a7P8L" id="4E290qPYH3l" role="3jbY8V">
-                  <ref role="a7OzE" node="6$MmqWfmrsz" resolve="ParamTypes" />
-                  <node concept="37vLTw" id="4E290qPYH4_" role="3gCZO6">
-                    <ref role="3cqZAo" node="4E290qPYBov" resolve="i" />
-                  </node>
-                </node>
-              </node>
-            </node>
-          </node>
-          <node concept="3eOVzh" id="4E290qPYCgX" role="1Dwp0S">
-            <node concept="2OqwBi" id="4E290qPYETV" role="3uHU7w">
-              <node concept="34oBXx" id="4E290qPYGYi" role="2OqNvi" />
-              <node concept="3hN9Ij" id="6$MmqWfmwNU" role="2Oq$k0">
-                <ref role="3hLkJx" node="6$MmqWfmoJc" resolve="paramTypes" />
-              </node>
-            </node>
-            <node concept="37vLTw" id="4E290qPYBrP" role="3uHU7B">
-              <ref role="3cqZAo" node="4E290qPYBov" resolve="i" />
-            </node>
-          </node>
-          <node concept="2$rviw" id="4E290qPYGZX" role="1Dwrff">
-            <node concept="37vLTw" id="4E290qPYH28" role="2$L3a6">
-              <ref role="3cqZAo" node="4E290qPYBov" resolve="i" />
-            </node>
-          </node>
-        </node>
-        <node concept="3Aqczg" id="6$MmqWfmpvk" role="3cqZAp">
-          <node concept="3jbYBd" id="6$MmqWfmpvh" role="3Aqpz8">
-            <ref role="3jbY9l" to="kqnc:5itBwMau8m1" resolve="lift" />
-            <node concept="3hN9Ij" id="6$MmqWfmw1K" role="3jbY8P">
-              <ref role="3hLkJx" node="6$MmqWfmoJj" resolve="resultType" />
-            </node>
-            <node concept="a7P8L" id="6$MmqWfmw1D" role="3jbY8V">
-              <ref role="a7OzE" node="6$MmqWfmrtC" resolve="ResultType" />
-            </node>
-          </node>
-        </node>
-        <node concept="3clFbH" id="6$MmqWfmwDe" role="3cqZAp" />
-        <node concept="3Aqczg" id="6$MmqWfmpuR" role="3cqZAp">
-          <node concept="3A8Hvi" id="6$MmqWfmpuO" role="3Aqpz8">
-            <node concept="a7P8L" id="6$MmqWfmpuW" role="3A8wtg">
-              <ref role="a7OzE" node="6$MmqWfmo8G" resolve="Type" />
-            </node>
-            <node concept="ns1u0" id="6$MmqWfmpv3" role="3A8w4Q">
-              <ref role="ns1xF" node="6$MmqWflYd6" resolve="function" />
-              <node concept="nsMwS" id="6$MmqWfmpv5" role="ns1xD">
-                <ref role="nsMwP" node="6$MmqWflYdw" resolve="params" />
-                <node concept="1nq8_$" id="6$MmqWfmw1Q" role="nsMwV">
-                  <node concept="a7P8L" id="6$MmqWfmw1P" role="1nq8_t">
-                    <ref role="a7OzE" node="6$MmqWfmrsz" resolve="ParamTypes" />
-                  </node>
-                </node>
-              </node>
-              <node concept="nsMwS" id="6$MmqWfmwCT" role="ns1xD">
-                <ref role="nsMwP" node="6$MmqWflYdg" resolve="result" />
-                <node concept="1nq8_$" id="6$MmqWfmwD1" role="nsMwV">
-                  <node concept="a7P8L" id="6$MmqWfmwD0" role="1nq8_t">
-                    <ref role="a7OzE" node="6$MmqWfmrtC" resolve="ResultType" />
-                  </node>
-                </node>
-              </node>
-            </node>
-          </node>
-        </node>
-      </node>
-      <node concept="3uniRu" id="6$MmqWfmo8F" role="3h32gL">
-        <node concept="aZer4" id="6$MmqWfmo8G" role="3XD1gS">
-          <property role="TrG5h" value="Type" />
-        </node>
-        <node concept="32pEOW" id="6$MmqWfmo8S" role="3vLBG7" />
-      </node>
-      <node concept="3uniRu" id="6$MmqWfmrsy" role="3hEOkk">
-        <node concept="aZer4" id="6$MmqWfmrsz" role="3XD1gS">
-          <property role="TrG5h" value="ParamTypes" />
-          <node concept="2OqwBi" id="6$MmqWfmthi" role="3gj$pD">
-            <node concept="3hN9Ij" id="6$MmqWfmruz" role="2Oq$k0">
-              <ref role="3hLkJx" node="6$MmqWfmoJc" resolve="paramTypes" />
-            </node>
-            <node concept="34oBXx" id="6$MmqWfmvkw" role="2OqNvi" />
-          </node>
-        </node>
-        <node concept="32pEOW" id="6$MmqWfmruf" role="3vLBG7" />
-      </node>
-      <node concept="3uniRu" id="6$MmqWfmrtB" role="3hEOkk">
-        <node concept="aZer4" id="6$MmqWfmrtC" role="3XD1gS">
-          <property role="TrG5h" value="ResultType" />
-        </node>
-        <node concept="32pEOW" id="6$MmqWfmrtR" role="3vLBG7" />
-      </node>
-    </node>
-  </node>
 </model>