From 54153b57a69cbd1bca65d74696de762e28bfaf5f Mon Sep 17 00:00:00 2001
From: Fedor Isakov <fisakov@gmail.com>
Date: Wed, 17 May 2017 16:52:32 +0200
Subject: [PATCH] Simplify unification, drop unifies constraint, drop trace
 constraint.

---
 .../languages/sample.fooblin/models/types.mps | 463 +-----------------
 1 file changed, 16 insertions(+), 447 deletions(-)

diff --git a/samples/lambdacalc/languages/sample.fooblin/models/types.mps b/samples/lambdacalc/languages/sample.fooblin/models/types.mps
index 5410e26e..b9b60ff3 100644
--- a/samples/lambdacalc/languages/sample.fooblin/models/types.mps
+++ b/samples/lambdacalc/languages/sample.fooblin/models/types.mps
@@ -405,7 +405,6 @@
       <concept id="5524459797190399502" name="jetbrains.mps.lang.typesystem2.structure.TermDeclaration" flags="ng" index="BRKj$">
         <child id="5524459797190401236" name="template" index="BRKSY" />
       </concept>
-      <concept id="7248331023826941335" name="jetbrains.mps.lang.typesystem2.structure.AssertExpressionConstraint" flags="ng" index="3lcGGY" />
       <concept id="8908809128804390455" name="jetbrains.mps.lang.typesystem2.structure.TypeLogicalExpression" flags="ng" index="3txIi4" />
       <concept id="8908809128801951589" name="jetbrains.mps.lang.typesystem2.structure.TypeInitializer" flags="ng" index="3uniRm">
         <child id="8908809128801951592" name="code" index="3uniRr" />
@@ -1122,21 +1121,20 @@
               </node>
             </node>
           </node>
-          <node concept="3I6s7M" id="WBEjvSTmlK" role="3I6sU7">
-            <node concept="3Aqt3T" id="44a9n8Es2$L" role="3I6s78">
-              <ref role="3AqCNq" node="44a9n8ErYcT" resolve="unifies" />
-              <node concept="a7P8L" id="3Lj6UsgFxtE" role="3AunhB">
+          <node concept="3I6s7M" id="2BWkXu0IGGD" role="3I6sU7">
+            <node concept="3A8Hvi" id="2BWkXu0IGGz" role="3I6s78">
+              <node concept="a7P8L" id="2BWkXu0IGPA" role="3A8wtg">
                 <ref role="a7OzE" node="3Lj6UsgFxni" resolve="FI" />
               </node>
-              <node concept="1Q4cc8" id="44a9n8Es2_e" role="3AunhB">
+              <node concept="1Q4cc8" id="2BWkXu0IGHk" role="3A8w4Q">
                 <ref role="1nfQt" node="4dPZ2m2hWGK" resolve="Fun" />
-                <node concept="1RziaG" id="44a9n8Es2_m" role="1Ryyee">
+                <node concept="1RziaG" id="2BWkXu0IGHC" role="1Ryyee">
                   <ref role="1RzibV" node="4dPZ2m2hXGZ" resolve="arg" />
-                  <node concept="3AP2Rn" id="44a9n8Es2_n" role="1RzmR7">
-                    <node concept="3clFbS" id="44a9n8Es2_o" role="16YjZG">
-                      <node concept="3clFbF" id="44a9n8Es2Ay" role="3cqZAp">
-                        <node concept="3A9UF8" id="44a9n8Es2Av" role="3clFbG">
-                          <node concept="a7P8L" id="44a9n8Es2Ax" role="3A9W3M">
+                  <node concept="3AP2Rn" id="2BWkXu0IGHD" role="1RzmR7">
+                    <node concept="3clFbS" id="2BWkXu0IGHE" role="16YjZG">
+                      <node concept="3clFbF" id="2BWkXu0IGHT" role="3cqZAp">
+                        <node concept="3A9UF8" id="2BWkXu0IGHR" role="3clFbG">
+                          <node concept="a7P8L" id="2BWkXu0IGI8" role="3A9W3M">
                             <ref role="a7OzE" node="44a9n8Es2A7" resolve="FA" />
                           </node>
                         </node>
@@ -1144,13 +1142,13 @@
                     </node>
                   </node>
                 </node>
-                <node concept="1RziaG" id="44a9n8Es2_O" role="1Ryyee">
+                <node concept="1RziaG" id="2BWkXu0IGKY" role="1Ryyee">
                   <ref role="1RzibV" node="4dPZ2m2hXHj" resolve="res" />
-                  <node concept="3AP2Rn" id="44a9n8Es2_P" role="1RzmR7">
-                    <node concept="3clFbS" id="44a9n8Es2_Q" role="16YjZG">
-                      <node concept="3clFbF" id="44a9n8Es2C4" role="3cqZAp">
-                        <node concept="3A9UF8" id="44a9n8Es2C1" role="3clFbG">
-                          <node concept="a7P8L" id="44a9n8Es2C3" role="3A9W3M">
+                  <node concept="3AP2Rn" id="2BWkXu0IGKZ" role="1RzmR7">
+                    <node concept="3clFbS" id="2BWkXu0IGL0" role="16YjZG">
+                      <node concept="3clFbF" id="2BWkXu0IGLl" role="3cqZAp">
+                        <node concept="3A9UF8" id="2BWkXu0IGLj" role="3clFbG">
+                          <node concept="a7P8L" id="2BWkXu0IGMf" role="3A9W3M">
                             <ref role="a7OzE" node="44a9n8Es2Aj" resolve="FR" />
                           </node>
                         </node>
@@ -1389,23 +1387,6 @@
         <property role="TrG5h" value="forall" />
       </node>
     </node>
-    <node concept="3AqmO8" id="44a9n8ErYcT" role="3AqmFx">
-      <property role="TrG5h" value="unifies" />
-      <property role="3AqDzJ" value="2" />
-      <node concept="1zAUYm" id="44a9n8ErYcV" role="1zAUyy">
-        <property role="TrG5h" value="left" />
-      </node>
-      <node concept="1zAUYm" id="44a9n8ErYcX" role="1zAUyy">
-        <property role="TrG5h" value="right" />
-      </node>
-    </node>
-    <node concept="3AqmO8" id="g7nsZkprnF" role="3AqmFx">
-      <property role="TrG5h" value="trace" />
-      <property role="3AqDzJ" value="1" />
-      <node concept="1zAUYm" id="g7nsZkprnR" role="1zAUyy">
-        <property role="TrG5h" value="term" />
-      </node>
-    </node>
     <node concept="3AqmO8" id="RRVBbp6QpB" role="3AqmFx">
       <property role="TrG5h" value="varname" />
       <property role="3AqDzJ" value="2" />
@@ -1447,418 +1428,6 @@
       </node>
     </node>
   </node>
-  <node concept="AVZre" id="44a9n8ErYgw">
-    <property role="TrG5h" value="unifies" />
-    <node concept="AVZhu" id="44a9n8ErYgz" role="3ArX_J">
-      <property role="TrG5h" value="unifies" />
-      <node concept="3Aq93q" id="44a9n8ErYgA" role="3orSU4">
-        <property role="3ArMco" value="false" />
-        <node concept="3NuqgR" id="44a9n8ErYgE" role="3Nuqhd">
-          <node concept="aZer4" id="44a9n8ErYgF" role="3XD1gS">
-            <property role="TrG5h" value="LA" />
-          </node>
-          <node concept="aZer4" id="44a9n8ErYjU" role="3XD1gS">
-            <property role="TrG5h" value="LR" />
-          </node>
-          <node concept="aZer4" id="44a9n8ErYgO" role="3XD1gS">
-            <property role="TrG5h" value="RA" />
-          </node>
-          <node concept="aZer4" id="44a9n8ErYkg" role="3XD1gS">
-            <property role="TrG5h" value="RR" />
-          </node>
-        </node>
-        <node concept="3I6sU6" id="Cn$NxdZfEK" role="3Ip0Jz">
-          <node concept="3I6s7M" id="Cn$NxdZfEL" role="3I6sU7">
-            <node concept="3Aqt3T" id="44a9n8ErYh0" role="3I6s78">
-              <ref role="3AqCNq" node="44a9n8ErYcT" resolve="unifies" />
-              <node concept="1Q4cc8" id="44a9n8ErYi3" role="3AunhB">
-                <ref role="1nfQt" node="4dPZ2m2hWGK" resolve="Fun" />
-                <node concept="1RziaG" id="44a9n8ErYib" role="1Ryyee">
-                  <ref role="1RzibV" node="4dPZ2m2hXGZ" resolve="arg" />
-                  <node concept="3AP2Rn" id="44a9n8ErYic" role="1RzmR7">
-                    <node concept="3clFbS" id="44a9n8ErYid" role="16YjZG">
-                      <node concept="3clFbF" id="44a9n8ErYkB" role="3cqZAp">
-                        <node concept="3A9UF8" id="44a9n8ErYk$" role="3clFbG">
-                          <node concept="a7P8L" id="44a9n8ErYkA" role="3A9W3M">
-                            <ref role="a7OzE" node="44a9n8ErYgF" resolve="LA" />
-                          </node>
-                        </node>
-                      </node>
-                    </node>
-                  </node>
-                </node>
-                <node concept="1RziaG" id="44a9n8ErYiq" role="1Ryyee">
-                  <ref role="1RzibV" node="4dPZ2m2hXHj" resolve="res" />
-                  <node concept="3AP2Rn" id="44a9n8ErYir" role="1RzmR7">
-                    <node concept="3clFbS" id="44a9n8ErYis" role="16YjZG">
-                      <node concept="3clFbF" id="44a9n8ErYm8" role="3cqZAp">
-                        <node concept="3A9UF8" id="44a9n8ErYm5" role="3clFbG">
-                          <node concept="a7P8L" id="44a9n8ErYm7" role="3A9W3M">
-                            <ref role="a7OzE" node="44a9n8ErYjU" resolve="LR" />
-                          </node>
-                        </node>
-                      </node>
-                    </node>
-                  </node>
-                </node>
-              </node>
-              <node concept="1Q4cc8" id="44a9n8ErYj4" role="3AunhB">
-                <ref role="1nfQt" node="4dPZ2m2hWGK" resolve="Fun" />
-                <node concept="1RziaG" id="44a9n8ErYjm" role="1Ryyee">
-                  <ref role="1RzibV" node="4dPZ2m2hXGZ" resolve="arg" />
-                  <node concept="3AP2Rn" id="44a9n8ErYjn" role="1RzmR7">
-                    <node concept="3clFbS" id="44a9n8ErYjo" role="16YjZG">
-                      <node concept="3clFbF" id="44a9n8ErYnD" role="3cqZAp">
-                        <node concept="3A9UF8" id="44a9n8ErYnA" role="3clFbG">
-                          <node concept="a7P8L" id="44a9n8ErYnC" role="3A9W3M">
-                            <ref role="a7OzE" node="44a9n8ErYgO" resolve="RA" />
-                          </node>
-                        </node>
-                      </node>
-                    </node>
-                  </node>
-                </node>
-                <node concept="1RziaG" id="44a9n8ErYj_" role="1Ryyee">
-                  <ref role="1RzibV" node="4dPZ2m2hXHj" resolve="res" />
-                  <node concept="3AP2Rn" id="44a9n8ErYjA" role="1RzmR7">
-                    <node concept="3clFbS" id="44a9n8ErYjB" role="16YjZG">
-                      <node concept="3clFbF" id="44a9n8ErYpa" role="3cqZAp">
-                        <node concept="3A9UF8" id="44a9n8ErYp7" role="3clFbG">
-                          <node concept="a7P8L" id="44a9n8ErYp9" role="3A9W3M">
-                            <ref role="a7OzE" node="44a9n8ErYkg" resolve="RR" />
-                          </node>
-                        </node>
-                      </node>
-                    </node>
-                  </node>
-                </node>
-              </node>
-            </node>
-          </node>
-        </node>
-      </node>
-      <node concept="3Aq9E8" id="44a9n8ErYhH" role="3otmyu">
-        <node concept="3I6sU6" id="Cn$NxdZfIg" role="3Ip0Jz">
-          <node concept="3I6s7M" id="Cn$NxdZfIh" role="3I6sU7">
-            <node concept="3A8Hvi" id="44a9n8ErYqC" role="3I6s78">
-              <node concept="a7P8L" id="44a9n8ErYqK" role="3A8wtg">
-                <ref role="a7OzE" node="44a9n8ErYgF" resolve="LA" />
-              </node>
-              <node concept="a7P8L" id="44a9n8ErYqP" role="3A8w4Q">
-                <ref role="a7OzE" node="44a9n8ErYgO" resolve="RA" />
-              </node>
-            </node>
-          </node>
-          <node concept="3I6s7M" id="Cn$NxdZfIi" role="3I6sU7">
-            <node concept="3A8Hvi" id="44a9n8ErYqV" role="3I6s78">
-              <node concept="a7P8L" id="44a9n8ErYra" role="3A8wtg">
-                <ref role="a7OzE" node="44a9n8ErYjU" resolve="LR" />
-              </node>
-              <node concept="a7P8L" id="44a9n8ErYsH" role="3A8w4Q">
-                <ref role="a7OzE" node="44a9n8ErYkg" resolve="RR" />
-              </node>
-            </node>
-          </node>
-        </node>
-      </node>
-    </node>
-    <node concept="AVZhu" id="6eI2Tb45gAb" role="3ArX_J">
-      <property role="TrG5h" value="unifies_left" />
-      <node concept="3Aq93q" id="6eI2Tb45gAc" role="3orSU4">
-        <property role="3ArMco" value="false" />
-        <node concept="3NuqgR" id="6eI2Tb45gAd" role="3Nuqhd">
-          <node concept="aZer4" id="6eI2Tb45gAe" role="3XD1gS">
-            <property role="TrG5h" value="LA" />
-          </node>
-          <node concept="aZer4" id="6eI2Tb45gAf" role="3XD1gS">
-            <property role="TrG5h" value="LR" />
-          </node>
-          <node concept="aZer4" id="6eI2Tb45gHC" role="3XD1gS">
-            <property role="TrG5h" value="R" />
-          </node>
-        </node>
-        <node concept="3I6sU6" id="Cn$NxdZfKx" role="3Ip0Jz">
-          <node concept="3I6s7M" id="Cn$NxdZfKy" role="3I6sU7">
-            <node concept="3Aqt3T" id="6eI2Tb45gAk" role="3I6s78">
-              <ref role="3AqCNq" node="44a9n8ErYcT" resolve="unifies" />
-              <node concept="1Q4cc8" id="6eI2Tb45gAl" role="3AunhB">
-                <ref role="1nfQt" node="4dPZ2m2hWGK" resolve="Fun" />
-                <node concept="1RziaG" id="6eI2Tb45gAn" role="1Ryyee">
-                  <ref role="1RzibV" node="4dPZ2m2hXGZ" resolve="arg" />
-                  <node concept="3AP2Rn" id="6eI2Tb45gAo" role="1RzmR7">
-                    <node concept="3clFbS" id="6eI2Tb45gAp" role="16YjZG">
-                      <node concept="3clFbF" id="6eI2Tb45gAq" role="3cqZAp">
-                        <node concept="3A9UF8" id="6eI2Tb45gAr" role="3clFbG">
-                          <node concept="a7P8L" id="6eI2Tb45gAs" role="3A9W3M">
-                            <ref role="a7OzE" node="6eI2Tb45gAe" resolve="LA" />
-                          </node>
-                        </node>
-                      </node>
-                    </node>
-                  </node>
-                </node>
-                <node concept="1RziaG" id="6eI2Tb45gAt" role="1Ryyee">
-                  <ref role="1RzibV" node="4dPZ2m2hXHj" resolve="res" />
-                  <node concept="3AP2Rn" id="6eI2Tb45gAu" role="1RzmR7">
-                    <node concept="3clFbS" id="6eI2Tb45gAv" role="16YjZG">
-                      <node concept="3clFbF" id="6eI2Tb45gAw" role="3cqZAp">
-                        <node concept="3A9UF8" id="6eI2Tb45gAx" role="3clFbG">
-                          <node concept="a7P8L" id="6eI2Tb45gAy" role="3A9W3M">
-                            <ref role="a7OzE" node="6eI2Tb45gAf" resolve="LR" />
-                          </node>
-                        </node>
-                      </node>
-                    </node>
-                  </node>
-                </node>
-              </node>
-              <node concept="a7P8L" id="6eI2Tb45huQ" role="3AunhB">
-                <ref role="a7OzE" node="6eI2Tb45gHC" resolve="R" />
-              </node>
-            </node>
-          </node>
-        </node>
-      </node>
-      <node concept="3Aq9E8" id="6eI2Tb45gAL" role="3otmyu">
-        <node concept="3I6sU6" id="Cn$NxdZfNe" role="3Ip0Jz">
-          <node concept="3I6s7M" id="Cn$NxdZfNf" role="3I6sU7">
-            <node concept="3A8Hvi" id="6eI2Tb45hx2" role="3I6s78">
-              <node concept="a7P8L" id="6eI2Tb45hxa" role="3A8wtg">
-                <ref role="a7OzE" node="6eI2Tb45gHC" resolve="R" />
-              </node>
-              <node concept="1Q4cc8" id="6eI2Tb45hxf" role="3A8w4Q">
-                <ref role="1nfQt" node="4dPZ2m2hWGK" resolve="Fun" />
-                <node concept="1RziaG" id="6eI2Tb45hxh" role="1Ryyee">
-                  <ref role="1RzibV" node="4dPZ2m2hXGZ" resolve="arg" />
-                  <node concept="3AP2Rn" id="6eI2Tb45hxi" role="1RzmR7">
-                    <node concept="3clFbS" id="6eI2Tb45hxj" role="16YjZG">
-                      <node concept="3clFbF" id="6eI2Tb45hxk" role="3cqZAp">
-                        <node concept="3A9UF8" id="6eI2Tb45hxl" role="3clFbG">
-                          <node concept="a7P8L" id="6eI2Tb45hxm" role="3A9W3M">
-                            <ref role="a7OzE" node="6eI2Tb45gAe" resolve="LA" />
-                          </node>
-                        </node>
-                      </node>
-                    </node>
-                  </node>
-                </node>
-                <node concept="1RziaG" id="6eI2Tb45hxn" role="1Ryyee">
-                  <ref role="1RzibV" node="4dPZ2m2hXHj" resolve="res" />
-                  <node concept="3AP2Rn" id="6eI2Tb45hxo" role="1RzmR7">
-                    <node concept="3clFbS" id="6eI2Tb45hxp" role="16YjZG">
-                      <node concept="3clFbF" id="6eI2Tb45hxq" role="3cqZAp">
-                        <node concept="3A9UF8" id="6eI2Tb45hxr" role="3clFbG">
-                          <node concept="a7P8L" id="6eI2Tb45hxs" role="3A9W3M">
-                            <ref role="a7OzE" node="6eI2Tb45gAf" resolve="LR" />
-                          </node>
-                        </node>
-                      </node>
-                    </node>
-                  </node>
-                </node>
-              </node>
-            </node>
-          </node>
-        </node>
-      </node>
-    </node>
-    <node concept="AVZhu" id="6eI2Tb45hzs" role="3ArX_J">
-      <property role="TrG5h" value="unifies_right" />
-      <node concept="3Aq93q" id="6eI2Tb45hzt" role="3orSU4">
-        <property role="3ArMco" value="false" />
-        <node concept="3NuqgR" id="6eI2Tb45hzu" role="3Nuqhd">
-          <node concept="aZer4" id="6eI2Tb45hKz" role="3XD1gS">
-            <property role="TrG5h" value="L" />
-          </node>
-          <node concept="aZer4" id="6eI2Tb45hzx" role="3XD1gS">
-            <property role="TrG5h" value="RA" />
-          </node>
-          <node concept="aZer4" id="6eI2Tb45hzy" role="3XD1gS">
-            <property role="TrG5h" value="RR" />
-          </node>
-        </node>
-        <node concept="3I6sU6" id="Cn$NxdZfPV" role="3Ip0Jz">
-          <node concept="3I6s7M" id="Cn$NxdZfPW" role="3I6sU7">
-            <node concept="3Aqt3T" id="6eI2Tb45hz_" role="3I6s78">
-              <ref role="3AqCNq" node="44a9n8ErYcT" resolve="unifies" />
-              <node concept="a7P8L" id="6eI2Tb45hN$" role="3AunhB">
-                <ref role="a7OzE" node="6eI2Tb45hKz" resolve="L" />
-              </node>
-              <node concept="1Q4cc8" id="6eI2Tb45hzO" role="3AunhB">
-                <ref role="1nfQt" node="4dPZ2m2hWGK" resolve="Fun" />
-                <node concept="1RziaG" id="6eI2Tb45hzQ" role="1Ryyee">
-                  <ref role="1RzibV" node="4dPZ2m2hXGZ" resolve="arg" />
-                  <node concept="3AP2Rn" id="6eI2Tb45hzR" role="1RzmR7">
-                    <node concept="3clFbS" id="6eI2Tb45hzS" role="16YjZG">
-                      <node concept="3clFbF" id="6eI2Tb45hzT" role="3cqZAp">
-                        <node concept="3A9UF8" id="6eI2Tb45hzU" role="3clFbG">
-                          <node concept="a7P8L" id="6eI2Tb45hzV" role="3A9W3M">
-                            <ref role="a7OzE" node="6eI2Tb45hzx" resolve="RA" />
-                          </node>
-                        </node>
-                      </node>
-                    </node>
-                  </node>
-                </node>
-                <node concept="1RziaG" id="6eI2Tb45hzW" role="1Ryyee">
-                  <ref role="1RzibV" node="4dPZ2m2hXHj" resolve="res" />
-                  <node concept="3AP2Rn" id="6eI2Tb45hzX" role="1RzmR7">
-                    <node concept="3clFbS" id="6eI2Tb45hzY" role="16YjZG">
-                      <node concept="3clFbF" id="6eI2Tb45hzZ" role="3cqZAp">
-                        <node concept="3A9UF8" id="6eI2Tb45h$0" role="3clFbG">
-                          <node concept="a7P8L" id="6eI2Tb45h$1" role="3A9W3M">
-                            <ref role="a7OzE" node="6eI2Tb45hzy" resolve="RR" />
-                          </node>
-                        </node>
-                      </node>
-                    </node>
-                  </node>
-                </node>
-              </node>
-            </node>
-          </node>
-        </node>
-      </node>
-      <node concept="3Aq9E8" id="6eI2Tb45h$2" role="3otmyu">
-        <node concept="3I6sU6" id="Cn$NxdZfSC" role="3Ip0Jz">
-          <node concept="3I6s7M" id="Cn$NxdZfSD" role="3I6sU7">
-            <node concept="3A8Hvi" id="6eI2Tb45i2R" role="3I6s78">
-              <node concept="a7P8L" id="6eI2Tb45io5" role="3A8wtg">
-                <ref role="a7OzE" node="6eI2Tb45hKz" resolve="L" />
-              </node>
-              <node concept="1Q4cc8" id="6eI2Tb45i2T" role="3A8w4Q">
-                <ref role="1nfQt" node="4dPZ2m2hWGK" resolve="Fun" />
-                <node concept="1RziaG" id="6eI2Tb45i2V" role="1Ryyee">
-                  <ref role="1RzibV" node="4dPZ2m2hXGZ" resolve="arg" />
-                  <node concept="3AP2Rn" id="6eI2Tb45i2W" role="1RzmR7">
-                    <node concept="3clFbS" id="6eI2Tb45i2X" role="16YjZG">
-                      <node concept="3clFbF" id="6eI2Tb45i2Y" role="3cqZAp">
-                        <node concept="3A9UF8" id="6eI2Tb45i2Z" role="3clFbG">
-                          <node concept="a7P8L" id="6eI2Tb45iop" role="3A9W3M">
-                            <ref role="a7OzE" node="6eI2Tb45hzx" resolve="RA" />
-                          </node>
-                        </node>
-                      </node>
-                    </node>
-                  </node>
-                </node>
-                <node concept="1RziaG" id="6eI2Tb45i31" role="1Ryyee">
-                  <ref role="1RzibV" node="4dPZ2m2hXHj" resolve="res" />
-                  <node concept="3AP2Rn" id="6eI2Tb45i32" role="1RzmR7">
-                    <node concept="3clFbS" id="6eI2Tb45i33" role="16YjZG">
-                      <node concept="3clFbF" id="6eI2Tb45i34" role="3cqZAp">
-                        <node concept="3A9UF8" id="6eI2Tb45i35" role="3clFbG">
-                          <node concept="a7P8L" id="6eI2Tb45iqC" role="3A9W3M">
-                            <ref role="a7OzE" node="6eI2Tb45hzy" resolve="RR" />
-                          </node>
-                        </node>
-                      </node>
-                    </node>
-                  </node>
-                </node>
-              </node>
-            </node>
-          </node>
-        </node>
-      </node>
-    </node>
-    <node concept="AVZhu" id="7edv2S3db5T" role="3ArX_J">
-      <property role="TrG5h" value="unifies_vars" />
-      <node concept="3Aq9_M" id="7edv2S3db9e" role="3oo59u">
-        <node concept="3I6sU6" id="7edv2S3db9f" role="3Ip0Jz">
-          <node concept="3I6s7M" id="7edv2S3db9j" role="3I6sU7">
-            <node concept="2aLmEc" id="7edv2S3db9i" role="3I6s78">
-              <node concept="a7P8L" id="7edv2S3db9m" role="2aLmnP">
-                <ref role="a7OzE" node="7edv2S3db8m" resolve="L" />
-              </node>
-            </node>
-          </node>
-          <node concept="3I6s7M" id="7edv2S3db9J" role="3I6sU7">
-            <node concept="2aLmEc" id="7edv2S3db9H" role="3I6s78">
-              <node concept="a7P8L" id="7edv2S3db9P" role="2aLmnP">
-                <ref role="a7OzE" node="7edv2S3db8v" resolve="R" />
-              </node>
-            </node>
-          </node>
-        </node>
-      </node>
-      <node concept="3Aq93q" id="7edv2S3db8h" role="3orSU4">
-        <node concept="3NuqgR" id="7edv2S3db8l" role="3Nuqhd">
-          <node concept="aZer4" id="7edv2S3db8m" role="3XD1gS">
-            <property role="TrG5h" value="L" />
-          </node>
-          <node concept="aZer4" id="7edv2S3db8v" role="3XD1gS">
-            <property role="TrG5h" value="R" />
-          </node>
-        </node>
-        <node concept="3I6sU6" id="7edv2S3db8i" role="3Ip0Jz">
-          <node concept="3I6s7M" id="7edv2S3db8V" role="3I6sU7">
-            <node concept="3Aqt3T" id="7edv2S3db8T" role="3I6s78">
-              <ref role="3AqCNq" node="44a9n8ErYcT" resolve="unifies" />
-              <node concept="a7P8L" id="7edv2S3db92" role="3AunhB">
-                <ref role="a7OzE" node="7edv2S3db8m" resolve="L" />
-              </node>
-              <node concept="a7P8L" id="7edv2S3db98" role="3AunhB">
-                <ref role="a7OzE" node="7edv2S3db8v" resolve="R" />
-              </node>
-            </node>
-          </node>
-        </node>
-      </node>
-      <node concept="3Aq9E8" id="7edv2S3db9T" role="3otmyu">
-        <node concept="3I6sU6" id="7edv2S3db9U" role="3Ip0Jz">
-          <node concept="3I6s7M" id="7edv2S3dba0" role="3I6sU7">
-            <node concept="3A8Hvi" id="7edv2S3db9X" role="3I6s78">
-              <node concept="a7P8L" id="7edv2S3dba5" role="3A8wtg">
-                <ref role="a7OzE" node="7edv2S3db8m" resolve="L" />
-              </node>
-              <node concept="a7P8L" id="7edv2S3dbaa" role="3A8w4Q">
-                <ref role="a7OzE" node="7edv2S3db8v" resolve="R" />
-              </node>
-            </node>
-          </node>
-        </node>
-      </node>
-    </node>
-    <node concept="AVZhu" id="44a9n8ErYv2" role="3ArX_J">
-      <property role="TrG5h" value="unifies_fail" />
-      <node concept="3Aq9E8" id="44a9n8ErYxt" role="3otmyu">
-        <node concept="3I6sU6" id="Cn$NxdZfVE" role="3Ip0Jz">
-          <node concept="3I6s7M" id="Cn$NxdZfVF" role="3I6sU7">
-            <node concept="3lcGGY" id="44a9n8ErYxx" role="3I6s78">
-              <node concept="3clFbT" id="44a9n8ErYx_" role="3wWo3s">
-                <property role="3clFbU" value="false" />
-              </node>
-            </node>
-          </node>
-        </node>
-      </node>
-      <node concept="3Aq93q" id="44a9n8Es4Ki" role="3orSU4">
-        <property role="3ArMco" value="true" />
-        <node concept="3NuqgR" id="44a9n8Es4KI" role="3Nuqhd">
-          <node concept="aZer4" id="44a9n8Es4KJ" role="3XD1gS">
-            <property role="TrG5h" value="L" />
-          </node>
-          <node concept="aZer4" id="44a9n8Es4KS" role="3XD1gS">
-            <property role="TrG5h" value="R" />
-          </node>
-        </node>
-        <node concept="3I6sU6" id="Cn$NxdZfVl" role="3Ip0Jz">
-          <node concept="3I6s7M" id="Cn$NxdZfVm" role="3I6sU7">
-            <node concept="3Aqt3T" id="44a9n8Es4Km" role="3I6s78">
-              <ref role="3AqCNq" node="44a9n8ErYcT" resolve="unifies" />
-              <node concept="a7P8L" id="44a9n8Es4L8" role="3AunhB">
-                <ref role="a7OzE" node="44a9n8Es4KJ" resolve="L" />
-              </node>
-              <node concept="a7P8L" id="44a9n8Es4Lg" role="3AunhB">
-                <ref role="a7OzE" node="44a9n8Es4KS" resolve="R" />
-              </node>
-            </node>
-          </node>
-        </node>
-      </node>
-    </node>
-  </node>
   <node concept="312cEu" id="4rRw8_AtKo0">
     <property role="TrG5h" value="VarUnionFind" />
     <node concept="2tJIrI" id="4rRw8_AtKoQ" role="jymVt" />