From 47e6e0703942ca8f8e73ad15a23d941da79afe6e Mon Sep 17 00:00:00 2001
From: Fedor Isakov <fisakov@gmail.com>
Date: Mon, 3 May 2021 13:09:32 +0200
Subject: [PATCH] Refactor processing of inference variables

Introduce hasTarget and resolveVar constraints for delayed resolving
of inference variables. In invocation context variables are not
inferred eagerly, but wait for the end of all conversions, and then
resolved via resolveVar.
---
 ...ins.mps.baseLanguage.closuresExt.types.mps |  105 +-
 .../jetbrains.mps.baseLanguageExt.types.mps   | 2285 ++++++++++-------
 ...baseLanguage.closuresExt.test.closures.mps |  265 +-
 3 files changed, 1713 insertions(+), 942 deletions(-)

diff --git a/samples/mpscore/languages/jetbrains.mps.baseLanguage.closuresExt/models/jetbrains.mps.baseLanguage.closuresExt.types.mps b/samples/mpscore/languages/jetbrains.mps.baseLanguage.closuresExt/models/jetbrains.mps.baseLanguage.closuresExt.types.mps
index 95ca0ba0..5519acdd 100644
--- a/samples/mpscore/languages/jetbrains.mps.baseLanguage.closuresExt/models/jetbrains.mps.baseLanguage.closuresExt.types.mps
+++ b/samples/mpscore/languages/jetbrains.mps.baseLanguage.closuresExt/models/jetbrains.mps.baseLanguage.closuresExt.types.mps
@@ -1530,7 +1530,57 @@
                                 </node>
                               </node>
                             </node>
-                            <node concept="3clFbH" id="4Z0pyZIFWuf" role="3cqZAp" />
+                            <node concept="1Dw8fO" id="31ObkDYZQgE" role="3cqZAp">
+                              <node concept="3clFbS" id="31ObkDYZQgF" role="2LFqv$">
+                                <node concept="3cpWs8" id="31ObkDYZQgG" role="3cqZAp">
+                                  <node concept="3cpWsn" id="31ObkDYZQgH" role="3cpWs9">
+                                    <property role="TrG5h" value="exit" />
+                                    <node concept="3Tqbb2" id="31ObkDYZQgI" role="1tU5fm" />
+                                    <node concept="1y4W85" id="31ObkDYZQgJ" role="33vP2m">
+                                      <node concept="37vLTw" id="31ObkDYZQgK" role="1y58nS">
+                                        <ref role="3cqZAo" node="31ObkDYZQgS" resolve="i" />
+                                      </node>
+                                      <node concept="37vLTw" id="31ObkDYZQgL" role="1y566C">
+                                        <ref role="3cqZAo" node="zb1Nk79lNY" resolve="exits" />
+                                      </node>
+                                    </node>
+                                  </node>
+                                </node>
+                                <node concept="3Aqczg" id="31ObkDYZQgM" role="3cqZAp">
+                                  <node concept="3Aqt3T" id="31ObkDYZQgN" role="3Aqpz8">
+                                    <ref role="3AqCNq" to="kqnc:31ObkDYZPm0" resolve="resolveInferenceVar" />
+                                    <node concept="37jhX" id="31ObkDYZQgO" role="3AunhB">
+                                      <node concept="37vLTw" id="31ObkDYZQgP" role="37jj2">
+                                        <ref role="3cqZAo" node="31ObkDYZQgH" resolve="exit" />
+                                      </node>
+                                    </node>
+                                  </node>
+                                </node>
+                              </node>
+                              <node concept="3cpWsn" id="31ObkDYZQgS" role="1Duv9x">
+                                <property role="TrG5h" value="i" />
+                                <node concept="10Oyi0" id="31ObkDYZQgT" role="1tU5fm" />
+                                <node concept="3cmrfG" id="31ObkDYZQgU" role="33vP2m">
+                                  <property role="3cmrfH" value="0" />
+                                </node>
+                              </node>
+                              <node concept="3eOVzh" id="31ObkDYZQgV" role="1Dwp0S">
+                                <node concept="2OqwBi" id="31ObkDYZQgW" role="3uHU7w">
+                                  <node concept="37vLTw" id="31ObkDYZQgX" role="2Oq$k0">
+                                    <ref role="3cqZAo" node="zb1Nk79lNY" resolve="exits" />
+                                  </node>
+                                  <node concept="34oBXx" id="31ObkDYZQgY" role="2OqNvi" />
+                                </node>
+                                <node concept="37vLTw" id="31ObkDYZQgZ" role="3uHU7B">
+                                  <ref role="3cqZAo" node="31ObkDYZQgS" resolve="i" />
+                                </node>
+                              </node>
+                              <node concept="2$rviw" id="31ObkDYZQh0" role="1Dwrff">
+                                <node concept="37vLTw" id="31ObkDYZQh1" role="2$L3a6">
+                                  <ref role="3cqZAo" node="31ObkDYZQgS" resolve="i" />
+                                </node>
+                              </node>
+                            </node>
                             <node concept="3Aqczg" id="4Z0pyZIF$Y3" role="3cqZAp">
                               <node concept="3A8Hvi" id="4Z0pyZIF$XX" role="3Aqpz8">
                                 <node concept="a7P8L" id="4Z0pyZIF$Yt" role="3A8wtg">
@@ -1629,6 +1679,19 @@
             <node concept="3xSepi" id="5jbgz$E6gVR" role="3xSepv">
               <node concept="3Aq9E8" id="5jbgz$E6gVS" role="3xSepj">
                 <node concept="3I6sU6" id="5jbgz$E6gVT" role="3Ip0Jz">
+                  <node concept="3I6s7M" id="31ObkDYZPur" role="3I6sU7">
+                    <node concept="3Aqt3T" id="31ObkDYZPup" role="3I6s78">
+                      <ref role="3AqCNq" to="kqnc:31ObkDYZPlP" resolve="inferenceVar" />
+                      <node concept="37jhX" id="31ObkDYZPvC" role="3AunhB">
+                        <node concept="3A2sRY" id="31ObkDYZPvA" role="37jj2">
+                          <ref role="3A2yKK" node="5jbgz$E6gUr" resolve="yld" />
+                        </node>
+                      </node>
+                      <node concept="a7P8L" id="31ObkDYZPTV" role="3AunhB">
+                        <ref role="a7OzE" node="5jbgz$E6gUK" resolve="YieldT" />
+                      </node>
+                    </node>
+                  </node>
                   <node concept="3I6s7M" id="5jbgz$E6gVY" role="3I6sU7">
                     <node concept="3Aqt3T" id="5jbgz$E6gVX" role="3I6s78">
                       <ref role="3AqCNq" to="kqnc:34$A1MfhdDv" resolve="typeOf" />
@@ -1700,6 +1763,23 @@
                       </node>
                     </node>
                   </node>
+                </node>
+              </node>
+              <node concept="3Aq9E8" id="31ObkDYZQ5n" role="3xSepj">
+                <node concept="3I6sU6" id="31ObkDYZQ5o" role="3Ip0Jz">
+                  <node concept="3I6s7M" id="31ObkDYZPUU" role="3I6sU7">
+                    <node concept="3Aqt3T" id="31ObkDYZPUS" role="3I6s78">
+                      <ref role="3AqCNq" to="kqnc:31ObkDYZPlP" resolve="inferenceVar" />
+                      <node concept="37jhX" id="31ObkDYZQ3u" role="3AunhB">
+                        <node concept="3A2sRY" id="31ObkDYZQ3s" role="37jj2">
+                          <ref role="3A2yKK" node="5jbgz$E6iox" resolve="yldAll" />
+                        </node>
+                      </node>
+                      <node concept="a7P8L" id="31ObkDZ3yyh" role="3AunhB">
+                        <ref role="a7OzE" node="5jbgz$E6j5t" resolve="Elem" />
+                      </node>
+                    </node>
+                  </node>
                   <node concept="3I6s7M" id="5jbgz$E6kWg" role="3I6sU7">
                     <node concept="3Aqt3T" id="5jbgz$E6kWe" role="3I6s78">
                       <ref role="3AqCNq" to="kqnc:34$A1MfhdDv" resolve="typeOf" />
@@ -1773,6 +1853,23 @@
                       </node>
                     </node>
                   </node>
+                </node>
+              </node>
+              <node concept="3Aq9E8" id="31ObkDYZQdG" role="3xSepj">
+                <node concept="3I6sU6" id="31ObkDYZQdH" role="3Ip0Jz">
+                  <node concept="3I6s7M" id="31ObkDYZQg5" role="3I6sU7">
+                    <node concept="3Aqt3T" id="31ObkDYZQg3" role="3I6s78">
+                      <ref role="3AqCNq" to="kqnc:31ObkDYZPlP" resolve="inferenceVar" />
+                      <node concept="37jhX" id="31ObkDYZQgh" role="3AunhB">
+                        <node concept="3A2sRY" id="31ObkDYZQgf" role="37jj2">
+                          <ref role="3A2yKK" node="5jbgz$E6iox" resolve="yldAll" />
+                        </node>
+                      </node>
+                      <node concept="a7P8L" id="31ObkDZ3yzx" role="3AunhB">
+                        <ref role="a7OzE" node="5jbgz$E6j5t" resolve="Elem" />
+                      </node>
+                    </node>
+                  </node>
                   <node concept="3I6s7M" id="5jbgz$E6ioo" role="3I6sU7">
                     <node concept="3Aqt3T" id="5jbgz$E6iop" role="3I6s78">
                       <ref role="3AqCNq" to="kqnc:34$A1MfhdDv" resolve="typeOf" />
@@ -4929,7 +5026,7 @@
                             <node concept="3clFbS" id="6yxoGioji64" role="2LFqv$">
                               <node concept="3Aqczg" id="6yxoGioji65" role="3cqZAp">
                                 <node concept="3Aqt3T" id="6yxoGioji66" role="3Aqpz8">
-                                  <ref role="3AqCNq" to="kqnc:6N2bvv_5W0X" resolve="resolveVar" />
+                                  <ref role="3AqCNq" to="kqnc:4jGoIleP8jH" resolve="makeGround" />
                                   <node concept="a7P8L" id="6yxoGioji67" role="3AunhB">
                                     <ref role="a7OzE" node="6yxoGiojas8" resolve="MethTVs" />
                                     <node concept="37vLTw" id="6yxoGioji68" role="3gCZO6">
@@ -6199,7 +6296,7 @@
                                   <node concept="37vLTw" id="53tmmMtoIIw" role="3jicU7">
                                     <ref role="3cqZAo" node="3DgB4rOyEsk" resolve="mdecl" />
                                   </node>
-                                  <node concept="37vLTw" id="53tmmMtoKNr" role="3jicU7">
+                                  <node concept="37vLTw" id="4jGoIleP8gR" role="3jicU7">
                                     <ref role="3cqZAo" node="53tmmMtoJCO" resolve="noMethodTyArgs" />
                                   </node>
                                   <node concept="37vLTw" id="53tmmMtoKN_" role="3jicU7">
@@ -6304,7 +6401,7 @@
                                 <node concept="3clFbS" id="53tmmMtp2oQ" role="2LFqv$">
                                   <node concept="3Aqczg" id="53tmmMtp7gJ" role="3cqZAp">
                                     <node concept="3Aqt3T" id="53tmmMtp7gH" role="3Aqpz8">
-                                      <ref role="3AqCNq" to="kqnc:6N2bvv_5W0X" resolve="resolveVar" />
+                                      <ref role="3AqCNq" to="kqnc:4jGoIleP8jH" resolve="makeGround" />
                                       <node concept="a7P8L" id="53tmmMtp7ib" role="3AunhB">
                                         <ref role="a7OzE" node="53tmmMtoThW" resolve="MethTVs" />
                                         <node concept="37vLTw" id="53tmmMtp7iJ" role="3gCZO6">
diff --git a/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/jetbrains.mps.baseLanguageExt.types.mps b/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/jetbrains.mps.baseLanguageExt.types.mps
index c5558694..7504c2e2 100644
--- a/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/jetbrains.mps.baseLanguageExt.types.mps
+++ b/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/jetbrains.mps.baseLanguageExt.types.mps
@@ -71,6 +71,8 @@
       <concept id="8118189177080264853" name="jetbrains.mps.baseLanguage.structure.AlternativeType" flags="ig" index="nSUau">
         <child id="8118189177080264854" name="alternative" index="nSUat" />
       </concept>
+      <concept id="1224500764161" name="jetbrains.mps.baseLanguage.structure.BitwiseAndExpression" flags="nn" index="pVHWs" />
+      <concept id="1224500790866" name="jetbrains.mps.baseLanguage.structure.BitwiseOrExpression" flags="nn" index="pVOtf" />
       <concept id="1465982738277781862" name="jetbrains.mps.baseLanguage.structure.PlaceholderMember" flags="nn" index="2tJIrI" />
       <concept id="1239709250944" name="jetbrains.mps.baseLanguage.structure.PrefixIncrementExpression" flags="nn" index="2$rviw" />
       <concept id="1076505808687" name="jetbrains.mps.baseLanguage.structure.WhileStatement" flags="nn" index="2$JKZl">
@@ -105,6 +107,7 @@
       <concept id="1145552977093" name="jetbrains.mps.baseLanguage.structure.GenericNewExpression" flags="nn" index="2ShNRf">
         <child id="1145553007750" name="creator" index="2ShVmc" />
       </concept>
+      <concept id="1070462154015" name="jetbrains.mps.baseLanguage.structure.StaticFieldDeclaration" flags="ig" index="Wx3nA" />
       <concept id="1070475354124" name="jetbrains.mps.baseLanguage.structure.ThisExpression" flags="nn" index="Xjq3P" />
       <concept id="1070475587102" name="jetbrains.mps.baseLanguage.structure.SuperConstructorInvocation" flags="nn" index="XkiVB" />
       <concept id="1070475926800" name="jetbrains.mps.baseLanguage.structure.StringLiteral" flags="nn" index="Xl_RD">
@@ -263,6 +266,8 @@
         <child id="8276990574895933172" name="throwable" index="1zc67B" />
       </concept>
       <concept id="1204200696010" name="jetbrains.mps.baseLanguage.structure.NullType" flags="in" index="1vX6Bi" />
+      <concept id="7024111702304501416" name="jetbrains.mps.baseLanguage.structure.OrAssignmentExpression" flags="nn" index="3vZ8r8" />
+      <concept id="7024111702304501418" name="jetbrains.mps.baseLanguage.structure.AndAssignmentExpression" flags="nn" index="3vZ8ra" />
       <concept id="1073239437375" name="jetbrains.mps.baseLanguage.structure.NotEqualsExpression" flags="nn" index="3y3z36" />
       <concept id="1081855346303" name="jetbrains.mps.baseLanguage.structure.BreakStatement" flags="nn" index="3zACq4" />
       <concept id="1184950988562" name="jetbrains.mps.baseLanguage.structure.ArrayCreator" flags="nn" index="3$_iS1">
@@ -285,6 +290,10 @@
         <child id="1144231399730" name="condition" index="1Dwp0S" />
         <child id="1144231408325" name="iteration" index="1Dwrff" />
       </concept>
+      <concept id="1225892208569" name="jetbrains.mps.baseLanguage.structure.ShiftLeftExpression" flags="nn" index="1GRDU$" />
+      <concept id="1225894555487" name="jetbrains.mps.baseLanguage.structure.BitwiseNotExpression" flags="nn" index="1H0AT2">
+        <child id="1225894555490" name="expression" index="1H0ATZ" />
+      </concept>
       <concept id="1107796713796" name="jetbrains.mps.baseLanguage.structure.Interface" flags="ig" index="3HP615">
         <child id="1107797138135" name="extendedInterface" index="3HQHJm" />
       </concept>
@@ -5204,6 +5213,45 @@
                           </node>
                         </node>
                       </node>
+                      <node concept="1Dw8fO" id="31ObkDZkcN_" role="3cqZAp">
+                        <node concept="3clFbS" id="31ObkDZkcNA" role="2LFqv$">
+                          <node concept="3Aqczg" id="31ObkDZkcNB" role="3cqZAp">
+                            <node concept="3Aqt3T" id="31ObkDZkcNC" role="3Aqpz8">
+                              <ref role="3AqCNq" node="6N2bvv_5W0X" resolve="resolveVar" />
+                              <node concept="a7P8L" id="31ObkDZkcND" role="3AunhB">
+                                <ref role="a7OzE" node="4xoHD1GpWdD" resolve="ClsTySubs" />
+                                <node concept="37vLTw" id="31ObkDZkcNE" role="3gCZO6">
+                                  <ref role="3cqZAo" node="31ObkDZkcNF" resolve="i" />
+                                </node>
+                              </node>
+                            </node>
+                          </node>
+                        </node>
+                        <node concept="3cpWsn" id="31ObkDZkcNF" role="1Duv9x">
+                          <property role="TrG5h" value="i" />
+                          <node concept="10Oyi0" id="31ObkDZkcNG" role="1tU5fm" />
+                          <node concept="3cmrfG" id="31ObkDZkcNH" role="33vP2m">
+                            <property role="3cmrfH" value="0" />
+                          </node>
+                        </node>
+                        <node concept="3eOVzh" id="31ObkDZkcNI" role="1Dwp0S">
+                          <node concept="2OqwBi" id="31ObkDZkcNJ" role="3uHU7w">
+                            <node concept="37vLTw" id="31ObkDZkcY0" role="2Oq$k0">
+                              <ref role="3cqZAo" node="4xoHD1GpWcG" resolve="ctvds" />
+                            </node>
+                            <node concept="34oBXx" id="31ObkDZkcNL" role="2OqNvi" />
+                          </node>
+                          <node concept="37vLTw" id="31ObkDZkcNM" role="3uHU7B">
+                            <ref role="3cqZAo" node="31ObkDZkcNF" resolve="i" />
+                          </node>
+                        </node>
+                        <node concept="3uNrnE" id="31ObkDZkcNN" role="1Dwrff">
+                          <node concept="37vLTw" id="31ObkDZkcNO" role="2$L3a6">
+                            <ref role="3cqZAo" node="31ObkDZkcNF" resolve="i" />
+                          </node>
+                        </node>
+                      </node>
+                      <node concept="3clFbH" id="31ObkDZkcLR" role="3cqZAp" />
                       <node concept="3Aqczg" id="53tmmMsTQNr" role="3cqZAp">
                         <node concept="3Aqt3T" id="53tmmMsTQNp" role="3Aqpz8">
                           <ref role="3AqCNq" node="34$A1MfhdDv" resolve="typeOf" />
@@ -6264,6 +6312,26 @@
                 <property role="TrG5h" value="Options" />
               </node>
             </node>
+            <node concept="3xSepi" id="75Mu1NeTtBZ" role="3xSepv">
+              <node concept="3Aq9E8" id="75Mu1NeTtC0" role="3xSepj">
+                <node concept="3I6sU6" id="75Mu1NeTtC1" role="3Ip0Jz">
+                  <node concept="3I6s7M" id="75Mu1NeTtCw" role="3I6sU7">
+                    <node concept="3Aqt3T" id="75Mu1NeTtCx" role="3I6s78">
+                      <ref role="3AqCNq" node="4O7HczO6A6X" resolve="maybeUni" />
+                      <node concept="a7P8L" id="75Mu1NeTtCy" role="3AunhB">
+                        <ref role="a7OzE" node="5crgrygExrU" resolve="S" />
+                      </node>
+                      <node concept="a7P8L" id="75Mu1NeTtCz" role="3AunhB">
+                        <ref role="a7OzE" node="5crgrygExs3" resolve="T" />
+                      </node>
+                      <node concept="a7P8L" id="75Mu1NeTtC$" role="3AunhB">
+                        <ref role="a7OzE" node="oCcpswWojK" resolve="Options" />
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
           </node>
         </node>
       </node>
@@ -8051,6 +8119,10 @@
                           </node>
                         </node>
                       </node>
+                    </node>
+                  </node>
+                  <node concept="3Aq9E8" id="75Mu1Nf9Nku" role="3xSepj">
+                    <node concept="3I6sU6" id="75Mu1Nf9Nkv" role="3Ip0Jz">
                       <node concept="3I6s7M" id="6KIXGIaNF0b" role="3I6sU7">
                         <node concept="3Aqt3T" id="6KIXGIaNF0c" role="3I6s78">
                           <ref role="3AqCNq" node="6KIXGIaNNsn" resolve="checkForeachElem" />
@@ -8132,6 +8204,10 @@
                           </node>
                         </node>
                       </node>
+                    </node>
+                  </node>
+                  <node concept="3Aq9E8" id="31ObkDYiYLx" role="3xSepj">
+                    <node concept="3I6sU6" id="31ObkDYiYLy" role="3Ip0Jz">
                       <node concept="3I6s7M" id="6KIXGIaNEWz" role="3I6sU7">
                         <node concept="3Aqt3T" id="6KIXGIaNSuK" role="3I6s78">
                           <ref role="3AqCNq" node="6KIXGIaNNsn" resolve="checkForeachElem" />
@@ -15181,174 +15257,6 @@
         </node>
       </node>
     </node>
-    <node concept="1X3_iC" id="4yZzE4kz5z0" role="lGtFl">
-      <property role="3V$3am" value="template" />
-      <property role="3V$3ak" value="c4803b19-6d89-4a3b-bf82-390769514add/8335224865066015764/3575255234175157601" />
-      <node concept="1nLNMY" id="12QmIo_7siK" role="8Wnug">
-        <property role="TrG5h" value="converts_free_to_ground_resolve" />
-        <node concept="3clFbS" id="12QmIo_7siL" role="1nLNMH">
-          <node concept="1nLNNL" id="12QmIo_7siM" role="3cqZAp">
-            <node concept="1nLNMm" id="12QmIo_7siN" role="1nLNNK">
-              <node concept="3Aq93q" id="5NuEpF1yim9" role="1nLNMb">
-                <property role="3ArMco" value="false" />
-                <node concept="3I6sU6" id="4nIWweBB_cE" role="3Ip0Jz">
-                  <node concept="3I6s7M" id="4nIWweBB_cF" role="3I6sU7">
-                    <node concept="3Aqt3T" id="5NuEpF1tsO6" role="3I6s78">
-                      <ref role="3AqCNq" node="3vTJNooZDgN" resolve="convertsTo" />
-                      <node concept="a7P8L" id="5JTOzCQSkGd" role="3AunhB">
-                        <ref role="a7OzE" node="2CsZ2XTa5M" resolve="S" />
-                      </node>
-                      <node concept="a7P8L" id="5JTOzCQSkFk" role="3AunhB">
-                        <ref role="a7OzE" node="2CsZ2XTa5V" resolve="T" />
-                      </node>
-                      <node concept="a7P8L" id="4O7HczO3zQZ" role="3AunhB">
-                        <ref role="a7OzE" node="4O7HczO3zQX" resolve="Options" />
-                      </node>
-                    </node>
-                  </node>
-                </node>
-              </node>
-              <node concept="3Aq9_M" id="2QE4RCGiMdP" role="1nLNMa">
-                <node concept="3I6sU6" id="4nIWweBB_d7" role="3Ip0Jz">
-                  <node concept="3I6s7M" id="4nIWweBB_d8" role="3I6sU7">
-                    <node concept="2aLmEc" id="2QE4RCGiMdS" role="3I6s78">
-                      <node concept="a7P8L" id="5JTOzCQSkHq" role="2aLmnP">
-                        <ref role="a7OzE" node="2CsZ2XTa5M" resolve="S" />
-                      </node>
-                    </node>
-                  </node>
-                  <node concept="3I6s7M" id="4nIWweBB_d9" role="3I6sU7">
-                    <node concept="2aM9Np" id="2QE4RCGiMmx" role="3I6s78">
-                      <node concept="a7P8L" id="5JTOzCQSkFO" role="2aLmnP">
-                        <ref role="a7OzE" node="2CsZ2XTa5V" resolve="T" />
-                      </node>
-                    </node>
-                  </node>
-                </node>
-              </node>
-              <node concept="3NuqgR" id="2CsZ2XTa5L" role="0Rg$4">
-                <node concept="aZer4" id="2CsZ2XTa5M" role="3XD1gS">
-                  <property role="TrG5h" value="S" />
-                </node>
-                <node concept="aZer4" id="2CsZ2XTa5V" role="3XD1gS">
-                  <property role="TrG5h" value="T" />
-                </node>
-                <node concept="32pEOW" id="24ciDNzxND5" role="3vLBG7" />
-              </node>
-              <node concept="3xSepi" id="6E2cNicdiiU" role="3xSepv">
-                <node concept="3Aq9E8" id="5NuEpF1trxX" role="3xSepj">
-                  <node concept="3I6sU6" id="4nIWweBB_dD" role="3Ip0Jz">
-                    <node concept="3I6s7M" id="6N2bvv_5WHz" role="3I6sU7">
-                      <node concept="3Aqt3T" id="6N2bvv_5WHy" role="3I6s78">
-                        <ref role="3AqCNq" node="6N2bvv_9b_6" resolve="hasUpperTarget" />
-                        <node concept="a7P8L" id="6N2bvv_5WI3" role="3AunhB">
-                          <ref role="a7OzE" node="2CsZ2XTa5M" resolve="S" />
-                        </node>
-                        <node concept="a7P8L" id="6N2bvv_5WIZ" role="3AunhB">
-                          <ref role="a7OzE" node="2CsZ2XTa5V" resolve="T" />
-                        </node>
-                      </node>
-                    </node>
-                  </node>
-                </node>
-              </node>
-              <node concept="3NuqgR" id="4O7HczO3zQV" role="0Rg$4">
-                <node concept="3uibUv" id="4O7HczO3zQW" role="3vLBG7">
-                  <ref role="3uigEE" node="3vTJNooZBhQ" resolve="ConvertsContext.Options" />
-                </node>
-                <node concept="aZer4" id="4O7HczO3zQX" role="3XD1gS">
-                  <property role="TrG5h" value="Options" />
-                </node>
-              </node>
-            </node>
-          </node>
-        </node>
-      </node>
-    </node>
-    <node concept="1X3_iC" id="4yZzE4kz5P2" role="lGtFl">
-      <property role="3V$3am" value="template" />
-      <property role="3V$3ak" value="c4803b19-6d89-4a3b-bf82-390769514add/8335224865066015764/3575255234175157601" />
-      <node concept="1nLNMY" id="12QmIo_7siO" role="8Wnug">
-        <property role="TrG5h" value="converts_ground_to_free_resolve" />
-        <node concept="3clFbS" id="12QmIo_7siP" role="1nLNMH">
-          <node concept="1nLNNL" id="12QmIo_7siQ" role="3cqZAp">
-            <node concept="1nLNMm" id="12QmIo_7siR" role="1nLNNK">
-              <node concept="3Aq93q" id="2QE4RCGiPir" role="1nLNMb">
-                <property role="3ArMco" value="false" />
-                <node concept="3I6sU6" id="4nIWweBB_e6" role="3Ip0Jz">
-                  <node concept="3I6s7M" id="4nIWweBB_e7" role="3I6sU7">
-                    <node concept="3Aqt3T" id="2QE4RCGiPix" role="3I6s78">
-                      <ref role="3AqCNq" node="3vTJNooZDgN" resolve="convertsTo" />
-                      <node concept="a7P8L" id="5JTOzCQSkHC" role="3AunhB">
-                        <ref role="a7OzE" node="2CsZ2XTamq" resolve="S" />
-                      </node>
-                      <node concept="a7P8L" id="5JTOzCQSkFS" role="3AunhB">
-                        <ref role="a7OzE" node="2CsZ2XTamz" resolve="T" />
-                      </node>
-                      <node concept="a7P8L" id="4O7HczO3zR7" role="3AunhB">
-                        <ref role="a7OzE" node="4O7HczO3zR5" resolve="Options" />
-                      </node>
-                    </node>
-                  </node>
-                </node>
-              </node>
-              <node concept="3Aq9_M" id="2QE4RCGiPij" role="1nLNMa">
-                <node concept="3I6sU6" id="4nIWweBB_ev" role="3Ip0Jz">
-                  <node concept="3I6s7M" id="4nIWweBB_ew" role="3I6sU7">
-                    <node concept="2aM9Np" id="2QE4RCGiPip" role="3I6s78">
-                      <node concept="a7P8L" id="5JTOzCQSkGO" role="2aLmnP">
-                        <ref role="a7OzE" node="2CsZ2XTamq" resolve="S" />
-                      </node>
-                    </node>
-                  </node>
-                  <node concept="3I6s7M" id="4nIWweBB_ex" role="3I6sU7">
-                    <node concept="2aLmEc" id="2QE4RCGiPim" role="3I6s78">
-                      <node concept="a7P8L" id="5JTOzCQSkGk" role="2aLmnP">
-                        <ref role="a7OzE" node="2CsZ2XTamz" resolve="T" />
-                      </node>
-                    </node>
-                  </node>
-                </node>
-              </node>
-              <node concept="3NuqgR" id="2CsZ2XTamp" role="0Rg$4">
-                <node concept="aZer4" id="2CsZ2XTamq" role="3XD1gS">
-                  <property role="TrG5h" value="S" />
-                </node>
-                <node concept="aZer4" id="2CsZ2XTamz" role="3XD1gS">
-                  <property role="TrG5h" value="T" />
-                </node>
-                <node concept="32pEOW" id="24ciDNzxND6" role="3vLBG7" />
-              </node>
-              <node concept="3xSepi" id="6E2cNicdiiV" role="3xSepv">
-                <node concept="3Aq9E8" id="2QSgdljaKJq" role="3xSepj">
-                  <node concept="3I6sU6" id="2QSgdljaKJr" role="3Ip0Jz">
-                    <node concept="3I6s7M" id="6N2bvv_5WKl" role="3I6sU7">
-                      <node concept="3Aqt3T" id="6N2bvv_5WKk" role="3I6s78">
-                        <ref role="3AqCNq" node="6N2bvv_crdr" resolve="hasLowerTarget" />
-                        <node concept="a7P8L" id="6N2bvv_5WLj" role="3AunhB">
-                          <ref role="a7OzE" node="2CsZ2XTamz" resolve="T" />
-                        </node>
-                        <node concept="a7P8L" id="6N2bvv_5WKN" role="3AunhB">
-                          <ref role="a7OzE" node="2CsZ2XTamq" resolve="S" />
-                        </node>
-                      </node>
-                    </node>
-                  </node>
-                </node>
-              </node>
-              <node concept="3NuqgR" id="4O7HczO3zR3" role="0Rg$4">
-                <node concept="3uibUv" id="4O7HczO3zR4" role="3vLBG7">
-                  <ref role="3uigEE" node="3vTJNooZBhQ" resolve="ConvertsContext.Options" />
-                </node>
-                <node concept="aZer4" id="4O7HczO3zR5" role="3XD1gS">
-                  <property role="TrG5h" value="Options" />
-                </node>
-              </node>
-            </node>
-          </node>
-        </node>
-      </node>
-    </node>
     <node concept="3AqmO8" id="3vTJNooZDgN" role="8PkJo">
       <property role="TrG5h" value="convertsTo" />
       <node concept="1zAUYm" id="3vTJNooZDgU" role="1zAUyy">
@@ -16994,6 +16902,20 @@
             </node>
             <node concept="3Aq9_M" id="7nPD14N6oKp" role="1nLNMa">
               <node concept="3I6sU6" id="4nIWweBDTYr" role="3Ip0Jz">
+                <node concept="3I6s7M" id="31ObkDYWRuE" role="3I6sU7">
+                  <node concept="2aM9Np" id="31ObkDYWRuC" role="3I6s78">
+                    <node concept="a7P8L" id="31ObkDYWRuL" role="2aLmnP">
+                      <ref role="a7OzE" node="7nPD14N6oKF" resolve="Left" />
+                    </node>
+                  </node>
+                </node>
+                <node concept="3I6s7M" id="31ObkDYWRv3" role="3I6sU7">
+                  <node concept="2aM9Np" id="31ObkDYWRv1" role="3I6s78">
+                    <node concept="a7P8L" id="31ObkDYWRvd" role="2aLmnP">
+                      <ref role="a7OzE" node="7nPD14N6oKG" resolve="Right" />
+                    </node>
+                  </node>
+                </node>
                 <node concept="3I6s7M" id="4nIWweBDTYs" role="3I6sU7">
                   <node concept="3A8Hvi" id="7nPD14N6oPA" role="3I6s78">
                     <node concept="a7P8L" id="7nPD14N6oQ4" role="3A8w4Q">
@@ -17038,6 +16960,172 @@
         </node>
       </node>
     </node>
+    <node concept="1nLNMY" id="31ObkDYWRvk" role="1nK1Vg">
+      <property role="TrG5h" value="lub_free" />
+      <node concept="3clFbS" id="31ObkDYWRvl" role="1nLNMH">
+        <node concept="1nLNNL" id="31ObkDYWS23" role="3cqZAp">
+          <node concept="1nLNMm" id="31ObkDYWS24" role="1nLNNK">
+            <node concept="3Aq93q" id="31ObkDYWS25" role="1nLNMb">
+              <property role="3ArMco" value="false" />
+              <node concept="3I6sU6" id="31ObkDYWS26" role="3Ip0Jz">
+                <node concept="3I6s7M" id="31ObkDYWS27" role="3I6sU7">
+                  <node concept="3Aqt3T" id="31ObkDYWS28" role="3I6s78">
+                    <ref role="3AqCNq" node="2q0gzCFHesp" resolve="lub" />
+                    <node concept="a7P8L" id="31ObkDYWS29" role="3AunhB">
+                      <ref role="a7OzE" node="31ObkDYWS2r" resolve="LUB" />
+                    </node>
+                    <node concept="a7P8L" id="31ObkDYWS2a" role="3AunhB">
+                      <ref role="a7OzE" node="31ObkDYWS2p" resolve="Left" />
+                    </node>
+                    <node concept="a7P8L" id="31ObkDYWS2b" role="3AunhB">
+                      <ref role="a7OzE" node="31ObkDYWS2q" resolve="Right" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3Aq9_M" id="31ObkDYWS2c" role="1nLNMa">
+              <node concept="3I6sU6" id="31ObkDYWS2d" role="3Ip0Jz">
+                <node concept="3I6s7M" id="31ObkDYWS2e" role="3I6sU7">
+                  <node concept="2aM9Np" id="31ObkDYWS2f" role="3I6s78">
+                    <node concept="a7P8L" id="31ObkDYWS2g" role="2aLmnP">
+                      <ref role="a7OzE" node="31ObkDYWS2p" resolve="Left" />
+                    </node>
+                  </node>
+                </node>
+                <node concept="3I6s7M" id="31ObkDYWS6W" role="3I6sU7">
+                  <node concept="2aLmEc" id="31ObkDYWS6S" role="3I6s78">
+                    <node concept="a7P8L" id="31ObkDYWS7o" role="2aLmnP">
+                      <ref role="a7OzE" node="31ObkDYWS2q" resolve="Right" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3NuqgR" id="31ObkDYWS2o" role="0Rg$4">
+              <node concept="aZer4" id="31ObkDYWS2p" role="3XD1gS">
+                <property role="TrG5h" value="Left" />
+              </node>
+              <node concept="aZer4" id="31ObkDYWS2q" role="3XD1gS">
+                <property role="TrG5h" value="Right" />
+              </node>
+              <node concept="aZer4" id="31ObkDYWS2r" role="3XD1gS">
+                <property role="TrG5h" value="LUB" />
+              </node>
+              <node concept="32pEOW" id="31ObkDYWS2s" role="3vLBG7" />
+            </node>
+            <node concept="3xSepi" id="31ObkDYWS2t" role="3xSepv">
+              <node concept="3Aq9E8" id="31ObkDYWS2u" role="3xSepj">
+                <node concept="3I6sU6" id="31ObkDYWS2v" role="3Ip0Jz">
+                  <node concept="3I6s7M" id="31ObkDYWTfN" role="3I6sU7">
+                    <node concept="3Aqt3T" id="31ObkDYWTfK" role="3I6s78">
+                      <ref role="3AqCNq" node="3Qp4N06bUPu" resolve="defaultConvertsTo" />
+                      <node concept="a7P8L" id="31ObkDYWTg1" role="3AunhB">
+                        <ref role="a7OzE" node="31ObkDYWS2p" resolve="Left" />
+                      </node>
+                      <node concept="a7P8L" id="31ObkDYWThL" role="3AunhB">
+                        <ref role="a7OzE" node="31ObkDYWS2q" resolve="Right" />
+                      </node>
+                    </node>
+                  </node>
+                  <node concept="3I6s7M" id="31ObkDYWTks" role="3I6sU7">
+                    <node concept="3A8Hvi" id="31ObkDYWTkm" role="3I6s78">
+                      <node concept="a7P8L" id="31ObkDYWTk_" role="3A8wtg">
+                        <ref role="a7OzE" node="31ObkDYWS2r" resolve="LUB" />
+                      </node>
+                      <node concept="a7P8L" id="31ObkDYWTkG" role="3A8w4Q">
+                        <ref role="a7OzE" node="31ObkDYWS2q" resolve="Right" />
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3clFbH" id="31ObkDYWToZ" role="3cqZAp" />
+        <node concept="1nLNNL" id="31ObkDYWTkN" role="3cqZAp">
+          <node concept="1nLNMm" id="31ObkDYWTkO" role="1nLNNK">
+            <node concept="3Aq93q" id="31ObkDYWTkP" role="1nLNMb">
+              <property role="3ArMco" value="false" />
+              <node concept="3I6sU6" id="31ObkDYWTkQ" role="3Ip0Jz">
+                <node concept="3I6s7M" id="31ObkDYWTkR" role="3I6sU7">
+                  <node concept="3Aqt3T" id="31ObkDYWTkS" role="3I6s78">
+                    <ref role="3AqCNq" node="2q0gzCFHesp" resolve="lub" />
+                    <node concept="a7P8L" id="31ObkDYWTkT" role="3AunhB">
+                      <ref role="a7OzE" node="31ObkDYWTl7" resolve="LUB" />
+                    </node>
+                    <node concept="a7P8L" id="31ObkDYWTkU" role="3AunhB">
+                      <ref role="a7OzE" node="31ObkDYWTl5" resolve="Left" />
+                    </node>
+                    <node concept="a7P8L" id="31ObkDYWTkV" role="3AunhB">
+                      <ref role="a7OzE" node="31ObkDYWTl6" resolve="Right" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3Aq9_M" id="31ObkDYWTkW" role="1nLNMa">
+              <node concept="3I6sU6" id="31ObkDYWTkX" role="3Ip0Jz">
+                <node concept="3I6s7M" id="31ObkDYWTl1" role="3I6sU7">
+                  <node concept="2aLmEc" id="31ObkDYWTl2" role="3I6s78">
+                    <node concept="a7P8L" id="31ObkDYWTvA" role="2aLmnP">
+                      <ref role="a7OzE" node="31ObkDYWTl5" resolve="Left" />
+                    </node>
+                  </node>
+                </node>
+                <node concept="3I6s7M" id="31ObkDYWTkY" role="3I6sU7">
+                  <node concept="2aM9Np" id="31ObkDYWTkZ" role="3I6s78">
+                    <node concept="a7P8L" id="31ObkDYWTsb" role="2aLmnP">
+                      <ref role="a7OzE" node="31ObkDYWTl6" resolve="Right" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3NuqgR" id="31ObkDYWTl4" role="0Rg$4">
+              <node concept="aZer4" id="31ObkDYWTl5" role="3XD1gS">
+                <property role="TrG5h" value="Left" />
+              </node>
+              <node concept="aZer4" id="31ObkDYWTl6" role="3XD1gS">
+                <property role="TrG5h" value="Right" />
+              </node>
+              <node concept="aZer4" id="31ObkDYWTl7" role="3XD1gS">
+                <property role="TrG5h" value="LUB" />
+              </node>
+              <node concept="32pEOW" id="31ObkDYWTl8" role="3vLBG7" />
+            </node>
+            <node concept="3xSepi" id="31ObkDYWTl9" role="3xSepv">
+              <node concept="3Aq9E8" id="31ObkDYWTla" role="3xSepj">
+                <node concept="3I6sU6" id="31ObkDYWTlb" role="3Ip0Jz">
+                  <node concept="3I6s7M" id="31ObkDYWTlc" role="3I6sU7">
+                    <node concept="3Aqt3T" id="31ObkDYWTld" role="3I6s78">
+                      <ref role="3AqCNq" node="3Qp4N06bUPu" resolve="defaultConvertsTo" />
+                      <node concept="a7P8L" id="31ObkDYWTlf" role="3AunhB">
+                        <ref role="a7OzE" node="31ObkDYWTl6" resolve="Right" />
+                      </node>
+                      <node concept="a7P8L" id="31ObkDYWTle" role="3AunhB">
+                        <ref role="a7OzE" node="31ObkDYWTl5" resolve="Left" />
+                      </node>
+                    </node>
+                  </node>
+                  <node concept="3I6s7M" id="31ObkDYWTlg" role="3I6sU7">
+                    <node concept="3A8Hvi" id="31ObkDYWTlh" role="3I6s78">
+                      <node concept="a7P8L" id="31ObkDYWTli" role="3A8wtg">
+                        <ref role="a7OzE" node="31ObkDYWTl7" resolve="LUB" />
+                      </node>
+                      <node concept="a7P8L" id="31ObkDYWTyX" role="3A8w4Q">
+                        <ref role="a7OzE" node="31ObkDYWTl5" resolve="Left" />
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+    </node>
     <node concept="1nLNMY" id="61SyIbXrkda" role="1nK1Vg">
       <property role="TrG5h" value="lub_prim_classifier" />
       <node concept="3clFbS" id="61SyIbXrkdb" role="1nLNMH">
@@ -32613,34 +32701,6 @@
     <property role="3GE5qa" value="rule.type" />
     <property role="TrG5h" value="Resolve" />
     <ref role="2YbDB9" node="5310cdpUCzb" resolve="HasBound" />
-    <node concept="3AqmO8" id="6N2bvv_9b_6" role="8PkJo">
-      <property role="TrG5h" value="hasUpperTarget" />
-      <node concept="1zAUYm" id="6N2bvv_9bAS" role="1zAUyy">
-        <property role="TrG5h" value="var" />
-      </node>
-      <node concept="1zAUYm" id="6N2bvv_9bCb" role="1zAUyy">
-        <property role="TrG5h" value="uptrg" />
-      </node>
-      <node concept="1zAsnw" id="6N2bvv_9bFm" role="lGtFl">
-        <node concept="3SKdUq" id="6N2bvv_9bFn" role="27qylF">
-          <property role="3SKdUp" value="a type var has a target" />
-        </node>
-      </node>
-    </node>
-    <node concept="3AqmO8" id="6N2bvv_crdr" role="8PkJo">
-      <property role="TrG5h" value="hasLowerTarget" />
-      <node concept="1zAUYm" id="6N2bvv_crds" role="1zAUyy">
-        <property role="TrG5h" value="var" />
-      </node>
-      <node concept="1zAUYm" id="6N2bvv_crdt" role="1zAUyy">
-        <property role="TrG5h" value="lotrg" />
-      </node>
-      <node concept="1zAsnw" id="6N2bvv_crdu" role="lGtFl">
-        <node concept="3SKdUq" id="6N2bvv_crdv" role="27qylF">
-          <property role="3SKdUp" value="a type var has a target" />
-        </node>
-      </node>
-    </node>
     <node concept="3AqmO8" id="6N2bvv_5W0X" role="8PkJo">
       <property role="TrG5h" value="resolveVar" />
       <node concept="1zAUYm" id="6N2bvv_5W2F" role="1zAUyy">
@@ -32652,71 +32712,80 @@
         </node>
       </node>
     </node>
-    <node concept="1X3_iC" id="4$mmEcR8rrp" role="lGtFl">
-      <property role="3V$3am" value="template" />
-      <property role="3V$3ak" value="c4803b19-6d89-4a3b-bf82-390769514add/8335224865066015764/3575255234175157601" />
-      <node concept="1nLNMY" id="6N2bvv_e2tu" role="8Wnug">
-        <property role="TrG5h" value="lowerTarget_bound_trans" />
-        <node concept="3clFbS" id="6N2bvv_e2tv" role="1nLNMH">
-          <node concept="1nLNNL" id="6N2bvv_e2z1" role="3cqZAp">
-            <node concept="1nLNMm" id="6N2bvv_e2z3" role="1nLNNK">
-              <node concept="3Aq93q" id="6N2bvv_e2Aq" role="1nLNMb">
-                <property role="3ArMco" value="true" />
-                <node concept="3I6sU6" id="6N2bvv_e2Ar" role="3Ip0Jz">
-                  <node concept="3I6s7M" id="6N2bvv_e2AY" role="3I6sU7">
-                    <node concept="3Aqt3T" id="6N2bvv_e2AX" role="3I6s78">
-                      <ref role="3AqCNq" node="6N2bvv_crdr" resolve="hasLowerTarget" />
-                      <node concept="a7P8L" id="6N2bvv_e2Id" role="3AunhB">
-                        <ref role="a7OzE" node="6N2bvv_e2$x" resolve="TVar" />
+    <node concept="3AqmO8" id="31ObkDYZPlP" role="8PkJo">
+      <property role="TrG5h" value="inferenceVar" />
+      <node concept="1zAUYm" id="31ObkDYZPlV" role="1zAUyy">
+        <property role="TrG5h" value="node" />
+      </node>
+      <node concept="1zAUYm" id="31ObkDYZPlX" role="1zAUyy">
+        <property role="TrG5h" value="var" />
+      </node>
+    </node>
+    <node concept="3AqmO8" id="31ObkDYZPm0" role="8PkJo">
+      <property role="TrG5h" value="resolveInferenceVar" />
+      <node concept="1zAUYm" id="31ObkDYZPm9" role="1zAUyy">
+        <property role="TrG5h" value="node" />
+      </node>
+    </node>
+    <node concept="3AqmO8" id="4jGoIleP8jH" role="8PkJo">
+      <property role="TrG5h" value="makeGround" />
+      <node concept="1zAUYm" id="4jGoIleP8mq" role="1zAUyy">
+        <property role="TrG5h" value="var" />
+      </node>
+    </node>
+    <node concept="1nLNMY" id="4jGoIlf7dzp" role="1nK1Vg">
+      <property role="TrG5h" value="hasBound_hasTarget" />
+      <node concept="3clFbS" id="4jGoIlf7dzq" role="1nLNMH">
+        <node concept="1nLNNL" id="4jGoIlf7d_9" role="3cqZAp">
+          <node concept="1nLNMm" id="4jGoIlf7d_a" role="1nLNNK">
+            <node concept="3Aq93q" id="4jGoIlf7d_d" role="1nLNMb">
+              <property role="3ArMco" value="true" />
+              <node concept="3I6sU6" id="4jGoIlf7d_e" role="3Ip0Jz">
+                <node concept="3I6s7M" id="4jGoIlf7d_i" role="3I6sU7">
+                  <node concept="3Aqt3T" id="4jGoIlf7d_h" role="3I6s78">
+                    <ref role="3AqCNq" node="5310cdpUCuT" resolve="hasBound" />
+                    <node concept="a7P8L" id="4jGoIlf7dC3" role="3AunhB">
+                      <ref role="a7OzE" node="4jGoIlf7d_r" resolve="S" />
+                    </node>
+                    <node concept="a7P8L" id="4jGoIlf7dAn" role="3AunhB">
+                      <ref role="a7OzE" node="4jGoIlf7d_L" resolve="B" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3NuqgR" id="4jGoIlf7d_q" role="0Rg$4">
+              <node concept="aZer4" id="4jGoIlf7d_r" role="3XD1gS">
+                <property role="TrG5h" value="S" />
+              </node>
+              <node concept="aZer4" id="4jGoIlf7d_L" role="3XD1gS">
+                <property role="TrG5h" value="B" />
+              </node>
+              <node concept="32pEOW" id="4jGoIlf7d_B" role="3vLBG7" />
+            </node>
+            <node concept="3xSepi" id="4jGoIlf7dCx" role="3xSepv">
+              <node concept="3Aq9E8" id="4jGoIlf7dCy" role="3xSepj">
+                <node concept="3I6sU6" id="4jGoIlf7dCz" role="3Ip0Jz">
+                  <node concept="3I6s7M" id="4jGoIlf7dCT" role="3I6sU7">
+                    <node concept="3Aqt3T" id="4jGoIlf7dCS" role="3I6s78">
+                      <ref role="3AqCNq" node="541xd$PEyQU" resolve="hasTarget" />
+                      <node concept="a7P8L" id="4jGoIlf7dD9" role="3AunhB">
+                        <ref role="a7OzE" node="4jGoIlf7d_L" resolve="B" />
                       </node>
-                      <node concept="a7P8L" id="6N2bvv_e2J9" role="3AunhB">
-                        <ref role="a7OzE" node="6N2bvv_e2CJ" resolve="Trg" />
+                      <node concept="a7P8L" id="4jGoIlf7dD1" role="3AunhB">
+                        <ref role="a7OzE" node="4jGoIlf7d_r" resolve="S" />
                       </node>
                     </node>
                   </node>
                 </node>
               </node>
-              <node concept="3Aq93q" id="6N2bvv_e2QH" role="1nLNMb">
-                <property role="3ArMco" value="true" />
-                <node concept="3I6sU6" id="6N2bvv_e2QI" role="3Ip0Jz">
-                  <node concept="3I6s7M" id="6N2bvv_e2_0" role="3I6sU7">
-                    <node concept="3Aqt3T" id="6N2bvv_e2$Z" role="3I6s78">
-                      <ref role="3AqCNq" node="5310cdpUCuT" resolve="hasBound" />
-                      <node concept="a7P8L" id="6N2bvv_e2Gn" role="3AunhB">
-                        <ref role="a7OzE" node="6N2bvv_e2$x" resolve="TVar" />
-                      </node>
-                      <node concept="a7P8L" id="6N2bvv_e2Hj" role="3AunhB">
-                        <ref role="a7OzE" node="6N2bvv_e2E_" resolve="Bnd" />
-                      </node>
-                    </node>
-                  </node>
-                </node>
-              </node>
-              <node concept="3NuqgR" id="6N2bvv_e2$w" role="0Rg$4">
-                <node concept="aZer4" id="6N2bvv_e2$x" role="3XD1gS">
-                  <property role="TrG5h" value="TVar" />
-                </node>
-                <node concept="aZer4" id="6N2bvv_e2E_" role="3XD1gS">
-                  <property role="TrG5h" value="Bnd" />
-                </node>
-                <node concept="aZer4" id="6N2bvv_e2CJ" role="3XD1gS">
-                  <property role="TrG5h" value="Trg" />
-                </node>
-                <node concept="32pEOW" id="24ciDNzxNG4" role="3vLBG7" />
-              </node>
-              <node concept="3xSepi" id="6E2cNicdila" role="3xSepv">
-                <node concept="3Aq9E8" id="6N2bvv_e2TC" role="3xSepj">
-                  <node concept="3I6sU6" id="6N2bvv_e2TD" role="3Ip0Jz">
-                    <node concept="3I6s7M" id="6N2bvv_e2W0" role="3I6sU7">
-                      <node concept="3Aqt3T" id="6N2bvv_e2VZ" role="3I6s78">
-                        <ref role="3AqCNq" node="3Qp4N06bUPu" resolve="defaultConvertsTo" />
-                        <node concept="a7P8L" id="6N2bvv_e2WV" role="3AunhB">
-                          <ref role="a7OzE" node="6N2bvv_e2CJ" resolve="Trg" />
-                        </node>
-                        <node concept="a7P8L" id="6N2bvv_e2Xs" role="3AunhB">
-                          <ref role="a7OzE" node="6N2bvv_e2E_" resolve="Bnd" />
-                        </node>
-                      </node>
+            </node>
+            <node concept="3Aq9_M" id="4jGoIlf7dCD" role="1nLNMa">
+              <node concept="3I6sU6" id="4jGoIlf7dCE" role="3Ip0Jz">
+                <node concept="3I6s7M" id="4jGoIlf7dCI" role="3I6sU7">
+                  <node concept="2aLmEc" id="4jGoIlf7dCH" role="3I6s78">
+                    <node concept="a7P8L" id="4jGoIlf7dCL" role="2aLmnP">
+                      <ref role="a7OzE" node="4jGoIlf7d_L" resolve="B" />
                     </node>
                   </node>
                 </node>
@@ -32726,86 +32795,100 @@
         </node>
       </node>
     </node>
-    <node concept="1X3_iC" id="4$mmEcR8ruq" role="lGtFl">
-      <property role="3V$3am" value="template" />
-      <property role="3V$3ak" value="c4803b19-6d89-4a3b-bf82-390769514add/8335224865066015764/3575255234175157601" />
-      <node concept="1nLNMY" id="6N2bvv_e2Zg" role="8Wnug">
-        <property role="TrG5h" value="lowerTarget_lub" />
-        <node concept="3clFbS" id="6N2bvv_e2Zh" role="1nLNMH">
-          <node concept="1nLNNL" id="6N2bvv_e35x" role="3cqZAp">
-            <node concept="1nLNMm" id="6N2bvv_e35y" role="1nLNNK">
-              <node concept="3Aq93q" id="6N2bvv_e360" role="1nLNMb">
-                <node concept="3I6sU6" id="6N2bvv_e361" role="3Ip0Jz">
-                  <node concept="3I6s7M" id="6N2bvv_e39F" role="3I6sU7">
-                    <node concept="3Aqt3T" id="6N2bvv_e39E" role="3I6s78">
-                      <ref role="3AqCNq" node="6N2bvv_crdr" resolve="hasLowerTarget" />
-                      <node concept="a7P8L" id="6N2bvv_e3b4" role="3AunhB">
-                        <ref role="a7OzE" node="6N2bvv_e36Y" resolve="TVar" />
+    <node concept="1nLNMY" id="541xd$PE_DX" role="1nK1Vg">
+      <property role="TrG5h" value="hasTarget_make_lub" />
+      <node concept="3clFbS" id="541xd$PE_DY" role="1nLNMH">
+        <node concept="1nLNNL" id="541xd$PE_F5" role="3cqZAp">
+          <node concept="1nLNMm" id="541xd$PE_F7" role="1nLNNK">
+            <node concept="3Aq93q" id="541xd$PE_Fb" role="1nLNMb">
+              <node concept="3I6sU6" id="541xd$PE_Fc" role="3Ip0Jz">
+                <node concept="3I6s7M" id="541xd$PE_Fg" role="3I6sU7">
+                  <node concept="3Aqt3T" id="541xd$PE_Ff" role="3I6s78">
+                    <ref role="3AqCNq" node="541xd$PEyQU" resolve="hasTarget" />
+                    <node concept="a7P8L" id="541xd$PE_FA" role="3AunhB">
+                      <ref role="a7OzE" node="541xd$PE_Fo" resolve="TVar" />
+                    </node>
+                    <node concept="a7P8L" id="541xd$PE_FZ" role="3AunhB">
+                      <ref role="a7OzE" node="541xd$PE_FG" resolve="S" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3Aq93q" id="541xd$PE_G6" role="1nLNMb">
+              <node concept="3I6sU6" id="541xd$PE_G7" role="3Ip0Jz">
+                <node concept="3I6s7M" id="541xd$PE_Gh" role="3I6sU7">
+                  <node concept="3Aqt3T" id="541xd$PE_Gg" role="3I6s78">
+                    <ref role="3AqCNq" node="541xd$PEyQU" resolve="hasTarget" />
+                    <node concept="a7P8L" id="541xd$PE_Gr" role="3AunhB">
+                      <ref role="a7OzE" node="541xd$PE_Fo" resolve="TVar" />
+                    </node>
+                    <node concept="a7P8L" id="541xd$PE_Gy" role="3AunhB">
+                      <ref role="a7OzE" node="541xd$PE_FN" resolve="T" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3NuqgR" id="541xd$PE_Fn" role="0Rg$4">
+              <node concept="aZer4" id="541xd$PE_Fo" role="3XD1gS">
+                <property role="TrG5h" value="TVar" />
+              </node>
+              <node concept="aZer4" id="541xd$PE_FG" role="3XD1gS">
+                <property role="TrG5h" value="S" />
+              </node>
+              <node concept="aZer4" id="541xd$PE_FN" role="3XD1gS">
+                <property role="TrG5h" value="T" />
+              </node>
+              <node concept="aZer4" id="541xd$PE_GK" role="3XD1gS">
+                <property role="TrG5h" value="Lub" />
+              </node>
+              <node concept="32pEOW" id="541xd$PE_Fv" role="3vLBG7" />
+            </node>
+            <node concept="3xSepi" id="541xd$PE_GE" role="3xSepv">
+              <node concept="3Aq9E8" id="541xd$PE_GF" role="3xSepj">
+                <node concept="3I6sU6" id="541xd$PE_GG" role="3Ip0Jz">
+                  <node concept="3I6s7M" id="541xd$PE_GU" role="3I6sU7">
+                    <node concept="3Aqt3T" id="541xd$PE_GT" role="3I6s78">
+                      <ref role="3AqCNq" node="2q0gzCFHesp" resolve="lub" />
+                      <node concept="a7P8L" id="541xd$PEA3k" role="3AunhB">
+                        <ref role="a7OzE" node="541xd$PE_GK" resolve="Lub" />
                       </node>
-                      <node concept="a7P8L" id="6N2bvv_e3b_" role="3AunhB">
-                        <ref role="a7OzE" node="6N2bvv_e38i" resolve="S" />
+                      <node concept="a7P8L" id="541xd$PEA3D" role="3AunhB">
+                        <ref role="a7OzE" node="541xd$PE_FG" resolve="S" />
+                      </node>
+                      <node concept="a7P8L" id="541xd$PEA3x" role="3AunhB">
+                        <ref role="a7OzE" node="541xd$PE_FN" resolve="T" />
+                      </node>
+                    </node>
+                  </node>
+                  <node concept="3I6s7M" id="541xd$PEA3U" role="3I6sU7">
+                    <node concept="3Aqt3T" id="541xd$PEA3S" role="3I6s78">
+                      <ref role="3AqCNq" node="541xd$PEyQU" resolve="hasTarget" />
+                      <node concept="a7P8L" id="541xd$PEA45" role="3AunhB">
+                        <ref role="a7OzE" node="541xd$PE_Fo" resolve="TVar" />
+                      </node>
+                      <node concept="a7P8L" id="541xd$PEA4f" role="3AunhB">
+                        <ref role="a7OzE" node="541xd$PE_GK" resolve="Lub" />
                       </node>
                     </node>
                   </node>
                 </node>
               </node>
-              <node concept="3Aq93q" id="6N2bvv_e3c4" role="1nLNMb">
-                <node concept="3I6sU6" id="6N2bvv_e3c5" role="3Ip0Jz">
-                  <node concept="3I6s7M" id="6N2bvv_e3cE" role="3I6sU7">
-                    <node concept="3Aqt3T" id="6N2bvv_e3cD" role="3I6s78">
-                      <ref role="3AqCNq" node="6N2bvv_crdr" resolve="hasLowerTarget" />
-                      <node concept="a7P8L" id="6N2bvv_e3d_" role="3AunhB">
-                        <ref role="a7OzE" node="6N2bvv_e36Y" resolve="TVar" />
-                      </node>
-                      <node concept="a7P8L" id="6N2bvv_e3e6" role="3AunhB">
-                        <ref role="a7OzE" node="6N2bvv_e38K" resolve="T" />
-                      </node>
+            </node>
+            <node concept="3Aq9_M" id="541xd$PFnH2" role="1nLNMa">
+              <node concept="3I6sU6" id="541xd$PFnH3" role="3Ip0Jz">
+                <node concept="3I6s7M" id="541xd$PFnJw" role="3I6sU7">
+                  <node concept="2aM9Np" id="541xd$PFnJv" role="3I6s78">
+                    <node concept="a7P8L" id="541xd$PFnLW" role="2aLmnP">
+                      <ref role="a7OzE" node="541xd$PE_FG" resolve="S" />
                     </node>
                   </node>
                 </node>
-              </node>
-              <node concept="3NuqgR" id="6N2bvv_e36X" role="0Rg$4">
-                <node concept="aZer4" id="6N2bvv_e36Y" role="3XD1gS">
-                  <property role="TrG5h" value="TVar" />
-                </node>
-                <node concept="aZer4" id="6N2bvv_e38i" role="3XD1gS">
-                  <property role="TrG5h" value="S" />
-                </node>
-                <node concept="aZer4" id="6N2bvv_e38K" role="3XD1gS">
-                  <property role="TrG5h" value="T" />
-                </node>
-                <node concept="aZer4" id="6N2bvv_e3fW" role="3XD1gS">
-                  <property role="TrG5h" value="Lub" />
-                </node>
-                <node concept="32pEOW" id="24ciDNzxNG5" role="3vLBG7" />
-              </node>
-              <node concept="3xSepi" id="6E2cNicdilb" role="3xSepv">
-                <node concept="3Aq9E8" id="6N2bvv_e3ft" role="3xSepj">
-                  <node concept="3I6sU6" id="6N2bvv_e3fu" role="3Ip0Jz">
-                    <node concept="3I6s7M" id="6N2bvv_e3hj" role="3I6sU7">
-                      <node concept="3Aqt3T" id="6N2bvv_e3hi" role="3I6s78">
-                        <ref role="3AqCNq" node="2q0gzCFHesp" resolve="lub" />
-                        <node concept="a7P8L" id="6N2bvv_e3ie" role="3AunhB">
-                          <ref role="a7OzE" node="6N2bvv_e3fW" resolve="Lub" />
-                        </node>
-                        <node concept="a7P8L" id="6N2bvv_e3ja" role="3AunhB">
-                          <ref role="a7OzE" node="6N2bvv_e38i" resolve="S" />
-                        </node>
-                        <node concept="a7P8L" id="6N2bvv_e3jH" role="3AunhB">
-                          <ref role="a7OzE" node="6N2bvv_e38K" resolve="T" />
-                        </node>
-                      </node>
-                    </node>
-                    <node concept="3I6s7M" id="6N2bvv_e3km" role="3I6sU7">
-                      <node concept="3Aqt3T" id="6N2bvv_e3kk" role="3I6s78">
-                        <ref role="3AqCNq" node="6N2bvv_crdr" resolve="hasLowerTarget" />
-                        <node concept="a7P8L" id="6N2bvv_e3lm" role="3AunhB">
-                          <ref role="a7OzE" node="6N2bvv_e36Y" resolve="TVar" />
-                        </node>
-                        <node concept="a7P8L" id="6N2bvv_e3lR" role="3AunhB">
-                          <ref role="a7OzE" node="6N2bvv_e3fW" resolve="Lub" />
-                        </node>
-                      </node>
+                <node concept="3I6s7M" id="541xd$PFnQV" role="3I6sU7">
+                  <node concept="2aM9Np" id="541xd$PFnQT" role="3I6s78">
+                    <node concept="a7P8L" id="541xd$PFnVZ" role="2aLmnP">
+                      <ref role="a7OzE" node="541xd$PE_FN" resolve="T" />
                     </node>
                   </node>
                 </node>
@@ -32853,8 +32936,176 @@
         </node>
       </node>
     </node>
+    <node concept="1nLNMY" id="541xd$PEA4m" role="1nK1Vg">
+      <property role="TrG5h" value="resolve_hasTarget" />
+      <node concept="3clFbS" id="541xd$PEA4n" role="1nLNMH">
+        <node concept="1nLNNL" id="541xd$PEA60" role="3cqZAp">
+          <node concept="1nLNMm" id="541xd$PEA62" role="1nLNNK">
+            <node concept="3Aq93q" id="541xd$PEA66" role="1nLNMb">
+              <property role="3ArMco" value="true" />
+              <node concept="3I6sU6" id="541xd$PEA67" role="3Ip0Jz">
+                <node concept="3I6s7M" id="541xd$PEA6b" role="3I6sU7">
+                  <node concept="3Aqt3T" id="541xd$PEA6a" role="3I6s78">
+                    <ref role="3AqCNq" node="6N2bvv_5W0X" resolve="resolveVar" />
+                    <node concept="a7P8L" id="541xd$PEA6Y" role="3AunhB">
+                      <ref role="a7OzE" node="541xd$PEA6u" resolve="TVar" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3Aq93q" id="541xd$PEA76" role="1nLNMb">
+              <node concept="3I6sU6" id="541xd$PEA77" role="3Ip0Jz">
+                <node concept="3I6s7M" id="541xd$PEA7h" role="3I6sU7">
+                  <node concept="3Aqt3T" id="541xd$PEA7g" role="3I6s78">
+                    <ref role="3AqCNq" node="541xd$PEyQU" resolve="hasTarget" />
+                    <node concept="a7P8L" id="541xd$PEA7t" role="3AunhB">
+                      <ref role="a7OzE" node="541xd$PEA6u" resolve="TVar" />
+                    </node>
+                    <node concept="a7P8L" id="541xd$PEA7B" role="3AunhB">
+                      <ref role="a7OzE" node="541xd$PEA6_" resolve="T" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3NuqgR" id="541xd$PEA6f" role="0Rg$4">
+              <node concept="aZer4" id="541xd$PEA6g" role="3XD1gS">
+                <property role="TrG5h" value="Cap" />
+              </node>
+              <node concept="aZer4" id="541xd$PEA6u" role="3XD1gS">
+                <property role="TrG5h" value="TVar" />
+              </node>
+              <node concept="aZer4" id="541xd$PEA6_" role="3XD1gS">
+                <property role="TrG5h" value="T" />
+              </node>
+              <node concept="32pEOW" id="541xd$PEA6n" role="3vLBG7" />
+            </node>
+            <node concept="3xSepi" id="541xd$PEA7J" role="3xSepv">
+              <node concept="3Aq9E8" id="541xd$PEA7K" role="3xSepj">
+                <node concept="3I6sU6" id="541xd$PEA7L" role="3Ip0Jz">
+                  <node concept="3I6s7M" id="541xd$PEA8P" role="3I6sU7">
+                    <node concept="3A8Hvi" id="541xd$PEA8V" role="3I6s78">
+                      <node concept="a7P8L" id="541xd$PEA9e" role="3A8w4Q">
+                        <ref role="a7OzE" node="541xd$PEA6_" resolve="T" />
+                      </node>
+                      <node concept="a7P8L" id="541xd$PFo3g" role="3A8wtg">
+                        <ref role="a7OzE" node="541xd$PEA6u" resolve="TVar" />
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3Aq9_M" id="541xd$PFoOf" role="1nLNMa">
+              <node concept="3I6sU6" id="541xd$PFoOg" role="3Ip0Jz">
+                <node concept="3I6s7M" id="541xd$PFoQH" role="3I6sU7">
+                  <node concept="2aLmEc" id="541xd$PFoQG" role="3I6s78">
+                    <node concept="a7P8L" id="541xd$PFoT9" role="2aLmnP">
+                      <ref role="a7OzE" node="541xd$PEA6u" resolve="TVar" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+    </node>
+    <node concept="1nLNMY" id="31ObkDYPFP$" role="1nK1Vg">
+      <property role="TrG5h" value="resolveVar_ignore" />
+      <node concept="3clFbS" id="31ObkDYPFP_" role="1nLNMH">
+        <node concept="1nLNNL" id="31ObkDYPFPA" role="3cqZAp">
+          <node concept="1nLNMm" id="31ObkDYPFPB" role="1nLNNK">
+            <node concept="3Aq93q" id="31ObkDYPFPC" role="1nLNMb">
+              <node concept="3I6sU6" id="31ObkDYPFPD" role="3Ip0Jz">
+                <node concept="3I6s7M" id="31ObkDYPFPE" role="3I6sU7">
+                  <node concept="3Aqt3T" id="31ObkDYPFPF" role="3I6s78">
+                    <ref role="3AqCNq" node="6N2bvv_5W0X" resolve="resolveVar" />
+                    <node concept="a7P8L" id="31ObkDYPFPG" role="3AunhB">
+                      <ref role="a7OzE" node="31ObkDYPFPI" resolve="Var" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3NuqgR" id="31ObkDYPFPH" role="0Rg$4">
+              <node concept="aZer4" id="31ObkDYPFPI" role="3XD1gS">
+                <property role="TrG5h" value="Var" />
+              </node>
+              <node concept="aZer4" id="31ObkDYPFPJ" role="3XD1gS">
+                <property role="TrG5h" value="Bnd" />
+              </node>
+              <node concept="32pEOW" id="31ObkDYPFPK" role="3vLBG7" />
+            </node>
+          </node>
+        </node>
+      </node>
+    </node>
+    <node concept="1nLNMY" id="31ObkDYZPmf" role="1nK1Vg">
+      <property role="TrG5h" value="resolve_inferenceVar" />
+      <node concept="3clFbS" id="31ObkDYZPmg" role="1nLNMH">
+        <node concept="1nLNNL" id="31ObkDYZPow" role="3cqZAp">
+          <node concept="1nLNMm" id="31ObkDYZPox" role="1nLNNK">
+            <node concept="3Aq93q" id="31ObkDYZPo$" role="1nLNMb">
+              <node concept="3I6sU6" id="31ObkDYZPo_" role="3Ip0Jz">
+                <node concept="3I6s7M" id="31ObkDYZPoD" role="3I6sU7">
+                  <node concept="3Aqt3T" id="31ObkDYZPoC" role="3I6s78">
+                    <ref role="3AqCNq" node="31ObkDYZPm0" resolve="resolveInferenceVar" />
+                    <node concept="a7P8L" id="31ObkDYZPpk" role="3AunhB">
+                      <ref role="a7OzE" node="31ObkDYZPoI" resolve="Node" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3Aq93q" id="31ObkDYZPqX" role="1nLNMb">
+              <node concept="3I6sU6" id="31ObkDYZPqY" role="3Ip0Jz">
+                <node concept="3I6s7M" id="31ObkDYZPr9" role="3I6sU7">
+                  <node concept="3Aqt3T" id="31ObkDYZPr8" role="3I6s78">
+                    <ref role="3AqCNq" node="31ObkDYZPlP" resolve="inferenceVar" />
+                    <node concept="a7P8L" id="31ObkDYZPrp" role="3AunhB">
+                      <ref role="a7OzE" node="31ObkDYZPoI" resolve="Node" />
+                    </node>
+                    <node concept="a7P8L" id="31ObkDYZPrh" role="3AunhB">
+                      <ref role="a7OzE" node="31ObkDYZPq2" resolve="Var" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3NuqgR" id="31ObkDYZPoH" role="0Rg$4">
+              <node concept="aZer4" id="31ObkDYZPoI" role="3XD1gS">
+                <property role="TrG5h" value="Node" />
+              </node>
+              <node concept="3Tqbb2" id="31ObkDYZPoU" role="3vLBG7" />
+            </node>
+            <node concept="3NuqgR" id="31ObkDYZPq1" role="0Rg$4">
+              <node concept="aZer4" id="31ObkDYZPq2" role="3XD1gS">
+                <property role="TrG5h" value="Var" />
+              </node>
+              <node concept="32pEOW" id="31ObkDYZPqh" role="3vLBG7" />
+            </node>
+            <node concept="3xSepi" id="31ObkDYZPrG" role="3xSepv">
+              <node concept="3Aq9E8" id="31ObkDYZPrH" role="3xSepj">
+                <node concept="3I6sU6" id="31ObkDYZPrI" role="3Ip0Jz">
+                  <node concept="3I6s7M" id="31ObkDYZPrN" role="3I6sU7">
+                    <node concept="3Aqt3T" id="31ObkDYZPrM" role="3I6s78">
+                      <ref role="3AqCNq" node="6N2bvv_5W0X" resolve="resolveVar" />
+                      <node concept="a7P8L" id="31ObkDYZPrS" role="3AunhB">
+                        <ref role="a7OzE" node="31ObkDYZPq2" resolve="Var" />
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+    </node>
     <node concept="1nLNMY" id="6yxoGiojiiQ" role="1nK1Vg">
-      <property role="TrG5h" value="resolveVar_hasBound" />
+      <property role="TrG5h" value="makeGroundVar_hasBound" />
       <node concept="3clFbS" id="6yxoGiojiiR" role="1nLNMH">
         <node concept="1nLNNL" id="6yxoGiojiiS" role="3cqZAp">
           <node concept="1nLNMm" id="6yxoGiojiiT" role="1nLNNK">
@@ -32862,7 +33113,7 @@
               <node concept="3I6sU6" id="6yxoGiojiiV" role="3Ip0Jz">
                 <node concept="3I6s7M" id="6yxoGiojiiW" role="3I6sU7">
                   <node concept="3Aqt3T" id="6yxoGiojiiX" role="3I6s78">
-                    <ref role="3AqCNq" node="6N2bvv_5W0X" resolve="resolveVar" />
+                    <ref role="3AqCNq" node="4jGoIleP8jH" resolve="makeGround" />
                     <node concept="a7P8L" id="6yxoGiojiiY" role="3AunhB">
                       <ref role="a7OzE" node="6yxoGiojij6" resolve="Var" />
                     </node>
@@ -32926,7 +33177,7 @@
       </node>
     </node>
     <node concept="1nLNMY" id="4$mmEcR8qXF" role="1nK1Vg">
-      <property role="TrG5h" value="resolveVar_noBound" />
+      <property role="TrG5h" value="makeGroundVar_noBound" />
       <node concept="3clFbS" id="4$mmEcR8qXG" role="1nLNMH">
         <node concept="1nLNNL" id="4$mmEcR8qXH" role="3cqZAp">
           <node concept="1nLNMm" id="4$mmEcR8qXI" role="1nLNNK">
@@ -32934,7 +33185,7 @@
               <node concept="3I6sU6" id="4$mmEcR8qXK" role="3Ip0Jz">
                 <node concept="3I6s7M" id="4$mmEcR8qXL" role="3I6sU7">
                   <node concept="3Aqt3T" id="4$mmEcR8qXM" role="3I6s78">
-                    <ref role="3AqCNq" node="6N2bvv_5W0X" resolve="resolveVar" />
+                    <ref role="3AqCNq" node="4jGoIleP8jH" resolve="makeGround" />
                     <node concept="a7P8L" id="4$mmEcR8qXN" role="3AunhB">
                       <ref role="a7OzE" node="4$mmEcR8qXV" resolve="Var" />
                     </node>
@@ -32979,126 +33230,13 @@
         </node>
       </node>
     </node>
-    <node concept="1X3_iC" id="4$mmEcR8ro2" role="lGtFl">
-      <property role="3V$3am" value="template" />
-      <property role="3V$3ak" value="c4803b19-6d89-4a3b-bf82-390769514add/8335224865066015764/3575255234175157601" />
-      <node concept="1nLNMY" id="6N2bvv_5W96" role="8Wnug">
-        <property role="TrG5h" value="resolve_default" />
-        <node concept="3clFbS" id="6N2bvv_5W97" role="1nLNMH">
-          <node concept="1nLNNL" id="6N2bvv_5Wc$" role="3cqZAp">
-            <node concept="1nLNMm" id="6N2bvv_5WcA" role="1nLNNK">
-              <node concept="3Aq93q" id="6N2bvv_5Wko" role="1nLNMb">
-                <node concept="3I6sU6" id="6N2bvv_5Wkp" role="3Ip0Jz">
-                  <node concept="3I6s7M" id="6N2bvv_5WkY" role="3I6sU7">
-                    <node concept="3Aqt3T" id="6N2bvv_5WkX" role="3I6s78">
-                      <ref role="3AqCNq" node="6N2bvv_5W0X" resolve="resolveVar" />
-                      <node concept="a7P8L" id="6N2bvv_5WlT" role="3AunhB">
-                        <ref role="a7OzE" node="6N2bvv_5We3" resolve="TypeVar" />
-                      </node>
-                    </node>
-                  </node>
-                </node>
-              </node>
-              <node concept="3Aq93q" id="6N2bvv_5Wd5" role="1nLNMb">
-                <node concept="3I6sU6" id="6N2bvv_5Wd6" role="3Ip0Jz">
-                  <node concept="3I6s7M" id="6N2bvv_5WeX" role="3I6sU7">
-                    <node concept="3Aqt3T" id="6N2bvv_5WeW" role="3I6s78">
-                      <ref role="3AqCNq" node="6N2bvv_9b_6" resolve="hasUpperTarget" />
-                      <node concept="a7P8L" id="6N2bvv_5WfS" role="3AunhB">
-                        <ref role="a7OzE" node="6N2bvv_5We3" resolve="TypeVar" />
-                      </node>
-                      <node concept="a7P8L" id="6N2bvv_5WiY" role="3AunhB">
-                        <ref role="a7OzE" node="6N2bvv_5WhE" resolve="Tgr" />
-                      </node>
-                    </node>
-                  </node>
-                </node>
-              </node>
-              <node concept="3NuqgR" id="6N2bvv_5We2" role="0Rg$4">
-                <node concept="aZer4" id="6N2bvv_5We3" role="3XD1gS">
-                  <property role="TrG5h" value="TypeVar" />
-                </node>
-                <node concept="aZer4" id="6N2bvv_5WhE" role="3XD1gS">
-                  <property role="TrG5h" value="Tgr" />
-                </node>
-                <node concept="32pEOW" id="24ciDNzxNG6" role="3vLBG7" />
-              </node>
-              <node concept="3xSepi" id="6E2cNicdilc" role="3xSepv">
-                <node concept="3Aq9E8" id="6N2bvv_5Wjt" role="3xSepj">
-                  <node concept="3I6sU6" id="6N2bvv_5Wju" role="3Ip0Jz">
-                    <node concept="3I6s7M" id="6N2bvv_5Wok" role="3I6sU7">
-                      <node concept="3A8Hvi" id="6N2bvv_5Woh" role="3I6s78">
-                        <node concept="a7P8L" id="6N2bvv_5WoO" role="3A8wtg">
-                          <ref role="a7OzE" node="6N2bvv_5We3" resolve="TypeVar" />
-                        </node>
-                        <node concept="a7P8L" id="6N2bvv_5Wpi" role="3A8w4Q">
-                          <ref role="a7OzE" node="6N2bvv_5WhE" resolve="Tgr" />
-                        </node>
-                      </node>
-                    </node>
-                  </node>
-                </node>
-              </node>
-            </node>
-          </node>
-          <node concept="3clFbH" id="6N2bvv_e2mV" role="3cqZAp" />
-          <node concept="1nLNNL" id="6N2bvv_e2lr" role="3cqZAp">
-            <node concept="1nLNMm" id="6N2bvv_e2ls" role="1nLNNK">
-              <node concept="3Aq93q" id="6N2bvv_e2lt" role="1nLNMb">
-                <node concept="3I6sU6" id="6N2bvv_e2lu" role="3Ip0Jz">
-                  <node concept="3I6s7M" id="6N2bvv_e2lv" role="3I6sU7">
-                    <node concept="3Aqt3T" id="6N2bvv_e2lw" role="3I6s78">
-                      <ref role="3AqCNq" node="6N2bvv_5W0X" resolve="resolveVar" />
-                      <node concept="a7P8L" id="6N2bvv_e2pP" role="3AunhB">
-                        <ref role="a7OzE" node="5TXeSYSHBQL" resolve="TypeVar" />
-                      </node>
-                    </node>
-                  </node>
-                </node>
-              </node>
-              <node concept="3Aq93q" id="6N2bvv_e2ly" role="1nLNMb">
-                <node concept="3I6sU6" id="6N2bvv_e2lz" role="3Ip0Jz">
-                  <node concept="3I6s7M" id="6N2bvv_e2l$" role="3I6sU7">
-                    <node concept="3Aqt3T" id="6N2bvv_e2l_" role="3I6s78">
-                      <ref role="3AqCNq" node="6N2bvv_crdr" resolve="hasLowerTarget" />
-                      <node concept="a7P8L" id="6N2bvv_e2qj" role="3AunhB">
-                        <ref role="a7OzE" node="5TXeSYSHBQL" resolve="TypeVar" />
-                      </node>
-                      <node concept="a7P8L" id="6N2bvv_e2qn" role="3AunhB">
-                        <ref role="a7OzE" node="5TXeSYSHBQM" resolve="Tgr" />
-                      </node>
-                    </node>
-                  </node>
-                </node>
-              </node>
-              <node concept="3NuqgR" id="5TXeSYSHBQK" role="0Rg$4">
-                <node concept="aZer4" id="5TXeSYSHBQL" role="3XD1gS">
-                  <property role="TrG5h" value="TypeVar" />
-                </node>
-                <node concept="aZer4" id="5TXeSYSHBQM" role="3XD1gS">
-                  <property role="TrG5h" value="Tgr" />
-                </node>
-                <node concept="32pEOW" id="24ciDNzxNG7" role="3vLBG7" />
-              </node>
-              <node concept="3xSepi" id="6E2cNicdild" role="3xSepv">
-                <node concept="3Aq9E8" id="6N2bvv_e2lG" role="3xSepj">
-                  <node concept="3I6sU6" id="6N2bvv_e2lH" role="3Ip0Jz">
-                    <node concept="3I6s7M" id="6N2bvv_e2lI" role="3I6sU7">
-                      <node concept="3A8Hvi" id="6N2bvv_e2lJ" role="3I6s78">
-                        <node concept="a7P8L" id="6N2bvv_e2qr" role="3A8wtg">
-                          <ref role="a7OzE" node="5TXeSYSHBQL" resolve="TypeVar" />
-                        </node>
-                        <node concept="a7P8L" id="6N2bvv_e2pn" role="3A8w4Q">
-                          <ref role="a7OzE" node="5TXeSYSHBQM" resolve="Tgr" />
-                        </node>
-                      </node>
-                    </node>
-                  </node>
-                </node>
-              </node>
-            </node>
-          </node>
-        </node>
+    <node concept="3AqmO8" id="541xd$PEyQU" role="8PkJo">
+      <property role="TrG5h" value="hasTarget" />
+      <node concept="1zAUYm" id="541xd$PEyR8" role="1zAUyy">
+        <property role="TrG5h" value="var" />
+      </node>
+      <node concept="1zAUYm" id="541xd$PEyRa" role="1zAUyy">
+        <property role="TrG5h" value="target" />
       </node>
     </node>
   </node>
@@ -40651,26 +40789,6 @@
                 <property role="TrG5h" value="Options" />
               </node>
             </node>
-            <node concept="3xSepi" id="4s_lMmHtd5S" role="3xSepv">
-              <node concept="3Aq9E8" id="4s_lMmHtd5T" role="3xSepj">
-                <node concept="3I6sU6" id="4s_lMmHtd5U" role="3Ip0Jz">
-                  <node concept="3I6s7M" id="4s_lMmHtd5Z" role="3I6sU7">
-                    <node concept="3Aqt3T" id="4s_lMmHtd5Y" role="3I6s78">
-                      <ref role="3AqCNq" node="4O7HczO6A6X" resolve="maybeUni" />
-                      <node concept="a7P8L" id="4s_lMmHtd6s" role="3AunhB">
-                        <ref role="a7OzE" node="ONSj15S32l" resolve="S" />
-                      </node>
-                      <node concept="a7P8L" id="4s_lMmHtd6d" role="3AunhB">
-                        <ref role="a7OzE" node="ONSj15S3ye" resolve="T" />
-                      </node>
-                      <node concept="a7P8L" id="4s_lMmHtd7V" role="3AunhB">
-                        <ref role="a7OzE" node="4s_lMmHjTK8" resolve="Options" />
-                      </node>
-                    </node>
-                  </node>
-                </node>
-              </node>
-            </node>
             <node concept="3Aq9_M" id="4s_lMmHtd91" role="1nLNMa">
               <node concept="3I6sU6" id="4s_lMmHtd92" role="3Ip0Jz">
                 <node concept="3I6s7M" id="4s_lMmHtd96" role="3I6sU7">
@@ -43815,7 +43933,27 @@
             </node>
           </node>
         </node>
-        <node concept="3clFbH" id="3hZrJU5dcU5" role="3cqZAp" />
+        <node concept="3cpWs8" id="541xd$PFyQD" role="3cqZAp">
+          <node concept="3cpWsn" id="541xd$PFyQE" role="3cpWs9">
+            <property role="TrG5h" value="tvds" />
+            <node concept="2I9FWS" id="541xd$PFyQC" role="1tU5fm">
+              <ref role="2I9WkF" to="tpee:g96euPO" resolve="TypeVariableDeclaration" />
+            </node>
+            <node concept="2OqwBi" id="541xd$PFyQF" role="33vP2m">
+              <node concept="2OqwBi" id="541xd$PFyQG" role="2Oq$k0">
+                <node concept="3hN9Ij" id="541xd$PFyQH" role="2Oq$k0">
+                  <ref role="3hLkJx" node="3hZrJU5cZZN" resolve="imc" />
+                </node>
+                <node concept="3TrEf2" id="541xd$PFyQI" role="2OqNvi">
+                  <ref role="3Tt5mk" to="tpee:fz7wK6H" resolve="baseMethodDeclaration" />
+                </node>
+              </node>
+              <node concept="3Tsc0h" id="541xd$PFyQJ" role="2OqNvi">
+                <ref role="3TtcxE" to="tpee:g96eVAe" resolve="typeVariableDeclaration" />
+              </node>
+            </node>
+          </node>
+        </node>
         <node concept="3X$Joe" id="3hZrJU5dbGm" role="3cqZAp">
           <node concept="aZer4" id="3hZrJU5cUaI" role="3XD1gS">
             <property role="TrG5h" value="RetT" />
@@ -43845,6 +43983,15 @@
           <node concept="aZer4" id="3hZrJU5o0WA" role="3XD1gS">
             <property role="TrG5h" value="VarargT" />
           </node>
+          <node concept="aZer4" id="541xd$PFz8m" role="3XD1gS">
+            <property role="TrG5h" value="TypeVars" />
+            <node concept="2OqwBi" id="541xd$PFzsi" role="3gj$pD">
+              <node concept="37vLTw" id="541xd$PFzpv" role="2Oq$k0">
+                <ref role="3cqZAo" node="541xd$PFyQE" resolve="tvds" />
+              </node>
+              <node concept="34oBXx" id="541xd$PFADi" role="2OqNvi" />
+            </node>
+          </node>
         </node>
         <node concept="3clFbH" id="3hZrJU5d1y3" role="3cqZAp" />
         <node concept="3Aqczg" id="4boCUQu4TTm" role="3cqZAp">
@@ -43870,6 +44017,14 @@
                   </node>
                 </node>
               </node>
+              <node concept="nsMwS" id="541xd$PFAFL" role="ns1xD">
+                <ref role="nsMwP" node="ZJPHcupkiC" resolve="typeParams" />
+                <node concept="1nq8_$" id="541xd$PFAKK" role="nsMwV">
+                  <node concept="a7P8L" id="541xd$PFAKJ" role="1nq8_t">
+                    <ref role="a7OzE" node="541xd$PFz8m" resolve="TypeVars" />
+                  </node>
+                </node>
+              </node>
             </node>
           </node>
         </node>
@@ -44312,6 +44467,44 @@
           </node>
         </node>
         <node concept="3clFbH" id="3hZrJU5nskn" role="3cqZAp" />
+        <node concept="1Dw8fO" id="541xd$PFBg5" role="3cqZAp">
+          <node concept="3clFbS" id="541xd$PFBg7" role="2LFqv$">
+            <node concept="3Aqczg" id="541xd$PFDyG" role="3cqZAp">
+              <node concept="3Aqt3T" id="541xd$PFDyE" role="3Aqpz8">
+                <ref role="3AqCNq" node="6N2bvv_5W0X" resolve="resolveVar" />
+                <node concept="a7P8L" id="541xd$PFDB$" role="3AunhB">
+                  <ref role="a7OzE" node="541xd$PFz8m" resolve="TypeVars" />
+                  <node concept="37vLTw" id="541xd$PFDGu" role="3gCZO6">
+                    <ref role="3cqZAo" node="541xd$PFBg8" resolve="i" />
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+          <node concept="3cpWsn" id="541xd$PFBg8" role="1Duv9x">
+            <property role="TrG5h" value="i" />
+            <node concept="10Oyi0" id="541xd$PFBmB" role="1tU5fm" />
+            <node concept="3cmrfG" id="541xd$PFBtW" role="33vP2m">
+              <property role="3cmrfH" value="0" />
+            </node>
+          </node>
+          <node concept="3eOVzh" id="541xd$PFBKN" role="1Dwp0S">
+            <node concept="2OqwBi" id="541xd$PFBN$" role="3uHU7w">
+              <node concept="37vLTw" id="541xd$PFBNm" role="2Oq$k0">
+                <ref role="3cqZAo" node="541xd$PFyQE" resolve="tvds" />
+              </node>
+              <node concept="34oBXx" id="541xd$PFDtu" role="2OqNvi" />
+            </node>
+            <node concept="37vLTw" id="541xd$PFBwp" role="3uHU7B">
+              <ref role="3cqZAo" node="541xd$PFBg8" resolve="i" />
+            </node>
+          </node>
+          <node concept="3uNrnE" id="541xd$PFDwa" role="1Dwrff">
+            <node concept="37vLTw" id="541xd$PFDwc" role="2$L3a6">
+              <ref role="3cqZAo" node="541xd$PFBg8" resolve="i" />
+            </node>
+          </node>
+        </node>
         <node concept="3Aqczg" id="4xoHD1GsA$P" role="3cqZAp">
           <node concept="3Aqt3T" id="4xoHD1GsA$Q" role="3Aqpz8">
             <ref role="3AqCNq" node="3wxtToEiJ2p" resolve="capture" />
@@ -44825,6 +45018,7 @@
   <node concept="AVZre" id="4X6HjrRCHM3">
     <property role="3GE5qa" value="rule.type" />
     <property role="TrG5h" value="TypeBound" />
+    <ref role="2YbDB9" node="39eNUjleTBt" resolve="Capture" />
     <node concept="1nLNMY" id="3QM3N5GU2Ps" role="1nK1Vg">
       <property role="TrG5h" value="boundOf_lazy" />
       <node concept="3clFbS" id="3QM3N5GU2Pt" role="1nLNMH">
@@ -53155,6 +53349,73 @@
   <node concept="312cEu" id="4O7HczOeKN2">
     <property role="3GE5qa" value="util" />
     <property role="TrG5h" value="ConvertsContext" />
+    <node concept="2tJIrI" id="4jGoIlfsXCV" role="jymVt" />
+    <node concept="Wx3nA" id="4jGoIlft31V" role="jymVt">
+      <property role="TrG5h" value="FLAG_INFERENCE" />
+      <node concept="10Oyi0" id="4jGoIlfsYVJ" role="1tU5fm" />
+      <node concept="3Tm6S6" id="4jGoIlfsYoJ" role="1B3o_S" />
+      <node concept="1GRDU$" id="4jGoIlfsZIT" role="33vP2m">
+        <node concept="3cmrfG" id="4jGoIlfsZJd" role="3uHU7w">
+          <property role="3cmrfH" value="0" />
+        </node>
+        <node concept="3cmrfG" id="4jGoIlfsZ1I" role="3uHU7B">
+          <property role="3cmrfH" value="1" />
+        </node>
+      </node>
+    </node>
+    <node concept="Wx3nA" id="4jGoIlft3H8" role="jymVt">
+      <property role="TrG5h" value="FLAG_NARROWING" />
+      <node concept="10Oyi0" id="4jGoIlfsZQf" role="1tU5fm" />
+      <node concept="3Tm6S6" id="4jGoIlfsZQe" role="1B3o_S" />
+      <node concept="1GRDU$" id="4jGoIlfsZQg" role="33vP2m">
+        <node concept="3cmrfG" id="4jGoIlfsZQh" role="3uHU7w">
+          <property role="3cmrfH" value="1" />
+        </node>
+        <node concept="3cmrfG" id="4jGoIlfsZQi" role="3uHU7B">
+          <property role="3cmrfH" value="1" />
+        </node>
+      </node>
+    </node>
+    <node concept="Wx3nA" id="4jGoIlft4iz" role="jymVt">
+      <property role="TrG5h" value="FLAG_UNCHECKED" />
+      <node concept="10Oyi0" id="4jGoIlft0$p" role="1tU5fm" />
+      <node concept="3Tm6S6" id="4jGoIlft0$o" role="1B3o_S" />
+      <node concept="1GRDU$" id="4jGoIlft0$q" role="33vP2m">
+        <node concept="3cmrfG" id="4jGoIlft0$r" role="3uHU7w">
+          <property role="3cmrfH" value="2" />
+        </node>
+        <node concept="3cmrfG" id="4jGoIlft0$s" role="3uHU7B">
+          <property role="3cmrfH" value="1" />
+        </node>
+      </node>
+    </node>
+    <node concept="Wx3nA" id="4jGoIlft4XK" role="jymVt">
+      <property role="TrG5h" value="FLAG_BOXING" />
+      <node concept="10Oyi0" id="4jGoIlft1ay" role="1tU5fm" />
+      <node concept="3Tm6S6" id="4jGoIlft1ax" role="1B3o_S" />
+      <node concept="1GRDU$" id="4jGoIlft1az" role="33vP2m">
+        <node concept="3cmrfG" id="4jGoIlft1a$" role="3uHU7w">
+          <property role="3cmrfH" value="3" />
+        </node>
+        <node concept="3cmrfG" id="4jGoIlft1a_" role="3uHU7B">
+          <property role="3cmrfH" value="1" />
+        </node>
+      </node>
+    </node>
+    <node concept="Wx3nA" id="4jGoIlfwXVL" role="jymVt">
+      <property role="TrG5h" value="FLAG_DELAY_RESOLVE" />
+      <node concept="10Oyi0" id="4jGoIlfwXVM" role="1tU5fm" />
+      <node concept="3Tm6S6" id="4jGoIlfwXVN" role="1B3o_S" />
+      <node concept="1GRDU$" id="4jGoIlfwXVO" role="33vP2m">
+        <node concept="3cmrfG" id="4jGoIlfwXVP" role="3uHU7w">
+          <property role="3cmrfH" value="4" />
+        </node>
+        <node concept="3cmrfG" id="4jGoIlfwXVQ" role="3uHU7B">
+          <property role="3cmrfH" value="1" />
+        </node>
+      </node>
+    </node>
+    <node concept="2tJIrI" id="4jGoIlfsXO4" role="jymVt" />
     <node concept="312cEg" id="4O7HczOeOKr" role="jymVt">
       <property role="TrG5h" value="opts" />
       <property role="3TUv4t" value="true" />
@@ -53172,15 +53433,19 @@
     <node concept="3clFb_" id="3vTJNooZC29" role="jymVt">
       <property role="TrG5h" value="checkOnly" />
       <node concept="3clFbS" id="3vTJNooZC2c" role="3clF47">
-        <node concept="3clFbF" id="3vTJNooZC4z" role="3cqZAp">
-          <node concept="37vLTI" id="3vTJNooZCFI" role="3clFbG">
-            <node concept="3clFbT" id="3vTJNooZCLk" role="37vLTx" />
-            <node concept="2OqwBi" id="3vTJNooZCa_" role="37vLTJ">
-              <node concept="37vLTw" id="4O7HczOeWbL" role="2Oq$k0">
+        <node concept="3clFbF" id="4jGoIlftKoq" role="3cqZAp">
+          <node concept="3vZ8ra" id="4jGoIlftPFu" role="3clFbG">
+            <node concept="2OqwBi" id="4jGoIlftPFw" role="37vLTJ">
+              <node concept="37vLTw" id="4jGoIlftPFx" role="2Oq$k0">
                 <ref role="3cqZAo" node="4O7HczOeOKr" resolve="opts" />
               </node>
-              <node concept="2OwXpG" id="3vTJNooZCj0" role="2OqNvi">
-                <ref role="2Oxat5" node="3vTJNooZBXc" resolve="inferenceAllowed" />
+              <node concept="2OwXpG" id="4jGoIlftPFy" role="2OqNvi">
+                <ref role="2Oxat5" node="4jGoIlft2oH" resolve="flags" />
+              </node>
+            </node>
+            <node concept="1H0AT2" id="4jGoIlftTtY" role="37vLTx">
+              <node concept="37vLTw" id="4jGoIlftTtZ" role="1H0ATZ">
+                <ref role="3cqZAo" node="4jGoIlft31V" resolve="FLAG_INFERENCE" />
               </node>
             </node>
           </node>
@@ -53197,17 +53462,17 @@
     <node concept="3clFb_" id="3vTJNooZCTc" role="jymVt">
       <property role="TrG5h" value="infer" />
       <node concept="3clFbS" id="3vTJNooZCTd" role="3clF47">
-        <node concept="3clFbF" id="3vTJNooZCTe" role="3cqZAp">
-          <node concept="37vLTI" id="3vTJNooZCTf" role="3clFbG">
-            <node concept="3clFbT" id="3vTJNooZCTg" role="37vLTx">
-              <property role="3clFbU" value="true" />
+        <node concept="3clFbF" id="4jGoIlftWcm" role="3cqZAp">
+          <node concept="3vZ8r8" id="4jGoIlftZKL" role="3clFbG">
+            <node concept="37vLTw" id="4jGoIlfu031" role="37vLTx">
+              <ref role="3cqZAo" node="4jGoIlft31V" resolve="FLAG_INFERENCE" />
             </node>
-            <node concept="2OqwBi" id="3vTJNooZCTh" role="37vLTJ">
-              <node concept="37vLTw" id="4O7HczOeWKx" role="2Oq$k0">
+            <node concept="2OqwBi" id="4jGoIlftXfc" role="37vLTJ">
+              <node concept="37vLTw" id="4jGoIlftWck" role="2Oq$k0">
                 <ref role="3cqZAo" node="4O7HczOeOKr" resolve="opts" />
               </node>
-              <node concept="2OwXpG" id="3vTJNooZCTj" role="2OqNvi">
-                <ref role="2Oxat5" node="3vTJNooZBXc" resolve="inferenceAllowed" />
+              <node concept="2OwXpG" id="4jGoIlftXT2" role="2OqNvi">
+                <ref role="2Oxat5" node="4jGoIlft2oH" resolve="flags" />
               </node>
             </node>
           </node>
@@ -53224,17 +53489,17 @@
     <node concept="3clFb_" id="4O7HczOifwt" role="jymVt">
       <property role="TrG5h" value="allowNarrowing" />
       <node concept="3clFbS" id="4O7HczOifwu" role="3clF47">
-        <node concept="3clFbF" id="4O7HczOifwv" role="3cqZAp">
-          <node concept="37vLTI" id="4O7HczOifww" role="3clFbG">
-            <node concept="3clFbT" id="4O7HczOifwx" role="37vLTx">
-              <property role="3clFbU" value="true" />
+        <node concept="3clFbF" id="4jGoIlfu1GW" role="3cqZAp">
+          <node concept="3vZ8r8" id="4jGoIlfu4DR" role="3clFbG">
+            <node concept="37vLTw" id="4jGoIlfu5Dk" role="37vLTx">
+              <ref role="3cqZAo" node="4jGoIlft3H8" resolve="FLAG_NARROWING" />
             </node>
-            <node concept="2OqwBi" id="4O7HczOifwy" role="37vLTJ">
-              <node concept="37vLTw" id="4O7HczOifwz" role="2Oq$k0">
+            <node concept="2OqwBi" id="4jGoIlfu2ft" role="37vLTJ">
+              <node concept="37vLTw" id="4jGoIlfu1GU" role="2Oq$k0">
                 <ref role="3cqZAo" node="4O7HczOeOKr" resolve="opts" />
               </node>
-              <node concept="2OwXpG" id="4O7HczOigEa" role="2OqNvi">
-                <ref role="2Oxat5" node="4O7HczOigbg" resolve="narrowingAllowed" />
+              <node concept="2OwXpG" id="4jGoIlfu3jC" role="2OqNvi">
+                <ref role="2Oxat5" node="4jGoIlft2oH" resolve="flags" />
               </node>
             </node>
           </node>
@@ -53251,15 +53516,19 @@
     <node concept="3clFb_" id="oCcpswT3UR" role="jymVt">
       <property role="TrG5h" value="forbidNarrowing" />
       <node concept="3clFbS" id="oCcpswT3US" role="3clF47">
-        <node concept="3clFbF" id="oCcpswT3UT" role="3cqZAp">
-          <node concept="37vLTI" id="oCcpswT3UU" role="3clFbG">
-            <node concept="3clFbT" id="oCcpswT3UV" role="37vLTx" />
-            <node concept="2OqwBi" id="oCcpswT3UW" role="37vLTJ">
-              <node concept="37vLTw" id="oCcpswT3UX" role="2Oq$k0">
+        <node concept="3clFbF" id="4jGoIlfu7aQ" role="3cqZAp">
+          <node concept="3vZ8ra" id="4jGoIlfu7aR" role="3clFbG">
+            <node concept="2OqwBi" id="4jGoIlfu7aS" role="37vLTJ">
+              <node concept="37vLTw" id="4jGoIlfu7aT" role="2Oq$k0">
                 <ref role="3cqZAo" node="4O7HczOeOKr" resolve="opts" />
               </node>
-              <node concept="2OwXpG" id="oCcpswT3UY" role="2OqNvi">
-                <ref role="2Oxat5" node="4O7HczOigbg" resolve="narrowingAllowed" />
+              <node concept="2OwXpG" id="4jGoIlfu7aU" role="2OqNvi">
+                <ref role="2Oxat5" node="4jGoIlft2oH" resolve="flags" />
+              </node>
+            </node>
+            <node concept="1H0AT2" id="4jGoIlfu7aV" role="37vLTx">
+              <node concept="37vLTw" id="4jGoIlfu8di" role="1H0ATZ">
+                <ref role="3cqZAo" node="4jGoIlft3H8" resolve="FLAG_NARROWING" />
               </node>
             </node>
           </node>
@@ -53276,17 +53545,17 @@
     <node concept="3clFb_" id="6GOqnFk9iSP" role="jymVt">
       <property role="TrG5h" value="allowUnchecked" />
       <node concept="3clFbS" id="6GOqnFk9iSQ" role="3clF47">
-        <node concept="3clFbF" id="6GOqnFk9iSR" role="3cqZAp">
-          <node concept="37vLTI" id="6GOqnFk9iSS" role="3clFbG">
-            <node concept="3clFbT" id="6GOqnFk9iST" role="37vLTx">
-              <property role="3clFbU" value="true" />
+        <node concept="3clFbF" id="4jGoIlfu98P" role="3cqZAp">
+          <node concept="3vZ8r8" id="4jGoIlfu98Q" role="3clFbG">
+            <node concept="37vLTw" id="4jGoIlfuahO" role="37vLTx">
+              <ref role="3cqZAo" node="4jGoIlft4iz" resolve="FLAG_UNCHECKED" />
             </node>
-            <node concept="2OqwBi" id="6GOqnFk9iSU" role="37vLTJ">
-              <node concept="37vLTw" id="6GOqnFk9iSV" role="2Oq$k0">
+            <node concept="2OqwBi" id="4jGoIlfu98R" role="37vLTJ">
+              <node concept="37vLTw" id="4jGoIlfu98S" role="2Oq$k0">
                 <ref role="3cqZAo" node="4O7HczOeOKr" resolve="opts" />
               </node>
-              <node concept="2OwXpG" id="6GOqnFk9jwf" role="2OqNvi">
-                <ref role="2Oxat5" node="6GOqnFk9f5G" resolve="uncheckedAllowed" />
+              <node concept="2OwXpG" id="4jGoIlfu98T" role="2OqNvi">
+                <ref role="2Oxat5" node="4jGoIlft2oH" resolve="flags" />
               </node>
             </node>
           </node>
@@ -53303,15 +53572,19 @@
     <node concept="3clFb_" id="6GOqnFk9lVa" role="jymVt">
       <property role="TrG5h" value="forbidUnchecked" />
       <node concept="3clFbS" id="6GOqnFk9lVb" role="3clF47">
-        <node concept="3clFbF" id="6GOqnFk9lVc" role="3cqZAp">
-          <node concept="37vLTI" id="6GOqnFk9lVd" role="3clFbG">
-            <node concept="3clFbT" id="6GOqnFk9lVe" role="37vLTx" />
-            <node concept="2OqwBi" id="6GOqnFk9lVf" role="37vLTJ">
-              <node concept="37vLTw" id="6GOqnFk9lVg" role="2Oq$k0">
+        <node concept="3clFbF" id="4jGoIlfuaYw" role="3cqZAp">
+          <node concept="3vZ8ra" id="4jGoIlfuaYx" role="3clFbG">
+            <node concept="2OqwBi" id="4jGoIlfuaYy" role="37vLTJ">
+              <node concept="37vLTw" id="4jGoIlfuaYz" role="2Oq$k0">
                 <ref role="3cqZAo" node="4O7HczOeOKr" resolve="opts" />
               </node>
-              <node concept="2OwXpG" id="6GOqnFk9lVh" role="2OqNvi">
-                <ref role="2Oxat5" node="6GOqnFk9f5G" resolve="uncheckedAllowed" />
+              <node concept="2OwXpG" id="4jGoIlfuaY$" role="2OqNvi">
+                <ref role="2Oxat5" node="4jGoIlft2oH" resolve="flags" />
+              </node>
+            </node>
+            <node concept="1H0AT2" id="4jGoIlfuaY_" role="37vLTx">
+              <node concept="37vLTw" id="4jGoIlfuc7O" role="1H0ATZ">
+                <ref role="3cqZAo" node="4jGoIlft4iz" resolve="FLAG_UNCHECKED" />
               </node>
             </node>
           </node>
@@ -53332,17 +53605,17 @@
       </node>
       <node concept="3Tm1VV" id="1j7WR6S8b5i" role="1B3o_S" />
       <node concept="3clFbS" id="1j7WR6S8b5j" role="3clF47">
-        <node concept="3clFbF" id="1j7WR6S8ccU" role="3cqZAp">
-          <node concept="37vLTI" id="1j7WR6S8cYD" role="3clFbG">
-            <node concept="3clFbT" id="1j7WR6S8d49" role="37vLTx">
-              <property role="3clFbU" value="true" />
+        <node concept="3clFbF" id="4jGoIlfudy7" role="3cqZAp">
+          <node concept="3vZ8r8" id="4jGoIlfudy8" role="3clFbG">
+            <node concept="37vLTw" id="4jGoIlfueF$" role="37vLTx">
+              <ref role="3cqZAo" node="4jGoIlft4XK" resolve="FLAG_BOXING" />
             </node>
-            <node concept="2OqwBi" id="1j7WR6S8cp0" role="37vLTJ">
-              <node concept="37vLTw" id="1j7WR6S8ccT" role="2Oq$k0">
+            <node concept="2OqwBi" id="4jGoIlfudy9" role="37vLTJ">
+              <node concept="37vLTw" id="4jGoIlfudya" role="2Oq$k0">
                 <ref role="3cqZAo" node="4O7HczOeOKr" resolve="opts" />
               </node>
-              <node concept="2OwXpG" id="1j7WR6S8cD0" role="2OqNvi">
-                <ref role="2Oxat5" node="1j7WR6S88hF" resolve="boxingAllowed" />
+              <node concept="2OwXpG" id="4jGoIlfudyb" role="2OqNvi">
+                <ref role="2Oxat5" node="4jGoIlft2oH" resolve="flags" />
               </node>
             </node>
           </node>
@@ -53359,15 +53632,19 @@
       </node>
       <node concept="3Tm1VV" id="1j7WR6S8dB4" role="1B3o_S" />
       <node concept="3clFbS" id="1j7WR6S8dB5" role="3clF47">
-        <node concept="3clFbF" id="1j7WR6S8dB6" role="3cqZAp">
-          <node concept="37vLTI" id="1j7WR6S8dB7" role="3clFbG">
-            <node concept="3clFbT" id="1j7WR6S8dB8" role="37vLTx" />
-            <node concept="2OqwBi" id="1j7WR6S8dB9" role="37vLTJ">
-              <node concept="37vLTw" id="1j7WR6S8dBa" role="2Oq$k0">
+        <node concept="3clFbF" id="4jGoIlfuhxF" role="3cqZAp">
+          <node concept="3vZ8ra" id="4jGoIlfuhxG" role="3clFbG">
+            <node concept="2OqwBi" id="4jGoIlfuhxH" role="37vLTJ">
+              <node concept="37vLTw" id="4jGoIlfuhxI" role="2Oq$k0">
                 <ref role="3cqZAo" node="4O7HczOeOKr" resolve="opts" />
               </node>
-              <node concept="2OwXpG" id="1j7WR6S8dBb" role="2OqNvi">
-                <ref role="2Oxat5" node="1j7WR6S88hF" resolve="boxingAllowed" />
+              <node concept="2OwXpG" id="4jGoIlfuhxJ" role="2OqNvi">
+                <ref role="2Oxat5" node="4jGoIlft2oH" resolve="flags" />
+              </node>
+            </node>
+            <node concept="1H0AT2" id="4jGoIlfuhxK" role="37vLTx">
+              <node concept="37vLTw" id="4jGoIlfuiFt" role="1H0ATZ">
+                <ref role="3cqZAo" node="4jGoIlft4XK" resolve="FLAG_BOXING" />
               </node>
             </node>
           </node>
@@ -53377,8 +53654,63 @@
         </node>
       </node>
     </node>
+    <node concept="3clFb_" id="4jGoIlfwZqt" role="jymVt">
+      <property role="TrG5h" value="delayResolve" />
+      <node concept="3uibUv" id="4jGoIlfwZqu" role="3clF45">
+        <ref role="3uigEE" node="4O7HczOeKN2" resolve="ConvertsContext" />
+      </node>
+      <node concept="3Tm1VV" id="4jGoIlfwZqv" role="1B3o_S" />
+      <node concept="3clFbS" id="4jGoIlfwZqw" role="3clF47">
+        <node concept="3clFbF" id="4jGoIlfwZqx" role="3cqZAp">
+          <node concept="3vZ8r8" id="4jGoIlfwZqy" role="3clFbG">
+            <node concept="37vLTw" id="4jGoIlfx2Ww" role="37vLTx">
+              <ref role="3cqZAo" node="4jGoIlfwXVL" resolve="FLAG_DELAY_RESOLVE" />
+            </node>
+            <node concept="2OqwBi" id="4jGoIlfwZq$" role="37vLTJ">
+              <node concept="37vLTw" id="4jGoIlfwZq_" role="2Oq$k0">
+                <ref role="3cqZAo" node="4O7HczOeOKr" resolve="opts" />
+              </node>
+              <node concept="2OwXpG" id="4jGoIlfwZqA" role="2OqNvi">
+                <ref role="2Oxat5" node="4jGoIlft2oH" resolve="flags" />
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3clFbF" id="4jGoIlfwZqB" role="3cqZAp">
+          <node concept="Xjq3P" id="4jGoIlfwZqC" role="3clFbG" />
+        </node>
+      </node>
+    </node>
+    <node concept="3clFb_" id="4jGoIlfwZqg" role="jymVt">
+      <property role="TrG5h" value="eagerResolve" />
+      <node concept="3uibUv" id="4jGoIlfwZqh" role="3clF45">
+        <ref role="3uigEE" node="4O7HczOeKN2" resolve="ConvertsContext" />
+      </node>
+      <node concept="3Tm1VV" id="4jGoIlfwZqi" role="1B3o_S" />
+      <node concept="3clFbS" id="4jGoIlfwZqj" role="3clF47">
+        <node concept="3clFbF" id="4jGoIlfwZqk" role="3cqZAp">
+          <node concept="3vZ8ra" id="4jGoIlfwZql" role="3clFbG">
+            <node concept="2OqwBi" id="4jGoIlfwZqm" role="37vLTJ">
+              <node concept="37vLTw" id="4jGoIlfwZqn" role="2Oq$k0">
+                <ref role="3cqZAo" node="4O7HczOeOKr" resolve="opts" />
+              </node>
+              <node concept="2OwXpG" id="4jGoIlfwZqo" role="2OqNvi">
+                <ref role="2Oxat5" node="4jGoIlft2oH" resolve="flags" />
+              </node>
+            </node>
+            <node concept="1H0AT2" id="4jGoIlfwZqp" role="37vLTx">
+              <node concept="37vLTw" id="4jGoIlfx5n7" role="1H0ATZ">
+                <ref role="3cqZAo" node="4jGoIlfwXVL" resolve="FLAG_DELAY_RESOLVE" />
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3clFbF" id="4jGoIlfwZqr" role="3cqZAp">
+          <node concept="Xjq3P" id="4jGoIlfwZqs" role="3clFbG" />
+        </node>
+      </node>
+    </node>
     <node concept="2tJIrI" id="1j7WR6S8dB1" role="jymVt" />
-    <node concept="2tJIrI" id="4O7HczOeVNs" role="jymVt" />
     <node concept="2tJIrI" id="4O7HczOeVJA" role="jymVt" />
     <node concept="2YIFZL" id="4O7HczOeR2N" role="jymVt">
       <property role="TrG5h" value="getNew" />
@@ -53397,140 +53729,6 @@
       </node>
     </node>
     <node concept="2tJIrI" id="4O7HczOeSMP" role="jymVt" />
-    <node concept="2YIFZL" id="4O7HczOimLc" role="jymVt">
-      <property role="TrG5h" value="getCopy" />
-      <node concept="3clFbS" id="4O7HczOimLg" role="3clF47">
-        <node concept="3cpWs8" id="4O7HczOimLh" role="3cqZAp">
-          <node concept="3cpWsn" id="4O7HczOimLi" role="3cpWs9">
-            <property role="TrG5h" value="copied" />
-            <node concept="3uibUv" id="4O7HczOimLj" role="1tU5fm">
-              <ref role="3uigEE" node="4O7HczOeKN2" resolve="ConvertsContext" />
-            </node>
-            <node concept="2ShNRf" id="4O7HczOimLk" role="33vP2m">
-              <node concept="1pGfFk" id="4O7HczOimLl" role="2ShVmc">
-                <ref role="37wK5l" node="4O7HczOeQCb" resolve="ConvertsContext" />
-              </node>
-            </node>
-          </node>
-        </node>
-        <node concept="3clFbF" id="4O7HczOimLm" role="3cqZAp">
-          <node concept="37vLTI" id="4O7HczOimLn" role="3clFbG">
-            <node concept="2OqwBi" id="4O7HczOimLo" role="37vLTx">
-              <node concept="37vLTw" id="4O7HczOimUC" role="2Oq$k0">
-                <ref role="3cqZAo" node="4O7HczOimLe" resolve="opts" />
-              </node>
-              <node concept="2OwXpG" id="4O7HczOimLq" role="2OqNvi">
-                <ref role="2Oxat5" node="3vTJNooZBXc" resolve="inferenceAllowed" />
-              </node>
-            </node>
-            <node concept="2OqwBi" id="4O7HczOimLr" role="37vLTJ">
-              <node concept="2OqwBi" id="4O7HczOimLs" role="2Oq$k0">
-                <node concept="37vLTw" id="4O7HczOimLt" role="2Oq$k0">
-                  <ref role="3cqZAo" node="4O7HczOimLi" resolve="copied" />
-                </node>
-                <node concept="2OwXpG" id="4O7HczOimLu" role="2OqNvi">
-                  <ref role="2Oxat5" node="4O7HczOeOKr" resolve="opts" />
-                </node>
-              </node>
-              <node concept="2OwXpG" id="4O7HczOimLv" role="2OqNvi">
-                <ref role="2Oxat5" node="3vTJNooZBXc" resolve="inferenceAllowed" />
-              </node>
-            </node>
-          </node>
-        </node>
-        <node concept="3clFbF" id="4O7HczOin2O" role="3cqZAp">
-          <node concept="37vLTI" id="4O7HczOinO7" role="3clFbG">
-            <node concept="2OqwBi" id="4O7HczOio55" role="37vLTx">
-              <node concept="37vLTw" id="4O7HczOinVV" role="2Oq$k0">
-                <ref role="3cqZAo" node="4O7HczOimLe" resolve="opts" />
-              </node>
-              <node concept="2OwXpG" id="4O7HczOiod8" role="2OqNvi">
-                <ref role="2Oxat5" node="4O7HczOigbg" resolve="narrowingAllowed" />
-              </node>
-            </node>
-            <node concept="2OqwBi" id="4O7HczOinnD" role="37vLTJ">
-              <node concept="2OqwBi" id="4O7HczOinb5" role="2Oq$k0">
-                <node concept="37vLTw" id="4O7HczOin2M" role="2Oq$k0">
-                  <ref role="3cqZAo" node="4O7HczOimLi" resolve="copied" />
-                </node>
-                <node concept="2OwXpG" id="4O7HczOingP" role="2OqNvi">
-                  <ref role="2Oxat5" node="4O7HczOeOKr" resolve="opts" />
-                </node>
-              </node>
-              <node concept="2OwXpG" id="4O7HczOinvp" role="2OqNvi">
-                <ref role="2Oxat5" node="4O7HczOigbg" resolve="narrowingAllowed" />
-              </node>
-            </node>
-          </node>
-        </node>
-        <node concept="3clFbF" id="6GOqnFk9ht_" role="3cqZAp">
-          <node concept="37vLTI" id="6GOqnFk9ioP" role="3clFbG">
-            <node concept="2OqwBi" id="6GOqnFk9iCX" role="37vLTx">
-              <node concept="37vLTw" id="6GOqnFk9iv$" role="2Oq$k0">
-                <ref role="3cqZAo" node="4O7HczOimLe" resolve="opts" />
-              </node>
-              <node concept="2OwXpG" id="6GOqnFk9iLx" role="2OqNvi">
-                <ref role="2Oxat5" node="6GOqnFk9f5G" resolve="uncheckedAllowed" />
-              </node>
-            </node>
-            <node concept="2OqwBi" id="6GOqnFk9hP8" role="37vLTJ">
-              <node concept="2OqwBi" id="6GOqnFk9h$0" role="2Oq$k0">
-                <node concept="37vLTw" id="6GOqnFk9htz" role="2Oq$k0">
-                  <ref role="3cqZAo" node="4O7HczOimLi" resolve="copied" />
-                </node>
-                <node concept="2OwXpG" id="6GOqnFk9hEB" role="2OqNvi">
-                  <ref role="2Oxat5" node="4O7HczOeOKr" resolve="opts" />
-                </node>
-              </node>
-              <node concept="2OwXpG" id="6GOqnFk9hY5" role="2OqNvi">
-                <ref role="2Oxat5" node="6GOqnFk9f5G" resolve="uncheckedAllowed" />
-              </node>
-            </node>
-          </node>
-        </node>
-        <node concept="3clFbF" id="1j7WR6S8eG2" role="3cqZAp">
-          <node concept="37vLTI" id="1j7WR6S8eG3" role="3clFbG">
-            <node concept="2OqwBi" id="1j7WR6S8eG4" role="37vLTx">
-              <node concept="37vLTw" id="1j7WR6S8eG5" role="2Oq$k0">
-                <ref role="3cqZAo" node="4O7HczOimLe" resolve="opts" />
-              </node>
-              <node concept="2OwXpG" id="1j7WR6S8eZY" role="2OqNvi">
-                <ref role="2Oxat5" node="1j7WR6S88hF" resolve="boxingAllowed" />
-              </node>
-            </node>
-            <node concept="2OqwBi" id="1j7WR6S8eG7" role="37vLTJ">
-              <node concept="2OqwBi" id="1j7WR6S8eG8" role="2Oq$k0">
-                <node concept="37vLTw" id="1j7WR6S8eG9" role="2Oq$k0">
-                  <ref role="3cqZAo" node="4O7HczOimLi" resolve="copied" />
-                </node>
-                <node concept="2OwXpG" id="1j7WR6S8eGa" role="2OqNvi">
-                  <ref role="2Oxat5" node="4O7HczOeOKr" resolve="opts" />
-                </node>
-              </node>
-              <node concept="2OwXpG" id="1j7WR6S8eSt" role="2OqNvi">
-                <ref role="2Oxat5" node="1j7WR6S88hF" resolve="boxingAllowed" />
-              </node>
-            </node>
-          </node>
-        </node>
-        <node concept="3clFbF" id="4O7HczOimLw" role="3cqZAp">
-          <node concept="37vLTw" id="4O7HczOimLx" role="3clFbG">
-            <ref role="3cqZAo" node="4O7HczOimLi" resolve="copied" />
-          </node>
-        </node>
-      </node>
-      <node concept="3uibUv" id="4O7HczOimLy" role="3clF45">
-        <ref role="3uigEE" node="4O7HczOeKN2" resolve="ConvertsContext" />
-      </node>
-      <node concept="37vLTG" id="4O7HczOimLe" role="3clF46">
-        <property role="TrG5h" value="opts" />
-        <node concept="3uibUv" id="4O7HczOimLf" role="1tU5fm">
-          <ref role="3uigEE" node="3vTJNooZBhQ" resolve="ConvertsContext.Options" />
-        </node>
-      </node>
-      <node concept="3Tm1VV" id="4O7HczOimLz" role="1B3o_S" />
-    </node>
-    <node concept="2tJIrI" id="4O7HczOeQPr" role="jymVt" />
     <node concept="3clFb_" id="4O7HczOeOsd" role="jymVt">
       <property role="TrG5h" value="toOptions" />
       <node concept="3clFbS" id="4O7HczOeOsf" role="3clF47">
@@ -53642,26 +53840,31 @@
       <node concept="3clFbS" id="6GOqnFkHsLy" role="3clF47">
         <node concept="3clFbF" id="6GOqnFkHyxO" role="3cqZAp">
           <node concept="2OqwBi" id="6GOqnFkHyxP" role="3clFbG">
-            <node concept="2OqwBi" id="6GOqnFkHyxQ" role="2Oq$k0">
-              <node concept="2OqwBi" id="6GOqnFkHyxR" role="2Oq$k0">
-                <node concept="2OqwBi" id="6GOqnFkHyxS" role="2Oq$k0">
-                  <node concept="2YIFZM" id="6GOqnFkHyxT" role="2Oq$k0">
-                    <ref role="37wK5l" node="4O7HczOeR2N" resolve="getNew" />
-                    <ref role="1Pybhc" node="4O7HczOeKN2" resolve="ConvertsContext" />
+            <node concept="2OqwBi" id="4jGoIlfxdFD" role="2Oq$k0">
+              <node concept="2OqwBi" id="6GOqnFkHyxQ" role="2Oq$k0">
+                <node concept="2OqwBi" id="6GOqnFkHyxR" role="2Oq$k0">
+                  <node concept="2OqwBi" id="6GOqnFkHyxS" role="2Oq$k0">
+                    <node concept="2YIFZM" id="6GOqnFkHyxT" role="2Oq$k0">
+                      <ref role="37wK5l" node="4O7HczOeR2N" resolve="getNew" />
+                      <ref role="1Pybhc" node="4O7HczOeKN2" resolve="ConvertsContext" />
+                    </node>
+                    <node concept="liA8E" id="6GOqnFkHyMT" role="2OqNvi">
+                      <ref role="37wK5l" node="3vTJNooZCTc" resolve="infer" />
+                    </node>
                   </node>
-                  <node concept="liA8E" id="6GOqnFkHyMT" role="2OqNvi">
-                    <ref role="37wK5l" node="3vTJNooZCTc" resolve="infer" />
+                  <node concept="liA8E" id="6GOqnFkHyXX" role="2OqNvi">
+                    <ref role="37wK5l" node="oCcpswT3UR" resolve="forbidNarrowing" />
                   </node>
                 </node>
-                <node concept="liA8E" id="6GOqnFkHyXX" role="2OqNvi">
-                  <ref role="37wK5l" node="oCcpswT3UR" resolve="forbidNarrowing" />
+                <node concept="liA8E" id="6GOqnFkHyxW" role="2OqNvi">
+                  <ref role="37wK5l" node="6GOqnFk9iSP" resolve="allowUnchecked" />
                 </node>
               </node>
-              <node concept="liA8E" id="6GOqnFkHyxW" role="2OqNvi">
-                <ref role="37wK5l" node="6GOqnFk9iSP" resolve="allowUnchecked" />
+              <node concept="liA8E" id="4jGoIlfxdSH" role="2OqNvi">
+                <ref role="37wK5l" node="4jGoIlfwZqt" resolve="delayResolve" />
               </node>
             </node>
-            <node concept="liA8E" id="6GOqnFkHyxX" role="2OqNvi">
+            <node concept="liA8E" id="4jGoIlfxe1y" role="2OqNvi">
               <ref role="37wK5l" node="4O7HczOeOsd" resolve="toOptions" />
             </node>
           </node>
@@ -53683,43 +53886,43 @@
     <node concept="312cEu" id="3vTJNooZBhQ" role="jymVt">
       <property role="3GE5qa" value="util" />
       <property role="TrG5h" value="Options" />
-      <node concept="312cEg" id="3vTJNooZBXc" role="jymVt">
-        <property role="TrG5h" value="inferenceAllowed" />
-        <node concept="3Tm6S6" id="3vTJNooZBS_" role="1B3o_S" />
-        <node concept="10P_77" id="3vTJNooZBTo" role="1tU5fm" />
-        <node concept="3clFbT" id="3vTJNooZBY_" role="33vP2m">
-          <property role="3clFbU" value="true" />
-        </node>
-      </node>
-      <node concept="312cEg" id="4O7HczOigbg" role="jymVt">
-        <property role="TrG5h" value="narrowingAllowed" />
-        <node concept="3Tm6S6" id="4O7HczOifZI" role="1B3o_S" />
-        <node concept="10P_77" id="4O7HczOig5v" role="1tU5fm" />
-        <node concept="3clFbT" id="4O7HczOighI" role="33vP2m" />
-      </node>
-      <node concept="312cEg" id="6GOqnFk9f5G" role="jymVt">
-        <property role="TrG5h" value="uncheckedAllowed" />
-        <node concept="3Tm6S6" id="6GOqnFk9e$Y" role="1B3o_S" />
-        <node concept="10P_77" id="6GOqnFk9eGh" role="1tU5fm" />
-        <node concept="3clFbT" id="6GOqnFk9fAz" role="33vP2m">
-          <property role="3clFbU" value="true" />
-        </node>
-      </node>
-      <node concept="312cEg" id="1j7WR6S88hF" role="jymVt">
-        <property role="TrG5h" value="boxingAllowed" />
-        <node concept="3Tm6S6" id="1j7WR6S88hG" role="1B3o_S" />
-        <node concept="10P_77" id="1j7WR6S88q5" role="1tU5fm" />
-        <node concept="3clFbT" id="1j7WR6S88t7" role="33vP2m">
-          <property role="3clFbU" value="true" />
+      <node concept="312cEg" id="4jGoIlft2oH" role="jymVt">
+        <property role="TrG5h" value="flags" />
+        <node concept="3Tm6S6" id="4jGoIlft2oI" role="1B3o_S" />
+        <node concept="10Oyi0" id="4jGoIlft2RY" role="1tU5fm" />
+        <node concept="pVOtf" id="4jGoIlft6W5" role="33vP2m">
+          <node concept="37vLTw" id="4jGoIlft71r" role="3uHU7w">
+            <ref role="3cqZAo" node="4jGoIlft4XK" resolve="FLAG_BOXING" />
+          </node>
+          <node concept="pVOtf" id="4jGoIlft6s2" role="3uHU7B">
+            <node concept="37vLTw" id="4jGoIlft5Ge" role="3uHU7B">
+              <ref role="3cqZAo" node="4jGoIlft31V" resolve="FLAG_INFERENCE" />
+            </node>
+            <node concept="37vLTw" id="4jGoIlft6wr" role="3uHU7w">
+              <ref role="3cqZAo" node="4jGoIlft4iz" resolve="FLAG_UNCHECKED" />
+            </node>
+          </node>
         </node>
       </node>
       <node concept="2tJIrI" id="6GOqnFk5rB0" role="jymVt" />
       <node concept="3clFb_" id="4O7HczO6zx9" role="jymVt">
         <property role="TrG5h" value="isInfer" />
         <node concept="3clFbS" id="4O7HczO6zxc" role="3clF47">
-          <node concept="3clFbF" id="4O7HczO6$y$" role="3cqZAp">
-            <node concept="37vLTw" id="4O7HczO6$yz" role="3clFbG">
-              <ref role="3cqZAo" node="3vTJNooZBXc" resolve="inferenceAllowed" />
+          <node concept="3clFbF" id="4jGoIlft7Ct" role="3cqZAp">
+            <node concept="3y3z36" id="4jGoIlftbQi" role="3clFbG">
+              <node concept="3cmrfG" id="4jGoIlftcMR" role="3uHU7w">
+                <property role="3cmrfH" value="0" />
+              </node>
+              <node concept="1eOMI4" id="4jGoIlftaom" role="3uHU7B">
+                <node concept="pVHWs" id="4jGoIlft8YV" role="1eOMHV">
+                  <node concept="37vLTw" id="4jGoIlft9z5" role="3uHU7w">
+                    <ref role="3cqZAo" node="4jGoIlft31V" resolve="FLAG_INFERENCE" />
+                  </node>
+                  <node concept="37vLTw" id="4jGoIlft7Cs" role="3uHU7B">
+                    <ref role="3cqZAo" node="4jGoIlft2oH" resolve="flags" />
+                  </node>
+                </node>
+              </node>
             </node>
           </node>
         </node>
@@ -53729,10 +53932,20 @@
       <node concept="3clFb_" id="4O7HczO6_ek" role="jymVt">
         <property role="TrG5h" value="isCheckOnly" />
         <node concept="3clFbS" id="4O7HczO6_en" role="3clF47">
-          <node concept="3clFbF" id="4O7HczO6_zJ" role="3cqZAp">
-            <node concept="3fqX7Q" id="4O7HczO6_zH" role="3clFbG">
-              <node concept="37vLTw" id="4O7HczO6__t" role="3fr31v">
-                <ref role="3cqZAo" node="3vTJNooZBXc" resolve="inferenceAllowed" />
+          <node concept="3clFbF" id="4jGoIlftgW1" role="3cqZAp">
+            <node concept="3clFbC" id="4jGoIlfthPn" role="3clFbG">
+              <node concept="1eOMI4" id="4jGoIlftgW4" role="3uHU7B">
+                <node concept="pVHWs" id="4jGoIlftgW5" role="1eOMHV">
+                  <node concept="37vLTw" id="4jGoIlftgWb" role="3uHU7w">
+                    <ref role="3cqZAo" node="4jGoIlft31V" resolve="FLAG_INFERENCE" />
+                  </node>
+                  <node concept="37vLTw" id="4jGoIlftgW6" role="3uHU7B">
+                    <ref role="3cqZAo" node="4jGoIlft2oH" resolve="flags" />
+                  </node>
+                </node>
+              </node>
+              <node concept="3cmrfG" id="4jGoIlftgW3" role="3uHU7w">
+                <property role="3cmrfH" value="0" />
               </node>
             </node>
           </node>
@@ -53743,9 +53956,21 @@
       <node concept="3clFb_" id="4O7HczOigsi" role="jymVt">
         <property role="TrG5h" value="isNarrowing" />
         <node concept="3clFbS" id="4O7HczOigsl" role="3clF47">
-          <node concept="3clFbF" id="4O7HczOigzF" role="3cqZAp">
-            <node concept="37vLTw" id="4O7HczOigzE" role="3clFbG">
-              <ref role="3cqZAo" node="4O7HczOigbg" resolve="narrowingAllowed" />
+          <node concept="3clFbF" id="4jGoIlftkLc" role="3cqZAp">
+            <node concept="3y3z36" id="4jGoIlftkLd" role="3clFbG">
+              <node concept="3cmrfG" id="4jGoIlftkLe" role="3uHU7w">
+                <property role="3cmrfH" value="0" />
+              </node>
+              <node concept="1eOMI4" id="4jGoIlftkLf" role="3uHU7B">
+                <node concept="pVHWs" id="4jGoIlftkLg" role="1eOMHV">
+                  <node concept="37vLTw" id="4jGoIlftm6x" role="3uHU7w">
+                    <ref role="3cqZAo" node="4jGoIlft3H8" resolve="FLAG_NARROWING" />
+                  </node>
+                  <node concept="37vLTw" id="4jGoIlftkLh" role="3uHU7B">
+                    <ref role="3cqZAo" node="4jGoIlft2oH" resolve="flags" />
+                  </node>
+                </node>
+              </node>
             </node>
           </node>
         </node>
@@ -53755,9 +53980,21 @@
       <node concept="3clFb_" id="6GOqnFk9dzV" role="jymVt">
         <property role="TrG5h" value="isUncheckedAllowed" />
         <node concept="3clFbS" id="6GOqnFk9dzY" role="3clF47">
-          <node concept="3clFbF" id="6GOqnFk9fE8" role="3cqZAp">
-            <node concept="37vLTw" id="6GOqnFk9fE7" role="3clFbG">
-              <ref role="3cqZAo" node="6GOqnFk9f5G" resolve="uncheckedAllowed" />
+          <node concept="3clFbF" id="4jGoIlftnQt" role="3cqZAp">
+            <node concept="3y3z36" id="4jGoIlftnQu" role="3clFbG">
+              <node concept="3cmrfG" id="4jGoIlftnQv" role="3uHU7w">
+                <property role="3cmrfH" value="0" />
+              </node>
+              <node concept="1eOMI4" id="4jGoIlftnQw" role="3uHU7B">
+                <node concept="pVHWs" id="4jGoIlftnQx" role="1eOMHV">
+                  <node concept="37vLTw" id="4jGoIlftoub" role="3uHU7w">
+                    <ref role="3cqZAo" node="4jGoIlft4iz" resolve="FLAG_UNCHECKED" />
+                  </node>
+                  <node concept="37vLTw" id="4jGoIlftnQy" role="3uHU7B">
+                    <ref role="3cqZAo" node="4jGoIlft2oH" resolve="flags" />
+                  </node>
+                </node>
+              </node>
             </node>
           </node>
         </node>
@@ -53769,9 +54006,45 @@
         <node concept="10P_77" id="1j7WR6S89iK" role="3clF45" />
         <node concept="3Tm1VV" id="1j7WR6S8960" role="1B3o_S" />
         <node concept="3clFbS" id="1j7WR6S8961" role="3clF47">
-          <node concept="3clFbF" id="1j7WR6S8aA_" role="3cqZAp">
-            <node concept="37vLTw" id="1j7WR6S8aA$" role="3clFbG">
-              <ref role="3cqZAo" node="1j7WR6S88hF" resolve="boxingAllowed" />
+          <node concept="3clFbF" id="4jGoIlftqiG" role="3cqZAp">
+            <node concept="3y3z36" id="4jGoIlftqiH" role="3clFbG">
+              <node concept="3cmrfG" id="4jGoIlftqiI" role="3uHU7w">
+                <property role="3cmrfH" value="0" />
+              </node>
+              <node concept="1eOMI4" id="4jGoIlftqiJ" role="3uHU7B">
+                <node concept="pVHWs" id="4jGoIlftqiK" role="1eOMHV">
+                  <node concept="37vLTw" id="4jGoIlftqRl" role="3uHU7w">
+                    <ref role="3cqZAo" node="4jGoIlft4XK" resolve="FLAG_BOXING" />
+                  </node>
+                  <node concept="37vLTw" id="4jGoIlftqiL" role="3uHU7B">
+                    <ref role="3cqZAo" node="4jGoIlft2oH" resolve="flags" />
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="3clFb_" id="4jGoIlfx6wP" role="jymVt">
+        <property role="TrG5h" value="isResolveDelayed" />
+        <node concept="10P_77" id="4jGoIlfx6wQ" role="3clF45" />
+        <node concept="3Tm1VV" id="4jGoIlfx6wR" role="1B3o_S" />
+        <node concept="3clFbS" id="4jGoIlfx6wS" role="3clF47">
+          <node concept="3clFbF" id="4jGoIlfx6wT" role="3cqZAp">
+            <node concept="3y3z36" id="4jGoIlfx6wU" role="3clFbG">
+              <node concept="3cmrfG" id="4jGoIlfx6wV" role="3uHU7w">
+                <property role="3cmrfH" value="0" />
+              </node>
+              <node concept="1eOMI4" id="4jGoIlfx6wW" role="3uHU7B">
+                <node concept="pVHWs" id="4jGoIlfx6wX" role="1eOMHV">
+                  <node concept="37vLTw" id="4jGoIlfxbsi" role="3uHU7w">
+                    <ref role="3cqZAo" node="4jGoIlfwXVL" resolve="FLAG_DELAY_RESOLVE" />
+                  </node>
+                  <node concept="37vLTw" id="4jGoIlfx6wZ" role="3uHU7B">
+                    <ref role="3cqZAo" node="4jGoIlft2oH" resolve="flags" />
+                  </node>
+                </node>
+              </node>
             </node>
           </node>
         </node>
@@ -53784,40 +54057,6 @@
       </node>
       <node concept="3Tm1VV" id="3vTJNooZBhR" role="1B3o_S" />
       <node concept="2tJIrI" id="4O7HczOiw0i" role="jymVt" />
-      <node concept="3clFb_" id="4O7HczOiwHi" role="jymVt">
-        <property role="TrG5h" value="values" />
-        <node concept="3clFbS" id="4O7HczOiwHl" role="3clF47">
-          <node concept="3cpWs6" id="4O7HczOiygS" role="3cqZAp">
-            <node concept="2ShNRf" id="4O7HczOiyq3" role="3cqZAk">
-              <node concept="Tc6Ow" id="4O7HczOiz8P" role="2ShVmc">
-                <node concept="3uibUv" id="4O7HczOi$ck" role="HW$YZ">
-                  <ref role="3uigEE" to="wyt6:~Object" resolve="Object" />
-                </node>
-                <node concept="37vLTw" id="4O7HczOi_4e" role="HW$Y0">
-                  <ref role="3cqZAo" node="3vTJNooZBXc" resolve="inferenceAllowed" />
-                </node>
-                <node concept="37vLTw" id="4O7HczOkGg9" role="HW$Y0">
-                  <ref role="3cqZAo" node="4O7HczOigbg" resolve="narrowingAllowed" />
-                </node>
-                <node concept="37vLTw" id="6GOqnFk9gYp" role="HW$Y0">
-                  <ref role="3cqZAo" node="6GOqnFk9f5G" resolve="uncheckedAllowed" />
-                </node>
-                <node concept="37vLTw" id="1j7WR6S88DC" role="HW$Y0">
-                  <ref role="3cqZAo" node="1j7WR6S88hF" resolve="boxingAllowed" />
-                </node>
-              </node>
-            </node>
-          </node>
-        </node>
-        <node concept="3Tm6S6" id="4O7HczOiwmr" role="1B3o_S" />
-        <node concept="3uibUv" id="4O7HczOkyIv" role="3clF45">
-          <ref role="3uigEE" to="33ny:~List" resolve="List" />
-          <node concept="3uibUv" id="4O7HczOkDiG" role="11_B2D">
-            <ref role="3uigEE" to="wyt6:~Object" resolve="Object" />
-          </node>
-        </node>
-      </node>
-      <node concept="2tJIrI" id="4O7HczOiojy" role="jymVt" />
       <node concept="3clFb_" id="4O7HczOioxX" role="jymVt">
         <property role="TrG5h" value="equals" />
         <node concept="3clFbS" id="4O7HczOioy0" role="3clF47">
@@ -53838,64 +54077,29 @@
               </node>
             </node>
           </node>
-          <node concept="1_o_46" id="4O7HczOiD7m" role="3cqZAp">
-            <node concept="3clFbS" id="4O7HczOiD7p" role="2LFqv$">
-              <node concept="3clFbJ" id="4O7HczOiFcn" role="3cqZAp">
-                <node concept="3fqX7Q" id="4O7HczOiFyD" role="3clFbw">
-                  <node concept="2OqwBi" id="4O7HczOiFyF" role="3fr31v">
-                    <node concept="3M$PaV" id="4O7HczOiFyG" role="2Oq$k0">
-                      <ref role="3M$S_o" node="4O7HczOiD7s" resolve="thisOpt" />
-                    </node>
-                    <node concept="liA8E" id="4O7HczOiFyH" role="2OqNvi">
-                      <ref role="37wK5l" to="wyt6:~Object.equals(java.lang.Object)" resolve="equals" />
-                      <node concept="3M$PaV" id="4O7HczOiFyI" role="37wK5m">
-                        <ref role="3M$S_o" node="4O7HczOiDuZ" resolve="otherOpt" />
-                      </node>
-                    </node>
-                  </node>
-                </node>
-                <node concept="3clFbS" id="4O7HczOiFcp" role="3clFbx">
-                  <node concept="3cpWs6" id="4O7HczOiFCD" role="3cqZAp">
-                    <node concept="3clFbT" id="4O7HczOiFDG" role="3cqZAk" />
-                  </node>
-                </node>
-              </node>
-            </node>
-            <node concept="1_o_bx" id="4O7HczOiD7r" role="1_o_by">
-              <node concept="2OqwBi" id="4O7HczOiDoS" role="1_o_bz">
-                <node concept="Xjq3P" id="4O7HczOiD7q" role="2Oq$k0" />
-                <node concept="liA8E" id="4O7HczOiDuV" role="2OqNvi">
-                  <ref role="37wK5l" node="4O7HczOiwHi" resolve="values" />
-                </node>
-              </node>
-              <node concept="1_o_bG" id="4O7HczOiD7s" role="1_o_aQ">
-                <property role="TrG5h" value="thisOpt" />
-              </node>
-            </node>
-            <node concept="1_o_bx" id="4O7HczOiDuY" role="1_o_by">
-              <node concept="1_o_bG" id="4O7HczOiDuZ" role="1_o_aQ">
-                <property role="TrG5h" value="otherOpt" />
-              </node>
-              <node concept="2OqwBi" id="4O7HczOiF0H" role="1_o_bz">
-                <node concept="1eOMI4" id="4O7HczOiERS" role="2Oq$k0">
-                  <node concept="10QFUN" id="4O7HczOipSh" role="1eOMHV">
-                    <node concept="3uibUv" id="4O7HczOipUH" role="10QFUM">
+          <node concept="3cpWs6" id="4jGoIlftxwB" role="3cqZAp">
+            <node concept="3clFbC" id="4jGoIlft_TE" role="3cqZAk">
+              <node concept="2OqwBi" id="4jGoIlftDP2" role="3uHU7w">
+                <node concept="1eOMI4" id="4jGoIlftB6M" role="2Oq$k0">
+                  <node concept="10QFUN" id="4jGoIlftB6J" role="1eOMHV">
+                    <node concept="3uibUv" id="4jGoIlftBHD" role="10QFUM">
                       <ref role="3uigEE" node="3vTJNooZBhQ" resolve="ConvertsContext.Options" />
                     </node>
-                    <node concept="37vLTw" id="4O7HczOipHN" role="10QFUP">
+                    <node concept="37vLTw" id="4jGoIlftCo9" role="10QFUP">
                       <ref role="3cqZAo" node="4O7HczOioCQ" resolve="other" />
                     </node>
                   </node>
                 </node>
-                <node concept="liA8E" id="4O7HczOiF8J" role="2OqNvi">
-                  <ref role="37wK5l" node="4O7HczOiwHi" resolve="values" />
+                <node concept="2OwXpG" id="4jGoIlftEpa" role="2OqNvi">
+                  <ref role="2Oxat5" node="4jGoIlft2oH" resolve="flags" />
+                </node>
+              </node>
+              <node concept="2OqwBi" id="4jGoIlftztP" role="3uHU7B">
+                <node concept="Xjq3P" id="4jGoIlftyGX" role="2Oq$k0" />
+                <node concept="2OwXpG" id="4jGoIlft$IZ" role="2OqNvi">
+                  <ref role="2Oxat5" node="4jGoIlft2oH" resolve="flags" />
                 </node>
               </node>
-            </node>
-          </node>
-          <node concept="3cpWs6" id="4O7HczOiG1u" role="3cqZAp">
-            <node concept="3clFbT" id="4O7HczOiGoe" role="3cqZAk">
-              <property role="3clFbU" value="true" />
             </node>
           </node>
         </node>
@@ -53916,15 +54120,11 @@
         <property role="TrG5h" value="hashCode" />
         <node concept="3clFbS" id="4O7HczOiH04" role="3clF47">
           <node concept="3cpWs6" id="4O7HczOiHqw" role="3cqZAp">
-            <node concept="2OqwBi" id="4O7HczOiObO" role="3cqZAk">
-              <node concept="2OqwBi" id="4O7HczOiHRl" role="2Oq$k0">
-                <node concept="Xjq3P" id="4O7HczOiHBw" role="2Oq$k0" />
-                <node concept="liA8E" id="4O7HczOiI3_" role="2OqNvi">
-                  <ref role="37wK5l" node="4O7HczOiwHi" resolve="values" />
-                </node>
-              </node>
-              <node concept="liA8E" id="4O7HczOiOtf" role="2OqNvi">
-                <ref role="37wK5l" to="33ny:~List.hashCode()" resolve="hashCode" />
+            <node concept="2YIFZM" id="4jGoIlftuch" role="3cqZAk">
+              <ref role="37wK5l" to="33ny:~Objects.hashCode(java.lang.Object)" resolve="hashCode" />
+              <ref role="1Pybhc" to="33ny:~Objects" resolve="Objects" />
+              <node concept="37vLTw" id="4jGoIlftvQw" role="37wK5m">
+                <ref role="3cqZAo" node="4jGoIlft2oH" resolve="flags" />
               </node>
             </node>
           </node>
@@ -54415,7 +54615,7 @@
                   <node concept="3I6s7M" id="5o9$c3zGerC" role="3I6sU7">
                     <node concept="3Aqt3T" id="5o9$c3zGerD" role="3I6s78">
                       <ref role="3AqCNq" node="3vTJNooZDgN" resolve="convertsTo" />
-                      <node concept="a7P8L" id="5o9$c3zGe_$" role="3AunhB">
+                      <node concept="a7P8L" id="31ObkDZaXV6" role="3AunhB">
                         <ref role="a7OzE" node="5o9$c3zGerg" resolve="T" />
                       </node>
                       <node concept="a7P8L" id="5o9$c3zGeHn" role="3AunhB">
@@ -54458,118 +54658,247 @@
     <node concept="1nLNMY" id="5o9$c3zLTFv" role="1nK1Vg">
       <property role="TrG5h" value="converts_ground_to_freeBounded" />
       <node concept="3clFbS" id="5o9$c3zLTFw" role="1nLNMH">
-        <node concept="1nLNNL" id="5o9$c3zLTGh" role="3cqZAp">
-          <node concept="1nLNMm" id="5o9$c3zLTGi" role="1nLNNK">
-            <node concept="3Aq93q" id="5o9$c3zLTGo" role="1nLNMb">
+        <node concept="1nLNNL" id="541xd$PHa2s" role="3cqZAp">
+          <node concept="1nLNMm" id="541xd$PHa2t" role="1nLNNK">
+            <node concept="3Aq93q" id="541xd$PHa2u" role="1nLNMb">
               <property role="3ArMco" value="false" />
-              <node concept="3I6sU6" id="5o9$c3zLTGp" role="3Ip0Jz">
-                <node concept="3I6s7M" id="5o9$c3zLTGq" role="3I6sU7">
-                  <node concept="3Aqt3T" id="5o9$c3zLTGr" role="3I6s78">
+              <node concept="3I6sU6" id="541xd$PHa2v" role="3Ip0Jz">
+                <node concept="3I6s7M" id="541xd$PHa2w" role="3I6sU7">
+                  <node concept="3Aqt3T" id="541xd$PHa2x" role="3I6s78">
                     <ref role="3AqCNq" node="4O7HczO6sgu" resolve="convertsToInfer" />
-                    <node concept="a7P8L" id="5o9$c3zLTGs" role="3AunhB">
-                      <ref role="a7OzE" node="5o9$c3zLTGl" resolve="S" />
+                    <node concept="a7P8L" id="541xd$PHa2y" role="3AunhB">
+                      <ref role="a7OzE" node="541xd$PHa2R" resolve="S" />
                     </node>
-                    <node concept="a7P8L" id="5o9$c3zLTGt" role="3AunhB">
-                      <ref role="a7OzE" node="5o9$c3zLTGm" resolve="T" />
+                    <node concept="a7P8L" id="541xd$PHa2z" role="3AunhB">
+                      <ref role="a7OzE" node="541xd$PHa2S" resolve="T" />
                     </node>
-                    <node concept="a7P8L" id="4O7HczO3zN_" role="3AunhB">
-                      <ref role="a7OzE" node="4O7HczO3zNz" resolve="Options" />
+                    <node concept="a7P8L" id="541xd$PHa2$" role="3AunhB">
+                      <ref role="a7OzE" node="541xd$PHa39" resolve="Options" />
                     </node>
                   </node>
                 </node>
               </node>
             </node>
-            <node concept="3Aq93q" id="5o9$c3zLTGu" role="1nLNMb">
-              <node concept="3I6sU6" id="5o9$c3zLTGv" role="3Ip0Jz">
-                <node concept="3I6s7M" id="5o9$c3zLTGw" role="3I6sU7">
-                  <node concept="3Aqt3T" id="5o9$c3zLTGx" role="3I6s78">
+            <node concept="3Aq93q" id="541xd$PHa2_" role="1nLNMb">
+              <node concept="3I6sU6" id="541xd$PHa2A" role="3Ip0Jz">
+                <node concept="3I6s7M" id="541xd$PHa2B" role="3I6sU7">
+                  <node concept="3Aqt3T" id="541xd$PHa2C" role="3I6s78">
                     <ref role="3AqCNq" node="5310cdpUCuT" resolve="hasBound" />
-                    <node concept="a7P8L" id="5o9$c3zLTGy" role="3AunhB">
-                      <ref role="a7OzE" node="5o9$c3zLTGm" resolve="T" />
+                    <node concept="a7P8L" id="541xd$PHa2D" role="3AunhB">
+                      <ref role="a7OzE" node="541xd$PHa2S" resolve="T" />
                     </node>
-                    <node concept="a7P8L" id="5o9$c3zLTGz" role="3AunhB">
-                      <ref role="a7OzE" node="5o9$c3zLTGn" resolve="TBound" />
+                    <node concept="a7P8L" id="541xd$PHa2E" role="3AunhB">
+                      <ref role="a7OzE" node="541xd$PHa2T" resolve="TBound" />
                     </node>
                   </node>
                 </node>
               </node>
             </node>
-            <node concept="3Aq9_M" id="5o9$c3zLTG$" role="1nLNMa">
-              <node concept="3I6sU6" id="5o9$c3zLTG_" role="3Ip0Jz">
-                <node concept="3I6s7M" id="5o9$c3zLTGA" role="3I6sU7">
-                  <node concept="2aLmEc" id="5o9$c3zLTGB" role="3I6s78">
-                    <node concept="a7P8L" id="5o9$c3zLTGC" role="2aLmnP">
-                      <ref role="a7OzE" node="5o9$c3zLTGm" resolve="T" />
+            <node concept="3Aq9_M" id="541xd$PHa2F" role="1nLNMa">
+              <node concept="3I6sU6" id="541xd$PHa2G" role="3Ip0Jz">
+                <node concept="3I6s7M" id="4jGoIlfxepF" role="3I6sU7">
+                  <node concept="3wWvb2" id="4jGoIlfxepE" role="3I6s78">
+                    <node concept="2OqwBi" id="4jGoIlfxevz" role="3wWo3s">
+                      <node concept="1Ft4W6" id="4jGoIlfxepS" role="2Oq$k0">
+                        <node concept="a7P8L" id="4jGoIlfxepR" role="1FtiSR">
+                          <ref role="a7OzE" node="541xd$PHa39" resolve="Options" />
+                        </node>
+                      </node>
+                      <node concept="liA8E" id="4jGoIlfxeFX" role="2OqNvi">
+                        <ref role="37wK5l" node="4jGoIlfx6wP" resolve="isResolveDelayed" />
+                      </node>
                     </node>
                   </node>
                 </node>
-                <node concept="3I6s7M" id="5o9$c3zLTGD" role="3I6sU7">
-                  <node concept="2aM9Np" id="5o9$c3zLTGE" role="3I6s78">
-                    <node concept="a7P8L" id="5o9$c3zLTGF" role="2aLmnP">
-                      <ref role="a7OzE" node="5o9$c3zLTGl" resolve="S" />
+                <node concept="3I6s7M" id="541xd$PHa2H" role="3I6sU7">
+                  <node concept="2aM9Np" id="541xd$PHa2I" role="3I6s78">
+                    <node concept="a7P8L" id="541xd$PHa2J" role="2aLmnP">
+                      <ref role="a7OzE" node="541xd$PHa2R" resolve="S" />
                     </node>
                   </node>
                 </node>
-                <node concept="3I6s7M" id="554EtBHPv2i" role="3I6sU7">
-                  <node concept="2aM9Np" id="554EtBHPv2g" role="3I6s78">
-                    <node concept="a7P8L" id="554EtBHPv2r" role="2aLmnP">
-                      <ref role="a7OzE" node="5o9$c3zLTGn" resolve="TBound" />
+                <node concept="3I6s7M" id="541xd$PHa2K" role="3I6sU7">
+                  <node concept="2aLmEc" id="541xd$PHa2L" role="3I6s78">
+                    <node concept="a7P8L" id="541xd$PHa2M" role="2aLmnP">
+                      <ref role="a7OzE" node="541xd$PHa2S" resolve="T" />
+                    </node>
+                  </node>
+                </node>
+                <node concept="3I6s7M" id="541xd$PHa2N" role="3I6sU7">
+                  <node concept="2aM9Np" id="541xd$PHa2O" role="3I6s78">
+                    <node concept="a7P8L" id="541xd$PHa2P" role="2aLmnP">
+                      <ref role="a7OzE" node="541xd$PHa2T" resolve="TBound" />
                     </node>
                   </node>
                 </node>
               </node>
             </node>
-            <node concept="3NuqgR" id="5o9$c3zLTGk" role="0Rg$4">
-              <node concept="aZer4" id="5o9$c3zLTGl" role="3XD1gS">
+            <node concept="3NuqgR" id="541xd$PHa2Q" role="0Rg$4">
+              <node concept="aZer4" id="541xd$PHa2R" role="3XD1gS">
                 <property role="TrG5h" value="S" />
               </node>
-              <node concept="aZer4" id="5o9$c3zLTGm" role="3XD1gS">
+              <node concept="aZer4" id="541xd$PHa2S" role="3XD1gS">
                 <property role="TrG5h" value="T" />
               </node>
-              <node concept="aZer4" id="5o9$c3zLTGn" role="3XD1gS">
+              <node concept="aZer4" id="541xd$PHa2T" role="3XD1gS">
                 <property role="TrG5h" value="TBound" />
               </node>
-              <node concept="32pEOW" id="24ciDNzxNCF" role="3vLBG7" />
+              <node concept="32pEOW" id="541xd$PHa2U" role="3vLBG7" />
             </node>
-            <node concept="3xSepi" id="4yZzE4k_WMo" role="3xSepv">
-              <node concept="3Aq9E8" id="4yZzE4k_WMp" role="3xSepj">
-                <node concept="3I6sU6" id="4yZzE4k_WMq" role="3Ip0Jz">
-                  <node concept="3I6s7M" id="5o9$c3zLTGI" role="3I6sU7">
-                    <node concept="3Aqt3T" id="5o9$c3zLTGJ" role="3I6s78">
+            <node concept="3xSepi" id="541xd$PHa2V" role="3xSepv">
+              <node concept="3Aq9E8" id="541xd$PHa2W" role="3xSepj">
+                <node concept="3I6sU6" id="541xd$PHa2X" role="3Ip0Jz">
+                  <node concept="3I6s7M" id="541xd$PHa2Y" role="3I6sU7">
+                    <node concept="3Aqt3T" id="541xd$PHa2Z" role="3I6s78">
                       <ref role="3AqCNq" node="3vTJNooZDgN" resolve="convertsTo" />
-                      <node concept="a7P8L" id="5o9$c3zLTGK" role="3AunhB">
-                        <ref role="a7OzE" node="5o9$c3zLTGl" resolve="S" />
+                      <node concept="a7P8L" id="541xd$PHa30" role="3AunhB">
+                        <ref role="a7OzE" node="541xd$PHa2R" resolve="S" />
                       </node>
-                      <node concept="a7P8L" id="5o9$c3zLTGL" role="3AunhB">
-                        <ref role="a7OzE" node="5o9$c3zLTGn" resolve="TBound" />
+                      <node concept="a7P8L" id="541xd$PHa31" role="3AunhB">
+                        <ref role="a7OzE" node="541xd$PHa2T" resolve="TBound" />
                       </node>
-                      <node concept="a7P8L" id="4O7HczO3zNA" role="3AunhB">
-                        <ref role="a7OzE" node="4O7HczO3zNz" resolve="Options" />
+                      <node concept="a7P8L" id="541xd$PHa32" role="3AunhB">
+                        <ref role="a7OzE" node="541xd$PHa39" resolve="Options" />
                       </node>
                     </node>
                   </node>
-                  <node concept="3I6s7M" id="2Cji6EQSQOs" role="3I6sU7">
-                    <node concept="3Aqt3T" id="4O7HczOd3r$" role="3I6s78">
-                      <ref role="3AqCNq" node="4O7HczO6A6X" resolve="maybeUni" />
-                      <node concept="a7P8L" id="4O7HczOd3r_" role="3AunhB">
-                        <ref role="a7OzE" node="5o9$c3zLTGl" resolve="S" />
+                  <node concept="3I6s7M" id="541xd$PHa33" role="3I6sU7">
+                    <node concept="3Aqt3T" id="541xd$PHa34" role="3I6s78">
+                      <ref role="3AqCNq" node="541xd$PEyQU" resolve="hasTarget" />
+                      <node concept="a7P8L" id="541xd$PHa35" role="3AunhB">
+                        <ref role="a7OzE" node="541xd$PHa2S" resolve="T" />
                       </node>
-                      <node concept="a7P8L" id="4O7HczOd3rA" role="3AunhB">
-                        <ref role="a7OzE" node="5o9$c3zLTGm" resolve="T" />
-                      </node>
-                      <node concept="a7P8L" id="4O7HczOd3rB" role="3AunhB">
-                        <ref role="a7OzE" node="4O7HczO3zNz" resolve="Options" />
+                      <node concept="a7P8L" id="541xd$PHa36" role="3AunhB">
+                        <ref role="a7OzE" node="541xd$PHa2R" resolve="S" />
                       </node>
                     </node>
                   </node>
                 </node>
               </node>
             </node>
-            <node concept="3NuqgR" id="4O7HczO3zNx" role="0Rg$4">
-              <node concept="3uibUv" id="4O7HczO3zNy" role="3vLBG7">
+            <node concept="3NuqgR" id="541xd$PHa37" role="0Rg$4">
+              <node concept="3uibUv" id="541xd$PHa38" role="3vLBG7">
                 <ref role="3uigEE" node="3vTJNooZBhQ" resolve="ConvertsContext.Options" />
               </node>
-              <node concept="aZer4" id="4O7HczO3zNz" role="3XD1gS">
+              <node concept="aZer4" id="541xd$PHa39" role="3XD1gS">
+                <property role="TrG5h" value="Options" />
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3clFbH" id="75Mu1NeWpY7" role="3cqZAp" />
+        <node concept="1nLNNL" id="75Mu1NeWpNR" role="3cqZAp">
+          <node concept="1nLNMm" id="75Mu1NeWpNS" role="1nLNNK">
+            <node concept="3Aq93q" id="75Mu1NeWpNT" role="1nLNMb">
+              <property role="3ArMco" value="false" />
+              <node concept="3I6sU6" id="75Mu1NeWpNU" role="3Ip0Jz">
+                <node concept="3I6s7M" id="75Mu1NeWpNV" role="3I6sU7">
+                  <node concept="3Aqt3T" id="75Mu1NeWpNW" role="3I6s78">
+                    <ref role="3AqCNq" node="4O7HczO6sgu" resolve="convertsToInfer" />
+                    <node concept="a7P8L" id="75Mu1NeWpNX" role="3AunhB">
+                      <ref role="a7OzE" node="75Mu1NeWpOi" resolve="S" />
+                    </node>
+                    <node concept="a7P8L" id="75Mu1NeWpNY" role="3AunhB">
+                      <ref role="a7OzE" node="75Mu1NeWpOj" resolve="T" />
+                    </node>
+                    <node concept="a7P8L" id="75Mu1NeWpNZ" role="3AunhB">
+                      <ref role="a7OzE" node="75Mu1NeWpO$" resolve="Options" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3Aq93q" id="75Mu1NeWpO0" role="1nLNMb">
+              <node concept="3I6sU6" id="75Mu1NeWpO1" role="3Ip0Jz">
+                <node concept="3I6s7M" id="75Mu1NeWpO2" role="3I6sU7">
+                  <node concept="3Aqt3T" id="75Mu1NeWpO3" role="3I6s78">
+                    <ref role="3AqCNq" node="5310cdpUCuT" resolve="hasBound" />
+                    <node concept="a7P8L" id="75Mu1NeWpO4" role="3AunhB">
+                      <ref role="a7OzE" node="75Mu1NeWpOj" resolve="T" />
+                    </node>
+                    <node concept="a7P8L" id="75Mu1NeWpO5" role="3AunhB">
+                      <ref role="a7OzE" node="75Mu1NeWpOk" resolve="TBound" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3Aq9_M" id="75Mu1NeWpO6" role="1nLNMa">
+              <node concept="3I6sU6" id="75Mu1NeWpO7" role="3Ip0Jz">
+                <node concept="3I6s7M" id="75Mu1NeWpO8" role="3I6sU7">
+                  <node concept="2aM9Np" id="75Mu1NeWpO9" role="3I6s78">
+                    <node concept="a7P8L" id="75Mu1NeWpOa" role="2aLmnP">
+                      <ref role="a7OzE" node="75Mu1NeWpOi" resolve="S" />
+                    </node>
+                  </node>
+                </node>
+                <node concept="3I6s7M" id="75Mu1NeWpOb" role="3I6sU7">
+                  <node concept="2aLmEc" id="75Mu1NeWpOc" role="3I6s78">
+                    <node concept="a7P8L" id="75Mu1NeWpOd" role="2aLmnP">
+                      <ref role="a7OzE" node="75Mu1NeWpOj" resolve="T" />
+                    </node>
+                  </node>
+                </node>
+                <node concept="3I6s7M" id="75Mu1NeWpOe" role="3I6sU7">
+                  <node concept="2aM9Np" id="75Mu1NeWpOf" role="3I6s78">
+                    <node concept="a7P8L" id="75Mu1NeWpOg" role="2aLmnP">
+                      <ref role="a7OzE" node="75Mu1NeWpOk" resolve="TBound" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3NuqgR" id="75Mu1NeWpOh" role="0Rg$4">
+              <node concept="aZer4" id="75Mu1NeWpOi" role="3XD1gS">
+                <property role="TrG5h" value="S" />
+              </node>
+              <node concept="aZer4" id="75Mu1NeWpOj" role="3XD1gS">
+                <property role="TrG5h" value="T" />
+              </node>
+              <node concept="aZer4" id="75Mu1NeWpOk" role="3XD1gS">
+                <property role="TrG5h" value="TBound" />
+              </node>
+              <node concept="32pEOW" id="75Mu1NeWpOl" role="3vLBG7" />
+            </node>
+            <node concept="3xSepi" id="75Mu1NeWpOm" role="3xSepv">
+              <node concept="3Aq9E8" id="75Mu1NeWpOn" role="3xSepj">
+                <node concept="3I6sU6" id="75Mu1NeWpOo" role="3Ip0Jz">
+                  <node concept="3I6s7M" id="75Mu1NeWpOp" role="3I6sU7">
+                    <node concept="3Aqt3T" id="75Mu1NeWpOq" role="3I6s78">
+                      <ref role="3AqCNq" node="3vTJNooZDgN" resolve="convertsTo" />
+                      <node concept="a7P8L" id="75Mu1NeWpOr" role="3AunhB">
+                        <ref role="a7OzE" node="75Mu1NeWpOi" resolve="S" />
+                      </node>
+                      <node concept="a7P8L" id="75Mu1NeWpOs" role="3AunhB">
+                        <ref role="a7OzE" node="75Mu1NeWpOk" resolve="TBound" />
+                      </node>
+                      <node concept="a7P8L" id="75Mu1NeWpOt" role="3AunhB">
+                        <ref role="a7OzE" node="75Mu1NeWpO$" resolve="Options" />
+                      </node>
+                    </node>
+                  </node>
+                  <node concept="3I6s7M" id="75Mu1NeWpOu" role="3I6sU7">
+                    <node concept="3Aqt3T" id="75Mu1NeWpOv" role="3I6s78">
+                      <ref role="3AqCNq" node="4O7HczO6A6X" resolve="maybeUni" />
+                      <node concept="a7P8L" id="75Mu1NeWpOw" role="3AunhB">
+                        <ref role="a7OzE" node="75Mu1NeWpOj" resolve="T" />
+                      </node>
+                      <node concept="a7P8L" id="75Mu1NeWpOx" role="3AunhB">
+                        <ref role="a7OzE" node="75Mu1NeWpOi" resolve="S" />
+                      </node>
+                      <node concept="a7P8L" id="75Mu1NeWq5y" role="3AunhB">
+                        <ref role="a7OzE" node="75Mu1NeWpO$" resolve="Options" />
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3NuqgR" id="75Mu1NeWpOy" role="0Rg$4">
+              <node concept="3uibUv" id="75Mu1NeWpOz" role="3vLBG7">
+                <ref role="3uigEE" node="3vTJNooZBhQ" resolve="ConvertsContext.Options" />
+              </node>
+              <node concept="aZer4" id="75Mu1NeWpO$" role="3XD1gS">
                 <property role="TrG5h" value="Options" />
               </node>
             </node>
@@ -54580,79 +54909,79 @@
     <node concept="1nLNMY" id="4yZzE4kz59h" role="1nK1Vg">
       <property role="TrG5h" value="converts_free_to_ground" />
       <node concept="3clFbS" id="4yZzE4kz59i" role="1nLNMH">
-        <node concept="1nLNNL" id="4yZzE4kz59j" role="3cqZAp">
-          <node concept="1nLNMm" id="4yZzE4kz59k" role="1nLNNK">
-            <node concept="3Aq93q" id="4yZzE4kz59l" role="1nLNMb">
+        <node concept="1nLNNL" id="31ObkDYr9sP" role="3cqZAp">
+          <node concept="1nLNMm" id="31ObkDYr9sQ" role="1nLNNK">
+            <node concept="3Aq93q" id="31ObkDYr9sR" role="1nLNMb">
               <property role="3ArMco" value="false" />
-              <node concept="3I6sU6" id="4yZzE4kz59m" role="3Ip0Jz">
-                <node concept="3I6s7M" id="4yZzE4kz59n" role="3I6sU7">
-                  <node concept="3Aqt3T" id="4yZzE4kz59o" role="3I6s78">
+              <node concept="3I6sU6" id="31ObkDYr9sS" role="3Ip0Jz">
+                <node concept="3I6s7M" id="31ObkDYr9sT" role="3I6sU7">
+                  <node concept="3Aqt3T" id="31ObkDYr9sU" role="3I6s78">
                     <ref role="3AqCNq" node="4O7HczO6sgu" resolve="convertsToInfer" />
-                    <node concept="a7P8L" id="4yZzE4kz59p" role="3AunhB">
-                      <ref role="a7OzE" node="4yZzE4kz59E" resolve="S" />
+                    <node concept="a7P8L" id="31ObkDYr9sV" role="3AunhB">
+                      <ref role="a7OzE" node="31ObkDYr9t7" resolve="S" />
                     </node>
-                    <node concept="a7P8L" id="4yZzE4kz59q" role="3AunhB">
-                      <ref role="a7OzE" node="4yZzE4kz59F" resolve="T" />
+                    <node concept="a7P8L" id="31ObkDYr9sW" role="3AunhB">
+                      <ref role="a7OzE" node="31ObkDYr9t8" resolve="T" />
                     </node>
-                    <node concept="a7P8L" id="4O7HczO3zNI" role="3AunhB">
-                      <ref role="a7OzE" node="4O7HczO3zNG" resolve="Options" />
+                    <node concept="a7P8L" id="31ObkDYr9sX" role="3AunhB">
+                      <ref role="a7OzE" node="31ObkDYr9tk" resolve="Options" />
                     </node>
                   </node>
                 </node>
               </node>
             </node>
-            <node concept="3Aq9_M" id="4yZzE4kz59x" role="1nLNMa">
-              <node concept="3I6sU6" id="4yZzE4kz59y" role="3Ip0Jz">
-                <node concept="3I6s7M" id="4yZzE4kz59z" role="3I6sU7">
-                  <node concept="2aLmEc" id="4yZzE4kz59$" role="3I6s78">
-                    <node concept="a7P8L" id="4yZzE4kz59_" role="2aLmnP">
-                      <ref role="a7OzE" node="4yZzE4kz59E" resolve="S" />
+            <node concept="3Aq9_M" id="31ObkDYr9sY" role="1nLNMa">
+              <node concept="3I6sU6" id="31ObkDYr9sZ" role="3Ip0Jz">
+                <node concept="3I6s7M" id="31ObkDYr9t0" role="3I6sU7">
+                  <node concept="2aLmEc" id="31ObkDYr9t1" role="3I6s78">
+                    <node concept="a7P8L" id="31ObkDYr9t2" role="2aLmnP">
+                      <ref role="a7OzE" node="31ObkDYr9t7" resolve="S" />
                     </node>
                   </node>
                 </node>
-                <node concept="3I6s7M" id="4yZzE4kz59A" role="3I6sU7">
-                  <node concept="2aM9Np" id="4yZzE4kz59B" role="3I6s78">
-                    <node concept="a7P8L" id="4yZzE4kz59C" role="2aLmnP">
-                      <ref role="a7OzE" node="4yZzE4kz59F" resolve="T" />
+                <node concept="3I6s7M" id="31ObkDYr9t3" role="3I6sU7">
+                  <node concept="2aM9Np" id="31ObkDYr9t4" role="3I6s78">
+                    <node concept="a7P8L" id="31ObkDYr9t5" role="2aLmnP">
+                      <ref role="a7OzE" node="31ObkDYr9t8" resolve="T" />
                     </node>
                   </node>
                 </node>
               </node>
             </node>
-            <node concept="3NuqgR" id="4yZzE4kz59D" role="0Rg$4">
-              <node concept="aZer4" id="4yZzE4kz59E" role="3XD1gS">
+            <node concept="3NuqgR" id="31ObkDYr9t6" role="0Rg$4">
+              <node concept="aZer4" id="31ObkDYr9t7" role="3XD1gS">
                 <property role="TrG5h" value="S" />
               </node>
-              <node concept="aZer4" id="4yZzE4kz59F" role="3XD1gS">
+              <node concept="aZer4" id="31ObkDYr9t8" role="3XD1gS">
                 <property role="TrG5h" value="T" />
               </node>
-              <node concept="32pEOW" id="4yZzE4kz59H" role="3vLBG7" />
+              <node concept="32pEOW" id="31ObkDYr9t9" role="3vLBG7" />
             </node>
-            <node concept="3xSepi" id="4yZzE4kz59I" role="3xSepv">
-              <node concept="3Aq9E8" id="4yZzE4kz59J" role="3xSepj">
-                <node concept="3I6sU6" id="4yZzE4kz59K" role="3Ip0Jz">
-                  <node concept="3I6s7M" id="4yZzE4kz59P" role="3I6sU7">
-                    <node concept="3Aqt3T" id="4O7HczOd3yg" role="3I6s78">
+            <node concept="3xSepi" id="31ObkDYr9ta" role="3xSepv">
+              <node concept="3Aq9E8" id="31ObkDYr9tb" role="3xSepj">
+                <node concept="3I6sU6" id="31ObkDYr9tc" role="3Ip0Jz">
+                  <node concept="3I6s7M" id="31ObkDYr9td" role="3I6sU7">
+                    <node concept="3Aqt3T" id="31ObkDYr9te" role="3I6s78">
                       <ref role="3AqCNq" node="4O7HczO6A6X" resolve="maybeUni" />
-                      <node concept="a7P8L" id="4O7HczOd3yh" role="3AunhB">
-                        <ref role="a7OzE" node="4yZzE4kz59E" resolve="S" />
+                      <node concept="a7P8L" id="31ObkDYr9tf" role="3AunhB">
+                        <ref role="a7OzE" node="31ObkDYr9t7" resolve="S" />
                       </node>
-                      <node concept="a7P8L" id="4O7HczOd3yi" role="3AunhB">
-                        <ref role="a7OzE" node="4yZzE4kz59F" resolve="T" />
+                      <node concept="a7P8L" id="31ObkDYr9tg" role="3AunhB">
+                        <ref role="a7OzE" node="31ObkDYr9t8" resolve="T" />
                       </node>
-                      <node concept="a7P8L" id="4O7HczOd3yj" role="3AunhB">
-                        <ref role="a7OzE" node="4O7HczO3zNG" resolve="Options" />
+                      <node concept="a7P8L" id="31ObkDYr9th" role="3AunhB">
+                        <ref role="a7OzE" node="31ObkDYr9tk" resolve="Options" />
                       </node>
                     </node>
                   </node>
                 </node>
               </node>
             </node>
-            <node concept="3NuqgR" id="4O7HczO3zNE" role="0Rg$4">
-              <node concept="3uibUv" id="4O7HczO3zNF" role="3vLBG7">
+            <node concept="3NuqgR" id="31ObkDYr9ti" role="0Rg$4">
+              <node concept="3uibUv" id="31ObkDYr9tj" role="3vLBG7">
                 <ref role="3uigEE" node="3vTJNooZBhQ" resolve="ConvertsContext.Options" />
               </node>
-              <node concept="aZer4" id="4O7HczO3zNG" role="3XD1gS">
+              <node concept="aZer4" id="31ObkDYr9tk" role="3XD1gS">
                 <property role="TrG5h" value="Options" />
               </node>
             </node>
@@ -54686,10 +55015,17 @@
             </node>
             <node concept="3Aq9_M" id="4yZzE4kz5a9" role="1nLNMa">
               <node concept="3I6sU6" id="4yZzE4kz5aa" role="3Ip0Jz">
-                <node concept="3I6s7M" id="4yZzE4kz5ab" role="3I6sU7">
-                  <node concept="2aLmEc" id="4yZzE4kz5ac" role="3I6s78">
-                    <node concept="a7P8L" id="4yZzE4kz5ad" role="2aLmnP">
-                      <ref role="a7OzE" node="4yZzE4kz5aj" resolve="T" />
+                <node concept="3I6s7M" id="4jGoIlfxqvL" role="3I6sU7">
+                  <node concept="3wWvb2" id="4jGoIlfxqvK" role="3I6s78">
+                    <node concept="2OqwBi" id="4jGoIlfxq_A" role="3wWo3s">
+                      <node concept="1Ft4W6" id="4jGoIlfxqvV" role="2Oq$k0">
+                        <node concept="a7P8L" id="4jGoIlfxqvU" role="1FtiSR">
+                          <ref role="a7OzE" node="4O7HczO3zNO" resolve="Options" />
+                        </node>
+                      </node>
+                      <node concept="liA8E" id="4jGoIlfxqID" role="2OqNvi">
+                        <ref role="37wK5l" node="4jGoIlfx6wP" resolve="isResolveDelayed" />
+                      </node>
                     </node>
                   </node>
                 </node>
@@ -54700,6 +55036,13 @@
                     </node>
                   </node>
                 </node>
+                <node concept="3I6s7M" id="4yZzE4kz5ab" role="3I6sU7">
+                  <node concept="2aLmEc" id="4yZzE4kz5ac" role="3I6s78">
+                    <node concept="a7P8L" id="4yZzE4kz5ad" role="2aLmnP">
+                      <ref role="a7OzE" node="4yZzE4kz5aj" resolve="T" />
+                    </node>
+                  </node>
+                </node>
               </node>
             </node>
             <node concept="3NuqgR" id="4yZzE4kz5ah" role="0Rg$4">
@@ -54714,17 +55057,14 @@
             <node concept="3xSepi" id="4yZzE4kz5am" role="3xSepv">
               <node concept="3Aq9E8" id="4yZzE4kz5an" role="3xSepj">
                 <node concept="3I6sU6" id="4yZzE4kz5ao" role="3Ip0Jz">
-                  <node concept="3I6s7M" id="4yZzE4kz5at" role="3I6sU7">
-                    <node concept="3Aqt3T" id="4O7HczOd3_v" role="3I6s78">
-                      <ref role="3AqCNq" node="4O7HczO6A6X" resolve="maybeUni" />
-                      <node concept="a7P8L" id="4O7HczOd3_w" role="3AunhB">
-                        <ref role="a7OzE" node="4yZzE4kz5ai" resolve="S" />
-                      </node>
-                      <node concept="a7P8L" id="4O7HczOd3_x" role="3AunhB">
+                  <node concept="3I6s7M" id="541xd$PGpED" role="3I6sU7">
+                    <node concept="3Aqt3T" id="541xd$PGpEE" role="3I6s78">
+                      <ref role="3AqCNq" node="541xd$PEyQU" resolve="hasTarget" />
+                      <node concept="a7P8L" id="541xd$PGpEF" role="3AunhB">
                         <ref role="a7OzE" node="4yZzE4kz5aj" resolve="T" />
                       </node>
-                      <node concept="a7P8L" id="4O7HczOd3_y" role="3AunhB">
-                        <ref role="a7OzE" node="4O7HczO3zNO" resolve="Options" />
+                      <node concept="a7P8L" id="541xd$PGpEG" role="3AunhB">
+                        <ref role="a7OzE" node="4yZzE4kz5ai" resolve="S" />
                       </node>
                     </node>
                   </node>
@@ -54741,6 +55081,85 @@
             </node>
           </node>
         </node>
+        <node concept="3clFbH" id="75Mu1NeWvRA" role="3cqZAp" />
+        <node concept="1nLNNL" id="75Mu1NeWvKL" role="3cqZAp">
+          <node concept="1nLNMm" id="75Mu1NeWvKM" role="1nLNNK">
+            <node concept="3Aq93q" id="75Mu1NeWvKN" role="1nLNMb">
+              <property role="3ArMco" value="false" />
+              <node concept="3I6sU6" id="75Mu1NeWvKO" role="3Ip0Jz">
+                <node concept="3I6s7M" id="75Mu1NeWvKP" role="3I6sU7">
+                  <node concept="3Aqt3T" id="75Mu1NeWvKQ" role="3I6s78">
+                    <ref role="3AqCNq" node="4O7HczO6sgu" resolve="convertsToInfer" />
+                    <node concept="a7P8L" id="75Mu1NeWvKR" role="3AunhB">
+                      <ref role="a7OzE" node="75Mu1NeWvL3" resolve="S" />
+                    </node>
+                    <node concept="a7P8L" id="75Mu1NeWvKS" role="3AunhB">
+                      <ref role="a7OzE" node="75Mu1NeWvL4" resolve="T" />
+                    </node>
+                    <node concept="a7P8L" id="75Mu1NeWvKT" role="3AunhB">
+                      <ref role="a7OzE" node="75Mu1NeWvLf" resolve="Options" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3Aq9_M" id="75Mu1NeWvKU" role="1nLNMa">
+              <node concept="3I6sU6" id="75Mu1NeWvKV" role="3Ip0Jz">
+                <node concept="3I6s7M" id="75Mu1NeWvKW" role="3I6sU7">
+                  <node concept="2aLmEc" id="75Mu1NeWvKX" role="3I6s78">
+                    <node concept="a7P8L" id="75Mu1NeWvKY" role="2aLmnP">
+                      <ref role="a7OzE" node="75Mu1NeWvL4" resolve="T" />
+                    </node>
+                  </node>
+                </node>
+                <node concept="3I6s7M" id="75Mu1NeWvKZ" role="3I6sU7">
+                  <node concept="2aM9Np" id="75Mu1NeWvL0" role="3I6s78">
+                    <node concept="a7P8L" id="75Mu1NeWvL1" role="2aLmnP">
+                      <ref role="a7OzE" node="75Mu1NeWvL3" resolve="S" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3NuqgR" id="75Mu1NeWvL2" role="0Rg$4">
+              <node concept="aZer4" id="75Mu1NeWvL3" role="3XD1gS">
+                <property role="TrG5h" value="S" />
+              </node>
+              <node concept="aZer4" id="75Mu1NeWvL4" role="3XD1gS">
+                <property role="TrG5h" value="T" />
+              </node>
+              <node concept="32pEOW" id="75Mu1NeWvL5" role="3vLBG7" />
+            </node>
+            <node concept="3xSepi" id="75Mu1NeWvL6" role="3xSepv">
+              <node concept="3Aq9E8" id="75Mu1NeWvL7" role="3xSepj">
+                <node concept="3I6sU6" id="75Mu1NeWvL8" role="3Ip0Jz">
+                  <node concept="3I6s7M" id="75Mu1NeWvL9" role="3I6sU7">
+                    <node concept="3Aqt3T" id="75Mu1NeWvLa" role="3I6s78">
+                      <ref role="3AqCNq" node="4O7HczO6A6X" resolve="maybeUni" />
+                      <node concept="a7P8L" id="75Mu1NeWvLb" role="3AunhB">
+                        <ref role="a7OzE" node="75Mu1NeWvL4" resolve="T" />
+                      </node>
+                      <node concept="a7P8L" id="75Mu1NeWvLc" role="3AunhB">
+                        <ref role="a7OzE" node="75Mu1NeWvL3" resolve="S" />
+                      </node>
+                      <node concept="a7P8L" id="75Mu1NeWw33" role="3AunhB">
+                        <ref role="a7OzE" node="75Mu1NeWvLf" resolve="Options" />
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3NuqgR" id="75Mu1NeWvLd" role="0Rg$4">
+              <node concept="3uibUv" id="75Mu1NeWvLe" role="3vLBG7">
+                <ref role="3uigEE" node="3vTJNooZBhQ" resolve="ConvertsContext.Options" />
+              </node>
+              <node concept="aZer4" id="75Mu1NeWvLf" role="3XD1gS">
+                <property role="TrG5h" value="Options" />
+              </node>
+            </node>
+          </node>
+        </node>
       </node>
     </node>
     <node concept="1nLNMY" id="12QmIo_7siG" role="1nK1Vg">
diff --git a/samples/mpscore/solutions/jetbrains.mps.baseLanguage.closuresExt.test/models/jetbrains.mps.baseLanguage.closuresExt.test.closures.mps b/samples/mpscore/solutions/jetbrains.mps.baseLanguage.closuresExt.test/models/jetbrains.mps.baseLanguage.closuresExt.test.closures.mps
index b4e708ac..5828f1df 100644
--- a/samples/mpscore/solutions/jetbrains.mps.baseLanguage.closuresExt.test/models/jetbrains.mps.baseLanguage.closuresExt.test.closures.mps
+++ b/samples/mpscore/solutions/jetbrains.mps.baseLanguage.closuresExt.test/models/jetbrains.mps.baseLanguage.closuresExt.test.closures.mps
@@ -1112,6 +1112,70 @@
         </node>
       </node>
     </node>
+    <node concept="3clFb_" id="4jGoIlfaAZT" role="jymVt">
+      <property role="TrG5h" value="acceptT2" />
+      <node concept="3clFbS" id="4jGoIlfaAZU" role="3clF47">
+        <node concept="3clFbF" id="4jGoIlfaCCy" role="3cqZAp">
+          <node concept="10Nm6u" id="4jGoIlfaCCx" role="3clFbG" />
+        </node>
+      </node>
+      <node concept="3Tm1VV" id="4jGoIlfaAZV" role="1B3o_S" />
+      <node concept="16syzq" id="4jGoIlfaC74" role="3clF45">
+        <ref role="16sUi3" node="4jGoIlfaB02" resolve="TA" />
+      </node>
+      <node concept="37vLTG" id="4jGoIlfaAZX" role="3clF46">
+        <property role="TrG5h" value="block" />
+        <node concept="1ajhzC" id="4jGoIlfaAZY" role="1tU5fm">
+          <node concept="16syzq" id="4jGoIlfaAZZ" role="1ajw0F">
+            <ref role="16sUi3" node="4jGoIlfaB02" resolve="TA" />
+          </node>
+          <node concept="16syzq" id="4jGoIlfaB00" role="1ajl9A">
+            <ref role="16sUi3" node="4jGoIlfaB01" resolve="TR" />
+          </node>
+        </node>
+      </node>
+      <node concept="16euLQ" id="4jGoIlfaB01" role="16eVyc">
+        <property role="TrG5h" value="TR" />
+      </node>
+      <node concept="16euLQ" id="4jGoIlfaB02" role="16eVyc">
+        <property role="TrG5h" value="TA" />
+        <node concept="16syzq" id="4jGoIlfaB03" role="3ztrMU">
+          <ref role="16sUi3" node="4jGoIlfaB01" resolve="TR" />
+        </node>
+      </node>
+    </node>
+    <node concept="3clFb_" id="4jGoIlfaCZP" role="jymVt">
+      <property role="TrG5h" value="acceptT3" />
+      <node concept="3clFbS" id="4jGoIlfaCZQ" role="3clF47">
+        <node concept="3clFbF" id="4jGoIlfaCZR" role="3cqZAp">
+          <node concept="10Nm6u" id="4jGoIlfaCZS" role="3clFbG" />
+        </node>
+      </node>
+      <node concept="3Tm1VV" id="4jGoIlfaCZT" role="1B3o_S" />
+      <node concept="16syzq" id="4jGoIlfaDsp" role="3clF45">
+        <ref role="16sUi3" node="4jGoIlfaCZZ" resolve="TR" />
+      </node>
+      <node concept="37vLTG" id="4jGoIlfaCZV" role="3clF46">
+        <property role="TrG5h" value="block" />
+        <node concept="1ajhzC" id="4jGoIlfaCZW" role="1tU5fm">
+          <node concept="16syzq" id="4jGoIlfaCZX" role="1ajw0F">
+            <ref role="16sUi3" node="4jGoIlfaD00" resolve="TA" />
+          </node>
+          <node concept="16syzq" id="4jGoIlfaCZY" role="1ajl9A">
+            <ref role="16sUi3" node="4jGoIlfaCZZ" resolve="TR" />
+          </node>
+        </node>
+      </node>
+      <node concept="16euLQ" id="4jGoIlfaCZZ" role="16eVyc">
+        <property role="TrG5h" value="TR" />
+      </node>
+      <node concept="16euLQ" id="4jGoIlfaD00" role="16eVyc">
+        <property role="TrG5h" value="TA" />
+        <node concept="16syzq" id="4jGoIlfaD01" role="3ztrMU">
+          <ref role="16sUi3" node="4jGoIlfaCZZ" resolve="TR" />
+        </node>
+      </node>
+    </node>
     <node concept="3clFb_" id="zb1Nk7afOA" role="jymVt">
       <property role="TrG5h" value="accept2" />
       <node concept="3clFbS" id="zb1Nk7afOB" role="3clF47" />
@@ -1347,6 +1411,92 @@
             </node>
           </node>
         </node>
+        <node concept="3SKdUt" id="4jGoIlfaO$G" role="3cqZAp">
+          <node concept="1PaTwC" id="4jGoIlfaO$H" role="1aUNEU">
+            <node concept="3oM_SD" id="4jGoIlfaPgA" role="1PaTwD">
+              <property role="3oM_SC" value="the" />
+            </node>
+            <node concept="3oM_SD" id="4jGoIlfaPgC" role="1PaTwD">
+              <property role="3oM_SC" value="following" />
+            </node>
+            <node concept="3oM_SD" id="4jGoIlfaPgF" role="1PaTwD">
+              <property role="3oM_SC" value="two" />
+            </node>
+            <node concept="3oM_SD" id="4jGoIlfaPgJ" role="1PaTwD">
+              <property role="3oM_SC" value="test" />
+            </node>
+            <node concept="3oM_SD" id="4jGoIlfaPgO" role="1PaTwD">
+              <property role="3oM_SC" value="cases" />
+            </node>
+            <node concept="3oM_SD" id="4jGoIlfaPgU" role="1PaTwD">
+              <property role="3oM_SC" value="are" />
+            </node>
+            <node concept="3oM_SD" id="4jGoIlfaPh1" role="1PaTwD">
+              <property role="3oM_SC" value="actually" />
+            </node>
+            <node concept="3oM_SD" id="4jGoIlfaPh9" role="1PaTwD">
+              <property role="3oM_SC" value="correct:" />
+            </node>
+            <node concept="3oM_SD" id="4jGoIlfaPhi" role="1PaTwD">
+              <property role="3oM_SC" value="" />
+            </node>
+          </node>
+        </node>
+        <node concept="3SKdUt" id="4jGoIlfaPXA" role="3cqZAp">
+          <node concept="1PaTwC" id="4jGoIlfaPXB" role="1aUNEU">
+            <node concept="3oM_SD" id="4jGoIlfaQvz" role="1PaTwD">
+              <property role="3oM_SC" value="there" />
+            </node>
+            <node concept="3oM_SD" id="4jGoIlfaQv_" role="1PaTwD">
+              <property role="3oM_SC" value="is" />
+            </node>
+            <node concept="3oM_SD" id="4jGoIlfaQvC" role="1PaTwD">
+              <property role="3oM_SC" value="a" />
+            </node>
+            <node concept="3oM_SD" id="4jGoIlfaQvG" role="1PaTwD">
+              <property role="3oM_SC" value="substitution" />
+            </node>
+            <node concept="3oM_SD" id="4jGoIlfaQvL" role="1PaTwD">
+              <property role="3oM_SC" value="for" />
+            </node>
+            <node concept="3oM_SD" id="4jGoIlfaQvR" role="1PaTwD">
+              <property role="3oM_SC" value="vars" />
+            </node>
+            <node concept="3oM_SD" id="4jGoIlfaQvY" role="1PaTwD">
+              <property role="3oM_SC" value="TA,TR" />
+            </node>
+            <node concept="3oM_SD" id="4jGoIlfaQw6" role="1PaTwD">
+              <property role="3oM_SC" value="that" />
+            </node>
+            <node concept="3oM_SD" id="4jGoIlfaQwf" role="1PaTwD">
+              <property role="3oM_SC" value="satisfies" />
+            </node>
+            <node concept="3oM_SD" id="4jGoIlfaQwp" role="1PaTwD">
+              <property role="3oM_SC" value="this" />
+            </node>
+            <node concept="3oM_SD" id="4jGoIlfaQw$" role="1PaTwD">
+              <property role="3oM_SC" value="code:" />
+            </node>
+            <node concept="3oM_SD" id="4jGoIlfaToI" role="1PaTwD">
+              <property role="3oM_SC" value="[TA" />
+            </node>
+            <node concept="3oM_SD" id="4jGoIlfaToJ" role="1PaTwD">
+              <property role="3oM_SC" value="-&gt;" />
+            </node>
+            <node concept="3oM_SD" id="4jGoIlfaToK" role="1PaTwD">
+              <property role="3oM_SC" value="A," />
+            </node>
+            <node concept="3oM_SD" id="4jGoIlfaToL" role="1PaTwD">
+              <property role="3oM_SC" value="TR" />
+            </node>
+            <node concept="3oM_SD" id="4jGoIlfaToM" role="1PaTwD">
+              <property role="3oM_SC" value="-&gt;" />
+            </node>
+            <node concept="3oM_SD" id="4jGoIlfaToN" role="1PaTwD">
+              <property role="3oM_SC" value="A]" />
+            </node>
+          </node>
+        </node>
         <node concept="3clFbF" id="4yZzE4kLTBc" role="3cqZAp">
           <node concept="1rXfSq" id="4yZzE4kLTBd" role="3clFbG">
             <ref role="37wK5l" node="zb1Nk79_Ee" resolve="acceptT1" />
@@ -1364,9 +1514,6 @@
                   </node>
                 </node>
               </node>
-              <node concept="1U20sH" id="4yZzE4kLU$7" role="lGtFl">
-                <property role="1U20sK" value="error" />
-              </node>
             </node>
           </node>
         </node>
@@ -1387,12 +1534,120 @@
                   </node>
                 </node>
               </node>
-              <node concept="1U20sH" id="4yZzE4kN3f1" role="lGtFl">
-                <property role="1U20sK" value="error" />
+            </node>
+          </node>
+        </node>
+        <node concept="3clFbH" id="4jGoIlfaSTW" role="3cqZAp" />
+        <node concept="3cpWs8" id="4jGoIlfaFk5" role="3cqZAp">
+          <node concept="3cpWsn" id="4jGoIlfaFk6" role="3cpWs9">
+            <property role="TrG5h" value="a1" />
+            <node concept="3uibUv" id="4jGoIlfaFML" role="1tU5fm">
+              <ref role="3uigEE" node="zb1Nk79_lR" resolve="ClosureLiterals.A" />
+            </node>
+            <node concept="1rXfSq" id="4jGoIlfaFk7" role="33vP2m">
+              <ref role="37wK5l" node="4jGoIlfaAZT" resolve="acceptT2" />
+              <node concept="1bVj0M" id="4jGoIlfaFk8" role="37wK5m">
+                <node concept="37vLTG" id="4jGoIlfaFk9" role="1bW2Oz">
+                  <property role="TrG5h" value="smth" />
+                  <node concept="3uibUv" id="4jGoIlfaFka" role="1tU5fm">
+                    <ref role="3uigEE" node="zb1Nk79_lR" resolve="ClosureLiterals.A" />
+                  </node>
+                </node>
+                <node concept="3clFbS" id="4jGoIlfaFkb" role="1bW5cS">
+                  <node concept="3clFbF" id="4jGoIlfaFkc" role="3cqZAp">
+                    <node concept="37vLTw" id="4jGoIlfaFkd" role="3clFbG">
+                      <ref role="3cqZAo" node="zb1Nk79_m7" resolve="c" />
+                    </node>
+                  </node>
+                </node>
               </node>
             </node>
           </node>
         </node>
+        <node concept="3cpWs8" id="4jGoIlfaHJi" role="3cqZAp">
+          <node concept="3cpWsn" id="4jGoIlfaHJj" role="3cpWs9">
+            <property role="TrG5h" value="a2" />
+            <node concept="3uibUv" id="4jGoIlfaIeb" role="1tU5fm">
+              <ref role="3uigEE" node="zb1Nk79_lR" resolve="ClosureLiterals.A" />
+            </node>
+            <node concept="1rXfSq" id="4jGoIlfaHJk" role="33vP2m">
+              <ref role="37wK5l" node="4jGoIlfaCZP" resolve="acceptT3" />
+              <node concept="1bVj0M" id="4jGoIlfaHJl" role="37wK5m">
+                <node concept="37vLTG" id="4jGoIlfaHJm" role="1bW2Oz">
+                  <property role="TrG5h" value="smth" />
+                  <node concept="3uibUv" id="4jGoIlfaHJn" role="1tU5fm">
+                    <ref role="3uigEE" node="zb1Nk79_lR" resolve="ClosureLiterals.A" />
+                  </node>
+                </node>
+                <node concept="3clFbS" id="4jGoIlfaHJo" role="1bW5cS">
+                  <node concept="3cpWs6" id="4jGoIlfaHJp" role="3cqZAp">
+                    <node concept="37vLTw" id="4jGoIlfaHJq" role="3cqZAk">
+                      <ref role="3cqZAo" node="zb1Nk79_m7" resolve="c" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3cpWs8" id="4jGoIlfaL2J" role="3cqZAp">
+          <node concept="3cpWsn" id="4jGoIlfaL2K" role="3cpWs9">
+            <property role="TrG5h" value="c1" />
+            <node concept="3uibUv" id="4jGoIlfaLJh" role="1tU5fm">
+              <ref role="3uigEE" node="zb1Nk79_lW" resolve="ClosureLiterals.C" />
+            </node>
+            <node concept="1rXfSq" id="4jGoIlfaL2M" role="33vP2m">
+              <ref role="37wK5l" node="4jGoIlfaAZT" resolve="acceptT2" />
+              <node concept="1bVj0M" id="4jGoIlfaL2N" role="37wK5m">
+                <node concept="37vLTG" id="4jGoIlfaL2O" role="1bW2Oz">
+                  <property role="TrG5h" value="smth" />
+                  <node concept="3uibUv" id="4jGoIlfaL2P" role="1tU5fm">
+                    <ref role="3uigEE" node="zb1Nk79_lR" resolve="ClosureLiterals.A" />
+                  </node>
+                </node>
+                <node concept="3clFbS" id="4jGoIlfaL2Q" role="1bW5cS">
+                  <node concept="3clFbF" id="4jGoIlfaL2R" role="3cqZAp">
+                    <node concept="37vLTw" id="4jGoIlfaL2S" role="3clFbG">
+                      <ref role="3cqZAo" node="zb1Nk79_m7" resolve="c" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="1U20sH" id="4jGoIlfcBVL" role="lGtFl">
+              <property role="1U20sK" value="error" />
+            </node>
+          </node>
+        </node>
+        <node concept="3cpWs8" id="4jGoIlfaL2_" role="3cqZAp">
+          <node concept="3cpWsn" id="4jGoIlfaL2A" role="3cpWs9">
+            <property role="TrG5h" value="c2" />
+            <node concept="3uibUv" id="4jGoIlfaN9K" role="1tU5fm">
+              <ref role="3uigEE" node="zb1Nk79_lW" resolve="ClosureLiterals.C" />
+            </node>
+            <node concept="1rXfSq" id="4jGoIlfaL2C" role="33vP2m">
+              <ref role="37wK5l" node="4jGoIlfaCZP" resolve="acceptT3" />
+              <node concept="1bVj0M" id="4jGoIlfaL2D" role="37wK5m">
+                <node concept="37vLTG" id="4jGoIlfaL2E" role="1bW2Oz">
+                  <property role="TrG5h" value="smth" />
+                  <node concept="3uibUv" id="4jGoIlfaL2F" role="1tU5fm">
+                    <ref role="3uigEE" node="zb1Nk79_lR" resolve="ClosureLiterals.A" />
+                  </node>
+                </node>
+                <node concept="3clFbS" id="4jGoIlfaL2G" role="1bW5cS">
+                  <node concept="3cpWs6" id="4jGoIlfaL2H" role="3cqZAp">
+                    <node concept="37vLTw" id="4jGoIlfaL2I" role="3cqZAk">
+                      <ref role="3cqZAo" node="zb1Nk79_m7" resolve="c" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="1U20sH" id="4jGoIlfcCDJ" role="lGtFl">
+              <property role="1U20sK" value="error" />
+            </node>
+          </node>
+        </node>
         <node concept="3clFbH" id="554EtBHF$an" role="3cqZAp" />
         <node concept="3SKdUt" id="554EtBHFEmt" role="3cqZAp">
           <node concept="1PaTwC" id="554EtBHFEmu" role="1aUNEU">