From f1efac2c112923a9bb40ba1768fdff30e5722ef9 Mon Sep 17 00:00:00 2001
From: Fedor Isakov <fisakov@gmail.com>
Date: Fri, 4 Nov 2022 12:13:10 +0100
Subject: [PATCH] Fix typechecking of function type: varargs and type inference

---
 ...brains.mps.baseLanguage.function.types.mps | 378 ++++++++++++++++--
 1 file changed, 349 insertions(+), 29 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 51f13cd3..2b831fa7 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
@@ -38,6 +38,7 @@
       <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" />
@@ -218,6 +219,9 @@
       <concept id="3575255234174969664" name="jetbrains.mps.lang.coderules.structure.ConstraintRuleStatement" flags="ng" index="1nLNNL">
         <child id="3575255234174969665" name="rule" index="1nLNNK" />
       </concept>
+      <concept id="4363939677057762068" name="jetbrains.mps.lang.coderules.structure.TermConstructorDataForm" flags="ng" index="3sNhsn">
+        <child id="4363939677057762080" name="constructor" index="3sNhsz" />
+      </concept>
       <concept id="8908809128801951597" name="jetbrains.mps.lang.coderules.structure.MacroBodyLogicalDeclaration" flags="ng" index="3uniRu" />
       <concept id="7674753015762572646" name="jetbrains.mps.lang.coderules.structure.BodyBlock" flags="ng" index="3xSepi">
         <child id="7674753015762572647" name="body" index="3xSepj" />
@@ -344,20 +348,6 @@
             <node concept="3xSepi" id="6$MmqWfmAQa" role="3xSepv">
               <node concept="3Aq9E8" id="6$MmqWfmAQb" role="3xSepj">
                 <node concept="3I6sU6" id="6$MmqWfmAQc" role="3Ip0Jz">
-                  <node concept="3I6s7M" id="6$MmqWfmAQi" role="3I6sU7">
-                    <node concept="3Aqt3T" id="6$MmqWfmAR5" role="3I6s78">
-                      <ref role="3AqCNq" to="kqnc:ONSj15RYDg" resolve="compatibleWith" />
-                      <node concept="a7P8L" id="6$MmqWfmARa" role="3AunhB">
-                        <ref role="a7OzE" node="6$MmqWfm_Tg" resolve="ResL" />
-                      </node>
-                      <node concept="a7P8L" id="6$MmqWfmARk" role="3AunhB">
-                        <ref role="a7OzE" node="6$MmqWfm_TR" resolve="ResR" />
-                      </node>
-                      <node concept="a7P8L" id="4s_lMmHjUbx" role="3AunhB">
-                        <ref role="a7OzE" node="4s_lMmH6Cu1" resolve="Options" />
-                      </node>
-                    </node>
-                  </node>
                   <node concept="3I6s7M" id="6$MmqWfmAT_" role="3I6sU7">
                     <node concept="3Aqt3T" id="6$MmqWfmATz" role="3I6s78">
                       <ref role="3AqCNq" node="6$MmqWfmATa" resolve="convertsLists" />
@@ -372,6 +362,20 @@
                       </node>
                     </node>
                   </node>
+                  <node concept="3I6s7M" id="6$MmqWfmAQi" role="3I6sU7">
+                    <node concept="3Aqt3T" id="6$MmqWfmAR5" role="3I6s78">
+                      <ref role="3AqCNq" to="kqnc:ONSj15RYDg" resolve="compatibleWith" />
+                      <node concept="a7P8L" id="6$MmqWfmARa" role="3AunhB">
+                        <ref role="a7OzE" node="6$MmqWfm_Tg" resolve="ResL" />
+                      </node>
+                      <node concept="a7P8L" id="6$MmqWfmARk" role="3AunhB">
+                        <ref role="a7OzE" node="6$MmqWfm_TR" resolve="ResR" />
+                      </node>
+                      <node concept="a7P8L" id="4s_lMmHjUbx" role="3AunhB">
+                        <ref role="a7OzE" node="4s_lMmH6Cu1" resolve="Options" />
+                      </node>
+                    </node>
+                  </node>
                 </node>
               </node>
             </node>
@@ -614,9 +618,198 @@
   </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">
+    <node concept="1nLNMY" id="6ZRhjsGEz2q" role="1nK1Vg">
+      <property role="TrG5h" value="convertsLists_varargs" />
+      <node concept="3clFbS" id="6ZRhjsGEz2r" role="1nLNMH">
+        <node concept="1nLNNL" id="6ZRhjsGEz8u" role="3cqZAp">
+          <node concept="1nLNMm" id="6ZRhjsGEz8v" role="1nLNNK">
+            <node concept="3Aq93q" id="6ZRhjsGEz8w" role="1nLNMb">
+              <node concept="3I6sU6" id="6ZRhjsGEz8x" role="3Ip0Jz">
+                <node concept="3I6s7M" id="6ZRhjsGEz8y" role="3I6sU7">
+                  <node concept="3Aqt3T" id="6ZRhjsGEz8z" role="3I6s78">
+                    <ref role="3AqCNq" node="6$MmqWfmATa" resolve="convertsLists" />
+                    <node concept="1HFMs5" id="6ZRhjsGEz8$" role="3AunhB">
+                      <node concept="a7P8L" id="6ZRhjsGEz8_" role="1uarlU">
+                        <ref role="a7OzE" node="6ZRhjsGEz8S" resolve="L" />
+                      </node>
+                      <node concept="Hz6ka" id="6ZRhjsGFkjE" role="1uarlW">
+                        <node concept="KCUsM" id="6ZRhjsGFkjD" role="Hz6kd" />
+                      </node>
+                    </node>
+                    <node concept="1HFMs5" id="6ZRhjsGEz8G" role="3AunhB">
+                      <node concept="a7P8L" id="6ZRhjsGEz8H" role="1uarlU">
+                        <ref role="a7OzE" node="6ZRhjsGEz8T" resolve="R" />
+                      </node>
+                      <node concept="Hz6ka" id="6ZRhjsGEz8A" role="1uarlW">
+                        <node concept="1Pxxm1" id="6ZRhjsGEz8B" role="Hz6kd">
+                          <node concept="KCUsM" id="6ZRhjsGEzed" role="1Pxxm2" />
+                          <node concept="3sNhsn" id="6ZRhjsGEzeh" role="1Pxxm0">
+                            <node concept="ns1u0" id="6ZRhjsGEzeg" role="3sNhsz">
+                              <ref role="ns1xF" to="kqnc:JOGAOsVt2r" resolve="variableArity" />
+                              <node concept="nsMwS" id="6ZRhjsGEzel" role="ns1xD">
+                                <ref role="nsMwP" to="kqnc:39Sam6Zio_N" resolve="parameter" />
+                                <node concept="a7P8L" id="6ZRhjsGFkjK" role="iSaTp">
+                                  <ref role="a7OzE" node="6ZRhjsGEz8Z" resolve="RHead" />
+                                </node>
+                              </node>
+                            </node>
+                          </node>
+                        </node>
+                      </node>
+                    </node>
+                    <node concept="a7P8L" id="6ZRhjsGEz8Q" role="3AunhB">
+                      <ref role="a7OzE" node="6ZRhjsGEz93" resolve="Options" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3NuqgR" id="6ZRhjsGEz8R" role="0Rg$4">
+              <node concept="aZer4" id="6ZRhjsGEz8S" role="3XD1gS">
+                <property role="TrG5h" value="L" />
+              </node>
+              <node concept="aZer4" id="6ZRhjsGEz8T" role="3XD1gS">
+                <property role="TrG5h" value="R" />
+              </node>
+              <node concept="aZer4" id="6ZRhjsGEz8U" role="3XD1gS">
+                <property role="TrG5h" value="LTail" />
+              </node>
+              <node concept="aZer4" id="6ZRhjsGEz8V" role="3XD1gS">
+                <property role="TrG5h" value="RTail" />
+              </node>
+              <node concept="VbTHi" id="6ZRhjsGEz8W" role="3vLBG7" />
+            </node>
+            <node concept="3NuqgR" id="6ZRhjsGEz8X" role="0Rg$4">
+              <node concept="aZer4" id="6ZRhjsGEz8Y" role="3XD1gS">
+                <property role="TrG5h" value="LHead" />
+              </node>
+              <node concept="aZer4" id="6ZRhjsGEz8Z" role="3XD1gS">
+                <property role="TrG5h" value="RHead" />
+              </node>
+              <node concept="32pEOW" id="6ZRhjsGEz90" role="3vLBG7" />
+            </node>
+            <node concept="3NuqgR" id="6ZRhjsGEz91" role="0Rg$4">
+              <node concept="3uibUv" id="6ZRhjsGEz92" role="3vLBG7">
+                <ref role="3uigEE" to="kqnc:3vTJNooZBhQ" resolve="Options" />
+              </node>
+              <node concept="aZer4" id="6ZRhjsGEz93" role="3XD1gS">
+                <property role="TrG5h" value="Options" />
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3clFbH" id="vrUbziAJA7" role="3cqZAp" />
+        <node concept="1nLNNL" id="vrUbziAJzc" role="3cqZAp">
+          <node concept="1nLNMm" id="vrUbziAJzd" role="1nLNNK">
+            <node concept="3Aq93q" id="vrUbziAJze" role="1nLNMb">
+              <node concept="3I6sU6" id="vrUbziAJzf" role="3Ip0Jz">
+                <node concept="3I6s7M" id="vrUbziAJzg" role="3I6sU7">
+                  <node concept="3Aqt3T" id="vrUbziAJzh" role="3I6s78">
+                    <ref role="3AqCNq" node="6$MmqWfmATa" resolve="convertsLists" />
+                    <node concept="1HFMs5" id="vrUbziAJzi" role="3AunhB">
+                      <node concept="a7P8L" id="vrUbziAJzj" role="1uarlU">
+                        <ref role="a7OzE" node="vrUbziAJzx" resolve="L" />
+                      </node>
+                      <node concept="Hz6ka" id="vrUbziAJCl" role="1uarlW">
+                        <node concept="1Pxxm1" id="vrUbziAJCk" role="Hz6kd">
+                          <node concept="3sNhsn" id="vrUbziAJBY" role="1Pxxm0">
+                            <node concept="ns1u0" id="vrUbziAJBZ" role="3sNhsz">
+                              <ref role="ns1xF" to="kqnc:JOGAOsVt2r" resolve="variableArity" />
+                              <node concept="nsMwS" id="vrUbziAJC0" role="ns1xD">
+                                <ref role="nsMwP" to="kqnc:39Sam6Zio_N" resolve="parameter" />
+                                <node concept="a7P8L" id="vrUbziAJCb" role="iSaTp">
+                                  <ref role="a7OzE" node="vrUbziAJzB" resolve="LHead" />
+                                </node>
+                              </node>
+                            </node>
+                          </node>
+                          <node concept="KCUsM" id="vrUbziAJCO" role="1Pxxm2" />
+                        </node>
+                      </node>
+                    </node>
+                    <node concept="1HFMs5" id="vrUbziAJzm" role="3AunhB">
+                      <node concept="a7P8L" id="vrUbziAJzn" role="1uarlU">
+                        <ref role="a7OzE" node="vrUbziAJzy" resolve="R" />
+                      </node>
+                      <node concept="Hz6ka" id="vrUbziAJzo" role="1uarlW">
+                        <node concept="1Pxxm1" id="vrUbziAJzp" role="Hz6kd">
+                          <node concept="KCUsM" id="vrUbziAJzq" role="1Pxxm2" />
+                          <node concept="3sNhsn" id="vrUbziAJzr" role="1Pxxm0">
+                            <node concept="ns1u0" id="vrUbziAJzs" role="3sNhsz">
+                              <ref role="ns1xF" to="kqnc:JOGAOsVt2r" resolve="variableArity" />
+                              <node concept="nsMwS" id="vrUbziAJzt" role="ns1xD">
+                                <ref role="nsMwP" to="kqnc:39Sam6Zio_N" resolve="parameter" />
+                                <node concept="a7P8L" id="vrUbziAJzu" role="iSaTp">
+                                  <ref role="a7OzE" node="vrUbziAJzC" resolve="RHead" />
+                                </node>
+                              </node>
+                            </node>
+                          </node>
+                        </node>
+                      </node>
+                    </node>
+                    <node concept="a7P8L" id="vrUbziAJzv" role="3AunhB">
+                      <ref role="a7OzE" node="vrUbziAJzG" resolve="Options" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3NuqgR" id="vrUbziAJzw" role="0Rg$4">
+              <node concept="aZer4" id="vrUbziAJzx" role="3XD1gS">
+                <property role="TrG5h" value="L" />
+              </node>
+              <node concept="aZer4" id="vrUbziAJzy" role="3XD1gS">
+                <property role="TrG5h" value="R" />
+              </node>
+              <node concept="aZer4" id="vrUbziAJzz" role="3XD1gS">
+                <property role="TrG5h" value="LTail" />
+              </node>
+              <node concept="aZer4" id="vrUbziAJz$" role="3XD1gS">
+                <property role="TrG5h" value="RTail" />
+              </node>
+              <node concept="VbTHi" id="vrUbziAJz_" role="3vLBG7" />
+            </node>
+            <node concept="3NuqgR" id="vrUbziAJzA" role="0Rg$4">
+              <node concept="aZer4" id="vrUbziAJzB" role="3XD1gS">
+                <property role="TrG5h" value="LHead" />
+              </node>
+              <node concept="aZer4" id="vrUbziAJzC" role="3XD1gS">
+                <property role="TrG5h" value="RHead" />
+              </node>
+              <node concept="32pEOW" id="vrUbziAJzD" role="3vLBG7" />
+            </node>
+            <node concept="3NuqgR" id="vrUbziAJzE" role="0Rg$4">
+              <node concept="3uibUv" id="vrUbziAJzF" role="3vLBG7">
+                <ref role="3uigEE" to="kqnc:3vTJNooZBhQ" resolve="Options" />
+              </node>
+              <node concept="aZer4" id="vrUbziAJzG" role="3XD1gS">
+                <property role="TrG5h" value="Options" />
+              </node>
+            </node>
+            <node concept="3xSepi" id="vrUbziAJDj" role="3xSepv">
+              <node concept="3Aq9E8" id="vrUbziAJDk" role="3xSepj">
+                <node concept="3I6sU6" id="vrUbziAJDl" role="3Ip0Jz">
+                  <node concept="3I6s7M" id="vrUbziAJDq" role="3I6sU7">
+                    <node concept="3Aqt3T" id="vrUbziAJDp" role="3I6s78">
+                      <ref role="3AqCNq" to="kqnc:3vTJNooZDgN" resolve="convertsTo" />
+                      <node concept="a7P8L" id="vrUbziAJDv" role="3AunhB">
+                        <ref role="a7OzE" node="vrUbziAJzB" resolve="LHead" />
+                      </node>
+                      <node concept="a7P8L" id="vrUbziAJDC" role="3AunhB">
+                        <ref role="a7OzE" node="vrUbziAJzC" resolve="RHead" />
+                      </node>
+                      <node concept="a7P8L" id="vrUbziAJE8" role="3AunhB">
+                        <ref role="a7OzE" node="vrUbziAJzG" resolve="Options" />
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3clFbH" id="6ZRhjsGFn0V" role="3cqZAp" />
         <node concept="1nLNNL" id="6$MmqWfmASi" role="3cqZAp">
           <node concept="1nLNMm" id="6$MmqWfmASj" role="1nLNNK">
             <node concept="3Aq93q" id="6$MmqWfmAT6" role="1nLNMb">
@@ -649,16 +842,18 @@
                       </node>
                       <node concept="Hz6ka" id="6$MmqWfmB9m" role="1uarlW">
                         <node concept="1Pxxm1" id="6$MmqWfmB9q" role="Hz6kd">
-                          <node concept="3wAshV" id="6$MmqWfmB9t" role="1Pxxm2">
-                            <node concept="a7P8L" id="6$MmqWfmB9I" role="3wAq21">
-                              <ref role="a7OzE" node="6$MmqWfmB62" resolve="RTail" />
-                            </node>
-                          </node>
-                          <node concept="3wAshV" id="6$MmqWfmB9A" role="1Pxxm0">
-                            <node concept="a7P8L" id="6$MmqWfmB9_" role="3wAq21">
-                              <ref role="a7OzE" node="6$MmqWfmB7$" resolve="RHead" />
+                          <node concept="3sNhsn" id="6ZRhjsGDLQc" role="1Pxxm0">
+                            <node concept="ns1u0" id="6ZRhjsGDLQb" role="3sNhsz">
+                              <ref role="ns1xF" to="kqnc:JOGAOsVt2r" resolve="variableArity" />
+                              <node concept="nsMwS" id="6ZRhjsGDLQg" role="ns1xD">
+                                <ref role="nsMwP" to="kqnc:39Sam6Zio_N" resolve="parameter" />
+                                <node concept="a7P8L" id="6ZRhjsGDLQj" role="iSaTp">
+                                  <ref role="a7OzE" node="6$MmqWfmB7$" resolve="RHead" />
+                                </node>
+                              </node>
                             </node>
                           </node>
+                          <node concept="KCUsM" id="6ZRhjsGFmXq" role="1Pxxm2" />
                         </node>
                       </node>
                     </node>
@@ -695,7 +890,7 @@
             </node>
             <node concept="3NuqgR" id="4s_lMmH6COB" role="0Rg$4">
               <node concept="3uibUv" id="4s_lMmH6COC" role="3vLBG7">
-                <ref role="3uigEE" to="kqnc:3vTJNooZBhQ" resolve="ConvertsContext.Options" />
+                <ref role="3uigEE" to="kqnc:3vTJNooZBhQ" resolve="Options" />
               </node>
               <node concept="aZer4" id="4s_lMmH6COD" role="3XD1gS">
                 <property role="TrG5h" value="Options" />
@@ -710,7 +905,7 @@
                       <node concept="a7P8L" id="6$MmqWfmBa7" role="3AunhB">
                         <ref role="a7OzE" node="6$MmqWfmB71" resolve="LHead" />
                       </node>
-                      <node concept="a7P8L" id="6$MmqWfmBah" role="3AunhB">
+                      <node concept="a7P8L" id="6ZRhjsGFmXt" role="3AunhB">
                         <ref role="a7OzE" node="6$MmqWfmB7$" resolve="RHead" />
                       </node>
                       <node concept="a7P8L" id="4s_lMmH6DLN" role="3AunhB">
@@ -724,8 +919,8 @@
                       <node concept="a7P8L" id="6$MmqWfmBia" role="3AunhB">
                         <ref role="a7OzE" node="6$MmqWfmB5c" resolve="LTail" />
                       </node>
-                      <node concept="a7P8L" id="6$MmqWfmBiL" role="3AunhB">
-                        <ref role="a7OzE" node="6$MmqWfmB62" resolve="RTail" />
+                      <node concept="a7P8L" id="6ZRhjsGFmX_" role="3AunhB">
+                        <ref role="a7OzE" node="6$MmqWfmASI" resolve="R" />
                       </node>
                       <node concept="a7P8L" id="4s_lMmH6DHY" role="3AunhB">
                         <ref role="a7OzE" node="4s_lMmH6COD" resolve="Options" />
@@ -739,6 +934,131 @@
         </node>
       </node>
     </node>
+    <node concept="1nLNMY" id="6$MmqWfmARy" role="1nK1Vg">
+      <property role="TrG5h" value="convertsLists_induction" />
+      <node concept="3clFbS" id="6$MmqWfmARz" role="1nLNMH">
+        <node concept="1nLNNL" id="6ZRhjsGDLLc" role="3cqZAp">
+          <node concept="1nLNMm" id="6ZRhjsGDLLd" role="1nLNNK">
+            <node concept="3Aq93q" id="6ZRhjsGDLLe" role="1nLNMb">
+              <node concept="3I6sU6" id="6ZRhjsGDLLf" role="3Ip0Jz">
+                <node concept="3I6s7M" id="6ZRhjsGDLLg" role="3I6sU7">
+                  <node concept="3Aqt3T" id="6ZRhjsGDLLh" role="3I6s78">
+                    <ref role="3AqCNq" node="6$MmqWfmATa" resolve="convertsLists" />
+                    <node concept="1HFMs5" id="6ZRhjsGDLLi" role="3AunhB">
+                      <node concept="a7P8L" id="6ZRhjsGDLLj" role="1uarlU">
+                        <ref role="a7OzE" node="6ZRhjsGDLL$" resolve="L" />
+                      </node>
+                      <node concept="Hz6ka" id="6ZRhjsGDLLk" role="1uarlW">
+                        <node concept="1Pxxm1" id="6ZRhjsGDLLl" role="Hz6kd">
+                          <node concept="3wAshV" id="6ZRhjsGDLLm" role="1Pxxm0">
+                            <node concept="a7P8L" id="6ZRhjsGDLLn" role="3wAq21">
+                              <ref role="a7OzE" node="6ZRhjsGDLLE" resolve="LHead" />
+                            </node>
+                          </node>
+                          <node concept="3wAshV" id="6ZRhjsGDLLo" role="1Pxxm2">
+                            <node concept="a7P8L" id="6ZRhjsGDLLp" role="3wAq21">
+                              <ref role="a7OzE" node="6ZRhjsGDLLA" resolve="LTail" />
+                            </node>
+                          </node>
+                        </node>
+                      </node>
+                    </node>
+                    <node concept="1HFMs5" id="6ZRhjsGDLLq" role="3AunhB">
+                      <node concept="a7P8L" id="6ZRhjsGDLLr" role="1uarlU">
+                        <ref role="a7OzE" node="6ZRhjsGDLL_" resolve="R" />
+                      </node>
+                      <node concept="Hz6ka" id="6ZRhjsGDLLs" role="1uarlW">
+                        <node concept="1Pxxm1" id="6ZRhjsGDLLt" role="Hz6kd">
+                          <node concept="3wAshV" id="6ZRhjsGDLLu" role="1Pxxm2">
+                            <node concept="a7P8L" id="6ZRhjsGDLLv" role="3wAq21">
+                              <ref role="a7OzE" node="6ZRhjsGDLLB" resolve="RTail" />
+                            </node>
+                          </node>
+                          <node concept="3wAshV" id="6ZRhjsGDLLw" role="1Pxxm0">
+                            <node concept="a7P8L" id="6ZRhjsGDLLx" role="3wAq21">
+                              <ref role="a7OzE" node="6ZRhjsGDLLF" resolve="RHead" />
+                            </node>
+                          </node>
+                        </node>
+                      </node>
+                    </node>
+                    <node concept="a7P8L" id="6ZRhjsGDLLy" role="3AunhB">
+                      <ref role="a7OzE" node="6ZRhjsGDLLJ" resolve="Options" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3NuqgR" id="6ZRhjsGDLLz" role="0Rg$4">
+              <node concept="aZer4" id="6ZRhjsGDLL$" role="3XD1gS">
+                <property role="TrG5h" value="L" />
+              </node>
+              <node concept="aZer4" id="6ZRhjsGDLL_" role="3XD1gS">
+                <property role="TrG5h" value="R" />
+              </node>
+              <node concept="aZer4" id="6ZRhjsGDLLA" role="3XD1gS">
+                <property role="TrG5h" value="LTail" />
+              </node>
+              <node concept="aZer4" id="6ZRhjsGDLLB" role="3XD1gS">
+                <property role="TrG5h" value="RTail" />
+              </node>
+              <node concept="VbTHi" id="6ZRhjsGDLLC" role="3vLBG7" />
+            </node>
+            <node concept="3NuqgR" id="6ZRhjsGDLLD" role="0Rg$4">
+              <node concept="aZer4" id="6ZRhjsGDLLE" role="3XD1gS">
+                <property role="TrG5h" value="LHead" />
+              </node>
+              <node concept="aZer4" id="6ZRhjsGDLLF" role="3XD1gS">
+                <property role="TrG5h" value="RHead" />
+              </node>
+              <node concept="32pEOW" id="6ZRhjsGDLLG" role="3vLBG7" />
+            </node>
+            <node concept="3NuqgR" id="6ZRhjsGDLLH" role="0Rg$4">
+              <node concept="3uibUv" id="6ZRhjsGDLLI" role="3vLBG7">
+                <ref role="3uigEE" to="kqnc:3vTJNooZBhQ" resolve="Options" />
+              </node>
+              <node concept="aZer4" id="6ZRhjsGDLLJ" role="3XD1gS">
+                <property role="TrG5h" value="Options" />
+              </node>
+            </node>
+            <node concept="3xSepi" id="6ZRhjsGDLLK" role="3xSepv">
+              <node concept="3Aq9E8" id="6ZRhjsGDLLL" role="3xSepj">
+                <node concept="3I6sU6" id="6ZRhjsGDLLM" role="3Ip0Jz">
+                  <node concept="3I6s7M" id="6ZRhjsGDLLN" role="3I6sU7">
+                    <node concept="3Aqt3T" id="6ZRhjsGDLLO" role="3I6s78">
+                      <ref role="3AqCNq" to="kqnc:3vTJNooZDgN" resolve="convertsTo" />
+                      <node concept="a7P8L" id="6ZRhjsGDLLP" role="3AunhB">
+                        <ref role="a7OzE" node="6ZRhjsGDLLE" resolve="LHead" />
+                      </node>
+                      <node concept="a7P8L" id="6ZRhjsGDLLQ" role="3AunhB">
+                        <ref role="a7OzE" node="6ZRhjsGDLLF" resolve="RHead" />
+                      </node>
+                      <node concept="a7P8L" id="6ZRhjsGDLLR" role="3AunhB">
+                        <ref role="a7OzE" node="6ZRhjsGDLLJ" resolve="Options" />
+                      </node>
+                    </node>
+                  </node>
+                  <node concept="3I6s7M" id="6ZRhjsGDLLS" role="3I6sU7">
+                    <node concept="3Aqt3T" id="6ZRhjsGDLLT" role="3I6s78">
+                      <ref role="3AqCNq" node="6$MmqWfmATa" resolve="convertsLists" />
+                      <node concept="a7P8L" id="6ZRhjsGDLLU" role="3AunhB">
+                        <ref role="a7OzE" node="6ZRhjsGDLLA" resolve="LTail" />
+                      </node>
+                      <node concept="a7P8L" id="6ZRhjsGDLLV" role="3AunhB">
+                        <ref role="a7OzE" node="6ZRhjsGDLLB" resolve="RTail" />
+                      </node>
+                      <node concept="a7P8L" id="6ZRhjsGDLLW" role="3AunhB">
+                        <ref role="a7OzE" node="6ZRhjsGDLLJ" resolve="Options" />
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+    </node>
     <node concept="1nLNMY" id="6$MmqWfmBjk" role="1nK1Vg">
       <property role="TrG5h" value="convertsLists_trivial" />
       <node concept="3clFbS" id="6$MmqWfmBjl" role="1nLNMH">