From ff95a22ef329e311032834f402a889844f603613 Mon Sep 17 00:00:00 2001
From: Fedor Isakov <fisakov@gmail.com>
Date: Thu, 12 Nov 2015 11:42:26 +0100
Subject: [PATCH] Better constraints printing in external runner

---
 ....lang.typesystem2.samplechecker.runner.msd |  22 +-
 .../lang/typesystem2/samplechecker/runner.mps | 355 +++++++++++++-----
 2 files changed, 270 insertions(+), 107 deletions(-)

diff --git a/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.samplechecker.runner/jetbrains.mps.lang.typesystem2.samplechecker.runner.msd b/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.samplechecker.runner/jetbrains.mps.lang.typesystem2.samplechecker.runner.msd
index 1a75e6bb..7cf0c47d 100644
--- a/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.samplechecker.runner/jetbrains.mps.lang.typesystem2.samplechecker.runner.msd
+++ b/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.samplechecker.runner/jetbrains.mps.lang.typesystem2.samplechecker.runner.msd
@@ -7,14 +7,10 @@
   </models>
   <sourcePath />
   <dependencies>
-    <dependency reexport="false">b6db9382-d342-43fd-8051-5b6af3c0c80a(jetbrains.mps.lang.typesystem2.samplechecker.handler)</dependency>
-    <dependency reexport="false">6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK)</dependency>
     <dependency reexport="false">a5478664-6b44-4c62-a9f7-434f8aa57eee(jetbrains.mps.logic.runtime)</dependency>
-    <dependency reexport="false">6ed54515-acc8-4d1e-a16c-9fd6cfe951ea(MPS.Core)</dependency>
-    <dependency reexport="false">3ddddf69-9ff0-426b-9365-51ae7356fb82(jetbrains.mps.lang.typesystem2.sample)</dependency>
     <dependency reexport="false">7526e0cf-1ce7-46f8-a555-9eca1e06c23b(jetbrains.mps.logic.atom)</dependency>
-    <dependency reexport="false">b984ee52-f34d-4b6d-8812-866c1d3eae31(jetbrains.mps.jchr.runtime)</dependency>
     <dependency reexport="false">26e8f4ce-2a35-4f44-8065-e5ba154b18e9(jetbrains.mps.lang.typesystem2.runtime)</dependency>
+    <dependency reexport="false">f61473f9-130f-42f6-b98d-6c438812c2f6(jetbrains.mps.baseLanguage.unitTest)</dependency>
   </dependencies>
   <usedLanguages>
     <usedLanguage>f3061a53-9226-4cc5-a443-f952ceaf5816(jetbrains.mps.baseLanguage)</usedLanguage>
@@ -26,24 +22,26 @@
   <languageVersions>
     <language id="f3061a53-9226-4cc5-a443-f952ceaf5816" fqName="jetbrains.mps.baseLanguage" version="3" />
     <language id="ed6d7656-532c-4bc2-81d1-af945aeb8280" fqName="jetbrains.mps.baseLanguage.blTypes" version="0" />
-    <language id="fd392034-7849-419d-9071-12563d152375" fqName="jetbrains.mps.baseLanguage.closures" version="0" />
-    <language id="83888646-71ce-4f1c-9c53-c54016f6ad4f" fqName="jetbrains.mps.baseLanguage.collections" version="0" />
     <language id="760a0a8c-eabb-4521-8bfd-65db761a9ba3" fqName="jetbrains.mps.baseLanguage.logging" version="0" />
-    <language id="894463aa-8754-49c0-bf4b-6a32af66b376" fqName="jetbrains.mps.jchr" version="0" />
     <language id="ceab5195-25ea-4f22-9b92-103b95ca8c0c" fqName="jetbrains.mps.lang.core" version="1" />
-    <language id="7866978e-a0f0-4cc7-81bc-4d213d9375e1" fqName="jetbrains.mps.lang.smodel" version="2" />
     <language id="9ded098b-ad6a-4657-bfd9-48636cfe8bc3" fqName="jetbrains.mps.lang.traceable" version="0" />
-    <language id="35320f26-77cb-4c55-be9f-a97a27770af1" fqName="jetbrains.mps.logic" version="0" />
   </languageVersions>
   <dependencyVersions>
     <module reference="3f233e7f-b8a6-46d2-a57f-795d56775243(Annotations)" version="0" />
     <module reference="6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK)" version="0" />
     <module reference="6ed54515-acc8-4d1e-a16c-9fd6cfe951ea(MPS.Core)" version="0" />
     <module reference="8865b7a8-5271-43d3-884c-6fd1d9cfdd34(MPS.OpenAPI)" version="0" />
+    <module reference="f3061a53-9226-4cc5-a443-f952ceaf5816(jetbrains.mps.baseLanguage)" version="0" />
+    <module reference="ed6d7656-532c-4bc2-81d1-af945aeb8280(jetbrains.mps.baseLanguage.blTypes)" version="0" />
+    <module reference="e39e4a59-8cb6-498e-860e-8fa8361c0d90(jetbrains.mps.baseLanguage.scopes)" version="0" />
+    <module reference="f61473f9-130f-42f6-b98d-6c438812c2f6(jetbrains.mps.baseLanguage.unitTest)" version="0" />
+    <module reference="83f155ff-422c-4b5a-a2f2-b459302dd215(jetbrains.mps.baseLanguage.unitTest.libs)" version="0" />
     <module reference="b984ee52-f34d-4b6d-8812-866c1d3eae31(jetbrains.mps.jchr.runtime)" version="0" />
+    <module reference="ceab5195-25ea-4f22-9b92-103b95ca8c0c(jetbrains.mps.lang.core)" version="0" />
+    <module reference="d7eb0a2a-bd50-4576-beae-e4a89db35f20(jetbrains.mps.lang.scopes.runtime)" version="0" />
+    <module reference="c72da2b9-7cce-4447-8389-f407dc1158b7(jetbrains.mps.lang.structure)" version="0" />
+    <module reference="9ded098b-ad6a-4657-bfd9-48636cfe8bc3(jetbrains.mps.lang.traceable)" version="0" />
     <module reference="26e8f4ce-2a35-4f44-8065-e5ba154b18e9(jetbrains.mps.lang.typesystem2.runtime)" version="0" />
-    <module reference="3ddddf69-9ff0-426b-9365-51ae7356fb82(jetbrains.mps.lang.typesystem2.sample)" version="0" />
-    <module reference="b6db9382-d342-43fd-8051-5b6af3c0c80a(jetbrains.mps.lang.typesystem2.samplechecker.handler)" version="0" />
     <module reference="c246f30f-e11c-4dc1-80c6-154d0aebc8b3(jetbrains.mps.lang.typesystem2.samplechecker.runner)" version="0" />
     <module reference="7526e0cf-1ce7-46f8-a555-9eca1e06c23b(jetbrains.mps.logic.atom)" version="0" />
     <module reference="a5478664-6b44-4c62-a9f7-434f8aa57eee(jetbrains.mps.logic.runtime)" version="0" />
diff --git a/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.samplechecker.runner/models/jetbrains/mps/lang/typesystem2/samplechecker/runner.mps b/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.samplechecker.runner/models/jetbrains/mps/lang/typesystem2/samplechecker/runner.mps
index e2766b11..19778920 100644
--- a/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.samplechecker.runner/models/jetbrains/mps/lang/typesystem2/samplechecker/runner.mps
+++ b/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.samplechecker.runner/models/jetbrains/mps/lang/typesystem2/samplechecker/runner.mps
@@ -2,11 +2,8 @@
 <model ref="r:999d4d33-c34a-4228-9fea-c5d1d293923a(jetbrains.mps.lang.typesystem2.samplechecker.runner)">
   <persistence version="9" />
   <languages>
-    <use id="894463aa-8754-49c0-bf4b-6a32af66b376" name="jetbrains.mps.jchr" version="0" />
-    <use id="35320f26-77cb-4c55-be9f-a97a27770af1" name="jetbrains.mps.logic" version="-1" />
     <use id="760a0a8c-eabb-4521-8bfd-65db761a9ba3" name="jetbrains.mps.baseLanguage.logging" version="0" />
     <use id="ceab5195-25ea-4f22-9b92-103b95ca8c0c" name="jetbrains.mps.lang.core" version="1" />
-    <use id="7866978e-a0f0-4cc7-81bc-4d213d9375e1" name="jetbrains.mps.lang.smodel" version="2" />
     <use id="f3061a53-9226-4cc5-a443-f952ceaf5816" name="jetbrains.mps.baseLanguage" version="3" />
   </languages>
   <imports>
@@ -21,7 +18,6 @@
     <import index="iawt" ref="b984ee52-f34d-4b6d-8812-866c1d3eae31/java:runtime.debug(jetbrains.mps.jchr.runtime/)" />
     <import index="t6h5" ref="6354ebe7-c22a-4a0f-ac54-50b52ab9b065/java:java.lang.reflect(JDK/)" />
     <import index="q7tw" ref="6ed54515-acc8-4d1e-a16c-9fd6cfe951ea/java:org.apache.log4j(MPS.Core/)" />
-    <import index="yt73" ref="7526e0cf-1ce7-46f8-a555-9eca1e06c23b/java:jetbrains.mps.unification(jetbrains.mps.unification.tree/)" />
     <import index="4t1t" ref="r:703839e2-c38f-4b71-8602-72ccb87dd74e(jetbrains.mps.lang.typesystem2.runtime.util)" />
     <import index="bspi" ref="r:b094f86e-558c-4295-8b38-f6a26ad07b4f(jetbrains.mps.logic.constraint)" />
     <import index="xq5w" ref="r:729bada4-05fa-458f-8bf8-28b9cb978726(jetbrains.mps.logic.builtin.var)" />
@@ -54,6 +50,9 @@
       <concept id="1188220165133" name="jetbrains.mps.baseLanguage.structure.ArrayLiteral" flags="nn" index="2BsdOp">
         <child id="1188220173759" name="item" index="2BsfMF" />
       </concept>
+      <concept id="2820489544401957797" name="jetbrains.mps.baseLanguage.structure.DefaultClassCreator" flags="nn" index="HV5vD">
+        <reference id="2820489544401957798" name="classifier" index="HV5vE" />
+      </concept>
       <concept id="1224848483129" name="jetbrains.mps.baseLanguage.structure.IBLDeprecatable" flags="ng" index="IEa8$">
         <property id="1224848525476" name="isDeprecated" index="IEkAT" />
       </concept>
@@ -1457,7 +1456,7 @@
             <node concept="liA8E" id="104EUzFgG7G" role="2OqNvi">
               <ref role="37wK5l" to="wyt6:~StringBuilder.append(java.lang.String):java.lang.StringBuilder" resolve="append" />
               <node concept="Xl_RD" id="104EUzFgGaL" role="37wK5m">
-                <property role="Xl_RC" value="&gt; \n" />
+                <property role="Xl_RC" value="(" />
               </node>
             </node>
           </node>
@@ -1492,7 +1491,7 @@
                 <property role="Xl_RC" value="" />
               </node>
               <node concept="Xl_RD" id="104EUzFh0lY" role="2BsfMF">
-                <property role="Xl_RC" value="\n" />
+                <property role="Xl_RC" value=", " />
               </node>
             </node>
           </node>
@@ -1598,81 +1597,107 @@
             <node concept="3clFbH" id="4ef1vBgB738" role="3cqZAp" />
             <node concept="3clFbJ" id="4ef1vBgB24W" role="3cqZAp">
               <node concept="3clFbS" id="4ef1vBgB24Y" role="3clFbx">
-                <node concept="3cpWs8" id="4ef1vBgB65B" role="3cqZAp">
-                  <node concept="3cpWsn" id="4ef1vBgB65C" role="3cpWs9">
+                <node concept="1X3_iC" id="1jo82tq1dd7" role="lGtFl">
+                  <property role="3V$3am" value="statement" />
+                  <property role="3V$3ak" value="f3061a53-9226-4cc5-a443-f952ceaf5816/1068580123136/1068581517665" />
+                  <node concept="3cpWs8" id="4ef1vBgB65B" role="8Wnug">
+                    <node concept="3cpWsn" id="4ef1vBgB65C" role="3cpWs9">
+                      <property role="TrG5h" value="prettyPrint" />
+                      <node concept="17QB3L" id="4ef1vBgB65D" role="1tU5fm" />
+                      <node concept="3K4zz7" id="4ef1vBgB65E" role="33vP2m">
+                        <node concept="37vLTw" id="4ef1vBgB9A_" role="3K4GZi">
+                          <ref role="3cqZAo" node="4ef1vBgB5bx" resolve="name" />
+                        </node>
+                        <node concept="3y3z36" id="4ef1vBgB65I" role="3K4Cdx">
+                          <node concept="10Nm6u" id="4ef1vBgB65J" role="3uHU7w" />
+                          <node concept="37vLTw" id="4ef1vBgB91t" role="3uHU7B">
+                            <ref role="3cqZAo" node="4ef1vBgB8od" resolve="value" />
+                          </node>
+                        </node>
+                        <node concept="2YIFZM" id="4ef1vBgB65L" role="3K4E3e">
+                          <ref role="1Pybhc" to="ie8e:5s497VqXwA7" resolve="PrettyPrinter" />
+                          <ref role="37wK5l" to="ie8e:5s497VqXK1B" resolve="prettyPrint" />
+                          <node concept="1eOMI4" id="4ef1vBgB9tf" role="37wK5m">
+                            <node concept="10QFUN" id="4ef1vBgB9tc" role="1eOMHV">
+                              <node concept="3uibUv" id="4ef1vBgB9xB" role="10QFUM">
+                                <ref role="3uigEE" to="ie8e:1bm7a6EXvsP" resolve="Atom" />
+                              </node>
+                              <node concept="37vLTw" id="4ef1vBgB9th" role="10QFUP">
+                                <ref role="3cqZAo" node="4ef1vBgB8od" resolve="value" />
+                              </node>
+                            </node>
+                          </node>
+                          <node concept="3cmrfG" id="4ef1vBgB65P" role="37wK5m">
+                            <property role="3cmrfH" value="2" />
+                          </node>
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                </node>
+                <node concept="3cpWs8" id="1jo82tq1d7r" role="3cqZAp">
+                  <node concept="3cpWsn" id="1jo82tq1d7s" role="3cpWs9">
                     <property role="TrG5h" value="prettyPrint" />
-                    <node concept="17QB3L" id="4ef1vBgB65D" role="1tU5fm" />
-                    <node concept="3K4zz7" id="4ef1vBgB65E" role="33vP2m">
-                      <node concept="37vLTw" id="4ef1vBgB9A_" role="3K4GZi">
+                    <node concept="17QB3L" id="1jo82tq1d7t" role="1tU5fm" />
+                    <node concept="3K4zz7" id="1jo82tq1d7u" role="33vP2m">
+                      <node concept="37vLTw" id="1jo82tq1d7v" role="3K4GZi">
                         <ref role="3cqZAo" node="4ef1vBgB5bx" resolve="name" />
                       </node>
-                      <node concept="3y3z36" id="4ef1vBgB65I" role="3K4Cdx">
-                        <node concept="10Nm6u" id="4ef1vBgB65J" role="3uHU7w" />
-                        <node concept="37vLTw" id="4ef1vBgB91t" role="3uHU7B">
+                      <node concept="3y3z36" id="1jo82tq1d7w" role="3K4Cdx">
+                        <node concept="10Nm6u" id="1jo82tq1d7x" role="3uHU7w" />
+                        <node concept="37vLTw" id="1jo82tq1d7y" role="3uHU7B">
                           <ref role="3cqZAo" node="4ef1vBgB8od" resolve="value" />
                         </node>
                       </node>
-                      <node concept="2YIFZM" id="4ef1vBgB65L" role="3K4E3e">
-                        <ref role="1Pybhc" to="ie8e:5s497VqXwA7" resolve="PrettyPrinter" />
-                        <ref role="37wK5l" to="ie8e:5s497VqXK1B" resolve="prettyPrint" />
-                        <node concept="1eOMI4" id="4ef1vBgB9tf" role="37wK5m">
-                          <node concept="10QFUN" id="4ef1vBgB9tc" role="1eOMHV">
-                            <node concept="3uibUv" id="4ef1vBgB9xB" role="10QFUM">
-                              <ref role="3uigEE" to="ie8e:1bm7a6EXvsP" resolve="Atom" />
-                            </node>
-                            <node concept="37vLTw" id="4ef1vBgB9th" role="10QFUP">
+                      <node concept="2YIFZM" id="1jo82tq2Chl" role="3K4E3e">
+                        <ref role="1Pybhc" to="4t1t:4peSo3CHy8D" resolve="NodePrinter" />
+                        <ref role="37wK5l" to="4t1t:4peSo3D04j7" resolve="print" />
+                        <node concept="2YIFZM" id="1jo82tq2Chm" role="37wK5m">
+                          <ref role="37wK5l" to="ie8e:6HT7BWBOXr$" resolve="ground" />
+                          <ref role="1Pybhc" to="ie8e:6HT7BWBOXme" resolve="AtomUtil" />
+                          <node concept="10QFUN" id="1jo82tq2Chn" role="37wK5m">
+                            <node concept="37vLTw" id="1jo82tq2Cho" role="10QFUP">
                               <ref role="3cqZAo" node="4ef1vBgB8od" resolve="value" />
                             </node>
+                            <node concept="3uibUv" id="1jo82tq2Chp" role="10QFUM">
+                              <ref role="3uigEE" to="ie8e:1bm7a6EXvsP" resolve="Atom" />
+                            </node>
                           </node>
                         </node>
-                        <node concept="3cmrfG" id="4ef1vBgB65P" role="37wK5m">
-                          <property role="3cmrfH" value="2" />
+                        <node concept="2ShNRf" id="1jo82tq2Chq" role="37wK5m">
+                          <node concept="HV5vD" id="1jo82tq2Chr" role="2ShVmc">
+                            <ref role="HV5vE" node="3gJBs5s_5u0" resolve="TestHandlerRunner.TypeVarSymbol" />
+                          </node>
                         </node>
                       </node>
                     </node>
                   </node>
                 </node>
                 <node concept="3clFbF" id="4ef1vBgBbTf" role="3cqZAp">
-                  <node concept="2OqwBi" id="4ef1vBgBbTg" role="3clFbG">
-                    <node concept="2OqwBi" id="4ef1vBgBbTh" role="2Oq$k0">
-                      <node concept="2OqwBi" id="4ef1vBgBbTi" role="2Oq$k0">
-                        <node concept="2OqwBi" id="4ef1vBgBbTj" role="2Oq$k0">
-                          <node concept="37vLTw" id="4ef1vBgBbTk" role="2Oq$k0">
-                            <ref role="3cqZAo" node="104EUzFgB$8" resolve="sb" />
-                          </node>
-                          <node concept="liA8E" id="4ef1vBgBbTl" role="2OqNvi">
-                            <ref role="37wK5l" to="wyt6:~StringBuilder.append(java.lang.String):java.lang.StringBuilder" resolve="append" />
-                            <node concept="AH0OO" id="4ef1vBgBbTm" role="37wK5m">
-                              <node concept="1rXfSq" id="4ef1vBgBbTn" role="AHEQo">
-                                <ref role="37wK5l" node="104EUzFheOH" resolve="sgn" />
-                                <node concept="37vLTw" id="4ef1vBgBbTo" role="37wK5m">
-                                  <ref role="3cqZAo" node="104EUzFgKl9" resolve="i" />
-                                </node>
-                              </node>
-                              <node concept="37vLTw" id="4ef1vBgBbTp" role="AHHXb">
-                                <ref role="3cqZAo" node="104EUzFgZ7n" resolve="sep" />
-                              </node>
+                  <node concept="2OqwBi" id="4ef1vBgBbTh" role="3clFbG">
+                    <node concept="2OqwBi" id="4ef1vBgBbTj" role="2Oq$k0">
+                      <node concept="37vLTw" id="4ef1vBgBbTk" role="2Oq$k0">
+                        <ref role="3cqZAo" node="104EUzFgB$8" resolve="sb" />
+                      </node>
+                      <node concept="liA8E" id="4ef1vBgBbTl" role="2OqNvi">
+                        <ref role="37wK5l" to="wyt6:~StringBuilder.append(java.lang.String):java.lang.StringBuilder" resolve="append" />
+                        <node concept="AH0OO" id="4ef1vBgBbTm" role="37wK5m">
+                          <node concept="1rXfSq" id="4ef1vBgBbTn" role="AHEQo">
+                            <ref role="37wK5l" node="104EUzFheOH" resolve="sgn" />
+                            <node concept="37vLTw" id="4ef1vBgBbTo" role="37wK5m">
+                              <ref role="3cqZAo" node="104EUzFgKl9" resolve="i" />
                             </node>
                           </node>
-                        </node>
-                        <node concept="liA8E" id="4ef1vBgBbTq" role="2OqNvi">
-                          <ref role="37wK5l" to="wyt6:~StringBuilder.append(java.lang.String):java.lang.StringBuilder" resolve="append" />
-                          <node concept="Xl_RD" id="4ef1vBgBbTr" role="37wK5m">
-                            <property role="Xl_RC" value="  `" />
+                          <node concept="37vLTw" id="4ef1vBgBbTp" role="AHHXb">
+                            <ref role="3cqZAo" node="104EUzFgZ7n" resolve="sep" />
                           </node>
                         </node>
                       </node>
-                      <node concept="liA8E" id="4ef1vBgBbTs" role="2OqNvi">
-                        <ref role="37wK5l" to="wyt6:~StringBuilder.append(java.lang.String):java.lang.StringBuilder" resolve="append" />
-                        <node concept="37vLTw" id="4ef1vBgBbTt" role="37wK5m">
-                          <ref role="3cqZAo" node="4ef1vBgB65C" resolve="prettyPrint" />
-                        </node>
-                      </node>
                     </node>
-                    <node concept="liA8E" id="4ef1vBgBbTu" role="2OqNvi">
+                    <node concept="liA8E" id="4ef1vBgBbTs" role="2OqNvi">
                       <ref role="37wK5l" to="wyt6:~StringBuilder.append(java.lang.String):java.lang.StringBuilder" resolve="append" />
-                      <node concept="Xl_RD" id="4ef1vBgBbTv" role="37wK5m">
-                        <property role="Xl_RC" value="`" />
+                      <node concept="37vLTw" id="4ef1vBgBbTt" role="37wK5m">
+                        <ref role="3cqZAo" node="1jo82tq1d7s" resolve="prettyPrint" />
                       </node>
                     </node>
                   </node>
@@ -1718,49 +1743,57 @@
                 </node>
                 <node concept="3clFbS" id="4ef1vBgB2sz" role="3eOfB_">
                   <node concept="3clFbF" id="4ef1vBgBcgZ" role="3cqZAp">
-                    <node concept="2OqwBi" id="4ef1vBgBch0" role="3clFbG">
-                      <node concept="2OqwBi" id="4ef1vBgBch1" role="2Oq$k0">
-                        <node concept="2OqwBi" id="4ef1vBgBch2" role="2Oq$k0">
-                          <node concept="37vLTw" id="4ef1vBgBch3" role="2Oq$k0">
-                            <ref role="3cqZAo" node="104EUzFgB$8" resolve="sb" />
-                          </node>
-                          <node concept="liA8E" id="4ef1vBgBch4" role="2OqNvi">
-                            <ref role="37wK5l" to="wyt6:~StringBuilder.append(java.lang.String):java.lang.StringBuilder" resolve="append" />
-                            <node concept="AH0OO" id="4ef1vBgBch5" role="37wK5m">
-                              <node concept="1rXfSq" id="4ef1vBgBch6" role="AHEQo">
-                                <ref role="37wK5l" node="104EUzFheOH" resolve="sgn" />
-                                <node concept="37vLTw" id="4ef1vBgBch7" role="37wK5m">
-                                  <ref role="3cqZAo" node="104EUzFgKl9" resolve="i" />
+                    <node concept="2OqwBi" id="1jo82tq1ih4" role="3clFbG">
+                      <node concept="2OqwBi" id="4ef1vBgBch0" role="2Oq$k0">
+                        <node concept="2OqwBi" id="4ef1vBgBch1" role="2Oq$k0">
+                          <node concept="2OqwBi" id="4ef1vBgBch2" role="2Oq$k0">
+                            <node concept="37vLTw" id="4ef1vBgBch3" role="2Oq$k0">
+                              <ref role="3cqZAo" node="104EUzFgB$8" resolve="sb" />
+                            </node>
+                            <node concept="liA8E" id="4ef1vBgBch4" role="2OqNvi">
+                              <ref role="37wK5l" to="wyt6:~StringBuilder.append(java.lang.String):java.lang.StringBuilder" resolve="append" />
+                              <node concept="AH0OO" id="4ef1vBgBch5" role="37wK5m">
+                                <node concept="1rXfSq" id="4ef1vBgBch6" role="AHEQo">
+                                  <ref role="37wK5l" node="104EUzFheOH" resolve="sgn" />
+                                  <node concept="37vLTw" id="4ef1vBgBch7" role="37wK5m">
+                                    <ref role="3cqZAo" node="104EUzFgKl9" resolve="i" />
+                                  </node>
+                                </node>
+                                <node concept="37vLTw" id="4ef1vBgBch8" role="AHHXb">
+                                  <ref role="3cqZAo" node="104EUzFgZ7n" resolve="sep" />
                                 </node>
-                              </node>
-                              <node concept="37vLTw" id="4ef1vBgBch8" role="AHHXb">
-                                <ref role="3cqZAo" node="104EUzFgZ7n" resolve="sep" />
                               </node>
                             </node>
                           </node>
-                        </node>
-                        <node concept="liA8E" id="4ef1vBgBch9" role="2OqNvi">
-                          <ref role="37wK5l" to="wyt6:~StringBuilder.append(java.lang.String):java.lang.StringBuilder" resolve="append" />
-                          <node concept="Xl_RD" id="4ef1vBgBcha" role="37wK5m">
-                            <property role="Xl_RC" value="  @" />
+                          <node concept="liA8E" id="4ef1vBgBch9" role="2OqNvi">
+                            <ref role="37wK5l" to="wyt6:~StringBuilder.append(java.lang.String):java.lang.StringBuilder" resolve="append" />
+                            <node concept="Xl_RD" id="4ef1vBgBcha" role="37wK5m">
+                              <property role="Xl_RC" value="\&quot;" />
+                            </node>
                           </node>
                         </node>
-                      </node>
-                      <node concept="liA8E" id="4ef1vBgBchb" role="2OqNvi">
-                        <ref role="37wK5l" to="wyt6:~StringBuilder.append(java.lang.Object):java.lang.StringBuilder" resolve="append" />
-                        <node concept="3K4zz7" id="4ef1vBgBdXc" role="37wK5m">
-                          <node concept="37vLTw" id="4ef1vBgBdXd" role="3K4GZi">
-                            <ref role="3cqZAo" node="4ef1vBgB5bx" resolve="name" />
-                          </node>
-                          <node concept="3y3z36" id="4ef1vBgBdXe" role="3K4Cdx">
-                            <node concept="10Nm6u" id="4ef1vBgBdXf" role="3uHU7w" />
-                            <node concept="37vLTw" id="4ef1vBgBdXg" role="3uHU7B">
+                        <node concept="liA8E" id="4ef1vBgBchb" role="2OqNvi">
+                          <ref role="37wK5l" to="wyt6:~StringBuilder.append(java.lang.Object):java.lang.StringBuilder" resolve="append" />
+                          <node concept="3K4zz7" id="4ef1vBgBdXc" role="37wK5m">
+                            <node concept="37vLTw" id="4ef1vBgBdXd" role="3K4GZi">
+                              <ref role="3cqZAo" node="4ef1vBgB5bx" resolve="name" />
+                            </node>
+                            <node concept="3y3z36" id="4ef1vBgBdXe" role="3K4Cdx">
+                              <node concept="10Nm6u" id="4ef1vBgBdXf" role="3uHU7w" />
+                              <node concept="37vLTw" id="4ef1vBgBdXg" role="3uHU7B">
+                                <ref role="3cqZAo" node="4ef1vBgB8od" resolve="value" />
+                              </node>
+                            </node>
+                            <node concept="37vLTw" id="4ef1vBgBdXh" role="3K4E3e">
                               <ref role="3cqZAo" node="4ef1vBgB8od" resolve="value" />
                             </node>
                           </node>
-                          <node concept="37vLTw" id="4ef1vBgBdXh" role="3K4E3e">
-                            <ref role="3cqZAo" node="4ef1vBgB8od" resolve="value" />
-                          </node>
+                        </node>
+                      </node>
+                      <node concept="liA8E" id="1jo82tq1i_x" role="2OqNvi">
+                        <ref role="37wK5l" to="wyt6:~StringBuilder.append(java.lang.String):java.lang.StringBuilder" resolve="append" />
+                        <node concept="Xl_RD" id="1jo82tq1iCx" role="37wK5m">
+                          <property role="Xl_RC" value="\&quot;" />
                         </node>
                       </node>
                     </node>
@@ -1798,7 +1831,7 @@
                               <node concept="liA8E" id="4ef1vBgBfvO" role="2OqNvi">
                                 <ref role="37wK5l" to="wyt6:~StringBuilder.append(java.lang.String):java.lang.StringBuilder" resolve="append" />
                                 <node concept="Xl_RD" id="4ef1vBgBfzh" role="37wK5m">
-                                  <property role="Xl_RC" value="  ?" />
+                                  <property role="Xl_RC" value="?" />
                                 </node>
                               </node>
                             </node>
@@ -1863,8 +1896,16 @@
         <node concept="3clFbH" id="104EUzFgMnh" role="3cqZAp" />
         <node concept="3clFbF" id="104EUzFgR9I" role="3cqZAp">
           <node concept="2OqwBi" id="104EUzFgRu7" role="3clFbG">
-            <node concept="37vLTw" id="104EUzFgR9G" role="2Oq$k0">
-              <ref role="3cqZAo" node="104EUzFgB$8" resolve="sb" />
+            <node concept="2OqwBi" id="1jo82tq1fhD" role="2Oq$k0">
+              <node concept="37vLTw" id="104EUzFgR9G" role="2Oq$k0">
+                <ref role="3cqZAo" node="104EUzFgB$8" resolve="sb" />
+              </node>
+              <node concept="liA8E" id="1jo82tq1fuD" role="2OqNvi">
+                <ref role="37wK5l" to="wyt6:~StringBuilder.append(java.lang.String):java.lang.StringBuilder" resolve="append" />
+                <node concept="Xl_RD" id="1jo82tq1fAb" role="37wK5m">
+                  <property role="Xl_RC" value=")" />
+                </node>
+              </node>
             </node>
             <node concept="liA8E" id="104EUzFgRTt" role="2OqNvi">
               <ref role="37wK5l" to="wyt6:~StringBuilder.toString():java.lang.String" resolve="toString" />
@@ -1969,6 +2010,130 @@
         <ref role="3uigEE" to="stuq:~GraphicalTracer" resolve="GraphicalTracer" />
       </node>
     </node>
+    <node concept="2tJIrI" id="1jo82tq2n7I" role="jymVt" />
+    <node concept="312cEu" id="3gJBs5s_5u0" role="jymVt">
+      <property role="2bfB8j" value="false" />
+      <property role="TrG5h" value="TypeVarSymbol" />
+      <node concept="2tJIrI" id="3gJBs5s_6yN" role="jymVt" />
+      <node concept="3clFb_" id="3gJBs5s_6yZ" role="jymVt">
+        <property role="1EzhhJ" value="false" />
+        <property role="TrG5h" value="variableSymbol" />
+        <node concept="37vLTG" id="3gJBs5s_6z0" role="3clF46">
+          <property role="TrG5h" value="variable" />
+          <node concept="3uibUv" id="3gJBs5s_6z1" role="1tU5fm">
+            <ref role="3uigEE" to="ie8e:uNmovXiEd4" resolve="Variable" />
+          </node>
+        </node>
+        <node concept="17QB3L" id="4peSo3D1hha" role="3clF45" />
+        <node concept="3Tm1VV" id="3gJBs5s_6z3" role="1B3o_S" />
+        <node concept="3clFbS" id="3gJBs5s_6z9" role="3clF47">
+          <node concept="3clFbJ" id="3gJBs5s_6EV" role="3cqZAp">
+            <node concept="3clFbS" id="3gJBs5s_6EW" role="3clFbx">
+              <node concept="3cpWs8" id="3gJBs5s_7Ie" role="3cqZAp">
+                <node concept="3cpWsn" id="3gJBs5s_7If" role="3cpWs9">
+                  <property role="TrG5h" value="logical" />
+                  <node concept="3uibUv" id="3gJBs5s_7I4" role="1tU5fm">
+                    <ref role="3uigEE" to="yg8f:1mP5b6jQP$C" resolve="ILogical" />
+                    <node concept="3qTvmN" id="3gJBs5s_7I7" role="11_B2D" />
+                  </node>
+                  <node concept="2OqwBi" id="5kEUewdDk6_" role="33vP2m">
+                    <node concept="2OqwBi" id="3gJBs5s_7Ig" role="2Oq$k0">
+                      <node concept="1eOMI4" id="3gJBs5s_7Ih" role="2Oq$k0">
+                        <node concept="10QFUN" id="3gJBs5s_7Ii" role="1eOMHV">
+                          <node concept="3uibUv" id="3gJBs5s_7Ij" role="10QFUM">
+                            <ref role="3uigEE" to="yg8f:46l0wJhtOD_" resolve="ILogicalVar" />
+                          </node>
+                          <node concept="37vLTw" id="3gJBs5s_7Ik" role="10QFUP">
+                            <ref role="3cqZAo" node="3gJBs5s_6z0" resolve="variable" />
+                          </node>
+                        </node>
+                      </node>
+                      <node concept="liA8E" id="3gJBs5s_7Il" role="2OqNvi">
+                        <ref role="37wK5l" to="yg8f:46l0wJhtXlr" resolve="logical" />
+                      </node>
+                    </node>
+                    <node concept="liA8E" id="5kEUewdDkka" role="2OqNvi">
+                      <ref role="37wK5l" to="yg8f:dfChU1eNVy" resolve="findRoot" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+              <node concept="3clFbH" id="3gJBs5s_ngZ" role="3cqZAp" />
+              <node concept="3cpWs8" id="3gJBs5s_fIH" role="3cqZAp">
+                <node concept="3cpWsn" id="3gJBs5s_fII" role="3cpWs9">
+                  <property role="TrG5h" value="prettyVar" />
+                  <node concept="3uibUv" id="3gJBs5s_fIJ" role="1tU5fm">
+                    <ref role="3uigEE" to="wyt6:~StringBuilder" resolve="StringBuilder" />
+                  </node>
+                  <node concept="2ShNRf" id="3gJBs5s_fIK" role="33vP2m">
+                    <node concept="1pGfFk" id="3gJBs5s_fIL" role="2ShVmc">
+                      <ref role="37wK5l" to="wyt6:~StringBuilder.&lt;init&gt;(java.lang.String)" resolve="StringBuilder" />
+                      <node concept="2YIFZM" id="5kEUewdD__8" role="37wK5m">
+                        <ref role="1Pybhc" to="wyt6:~String" resolve="String" />
+                        <ref role="37wK5l" to="wyt6:~String.valueOf(char[]):java.lang.String" resolve="valueOf" />
+                        <node concept="2OqwBi" id="5kEUewdDo5I" role="37wK5m">
+                          <node concept="37vLTw" id="3gJBs5s_fIM" role="2Oq$k0">
+                            <ref role="3cqZAo" node="3gJBs5s_7If" resolve="logical" />
+                          </node>
+                          <node concept="liA8E" id="5kEUewdDoh_" role="2OqNvi">
+                            <ref role="37wK5l" to="yg8f:1mP5b6jQPMI" resolve="value" />
+                          </node>
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+              <node concept="3cpWs6" id="3gJBs5s_loM" role="3cqZAp">
+                <node concept="2OqwBi" id="3gJBs5s_lTD" role="3cqZAk">
+                  <node concept="37vLTw" id="3gJBs5s_lJ9" role="2Oq$k0">
+                    <ref role="3cqZAo" node="3gJBs5s_fII" resolve="prettyVar" />
+                  </node>
+                  <node concept="liA8E" id="3gJBs5s_mK7" role="2OqNvi">
+                    <ref role="37wK5l" to="wyt6:~StringBuilder.toString():java.lang.String" resolve="toString" />
+                  </node>
+                </node>
+              </node>
+              <node concept="3clFbH" id="3gJBs5s_nxx" role="3cqZAp" />
+            </node>
+            <node concept="2ZW3vV" id="3gJBs5s_6UT" role="3clFbw">
+              <node concept="3uibUv" id="3gJBs5s_78A" role="2ZW6by">
+                <ref role="3uigEE" to="yg8f:46l0wJhtOD_" resolve="ILogicalVar" />
+              </node>
+              <node concept="37vLTw" id="3gJBs5s_6FT" role="2ZW6bz">
+                <ref role="3cqZAo" node="3gJBs5s_6z0" resolve="variable" />
+              </node>
+            </node>
+            <node concept="9aQIb" id="3gJBs5s_7KK" role="9aQIa">
+              <node concept="3clFbS" id="3gJBs5s_7KL" role="9aQI4">
+                <node concept="3cpWs6" id="3gJBs5s_7Qc" role="3cqZAp">
+                  <node concept="2YIFZM" id="4peSo3D1kYQ" role="3cqZAk">
+                    <ref role="1Pybhc" to="wyt6:~String" resolve="String" />
+                    <ref role="37wK5l" to="wyt6:~String.valueOf(java.lang.Object):java.lang.String" resolve="valueOf" />
+                    <node concept="2OqwBi" id="4peSo3D0$Pp" role="37wK5m">
+                      <node concept="37vLTw" id="4peSo3D0$zo" role="2Oq$k0">
+                        <ref role="3cqZAo" node="3gJBs5s_6z0" resolve="variable" />
+                      </node>
+                      <node concept="liA8E" id="4peSo3D0AYC" role="2OqNvi">
+                        <ref role="37wK5l" to="ie8e:56MMu0Ark7d" resolve="symbol" />
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="2AHcQZ" id="3gJBs5s_6za" role="2AJF6D">
+          <ref role="2AI5Lk" to="wyt6:~Override" resolve="Override" />
+        </node>
+      </node>
+      <node concept="3Tm6S6" id="5kEUewdD8xu" role="1B3o_S" />
+      <node concept="3uibUv" id="4peSo3D1gxU" role="1zkMxy">
+        <ref role="3uigEE" to="4t1t:3gJBs5s$bxr" resolve="NodePrinter.DefaultVariableSymbol" />
+      </node>
+    </node>
+    <node concept="2tJIrI" id="1jo82tq2nKr" role="jymVt" />
     <node concept="2tJIrI" id="3Qp4N06bZor" role="jymVt" />
     <node concept="3Tm1VV" id="3Qp4N06bZos" role="1B3o_S" />
   </node>