From bb47403b0ceefd5b5c44494e8ed6283850a28908 Mon Sep 17 00:00:00 2001
From: Fedor Isakov <fisakov@gmail.com>
Date: Mon, 22 Aug 2022 11:19:45 +0200
Subject: [PATCH] Fix generating of synth recover terms table

---
 .../generator/template/main@generator.mps     | 344 +++++++-----------
 1 file changed, 139 insertions(+), 205 deletions(-)

diff --git a/coderules/languages/jetbrains.mps.lang.typechecking/generator/template/main@generator.mps b/coderules/languages/jetbrains.mps.lang.typechecking/generator/template/main@generator.mps
index 9589fb4c..6564d022 100644
--- a/coderules/languages/jetbrains.mps.lang.typechecking/generator/template/main@generator.mps
+++ b/coderules/languages/jetbrains.mps.lang.typechecking/generator/template/main@generator.mps
@@ -130,7 +130,6 @@
       <concept id="1095416546421" name="jetbrains.mps.lang.generator.structure.MappingConfiguration" flags="ig" index="bUwia">
         <child id="1200911492601" name="mappingLabel" index="2rTMjI" />
         <child id="1167088157977" name="createRootRule" index="2VS0gm" />
-        <child id="1167172143858" name="weavingMappingRule" index="30SoJX" />
         <child id="1167328349397" name="reductionMappingRule" index="3acgRq" />
         <child id="1167514678247" name="rootMappingRule" index="3lj3bC" />
       </concept>
@@ -138,7 +137,6 @@
         <child id="1177093586806" name="templateNode" index="gfFT$" />
       </concept>
       <concept id="5015072279636592410" name="jetbrains.mps.lang.generator.structure.VarMacro_ValueQuery" flags="in" index="2jfdEK" />
-      <concept id="1168559333462" name="jetbrains.mps.lang.generator.structure.TemplateDeclarationReference" flags="ln" index="j$656" />
       <concept id="1168619357332" name="jetbrains.mps.lang.generator.structure.RootTemplateAnnotation" flags="lg" index="n94m4">
         <reference id="1168619429071" name="applicableConcept" index="n9lRv" />
       </concept>
@@ -150,7 +148,6 @@
       <concept id="1722980698497626400" name="jetbrains.mps.lang.generator.structure.ITemplateCall" flags="ng" index="v9R3L">
         <reference id="1722980698497626483" name="template" index="v9R2y" />
       </concept>
-      <concept id="1021062414717307707" name="jetbrains.mps.lang.generator.structure.WeavingAnchorQuery" flags="ig" index="O$s7w" />
       <concept id="1167087469898" name="jetbrains.mps.lang.generator.structure.CreateRootRule" flags="lg" index="2VPoh5">
         <reference id="1200923511980" name="label" index="2sBCQV" />
         <reference id="1167087469901" name="templateNode" index="2VPoh2" />
@@ -165,11 +162,6 @@
         <reference id="1167169349424" name="applicableConcept" index="30HIoZ" />
         <child id="1167169362365" name="conditionFunction" index="30HLyM" />
       </concept>
-      <concept id="1167171569011" name="jetbrains.mps.lang.generator.structure.Weaving_MappingRule" flags="lg" index="30QchW">
-        <child id="1021062414717374968" name="anchorQuery" index="O$dGz" />
-        <child id="1169570368028" name="ruleConsequence" index="1fOSGc" />
-        <child id="1184616230853" name="contextNodeQuery" index="3gCiVm" />
-      </concept>
       <concept id="1092059087312" name="jetbrains.mps.lang.generator.structure.TemplateDeclaration" flags="ig" index="13MO4I">
         <reference id="1168285871518" name="applicableConcept" index="3gUMe" />
         <child id="1092060348987" name="contentNode" index="13RCb5" />
@@ -184,7 +176,6 @@
       <concept id="1167327847730" name="jetbrains.mps.lang.generator.structure.Reduction_MappingRule" flags="lg" index="3aamgX">
         <child id="1169672767469" name="ruleConsequence" index="1lVwrX" />
       </concept>
-      <concept id="1184616041890" name="jetbrains.mps.lang.generator.structure.Weaving_MappingRule_ContextNodeQuery" flags="in" index="3gB$ML" />
       <concept id="1184690432998" name="jetbrains.mps.lang.generator.structure.TemplateFunctionParameter_outputNode" flags="nn" index="3l3mFP" />
       <concept id="1167514355419" name="jetbrains.mps.lang.generator.structure.Root_MappingRule" flags="lg" index="3lhOvk">
         <reference id="1167514355421" name="template" index="3lhOvi" />
@@ -224,8 +215,8 @@
       </concept>
     </language>
     <language id="d7706f63-9be2-479c-a3da-ae92af1e64d5" name="jetbrains.mps.lang.generator.generationContext">
-      <concept id="1217884725453" name="jetbrains.mps.lang.generator.generationContext.structure.GenerationContextOp_GetCopiedOutputByInput" flags="nn" index="2f_y7m">
-        <child id="1217884725459" name="inputNode" index="2f_y78" />
+      <concept id="1229477454423" name="jetbrains.mps.lang.generator.generationContext.structure.GenerationContextOp_GetOriginalCopiedInputByOutput" flags="nn" index="12$id9">
+        <child id="1229477520175" name="outputNode" index="12$y8L" />
       </concept>
       <concept id="1216860049627" name="jetbrains.mps.lang.generator.generationContext.structure.GenerationContextOp_GetOutputByLabelAndInput" flags="nn" index="1iwH70">
         <reference id="1216860049628" name="label" index="1iwH77" />
@@ -306,11 +297,11 @@
         <child id="1145567471833" name="createdType" index="2T96Bj" />
       </concept>
       <concept id="1171407110247" name="jetbrains.mps.lang.smodel.structure.Node_GetAncestorOperation" flags="nn" index="2Xjw5R" />
-      <concept id="1139613262185" name="jetbrains.mps.lang.smodel.structure.Node_GetParentOperation" flags="nn" index="1mfA1w" />
       <concept id="1139621453865" name="jetbrains.mps.lang.smodel.structure.Node_IsInstanceOfOperation" flags="nn" index="1mIQ4w">
         <child id="1177027386292" name="conceptArgument" index="cj9EA" />
       </concept>
       <concept id="6870613620390542976" name="jetbrains.mps.lang.smodel.structure.ConceptAliasOperation" flags="ng" index="3n3YKJ" />
+      <concept id="1171999116870" name="jetbrains.mps.lang.smodel.structure.Node_IsNullOperation" flags="nn" index="3w_OXm" />
       <concept id="1144101972840" name="jetbrains.mps.lang.smodel.structure.OperationParm_Concept" flags="ng" index="1xMEDy">
         <child id="1207343664468" name="conceptArgument" index="ri$Ld" />
       </concept>
@@ -368,6 +359,7 @@
       <concept id="1225727723840" name="jetbrains.mps.baseLanguage.collections.structure.FindFirstOperation" flags="nn" index="1z4cxt" />
       <concept id="1202128969694" name="jetbrains.mps.baseLanguage.collections.structure.SelectOperation" flags="nn" index="3$u5V9" />
       <concept id="1176501494711" name="jetbrains.mps.baseLanguage.collections.structure.IsNotEmptyOperation" flags="nn" index="3GX2aA" />
+      <concept id="31378964227347002" name="jetbrains.mps.baseLanguage.collections.structure.SelectNotNullOperation" flags="ng" index="1KnU$U" />
     </language>
     <language id="c4803b19-6d89-4a3b-bf82-390769514add" name="jetbrains.mps.lang.coderules">
       <concept id="1618328391714763069" name="jetbrains.mps.lang.coderules.structure.MacroTable" flags="ng" index="0oKg$">
@@ -528,6 +520,7 @@
     <node concept="2rT7sh" id="1vAI4X$H91X" role="2rTMjI">
       <property role="TrG5h" value="recoverType" />
       <ref role="2rZz_L" to="wq2x:7eGEHDlgPKk" resolve="RulesList" />
+      <ref role="2rTdP9" to="zfi7:6wBZuQUF2vT" resolve="TypeTermTable" />
     </node>
     <node concept="2rT7sh" id="4LE1vMPhNy4" role="2rTMjI">
       <property role="TrG5h" value="recoverTypeDefault" />
@@ -556,155 +549,6 @@
       <ref role="2rTdP9" to="wq2x:JOGAOsxiL_" resolve="TermFeature" />
       <ref role="2rZz_L" to="5j4j:7E86$tKtfM3" resolve="LogicalVariableDeclaration" />
     </node>
-    <node concept="30QchW" id="1vAI4X$GZWw" role="30SoJX">
-      <ref role="30HIoZ" to="zfi7:6wBZuQUG1yn" resolve="TypeNodeBuilder" />
-      <ref role="2sgKRv" node="1PN9XOGynBF" resolve="recover_template" />
-      <node concept="j$656" id="1vAI4X$H8JX" role="1fOSGc">
-        <ref role="v9R2y" node="1vAI4X$GZYB" resolve="frag_recoverType" />
-      </node>
-      <node concept="3gB$ML" id="1vAI4X$GZWy" role="3gCiVm">
-        <node concept="3clFbS" id="1vAI4X$GZWz" role="2VODD2">
-          <node concept="3cpWs8" id="1vAI4X$HbxS" role="3cqZAp">
-            <node concept="3cpWsn" id="1vAI4X$HbxT" role="3cpWs9">
-              <property role="TrG5h" value="rt" />
-              <node concept="3Tqbb2" id="1vAI4X$Hagq" role="1tU5fm">
-                <ref role="ehGHo" to="wq2x:7eGEHDlgPKk" resolve="RulesList" />
-              </node>
-              <node concept="2OqwBi" id="1vAI4X$HbxU" role="33vP2m">
-                <node concept="1iwH7S" id="1vAI4X$HbxV" role="2Oq$k0" />
-                <node concept="1iwH7d" id="1vAI4X$HbxW" role="2OqNvi">
-                  <ref role="1iwH7c" node="1vAI4X$H91X" resolve="recoverType" />
-                </node>
-              </node>
-            </node>
-          </node>
-          <node concept="3clFbF" id="1vAI4X$HbUo" role="3cqZAp">
-            <node concept="2OqwBi" id="1vAI4X$Hc3k" role="3clFbG">
-              <node concept="1iwH7S" id="1vAI4X$HbUn" role="2Oq$k0" />
-              <node concept="2f_y7m" id="1vAI4X$Hcjd" role="2OqNvi">
-                <node concept="37vLTw" id="1vAI4X$Hclm" role="2f_y78">
-                  <ref role="3cqZAo" node="1vAI4X$HbxT" resolve="rt" />
-                </node>
-              </node>
-            </node>
-          </node>
-        </node>
-      </node>
-      <node concept="O$s7w" id="1PN9XOGykAR" role="O$dGz">
-        <node concept="3clFbS" id="1PN9XOGykAS" role="2VODD2">
-          <node concept="3cpWs8" id="1PN9XOGyli2" role="3cqZAp">
-            <node concept="3cpWsn" id="1PN9XOGyli3" role="3cpWs9">
-              <property role="TrG5h" value="ttd" />
-              <node concept="3Tqbb2" id="1PN9XOGylhG" role="1tU5fm">
-                <ref role="ehGHo" to="zfi7:6wBZuQUFd0b" resolve="TypeTermDeclaration" />
-              </node>
-              <node concept="1PxgMI" id="1PN9XOGyli4" role="33vP2m">
-                <property role="1BlNFB" value="true" />
-                <node concept="chp4Y" id="1PN9XOGyli5" role="3oSUPX">
-                  <ref role="cht4Q" to="zfi7:6wBZuQUFd0b" resolve="TypeTermDeclaration" />
-                </node>
-                <node concept="2OqwBi" id="1PN9XOGyli6" role="1m5AlR">
-                  <node concept="30H73N" id="1PN9XOGyli7" role="2Oq$k0" />
-                  <node concept="1mfA1w" id="1PN9XOGyli8" role="2OqNvi" />
-                </node>
-              </node>
-            </node>
-          </node>
-          <node concept="3clFbJ" id="1PN9XOGymsD" role="3cqZAp">
-            <node concept="3clFbS" id="1PN9XOGymsZ" role="3clFbx">
-              <node concept="3cpWs8" id="1PN9XOGyqZL" role="3cqZAp">
-                <node concept="3cpWsn" id="1PN9XOGyqZM" role="3cpWs9">
-                  <property role="TrG5h" value="protoBuilder" />
-                  <node concept="3Tqbb2" id="1PN9XOGyqZ6" role="1tU5fm">
-                    <ref role="ehGHo" to="zfi7:6wBZuQUG1yn" resolve="TypeNodeBuilder" />
-                  </node>
-                  <node concept="2OqwBi" id="1PN9XOGyqZN" role="33vP2m">
-                    <node concept="1PxgMI" id="1PN9XOGyqZO" role="2Oq$k0">
-                      <property role="1BlNFB" value="true" />
-                      <node concept="chp4Y" id="1PN9XOGyqZP" role="3oSUPX">
-                        <ref role="cht4Q" to="zfi7:6wBZuQUFd0b" resolve="TypeTermDeclaration" />
-                      </node>
-                      <node concept="2OqwBi" id="1PN9XOGyqZQ" role="1m5AlR">
-                        <node concept="37vLTw" id="1PN9XOGyqZR" role="2Oq$k0">
-                          <ref role="3cqZAo" node="1PN9XOGyli3" resolve="ttd" />
-                        </node>
-                        <node concept="3TrEf2" id="1PN9XOGyqZS" role="2OqNvi">
-                          <ref role="3Tt5mk" to="wq2x:JOGAOsxaCh" resolve="prototype" />
-                        </node>
-                      </node>
-                    </node>
-                    <node concept="3TrEf2" id="1PN9XOGyqZT" role="2OqNvi">
-                      <ref role="3Tt5mk" to="zfi7:6wBZuQUG3fi" resolve="builder" />
-                    </node>
-                  </node>
-                </node>
-              </node>
-              <node concept="3cpWs6" id="1PN9XOGyrYD" role="3cqZAp">
-                <node concept="2OqwBi" id="1PN9XOGyrYE" role="3cqZAk">
-                  <node concept="1iwH7S" id="1PN9XOGyrYF" role="2Oq$k0" />
-                  <node concept="1iwH70" id="1PN9XOGyrYG" role="2OqNvi">
-                    <ref role="1iwH77" node="1PN9XOGynBF" resolve="recover_template" />
-                    <node concept="37vLTw" id="1PN9XOGyrYH" role="1iwH7V">
-                      <ref role="3cqZAo" node="1PN9XOGyqZM" resolve="protoBuilder" />
-                    </node>
-                  </node>
-                </node>
-              </node>
-              <node concept="3clFbH" id="1PN9XOGyp8d" role="3cqZAp" />
-            </node>
-            <node concept="9aQIb" id="1PN9XOGymuo" role="9aQIa">
-              <node concept="3clFbS" id="1PN9XOGymup" role="9aQI4">
-                <node concept="3cpWs6" id="1PN9XOGymvt" role="3cqZAp">
-                  <node concept="10Nm6u" id="1PN9XOGymwZ" role="3cqZAk" />
-                </node>
-              </node>
-            </node>
-            <node concept="2OqwBi" id="1PN9XOGypUX" role="3clFbw">
-              <node concept="2OqwBi" id="1PN9XOGypjv" role="2Oq$k0">
-                <node concept="37vLTw" id="1PN9XOGypg9" role="2Oq$k0">
-                  <ref role="3cqZAo" node="1PN9XOGyli3" resolve="ttd" />
-                </node>
-                <node concept="3TrEf2" id="1PN9XOGypmY" role="2OqNvi">
-                  <ref role="3Tt5mk" to="wq2x:JOGAOsxaCh" resolve="prototype" />
-                </node>
-              </node>
-              <node concept="1mIQ4w" id="1PN9XOGyqsb" role="2OqNvi">
-                <node concept="chp4Y" id="1PN9XOGyqwg" role="cj9EA">
-                  <ref role="cht4Q" to="zfi7:6wBZuQUFd0b" resolve="TypeTermDeclaration" />
-                </node>
-              </node>
-            </node>
-          </node>
-        </node>
-      </node>
-    </node>
-    <node concept="1X3_iC" id="4APe_wKcEgD" role="lGtFl">
-      <property role="3V$3am" value="createRootRule" />
-      <property role="3V$3ak" value="b401a680-8325-4110-8fd3-84331ff25bef/1095416546421/1167088157977" />
-      <node concept="2VPoh5" id="j$DTRidKt6" role="8Wnug">
-        <ref role="2VPoh2" node="7lmP5gAu4Fv" resolve="_TypeOf_" />
-        <node concept="2VP$b9" id="j$DTRidKtb" role="2VPoh3">
-          <node concept="3clFbS" id="j$DTRidKtc" role="2VODD2">
-            <node concept="3clFbF" id="j$DTRidKxb" role="3cqZAp">
-              <node concept="2OqwBi" id="j$DTRie15I" role="3clFbG">
-                <node concept="2OqwBi" id="j$DTRidL4d" role="2Oq$k0">
-                  <node concept="2OqwBi" id="j$DTRidKHq" role="2Oq$k0">
-                    <node concept="1iwH7S" id="j$DTRidKxa" role="2Oq$k0" />
-                    <node concept="1st3f0" id="j$DTRidKR2" role="2OqNvi" />
-                  </node>
-                  <node concept="2RRcyG" id="j$DTRidLbS" role="2OqNvi">
-                    <node concept="chp4Y" id="j$DTRidLDY" role="3MHsoP">
-                      <ref role="cht4Q" to="zfi7:7lmP5gALJri" resolve="TypecheckingQueries" />
-                    </node>
-                  </node>
-                </node>
-                <node concept="3GX2aA" id="j$DTRie4hd" role="2OqNvi" />
-              </node>
-            </node>
-          </node>
-        </node>
-      </node>
-    </node>
     <node concept="2VPoh5" id="j$DTRie5QM" role="2VS0gm">
       <ref role="2VPoh2" node="j$DTRidoLS" resolve="_RecoverType_Default_" />
       <ref role="2sBCQV" node="4LE1vMPhNy4" resolve="recoverTypeDefault" />
@@ -729,30 +573,6 @@
         </node>
       </node>
     </node>
-    <node concept="2VPoh5" id="1vAI4X$H1n0" role="2VS0gm">
-      <ref role="2VPoh2" node="j$DTRidKsM" resolve="_RecoverType_" />
-      <ref role="2sBCQV" node="1vAI4X$H91X" resolve="recoverType" />
-      <node concept="2VP$b9" id="1vAI4X$H1nz" role="2VPoh3">
-        <node concept="3clFbS" id="1vAI4X$H1n$" role="2VODD2">
-          <node concept="3clFbF" id="1vAI4X$H1rz" role="3cqZAp">
-            <node concept="2OqwBi" id="1vAI4X$H50t" role="3clFbG">
-              <node concept="2OqwBi" id="1vAI4X$H1OQ" role="2Oq$k0">
-                <node concept="2OqwBi" id="1vAI4X$H1$p" role="2Oq$k0">
-                  <node concept="1iwH7S" id="1vAI4X$H1ry" role="2Oq$k0" />
-                  <node concept="1st3f0" id="1vAI4X$H1Fj" role="2OqNvi" />
-                </node>
-                <node concept="2RRcyG" id="1vAI4X$H1Wx" role="2OqNvi">
-                  <node concept="chp4Y" id="1vAI4X$H2uu" role="3MHsoP">
-                    <ref role="cht4Q" to="zfi7:6wBZuQUF2vT" resolve="TypeTermTable" />
-                  </node>
-                </node>
-              </node>
-              <node concept="3GX2aA" id="1vAI4X$H8Eq" role="2OqNvi" />
-            </node>
-          </node>
-        </node>
-      </node>
-    </node>
     <node concept="2VPoh5" id="4qGA5WCFx$y" role="2VS0gm">
       <ref role="2VPoh2" node="7lmP5gAtYRF" resolve="_ExpectTypeMacro_" />
       <ref role="2sBCQV" node="4qGA5WCFyqy" resolve="expectType" />
@@ -1578,6 +1398,11 @@
       <ref role="30HIoZ" to="zfi7:6wBZuQUF2vT" resolve="TypeTermTable" />
       <ref role="3lhOvi" node="1vAI4X$GeQv" resolve="_Terms_" />
     </node>
+    <node concept="3lhOvk" id="2CPBoD_qOvh" role="3lj3bC">
+      <ref role="30HIoZ" to="zfi7:6wBZuQUF2vT" resolve="TypeTermTable" />
+      <ref role="3lhOvi" node="j$DTRidKsM" resolve="_RecoverType_" />
+      <ref role="2sgKRv" node="1vAI4X$H91X" resolve="recoverType" />
+    </node>
   </node>
   <node concept="KEFAe" id="7lmP5gAM25d">
     <property role="TrG5h" value="_Queries_" />
@@ -2136,39 +1961,148 @@
     </node>
     <node concept="n94m4" id="j$DTRidoLT" role="lGtFl" />
   </node>
-  <node concept="AVZre" id="7lmP5gAu4Fv">
-    <property role="TrG5h" value="_TypeOf_" />
-    <node concept="3AqmO8" id="7lmP5gAu4Gb" role="8PkJo">
-      <property role="TrG5h" value="typeOf" />
-      <node concept="1zAUYm" id="7lmP5gAu4Gd" role="1zAUyy">
-        <property role="TrG5h" value="location" />
-        <node concept="3Tqbb2" id="7lmP5gAu4Gi" role="3gTf24" />
-      </node>
-      <node concept="1zAUYm" id="7lmP5gAu4Gl" role="1zAUyy">
-        <property role="TrG5h" value="type" />
-        <node concept="32pEOW" id="7lmP5gAu4Gs" role="3gTf24" />
-      </node>
-    </node>
-  </node>
   <node concept="AVZre" id="j$DTRidKsM">
     <property role="TrG5h" value="_RecoverType_" />
     <ref role="2YbDB9" node="j$DTRidoLS" resolve="_RecoverType_Default_" />
-    <node concept="n94m4" id="j$DTRidKsN" role="lGtFl" />
+    <node concept="1nLNMY" id="2CPBoD_JG3L" role="1nK1Vg">
+      <property role="TrG5h" value="__recover__" />
+      <node concept="3clFbS" id="2CPBoD_JG3M" role="1nLNMH" />
+      <node concept="1WS0z7" id="2CPBoD_JJ95" role="lGtFl">
+        <node concept="3JmXsc" id="2CPBoD_JJ96" role="3Jn$fo">
+          <node concept="3clFbS" id="2CPBoD_JJ97" role="2VODD2">
+            <node concept="3clFbF" id="2CPBoD_JJcY" role="3cqZAp">
+              <node concept="2OqwBi" id="2CPBoD_JVni" role="3clFbG">
+                <node concept="2OqwBi" id="2CPBoD_JSVV" role="2Oq$k0">
+                  <node concept="2OqwBi" id="2CPBoD_JJt8" role="2Oq$k0">
+                    <node concept="30H73N" id="2CPBoD_JJcX" role="2Oq$k0" />
+                    <node concept="3Tsc0h" id="2CPBoD_JJE5" role="2OqNvi">
+                      <ref role="3TtcxE" to="zfi7:6wBZuQUF99Q" resolve="contents" />
+                    </node>
+                  </node>
+                  <node concept="3$u5V9" id="2CPBoD_JTD3" role="2OqNvi">
+                    <node concept="1bVj0M" id="2CPBoD_JTD5" role="23t8la">
+                      <node concept="3clFbS" id="2CPBoD_JTD6" role="1bW5cS">
+                        <node concept="3clFbF" id="2CPBoD_JTDF" role="3cqZAp">
+                          <node concept="2OqwBi" id="2CPBoD_JTQt" role="3clFbG">
+                            <node concept="37vLTw" id="2CPBoD_JTDE" role="2Oq$k0">
+                              <ref role="3cqZAo" node="2CPBoD_JTD7" resolve="it" />
+                            </node>
+                            <node concept="3TrEf2" id="2CPBoD_JUL6" role="2OqNvi">
+                              <ref role="3Tt5mk" to="zfi7:6wBZuQUG3fi" resolve="builder" />
+                            </node>
+                          </node>
+                        </node>
+                      </node>
+                      <node concept="Rh6nW" id="2CPBoD_JTD7" role="1bW2Oz">
+                        <property role="TrG5h" value="it" />
+                        <node concept="2jxLKc" id="2CPBoD_JTD8" role="1tU5fm" />
+                      </node>
+                    </node>
+                  </node>
+                </node>
+                <node concept="1KnU$U" id="2CPBoD_JWal" role="2OqNvi" />
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="5jKBG" id="2CPBoD_JWvh" role="lGtFl">
+        <ref role="v9R2y" node="1vAI4X$GZYB" resolve="frag_recover" />
+        <ref role="2rW$FS" node="1PN9XOGynBF" resolve="recover_template" />
+      </node>
+    </node>
+    <node concept="n94m4" id="j$DTRidKsN" role="lGtFl">
+      <ref role="n9lRv" to="zfi7:6wBZuQUF2vT" resolve="TypeTermTable" />
+    </node>
     <node concept="1ZhdrF" id="4APe_wL9AVe" role="lGtFl">
       <property role="2qtEX8" value="extends" />
       <property role="P3scX" value="c4803b19-6d89-4a3b-bf82-390769514add/8335224865066015764/3541122455446356437" />
       <node concept="3$xsQk" id="4APe_wL9AVf" role="3$ytzL">
         <node concept="3clFbS" id="4APe_wL9AVg" role="2VODD2">
-          <node concept="3clFbF" id="2GOEA2mHG9" role="3cqZAp">
-            <node concept="2YIFZM" id="2GOEA2mHN1" role="3clFbG">
-              <ref role="37wK5l" to="fwnm:2GOEA2mESH" resolve="lookup_recoverType_default_list" />
-              <ref role="1Pybhc" to="fwnm:7mIqwW3we0j" resolve="GeneratedSymbols" />
-              <node concept="1iwH7S" id="2GOEA2mHSX" role="37wK5m" />
+          <node concept="3clFbJ" id="2CPBoD_qSiV" role="3cqZAp">
+            <node concept="3clFbS" id="2CPBoD_qSjh" role="3clFbx">
+              <node concept="3cpWs6" id="2CPBoD_qSB$" role="3cqZAp">
+                <node concept="2YIFZM" id="2GOEA2mHN1" role="3cqZAk">
+                  <ref role="37wK5l" to="fwnm:2GOEA2mESH" resolve="lookup_recoverType_default_list" />
+                  <ref role="1Pybhc" to="fwnm:7mIqwW3we0j" resolve="GeneratedSymbols" />
+                  <node concept="1iwH7S" id="2GOEA2mHSX" role="37wK5m" />
+                </node>
+              </node>
+              <node concept="3clFbH" id="2CPBoD_qSM1" role="3cqZAp" />
+            </node>
+            <node concept="2OqwBi" id="2CPBoD_qRZM" role="3clFbw">
+              <node concept="2OqwBi" id="2CPBoD_qREv" role="2Oq$k0">
+                <node concept="30H73N" id="2CPBoD_qRuh" role="2Oq$k0" />
+                <node concept="3TrEf2" id="2CPBoD_qRTO" role="2OqNvi">
+                  <ref role="3Tt5mk" to="zfi7:6wBZuQUF9QY" resolve="extended" />
+                </node>
+              </node>
+              <node concept="3w_OXm" id="2CPBoD_qS8x" role="2OqNvi" />
+            </node>
+            <node concept="9aQIb" id="2CPBoD_qSvg" role="9aQIa">
+              <node concept="3clFbS" id="2CPBoD_qSvh" role="9aQI4">
+                <node concept="3cpWs8" id="2CPBoD_qW2x" role="3cqZAp">
+                  <node concept="3cpWsn" id="2CPBoD_qW2y" role="3cpWs9">
+                    <property role="TrG5h" value="extended" />
+                    <node concept="3Tqbb2" id="2CPBoD_qV$Z" role="1tU5fm" />
+                    <node concept="2OqwBi" id="2CPBoD_qW2z" role="33vP2m">
+                      <node concept="1iwH7S" id="2CPBoD_qW2$" role="2Oq$k0" />
+                      <node concept="12$id9" id="2CPBoD_qW2_" role="2OqNvi">
+                        <node concept="2OqwBi" id="2CPBoD_qW2A" role="12$y8L">
+                          <node concept="30H73N" id="2CPBoD_qW2B" role="2Oq$k0" />
+                          <node concept="3TrEf2" id="2CPBoD_qW2C" role="2OqNvi">
+                            <ref role="3Tt5mk" to="zfi7:6wBZuQUF9QY" resolve="extended" />
+                          </node>
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                </node>
+                <node concept="3cpWs6" id="2CPBoD_qX0r" role="3cqZAp">
+                  <node concept="2OqwBi" id="2CPBoD_qWld" role="3cqZAk">
+                    <node concept="1iwH7S" id="2CPBoD_qWj4" role="2Oq$k0" />
+                    <node concept="1iwH70" id="2CPBoD_qWyW" role="2OqNvi">
+                      <ref role="1iwH77" node="1vAI4X$H91X" resolve="recoverType" />
+                      <node concept="1PxgMI" id="2CPBoD_qXLD" role="1iwH7V">
+                        <property role="1BlNFB" value="true" />
+                        <node concept="chp4Y" id="2CPBoD_qXPk" role="3oSUPX">
+                          <ref role="cht4Q" to="zfi7:6wBZuQUF2vT" resolve="TypeTermTable" />
+                        </node>
+                        <node concept="37vLTw" id="2CPBoD_qWKx" role="1m5AlR">
+                          <ref role="3cqZAo" node="2CPBoD_qW2y" resolve="extended" />
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
             </node>
           </node>
         </node>
       </node>
     </node>
+    <node concept="17Uvod" id="2CPBoD_qPuB" role="lGtFl">
+      <property role="2qtEX9" value="name" />
+      <property role="P4ACc" value="ceab5195-25ea-4f22-9b92-103b95ca8c0c/1169194658468/1169194664001" />
+      <node concept="3zFVjK" id="2CPBoD_qPuC" role="3zH0cK">
+        <node concept="3clFbS" id="2CPBoD_qPuD" role="2VODD2">
+          <node concept="3clFbF" id="2CPBoD_qPzg" role="3cqZAp">
+            <node concept="3cpWs3" id="2CPBoD_qQ7O" role="3clFbG">
+              <node concept="2OqwBi" id="2CPBoD_qQzj" role="3uHU7w">
+                <node concept="30H73N" id="2CPBoD_qQmp" role="2Oq$k0" />
+                <node concept="3TrcHB" id="2CPBoD_qR17" role="2OqNvi">
+                  <ref role="3TsBF5" to="tpck:h0TrG11" resolve="name" />
+                </node>
+              </node>
+              <node concept="3zGtF$" id="2CPBoD_qPzf" role="3uHU7B" />
+            </node>
+          </node>
+        </node>
+      </node>
+    </node>
+    <node concept="2ZBi8u" id="2CPBoDA55ef" role="lGtFl">
+      <ref role="2rW$FS" node="1vAI4X$H91X" resolve="recoverType" />
+    </node>
   </node>
   <node concept="0oKg$" id="7lmP5gAtYRF">
     <property role="TrG5h" value="_ExpectTypeMacro_" />