From 6e85a2c4fa55c6f6798307e45629843692bb9ad2 Mon Sep 17 00:00:00 2001
From: Fedor Isakov <fisakov@gmail.com>
Date: Sat, 2 Feb 2019 16:10:35 +0100
Subject: [PATCH] Use custom matching strategy in lambdacalc tests.

---
 .../models/samples.lambdacalc.demo@tests.mps  | 374 +++++++++++++++++-
 1 file changed, 365 insertions(+), 9 deletions(-)

diff --git a/samples/lambdacalc/solutions/samples.lambdacalc.demo/models/samples.lambdacalc.demo@tests.mps b/samples/lambdacalc/solutions/samples.lambdacalc.demo/models/samples.lambdacalc.demo@tests.mps
index 9fba8e2b..4a463b29 100644
--- a/samples/lambdacalc/solutions/samples.lambdacalc.demo/models/samples.lambdacalc.demo@tests.mps
+++ b/samples/lambdacalc/solutions/samples.lambdacalc.demo/models/samples.lambdacalc.demo@tests.mps
@@ -12,6 +12,8 @@
     <import index="8tt8" ref="r:e74c1bfc-387b-4b4b-abee-2eb77ee510ec(samples.lambdacalc.structure)" />
     <import index="tj24" ref="r:0fbbb63a-fd15-46e1-8136-78049f6d6e63(jetbrains.mps.typechecking.service)" />
     <import index="z1c3" ref="6ed54515-acc8-4d1e-a16c-9fd6cfe951ea/java:jetbrains.mps.project(MPS.Core/)" implicit="true" />
+    <import index="wyt6" ref="6354ebe7-c22a-4a0f-ac54-50b52ab9b065/java:java.lang(JDK/)" implicit="true" />
+    <import index="tpck" ref="r:00000000-0000-4000-0000-011c89590288(jetbrains.mps.lang.core.structure)" implicit="true" />
   </imports>
   <registry>
     <language id="8585453e-6bfb-4d80-98de-b16074f1d86c" name="jetbrains.mps.lang.test">
@@ -26,6 +28,9 @@
       <concept id="1225978065297" name="jetbrains.mps.lang.test.structure.SimpleNodeTest" flags="ng" index="1LZb2c" />
     </language>
     <language id="f3061a53-9226-4cc5-a443-f952ceaf5816" name="jetbrains.mps.baseLanguage">
+      <concept id="1082485599095" name="jetbrains.mps.baseLanguage.structure.BlockStatement" flags="nn" index="9aQIb">
+        <child id="1082485599096" name="statements" index="9aQI4" />
+      </concept>
       <concept id="1215693861676" name="jetbrains.mps.baseLanguage.structure.BaseAssignmentExpression" flags="nn" index="d038R">
         <child id="1068498886297" name="rValue" index="37vLTx" />
         <child id="1068498886295" name="lValue" index="37vLTJ" />
@@ -35,14 +40,33 @@
         <child id="1197027771414" name="operand" index="2Oq$k0" />
         <child id="1197027833540" name="operation" index="2OqNvi" />
       </concept>
+      <concept id="1145552977093" name="jetbrains.mps.baseLanguage.structure.GenericNewExpression" flags="nn" index="2ShNRf">
+        <child id="1145553007750" name="creator" index="2ShVmc" />
+      </concept>
+      <concept id="1070475926800" name="jetbrains.mps.baseLanguage.structure.StringLiteral" flags="nn" index="Xl_RD">
+        <property id="1070475926801" name="value" index="Xl_RC" />
+      </concept>
+      <concept id="1182160077978" name="jetbrains.mps.baseLanguage.structure.AnonymousClassCreator" flags="nn" index="YeOm9">
+        <child id="1182160096073" name="cls" index="YeSDq" />
+      </concept>
       <concept id="1081236700937" name="jetbrains.mps.baseLanguage.structure.StaticMethodCall" flags="nn" index="2YIFZM">
         <reference id="1144433194310" name="classConcept" index="1Pybhc" />
       </concept>
+      <concept id="1164991038168" name="jetbrains.mps.baseLanguage.structure.ThrowStatement" flags="nn" index="YS8fn">
+        <child id="1164991057263" name="throwable" index="YScLw" />
+      </concept>
+      <concept id="1070534644030" name="jetbrains.mps.baseLanguage.structure.BooleanType" flags="in" index="10P_77" />
+      <concept id="1068390468200" name="jetbrains.mps.baseLanguage.structure.FieldDeclaration" flags="ig" index="312cEg" />
+      <concept id="1068431474542" name="jetbrains.mps.baseLanguage.structure.VariableDeclaration" flags="ng" index="33uBYm">
+        <child id="1068431790190" name="initializer" index="33vP2m" />
+      </concept>
       <concept id="1068498886296" name="jetbrains.mps.baseLanguage.structure.VariableReference" flags="nn" index="37vLTw">
         <reference id="1068581517664" name="variableDeclaration" index="3cqZAo" />
       </concept>
       <concept id="1068498886292" name="jetbrains.mps.baseLanguage.structure.ParameterDeclaration" flags="ir" index="37vLTG" />
       <concept id="1068498886294" name="jetbrains.mps.baseLanguage.structure.AssignmentExpression" flags="nn" index="37vLTI" />
+      <concept id="1225271177708" name="jetbrains.mps.baseLanguage.structure.StringType" flags="in" index="17QB3L" />
+      <concept id="1225271283259" name="jetbrains.mps.baseLanguage.structure.NPEEqualsExpression" flags="nn" index="17R0WA" />
       <concept id="4972933694980447171" name="jetbrains.mps.baseLanguage.structure.BaseVariableDeclaration" flags="ng" index="19Szcq">
         <child id="5680397130376446158" name="type" index="1tU5fm" />
       </concept>
@@ -51,25 +75,68 @@
         <child id="1068580123134" name="parameter" index="3clF46" />
         <child id="1068580123135" name="body" index="3clF47" />
       </concept>
+      <concept id="1068580123165" name="jetbrains.mps.baseLanguage.structure.InstanceMethodDeclaration" flags="ig" index="3clFb_" />
       <concept id="1068580123155" name="jetbrains.mps.baseLanguage.structure.ExpressionStatement" flags="nn" index="3clFbF">
         <child id="1068580123156" name="expression" index="3clFbG" />
       </concept>
+      <concept id="1068580123157" name="jetbrains.mps.baseLanguage.structure.Statement" flags="nn" index="3clFbH" />
+      <concept id="1068580123159" name="jetbrains.mps.baseLanguage.structure.IfStatement" flags="nn" index="3clFbJ">
+        <child id="1082485599094" name="ifFalseStatement" index="9aQIa" />
+        <child id="1068580123160" name="condition" index="3clFbw" />
+        <child id="1068580123161" name="ifTrue" index="3clFbx" />
+      </concept>
       <concept id="1068580123136" name="jetbrains.mps.baseLanguage.structure.StatementList" flags="sn" stub="5293379017992965193" index="3clFbS">
         <child id="1068581517665" name="statement" index="3cqZAp" />
       </concept>
+      <concept id="1068580123137" name="jetbrains.mps.baseLanguage.structure.BooleanConstant" flags="nn" index="3clFbT">
+        <property id="1068580123138" name="value" index="3clFbU" />
+      </concept>
+      <concept id="1068581242875" name="jetbrains.mps.baseLanguage.structure.PlusExpression" flags="nn" index="3cpWs3" />
+      <concept id="1068581242878" name="jetbrains.mps.baseLanguage.structure.ReturnStatement" flags="nn" index="3cpWs6">
+        <child id="1068581517676" name="expression" index="3cqZAk" />
+      </concept>
       <concept id="1068581242864" name="jetbrains.mps.baseLanguage.structure.LocalVariableDeclarationStatement" flags="nn" index="3cpWs8">
         <child id="1068581242865" name="localVariableDeclaration" index="3cpWs9" />
       </concept>
       <concept id="1068581242863" name="jetbrains.mps.baseLanguage.structure.LocalVariableDeclaration" flags="nr" index="3cpWsn" />
       <concept id="1068581517677" name="jetbrains.mps.baseLanguage.structure.VoidType" flags="in" index="3cqZAl" />
+      <concept id="1079359253375" name="jetbrains.mps.baseLanguage.structure.ParenthesizedExpression" flags="nn" index="1eOMI4">
+        <child id="1079359253376" name="expression" index="1eOMHV" />
+      </concept>
+      <concept id="1081516740877" name="jetbrains.mps.baseLanguage.structure.NotExpression" flags="nn" index="3fqX7Q">
+        <child id="1081516765348" name="expression" index="3fr31v" />
+      </concept>
       <concept id="1204053956946" name="jetbrains.mps.baseLanguage.structure.IMethodCall" flags="ng" index="1ndlxa">
         <reference id="1068499141037" name="baseMethodDeclaration" index="37wK5l" />
         <child id="1068499141038" name="actualArgument" index="37wK5m" />
       </concept>
+      <concept id="1212685548494" name="jetbrains.mps.baseLanguage.structure.ClassCreator" flags="nn" index="1pGfFk" />
+      <concept id="1107461130800" name="jetbrains.mps.baseLanguage.structure.Classifier" flags="ng" index="3pOWGL">
+        <property id="521412098689998745" name="nonStatic" index="2bfB8j" />
+        <child id="5375687026011219971" name="member" index="jymVt" unordered="true" />
+      </concept>
+      <concept id="1107535904670" name="jetbrains.mps.baseLanguage.structure.ClassifierType" flags="in" index="3uibUv">
+        <reference id="1107535924139" name="classifier" index="3uigEE" />
+      </concept>
+      <concept id="1081773326031" name="jetbrains.mps.baseLanguage.structure.BinaryOperation" flags="nn" index="3uHJSO">
+        <child id="1081773367579" name="rightExpression" index="3uHU7w" />
+        <child id="1081773367580" name="leftExpression" index="3uHU7B" />
+      </concept>
       <concept id="1178549954367" name="jetbrains.mps.baseLanguage.structure.IVisible" flags="ng" index="1B3ioH">
         <child id="1178549979242" name="visibility" index="1B3o_S" />
       </concept>
+      <concept id="6329021646629104957" name="jetbrains.mps.baseLanguage.structure.TextCommentPart" flags="nn" index="3SKdUq">
+        <property id="6329021646629104958" name="text" index="3SKdUp" />
+      </concept>
+      <concept id="6329021646629104954" name="jetbrains.mps.baseLanguage.structure.SingleLineComment" flags="nn" index="3SKdUt">
+        <child id="6329021646629175155" name="commentPart" index="3SKWNk" />
+      </concept>
+      <concept id="1146644602865" name="jetbrains.mps.baseLanguage.structure.PublicVisibility" flags="nn" index="3Tm1VV" />
       <concept id="1146644623116" name="jetbrains.mps.baseLanguage.structure.PrivateVisibility" flags="nn" index="3Tm6S6" />
+      <concept id="1080120340718" name="jetbrains.mps.baseLanguage.structure.AndExpression" flags="nn" index="1Wc70l" />
+      <concept id="1170345865475" name="jetbrains.mps.baseLanguage.structure.AnonymousClass" flags="ig" index="1Y3b0j">
+        <reference id="1170346070688" name="classifier" index="1Y3XeK" />
+      </concept>
     </language>
     <language id="63650c59-16c8-498a-99c8-005c7ee9515d" name="jetbrains.mps.lang.access">
       <concept id="8974276187400348173" name="jetbrains.mps.lang.access.structure.CommandClosureLiteral" flags="nn" index="1QHqEC" />
@@ -120,16 +187,41 @@
         <child id="3906496115198199033" name="conceptArgument" index="3oSUPX" />
       </concept>
       <concept id="3648723375513868532" name="jetbrains.mps.lang.smodel.structure.NodePointer_ResolveOperation" flags="ng" index="Vyspw" />
-      <concept id="1140137987495" name="jetbrains.mps.lang.smodel.structure.SNodeTypeCastExpression" flags="nn" index="1PxgMI" />
+      <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="1140137987495" name="jetbrains.mps.lang.smodel.structure.SNodeTypeCastExpression" flags="nn" index="1PxgMI">
+        <property id="1238684351431" name="asCast" index="1BlNFB" />
+      </concept>
       <concept id="1138055754698" name="jetbrains.mps.lang.smodel.structure.SNodeType" flags="in" index="3Tqbb2">
         <reference id="1138405853777" name="concept" index="ehGHo" />
       </concept>
+      <concept id="1138056022639" name="jetbrains.mps.lang.smodel.structure.SPropertyAccess" flags="nn" index="3TrcHB">
+        <reference id="1138056395725" name="property" index="3TsBF5" />
+      </concept>
     </language>
     <language id="ceab5195-25ea-4f22-9b92-103b95ca8c0c" name="jetbrains.mps.lang.core">
       <concept id="1169194658468" name="jetbrains.mps.lang.core.structure.INamedConcept" flags="ng" index="TrEIO">
         <property id="1169194664001" name="name" index="TrG5h" />
       </concept>
     </language>
+    <language id="83888646-71ce-4f1c-9c53-c54016f6ad4f" name="jetbrains.mps.baseLanguage.collections">
+      <concept id="1201306600024" name="jetbrains.mps.baseLanguage.collections.structure.ContainsKeyOperation" flags="nn" index="2Nt0df">
+        <child id="1201654602639" name="key" index="38cxEo" />
+      </concept>
+      <concept id="1197683403723" name="jetbrains.mps.baseLanguage.collections.structure.MapType" flags="in" index="3rvAFt">
+        <child id="1197683466920" name="keyType" index="3rvQeY" />
+        <child id="1197683475734" name="valueType" index="3rvSg0" />
+      </concept>
+      <concept id="1197686869805" name="jetbrains.mps.baseLanguage.collections.structure.HashMapCreator" flags="nn" index="3rGOSV">
+        <child id="1197687026896" name="keyType" index="3rHrn6" />
+        <child id="1197687035757" name="valueType" index="3rHtpV" />
+      </concept>
+      <concept id="1197932370469" name="jetbrains.mps.baseLanguage.collections.structure.MapElement" flags="nn" index="3EllGN">
+        <child id="1197932505799" name="map" index="3ElQJh" />
+        <child id="1197932525128" name="key" index="3ElVtu" />
+      </concept>
+    </language>
   </registry>
   <node concept="2XOHcx" id="6EwjVjWuXZY">
     <property role="2XOHcw" value="${lambdacalc_home}" />
@@ -159,8 +251,20 @@
                 </node>
                 <node concept="1jxXqW" id="27bTNFfbVgO" role="37wK5m" />
               </node>
-              <node concept="liA8E" id="27bTNFfbwSB" role="2OqNvi">
-                <ref role="37wK5l" to="tj24:27bTNFfaVLW" resolve="skipLocal" />
+              <node concept="liA8E" id="4ZGicUZkED9" role="2OqNvi">
+                <ref role="37wK5l" to="tj24:4ZGicUYVP43" resolve="customMatcher" />
+                <node concept="1bVj0M" id="4ZGicUZkEDa" role="37wK5m">
+                  <node concept="3clFbS" id="4ZGicUZkEDb" role="1bW5cS">
+                    <node concept="3clFbF" id="4ZGicUZkEDc" role="3cqZAp">
+                      <node concept="2OqwBi" id="4ZGicUZkEDd" role="3clFbG">
+                        <node concept="2WthIp" id="4ZGicUZkEDe" role="2Oq$k0" />
+                        <node concept="2XshWL" id="4ZGicUZkEDf" role="2OqNvi">
+                          <ref role="2WH_rO" node="4ZGicUYXn0k" resolve="customMatcher" />
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                </node>
               </node>
             </node>
             <node concept="liA8E" id="27bTNFfbwSC" role="2OqNvi">
@@ -227,8 +331,20 @@
                 </node>
                 <node concept="1jxXqW" id="27bTNFfbW6J" role="37wK5m" />
               </node>
-              <node concept="liA8E" id="27bTNFfbwTh" role="2OqNvi">
-                <ref role="37wK5l" to="tj24:27bTNFfaVLW" resolve="skipLocal" />
+              <node concept="liA8E" id="4ZGicUZkKZL" role="2OqNvi">
+                <ref role="37wK5l" to="tj24:4ZGicUYVP43" resolve="customMatcher" />
+                <node concept="1bVj0M" id="4ZGicUZkKZM" role="37wK5m">
+                  <node concept="3clFbS" id="4ZGicUZkKZN" role="1bW5cS">
+                    <node concept="3clFbF" id="4ZGicUZkKZO" role="3cqZAp">
+                      <node concept="2OqwBi" id="4ZGicUZkKZP" role="3clFbG">
+                        <node concept="2WthIp" id="4ZGicUZkKZQ" role="2Oq$k0" />
+                        <node concept="2XshWL" id="4ZGicUZkKZR" role="2OqNvi">
+                          <ref role="2WH_rO" node="4ZGicUYXn0k" resolve="customMatcher" />
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                </node>
               </node>
             </node>
             <node concept="liA8E" id="27bTNFfbwTi" role="2OqNvi">
@@ -261,7 +377,7 @@
                 </node>
                 <node concept="1jxXqW" id="27bTNFfbWaD" role="37wK5m" />
               </node>
-              <node concept="liA8E" id="27bTNFfbwTV" role="2OqNvi">
+              <node concept="liA8E" id="4ZGicUZkUjM" role="2OqNvi">
                 <ref role="37wK5l" to="tj24:27bTNFfaVLW" resolve="skipLocal" />
               </node>
             </node>
@@ -295,8 +411,20 @@
                 </node>
                 <node concept="1jxXqW" id="27bTNFfbWxr" role="37wK5m" />
               </node>
-              <node concept="liA8E" id="27bTNFfbwU_" role="2OqNvi">
-                <ref role="37wK5l" to="tj24:27bTNFfaVLW" resolve="skipLocal" />
+              <node concept="liA8E" id="4ZGicUZkV9_" role="2OqNvi">
+                <ref role="37wK5l" to="tj24:4ZGicUYVP43" resolve="customMatcher" />
+                <node concept="1bVj0M" id="4ZGicUZkV9A" role="37wK5m">
+                  <node concept="3clFbS" id="4ZGicUZkV9B" role="1bW5cS">
+                    <node concept="3clFbF" id="4ZGicUZkV9C" role="3cqZAp">
+                      <node concept="2OqwBi" id="4ZGicUZkV9D" role="3clFbG">
+                        <node concept="2WthIp" id="4ZGicUZkV9E" role="2Oq$k0" />
+                        <node concept="2XshWL" id="4ZGicUZkV9F" role="2OqNvi">
+                          <ref role="2WH_rO" node="4ZGicUYXn0k" resolve="customMatcher" />
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                </node>
               </node>
             </node>
             <node concept="liA8E" id="27bTNFfbwUA" role="2OqNvi">
@@ -397,7 +525,7 @@
                 </node>
                 <node concept="1jxXqW" id="RcyXiSVPlQ" role="37wK5m" />
               </node>
-              <node concept="liA8E" id="RcyXiSVPlR" role="2OqNvi">
+              <node concept="liA8E" id="4ZGicUYZkQw" role="2OqNvi">
                 <ref role="37wK5l" to="tj24:27bTNFfaVLW" resolve="skipLocal" />
               </node>
             </node>
@@ -539,6 +667,234 @@
       </node>
       <node concept="3Tm6S6" id="35YJGAJTxCl" role="1B3o_S" />
     </node>
+    <node concept="2XrIbr" id="4ZGicUYXn0k" role="1qtyYc">
+      <property role="TrG5h" value="customMatcher" />
+      <node concept="3uibUv" id="4ZGicUYXn8R" role="3clF45">
+        <ref role="3uigEE" to="tj24:4ZGicUYVz9J" resolve="TestLaunchTypechecking.CustomMatcher" />
+      </node>
+      <node concept="3clFbS" id="4ZGicUYXn0m" role="3clF47">
+        <node concept="3SKdUt" id="4ZGicUYXqIW" role="3cqZAp">
+          <node concept="3SKdUq" id="4ZGicUYXqIY" role="3SKWNk">
+            <property role="3SKdUp" value="ensure type vars can be renamed and corresponding refs match" />
+          </node>
+        </node>
+        <node concept="3clFbF" id="4ZGicUYXnuf" role="3cqZAp">
+          <node concept="2ShNRf" id="4ZGicUYXnud" role="3clFbG">
+            <node concept="YeOm9" id="4ZGicUYXnBR" role="2ShVmc">
+              <node concept="1Y3b0j" id="4ZGicUYXnBU" role="YeSDq">
+                <property role="2bfB8j" value="true" />
+                <ref role="1Y3XeK" to="tj24:4ZGicUYVz9J" resolve="TestLaunchTypechecking.CustomMatcher" />
+                <ref role="37wK5l" to="wyt6:~Object.&lt;init&gt;()" resolve="Object" />
+                <node concept="312cEg" id="4ZGicUYXsNi" role="jymVt">
+                  <property role="TrG5h" value="typeNames" />
+                  <node concept="3Tm6S6" id="4ZGicUYXsNj" role="1B3o_S" />
+                  <node concept="3rvAFt" id="4ZGicUYXsRG" role="1tU5fm">
+                    <node concept="17QB3L" id="4ZGicUYZr5z" role="3rvQeY" />
+                    <node concept="17QB3L" id="4ZGicUYZrnM" role="3rvSg0" />
+                  </node>
+                  <node concept="2ShNRf" id="4ZGicUYXtE7" role="33vP2m">
+                    <node concept="3rGOSV" id="4ZGicUYXtgO" role="2ShVmc">
+                      <node concept="17QB3L" id="4ZGicUYZs45" role="3rHrn6" />
+                      <node concept="17QB3L" id="4ZGicUYZsqr" role="3rHtpV" />
+                    </node>
+                  </node>
+                </node>
+                <node concept="3Tm1VV" id="4ZGicUYXnBV" role="1B3o_S" />
+                <node concept="3clFb_" id="4ZGicUYXnBX" role="jymVt">
+                  <property role="TrG5h" value="matching" />
+                  <node concept="37vLTG" id="4ZGicUYXnBY" role="3clF46">
+                    <property role="TrG5h" value="a" />
+                    <node concept="3Tqbb2" id="4ZGicUYXnBZ" role="1tU5fm" />
+                  </node>
+                  <node concept="37vLTG" id="4ZGicUYXnC0" role="3clF46">
+                    <property role="TrG5h" value="b" />
+                    <node concept="3Tqbb2" id="4ZGicUYXnC1" role="1tU5fm" />
+                  </node>
+                  <node concept="10P_77" id="4ZGicUYXnC2" role="3clF45" />
+                  <node concept="3Tm1VV" id="4ZGicUYXnC3" role="1B3o_S" />
+                  <node concept="3clFbS" id="4ZGicUYXnCc" role="3clF47">
+                    <node concept="3clFbH" id="4ZGicUZ0_cQ" role="3cqZAp" />
+                    <node concept="3clFbJ" id="4ZGicUYXtHn" role="3cqZAp">
+                      <node concept="3clFbS" id="4ZGicUYXtHp" role="3clFbx">
+                        <node concept="3clFbJ" id="4ZGicUYXx8e" role="3cqZAp">
+                          <node concept="3clFbS" id="4ZGicUYXx8g" role="3clFbx">
+                            <node concept="3clFbJ" id="4ZGicUYXHMq" role="3cqZAp">
+                              <node concept="3clFbS" id="4ZGicUYXHMs" role="3clFbx">
+                                <node concept="3clFbH" id="4ZGicUZ0p_t" role="3cqZAp" />
+                                <node concept="YS8fn" id="4ZGicUYXXmh" role="3cqZAp">
+                                  <node concept="2ShNRf" id="4ZGicUYXYar" role="YScLw">
+                                    <node concept="1pGfFk" id="4ZGicUYXYgP" role="2ShVmc">
+                                      <ref role="37wK5l" to="tj24:4ZGicUYXVqN" resolve="TestLaunchTypechecking.CustomMatchException" />
+                                      <node concept="3cpWs3" id="4ZGicUZ2pEX" role="37wK5m">
+                                        <node concept="37vLTw" id="4ZGicUZ2pPs" role="3uHU7w">
+                                          <ref role="3cqZAo" node="4ZGicUYXnC0" resolve="b" />
+                                        </node>
+                                        <node concept="3cpWs3" id="4ZGicUZ2oSA" role="3uHU7B">
+                                          <node concept="3cpWs3" id="4ZGicUZ2nHl" role="3uHU7B">
+                                            <node concept="Xl_RD" id="4ZGicUYXYk1" role="3uHU7B">
+                                              <property role="Xl_RC" value="mismatched VarType: " />
+                                            </node>
+                                            <node concept="37vLTw" id="4ZGicUZ2owa" role="3uHU7w">
+                                              <ref role="3cqZAo" node="4ZGicUYXnBY" resolve="a" />
+                                            </node>
+                                          </node>
+                                          <node concept="Xl_RD" id="4ZGicUZ2p2R" role="3uHU7w">
+                                            <property role="Xl_RC" value=" and " />
+                                          </node>
+                                        </node>
+                                      </node>
+                                    </node>
+                                  </node>
+                                </node>
+                              </node>
+                              <node concept="3fqX7Q" id="4ZGicUYXIjU" role="3clFbw">
+                                <node concept="1eOMI4" id="4ZGicUYXIjW" role="3fr31v">
+                                  <node concept="17R0WA" id="4ZGicUZ0mYr" role="1eOMHV">
+                                    <node concept="2OqwBi" id="4ZGicUZ0fzw" role="3uHU7B">
+                                      <node concept="1PxgMI" id="4ZGicUZ0eih" role="2Oq$k0">
+                                        <property role="1BlNFB" value="true" />
+                                        <node concept="chp4Y" id="4ZGicUZ0fkR" role="3oSUPX">
+                                          <ref role="cht4Q" to="8tt8:3g9UT2j9I06" resolve="VarType" />
+                                        </node>
+                                        <node concept="37vLTw" id="4ZGicUYXIkD" role="1m5AlR">
+                                          <ref role="3cqZAo" node="4ZGicUYXnC0" resolve="b" />
+                                        </node>
+                                      </node>
+                                      <node concept="3TrcHB" id="4ZGicUZ0gPq" role="2OqNvi">
+                                        <ref role="3TsBF5" to="tpck:h0TrG11" resolve="name" />
+                                      </node>
+                                    </node>
+                                    <node concept="3EllGN" id="4ZGicUYXKhx" role="3uHU7w">
+                                      <node concept="2OqwBi" id="4ZGicUZ0cAs" role="3ElVtu">
+                                        <node concept="1PxgMI" id="4ZGicUZ0bo6" role="2Oq$k0">
+                                          <property role="1BlNFB" value="true" />
+                                          <node concept="chp4Y" id="4ZGicUZ0co9" role="3oSUPX">
+                                            <ref role="cht4Q" to="8tt8:3g9UT2j9I06" resolve="VarType" />
+                                          </node>
+                                          <node concept="37vLTw" id="4ZGicUYXKGs" role="1m5AlR">
+                                            <ref role="3cqZAo" node="4ZGicUYXnBY" resolve="a" />
+                                          </node>
+                                        </node>
+                                        <node concept="3TrcHB" id="4ZGicUZ0dZH" role="2OqNvi">
+                                          <ref role="3TsBF5" to="tpck:h0TrG11" resolve="name" />
+                                        </node>
+                                      </node>
+                                      <node concept="37vLTw" id="4ZGicUYXJTU" role="3ElQJh">
+                                        <ref role="3cqZAo" node="4ZGicUYXsNi" resolve="typeNames" />
+                                      </node>
+                                    </node>
+                                  </node>
+                                </node>
+                              </node>
+                            </node>
+                            <node concept="3clFbH" id="4ZGicUYYvcx" role="3cqZAp" />
+                          </node>
+                          <node concept="2OqwBi" id="4ZGicUYXx$q" role="3clFbw">
+                            <node concept="37vLTw" id="4ZGicUYXx9f" role="2Oq$k0">
+                              <ref role="3cqZAo" node="4ZGicUYXsNi" resolve="typeNames" />
+                            </node>
+                            <node concept="2Nt0df" id="4ZGicUYXAWL" role="2OqNvi">
+                              <node concept="2OqwBi" id="4ZGicUZ09OZ" role="38cxEo">
+                                <node concept="1PxgMI" id="4ZGicUZ08Lz" role="2Oq$k0">
+                                  <property role="1BlNFB" value="true" />
+                                  <node concept="chp4Y" id="4ZGicUZ09F3" role="3oSUPX">
+                                    <ref role="cht4Q" to="8tt8:3g9UT2j9I06" resolve="VarType" />
+                                  </node>
+                                  <node concept="37vLTw" id="4ZGicUYXAYX" role="1m5AlR">
+                                    <ref role="3cqZAo" node="4ZGicUYXnBY" resolve="a" />
+                                  </node>
+                                </node>
+                                <node concept="3TrcHB" id="4ZGicUZ0b9T" role="2OqNvi">
+                                  <ref role="3TsBF5" to="tpck:h0TrG11" resolve="name" />
+                                </node>
+                              </node>
+                            </node>
+                          </node>
+                          <node concept="9aQIb" id="4ZGicUYYw6c" role="9aQIa">
+                            <node concept="3clFbS" id="4ZGicUYYw6d" role="9aQI4">
+                              <node concept="3clFbF" id="4ZGicUYYwOQ" role="3cqZAp">
+                                <node concept="37vLTI" id="4ZGicUYYxhX" role="3clFbG">
+                                  <node concept="2OqwBi" id="4ZGicUZ0uvC" role="37vLTx">
+                                    <node concept="1PxgMI" id="4ZGicUZ0toj" role="2Oq$k0">
+                                      <property role="1BlNFB" value="true" />
+                                      <node concept="chp4Y" id="4ZGicUZ0uls" role="3oSUPX">
+                                        <ref role="cht4Q" to="8tt8:3g9UT2j9I06" resolve="VarType" />
+                                      </node>
+                                      <node concept="37vLTw" id="4ZGicUYYxkb" role="1m5AlR">
+                                        <ref role="3cqZAo" node="4ZGicUYXnC0" resolve="b" />
+                                      </node>
+                                    </node>
+                                    <node concept="3TrcHB" id="4ZGicUZ0vQE" role="2OqNvi">
+                                      <ref role="3TsBF5" to="tpck:h0TrG11" resolve="name" />
+                                    </node>
+                                  </node>
+                                  <node concept="3EllGN" id="4ZGicUYYx8b" role="37vLTJ">
+                                    <node concept="2OqwBi" id="4ZGicUZ0rJW" role="3ElVtu">
+                                      <node concept="1PxgMI" id="4ZGicUZ0qAX" role="2Oq$k0">
+                                        <property role="1BlNFB" value="true" />
+                                        <node concept="chp4Y" id="4ZGicUZ0r$$" role="3oSUPX">
+                                          <ref role="cht4Q" to="8tt8:3g9UT2j9I06" resolve="VarType" />
+                                        </node>
+                                        <node concept="37vLTw" id="4ZGicUYYx8H" role="1m5AlR">
+                                          <ref role="3cqZAo" node="4ZGicUYXnBY" resolve="a" />
+                                        </node>
+                                      </node>
+                                      <node concept="3TrcHB" id="4ZGicUZ0t6o" role="2OqNvi">
+                                        <ref role="3TsBF5" to="tpck:h0TrG11" resolve="name" />
+                                      </node>
+                                    </node>
+                                    <node concept="37vLTw" id="4ZGicUYYwOP" role="3ElQJh">
+                                      <ref role="3cqZAo" node="4ZGicUYXsNi" resolve="typeNames" />
+                                    </node>
+                                  </node>
+                                </node>
+                              </node>
+                            </node>
+                          </node>
+                        </node>
+                        <node concept="3clFbH" id="4ZGicUZ0DXQ" role="3cqZAp" />
+                        <node concept="3cpWs6" id="4ZGicUYYzmm" role="3cqZAp">
+                          <node concept="3clFbT" id="4ZGicUYYz$7" role="3cqZAk">
+                            <property role="3clFbU" value="true" />
+                          </node>
+                        </node>
+                      </node>
+                      <node concept="1Wc70l" id="4ZGicUYXvn$" role="3clFbw">
+                        <node concept="2OqwBi" id="4ZGicUYXvCt" role="3uHU7w">
+                          <node concept="37vLTw" id="4ZGicUYXvvc" role="2Oq$k0">
+                            <ref role="3cqZAo" node="4ZGicUYXnC0" resolve="b" />
+                          </node>
+                          <node concept="1mIQ4w" id="4ZGicUYXwwj" role="2OqNvi">
+                            <node concept="chp4Y" id="4ZGicUYXw_1" role="cj9EA">
+                              <ref role="cht4Q" to="8tt8:3g9UT2j9I06" resolve="VarType" />
+                            </node>
+                          </node>
+                        </node>
+                        <node concept="2OqwBi" id="4ZGicUYXugU" role="3uHU7B">
+                          <node concept="37vLTw" id="4ZGicUYXu7w" role="2Oq$k0">
+                            <ref role="3cqZAo" node="4ZGicUYXnBY" resolve="a" />
+                          </node>
+                          <node concept="1mIQ4w" id="4ZGicUYXv3m" role="2OqNvi">
+                            <node concept="chp4Y" id="4ZGicUYXv5d" role="cj9EA">
+                              <ref role="cht4Q" to="8tt8:3g9UT2j9I06" resolve="VarType" />
+                            </node>
+                          </node>
+                        </node>
+                      </node>
+                    </node>
+                    <node concept="3clFbH" id="4ZGicUYXtGQ" role="3cqZAp" />
+                    <node concept="3cpWs6" id="4ZGicUYZ04k" role="3cqZAp">
+                      <node concept="3clFbT" id="4ZGicUYZ04l" role="3cqZAk" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="3Tm6S6" id="4ZGicUYXn8N" role="1B3o_S" />
+    </node>
   </node>
 </model>