@tuprolog/arg2p-causality-solver 0.17.2 → 0.18.0

package/2p-unify.js

@@ -19,66 +19,67 @@
   'use strict';
   //region block: imports
   var imul = Math.imul;
-  var protoOf = kotlin_kotlin.$_$.o6;
-  var getBooleanHashCode = kotlin_kotlin.$_$.x5;
-  var initMetadataForClass = kotlin_kotlin.$_$.b6;
-  var toString = kotlin_kotlin.$_$.r6;
-  var hashCode = kotlin_kotlin.$_$.a6;
-  var equals = kotlin_kotlin.$_$.v5;
-  var KProperty1 = kotlin_kotlin.$_$.f7;
-  var getPropertyCallableRef = kotlin_kotlin.$_$.y5;
-  var asSequence = kotlin_kotlin.$_$.a2;
-  var plus = kotlin_kotlin.$_$.h8;
-  var map = kotlin_kotlin.$_$.d8;
-  var Unit_instance = kotlin_kotlin.$_$.n;
-  var Companion_getInstance = kotlin_it_unibo_tuprolog_core.$_$.p;
-  var ArrayList_init_$Create$ = kotlin_kotlin.$_$.p;
-  var toCollection = kotlin_kotlin.$_$.o8;
-  var constructCallableReference = kotlin_kotlin.$_$.t5;
-  var Pair = kotlin_kotlin.$_$.ia;
-  var lazy = kotlin_kotlin.$_$.ra;
-  var asSequence_0 = kotlin_kotlin.$_$.b2;
-  var THROW_CCE = kotlin_kotlin.$_$.ka;
+  var protoOf = kotlin_kotlin.$_$.e8;
+  var getBooleanHashCode = kotlin_kotlin.$_$.n7;
+  var initMetadataForClass = kotlin_kotlin.$_$.r7;
+  var toString = kotlin_kotlin.$_$.h8;
+  var hashCode = kotlin_kotlin.$_$.q7;
+  var equals = kotlin_kotlin.$_$.k7;
+  var KProperty1 = kotlin_kotlin.$_$.y8;
+  var getPropertyCallableRef = kotlin_kotlin.$_$.o7;
+  var asSequence = kotlin_kotlin.$_$.s2;
+  var plus = kotlin_kotlin.$_$.ba;
+  var map = kotlin_kotlin.$_$.x9;
+  var Unit_instance = kotlin_kotlin.$_$.r;
+  var Companion_getInstance = kotlin_it_unibo_tuprolog_core.$_$.v;
+  var ArrayList_init_$Create$ = kotlin_kotlin.$_$.u;
+  var toCollection = kotlin_kotlin.$_$.ja;
+  var constructCallableReference = kotlin_kotlin.$_$.i7;
+  var Pair = kotlin_kotlin.$_$.nc;
+  var lazy = kotlin_kotlin.$_$.yc;
+  var asSequence_0 = kotlin_kotlin.$_$.t2;
+  var THROW_CCE = kotlin_kotlin.$_$.pc;
   var VOID = kotlin_kotlin.$_$.b;
   var Companion_instance = kotlin_it_unibo_tuprolog_utils.$_$.a;
-  var Triple = kotlin_kotlin.$_$.ma;
-  var Some = kotlin_it_unibo_tuprolog_utils.$_$.k;
-  var zip = kotlin_kotlin.$_$.v8;
-  var flatMap = kotlin_kotlin.$_$.v7;
-  var sequenceOf = kotlin_kotlin.$_$.j8;
-  var defineProp = kotlin_kotlin.$_$.u5;
-  var sequenceOf_0 = kotlin_kotlin.$_$.i8;
-  var initMetadataForCompanion = kotlin_kotlin.$_$.c6;
-  var getKClass = kotlin_kotlin.$_$.e7;
-  var ClassCastException_init_$Create$ = kotlin_kotlin.$_$.a1;
-  var IllegalArgumentException_init_$Create$ = kotlin_kotlin.$_$.c1;
-  var to = kotlin_kotlin.$_$.wa;
-  var Companion_getInstance_0 = kotlin_it_unibo_tuprolog_core.$_$.o;
+  var Triple = kotlin_kotlin.$_$.rc;
+  var Some = kotlin_it_unibo_tuprolog_utils.$_$.o;
+  var zip = kotlin_kotlin.$_$.qa;
+  var flatMap = kotlin_kotlin.$_$.n9;
+  var sequenceOf = kotlin_kotlin.$_$.ea;
+  var defineProp = kotlin_kotlin.$_$.j7;
+  var sequenceOf_0 = kotlin_kotlin.$_$.da;
+  var initMetadataForCompanion = kotlin_kotlin.$_$.s7;
+  var getKClass = kotlin_kotlin.$_$.w8;
+  var ClassCastException_init_$Create$ = kotlin_kotlin.$_$.j1;
+  var IllegalArgumentException_init_$Create$ = kotlin_kotlin.$_$.n1;
+  var to = kotlin_kotlin.$_$.dd;
+  var Companion_getInstance_0 = kotlin_it_unibo_tuprolog_core.$_$.u;
   var castTo = kotlin_it_unibo_tuprolog_utils.$_$.e;
+  var TermConvertible = kotlin_it_unibo_tuprolog_core.$_$.d2;
   var Castable = kotlin_it_unibo_tuprolog_utils.$_$.f;
-  var collectionSizeOrDefault = kotlin_kotlin.$_$.d2;
-  var ArrayList_init_$Create$_0 = kotlin_kotlin.$_$.o;
-  var initMetadataForInterface = kotlin_kotlin.$_$.d6;
+  var collectionSizeOrDefault = kotlin_kotlin.$_$.x2;
+  var ArrayList_init_$Create$_0 = kotlin_kotlin.$_$.t;
+  var initMetadataForInterface = kotlin_kotlin.$_$.t7;
   //endregion
   //region block: pre-declaration
   initMetadataForClass(Mgu, 'Mgu');
   initMetadataForClass(Merge, 'Merge');
   function mguWithOccurCheck(term1, term2, occurCheckEnabled, $super) {
     occurCheckEnabled = occurCheckEnabled === VOID ? true : occurCheckEnabled;
-    return $super === VOID ? this.j1i(term1, term2, occurCheckEnabled) : $super.j1i.call(this, term1, term2, occurCheckEnabled);
+    return $super === VOID ? this.z1l(term1, term2, occurCheckEnabled) : $super.z1l.call(this, term1, term2, occurCheckEnabled);
   }
   function mgu(term1, term2) {
-    return this.j1i(term1, term2, true);
+    return this.z1l(term1, term2, true);
   }
   function matchWithOccurCheck(term1, term2, occurCheckEnabled) {
-    return !(this.j1i(term1, term2, occurCheckEnabled) === Companion_getInstance().failed());
+    return !(this.z1l(term1, term2, occurCheckEnabled) === Companion_getInstance().failed());
   }
   function match(term1, term2) {
     return this.matchWithOccurCheck(term1, term2, true);
   }
   function unifyWithOccurCheck(term1, term2, occurCheckEnabled) {
-    var substitution = this.j1i(term1, term2, occurCheckEnabled);
-    return substitution.zz() ? null : term1.getSubstituted(substitution, []);
+    var substitution = this.z1l(term1, term2, occurCheckEnabled);
+    return substitution.j13() ? null : term1.getSubstituted(substitution, []);
   }
   function unify(term1, term2) {
     return this.unifyWithOccurCheck(term1, term2, true);
@@ -89,7 +90,7 @@
   initMetadataForInterface(Unificator, 'Unificator');
   initMetadataForClass(AbstractUnificator, 'AbstractUnificator', VOID, VOID, [Unificator]);
   initMetadataForClass(CachedUnificator, 'CachedUnificator', VOID, VOID, [Unificator]);
-  initMetadataForClass(Equation, 'Equation', VOID, VOID, [Castable]);
+  initMetadataForClass(Equation, 'Equation', VOID, VOID, [TermConvertible, Castable]);
   initMetadataForClass(Identity, 'Identity', VOID, Equation);
   initMetadataForClass(Assignment, 'Assignment', VOID, Equation);
   initMetadataForClass(LeftAssignment, 'LeftAssignment', VOID, Assignment);
@@ -102,17 +103,17 @@
   initMetadataForCompanion(Companion_0);
   //endregion
   function Mgu(term1, term2, occurCheckEnabled) {
-    this.h1h_1 = term1;
-    this.i1h_1 = term2;
-    this.j1h_1 = occurCheckEnabled;
+    this.x1k_1 = term1;
+    this.y1k_1 = term2;
+    this.z1k_1 = occurCheckEnabled;
   }
   protoOf(Mgu).toString = function () {
-    return 'Mgu(term1=' + this.h1h_1.toString() + ', term2=' + this.i1h_1.toString() + ', occurCheckEnabled=' + this.j1h_1 + ')';
+    return 'Mgu(term1=' + this.x1k_1.toString() + ', term2=' + this.y1k_1.toString() + ', occurCheckEnabled=' + this.z1k_1 + ')';
   };
   protoOf(Mgu).hashCode = function () {
-    var result = this.h1h_1.hashCode();
-    result = imul(result, 31) + this.i1h_1.hashCode() | 0;
-    result = imul(result, 31) + getBooleanHashCode(this.j1h_1) | 0;
+    var result = this.x1k_1.hashCode();
+    result = imul(result, 31) + this.y1k_1.hashCode() | 0;
+    result = imul(result, 31) + getBooleanHashCode(this.z1k_1) | 0;
     return result;
   };
   protoOf(Mgu).equals = function (other) {
@@ -120,26 +121,26 @@
       return true;
     if (!(other instanceof Mgu))
       return false;
-    if (!this.h1h_1.equals(other.h1h_1))
+    if (!this.x1k_1.equals(other.x1k_1))
       return false;
-    if (!this.i1h_1.equals(other.i1h_1))
+    if (!this.y1k_1.equals(other.y1k_1))
       return false;
-    if (!(this.j1h_1 === other.j1h_1))
+    if (!(this.z1k_1 === other.z1k_1))
       return false;
     return true;
   };
   function Merge(substitution1, substitution2, occurCheckEnabled) {
-    this.k1h_1 = substitution1;
-    this.l1h_1 = substitution2;
-    this.m1h_1 = occurCheckEnabled;
+    this.a1l_1 = substitution1;
+    this.b1l_1 = substitution2;
+    this.c1l_1 = occurCheckEnabled;
   }
   protoOf(Merge).toString = function () {
-    return 'Merge(substitution1=' + toString(this.k1h_1) + ', substitution2=' + toString(this.l1h_1) + ', occurCheckEnabled=' + this.m1h_1 + ')';
+    return 'Merge(substitution1=' + toString(this.a1l_1) + ', substitution2=' + toString(this.b1l_1) + ', occurCheckEnabled=' + this.c1l_1 + ')';
   };
   protoOf(Merge).hashCode = function () {
-    var result = hashCode(this.k1h_1);
-    result = imul(result, 31) + hashCode(this.l1h_1) | 0;
-    result = imul(result, 31) + getBooleanHashCode(this.m1h_1) | 0;
+    var result = hashCode(this.a1l_1);
+    result = imul(result, 31) + hashCode(this.b1l_1) | 0;
+    result = imul(result, 31) + getBooleanHashCode(this.c1l_1) | 0;
     return result;
   };
   protoOf(Merge).equals = function (other) {
@@ -147,27 +148,27 @@
       return true;
     if (!(other instanceof Merge))
       return false;
-    if (!equals(this.k1h_1, other.k1h_1))
+    if (!equals(this.a1l_1, other.a1l_1))
       return false;
-    if (!equals(this.l1h_1, other.l1h_1))
+    if (!equals(this.b1l_1, other.b1l_1))
       return false;
-    if (!(this.m1h_1 === other.m1h_1))
+    if (!(this.c1l_1 === other.c1l_1))
       return false;
     return true;
   };
   function _get_contextEquations__x0dd77($this) {
-    var tmp0 = $this.o1h_1;
+    var tmp0 = $this.e1l_1;
     var tmp = KProperty1;
     // Inline function 'kotlin.getValue' call
     /* dead property reference removed */
-    return tmp0.g2();
+    return tmp0.h2();
   }
   function occurrenceCheck($this, variable, term) {
     var tmp;
-    if (term.qu()) {
-      tmp = $this.p1h(variable, term);
-    } else if (term.au()) {
-      var tmp0 = term.wt();
+    if (term.ay()) {
+      tmp = $this.f1l(variable, term);
+    } else if (term.kx()) {
+      var tmp0 = term.gx();
       var tmp$ret$0;
       $l$block: {
         // Inline function 'kotlin.sequences.any' call
@@ -189,7 +190,7 @@
   }
   function equationsFor($this, term1, term2) {
     var tmp = Companion_instance_0;
-    return tmp.q1h(term1, term2, AbstractUnificator$checkTermsEquality$ref($this));
+    return tmp.g1l(term1, term2, AbstractUnificator$checkTermsEquality$ref($this));
   }
   function equationsFor_0($this, substitution1, substitution2) {
     var tmp = Companion_instance_0;
@@ -207,7 +208,7 @@
       }
        while (inductionVariable < exceptIndex);
     var inductionVariable_0 = exceptIndex + 1 | 0;
-    var last = equations.t();
+    var last = equations.s();
     if (inductionVariable_0 < last)
       do {
         var i_0 = inductionVariable_0;
@@ -221,33 +222,33 @@
     var changed = true;
     while (changed) {
       changed = false;
-      var eqIterator = equations.d2();
+      var eqIterator = equations.f2();
       while (eqIterator.q()) {
-        var eq = $this.r1h(request, eqIterator.r());
-        if (eq.w1h()) {
+        var eq = $this.h1l(request, eqIterator.r());
+        if (eq.m1l()) {
           return Companion_getInstance().failed();
-        } else if (eq.x1h()) {
-          eqIterator.f3();
+        } else if (eq.n1l()) {
+          eqIterator.m3();
           changed = true;
-        } else if (eq.g1i()) {
+        } else if (eq.w1l()) {
           var assignment = eq.castToAssignment();
-          if (occurCheckEnabled && occurrenceCheck($this, assignment.e1i(), assignment.f1i())) {
+          if (occurCheckEnabled && occurrenceCheck($this, assignment.u1l(), assignment.v1l())) {
             return Companion_getInstance().failed();
           } else {
-            changed = changed || applySubstitutionToEquations($this, assignment.d1i(), equations, eqIterator.t3());
+            changed = changed || applySubstitutionToEquations($this, assignment.t1l(), equations, eqIterator.b4());
           }
-        } else if (eq.y1h()) {
-          eqIterator.f3();
-          var _iterator__ex2g4s = equationsFor($this, eq.u1h(), eq.v1h()).n();
+        } else if (eq.o1l()) {
+          eqIterator.m3();
+          var _iterator__ex2g4s = equationsFor($this, eq.k1l(), eq.l1l()).n();
           $l$loop: while (_iterator__ex2g4s.q()) {
             var it = _iterator__ex2g4s.r();
-            var subEq = it.w1h() || it.x1h() ? $this.r1h(request, it) : it;
-            if (subEq.x1h())
+            var subEq = it.m1l() || it.n1l() ? $this.h1l(request, it) : it;
+            if (subEq.n1l())
               continue $l$loop;
-            else if (subEq.w1h())
+            else if (subEq.m1l())
               return Companion_getInstance().failed();
             else {
-              eqIterator.w3(subEq);
+              eqIterator.e4(subEq);
             }
           }
           changed = true;
@@ -260,11 +261,11 @@
     var _iterator__ex2g4s_0 = equations.n();
     while (_iterator__ex2g4s_0.q()) {
       var element = _iterator__ex2g4s_0.r();
-      if (element.g1i()) {
+      if (element.w1l()) {
         destination.l(element);
       }
     }
-    return $this.h1i(request, toSubstitution(destination));
+    return $this.x1l(request, toSubstitution(destination));
   }
   function newDeque($this, items) {
     // Inline function 'kotlin.collections.arrayListOf' call
@@ -273,52 +274,52 @@
   }
   function AbstractUnificator$contextEquations$delegate$lambda(this$0) {
     return function () {
-      return toEquations(this$0.i8());
+      return toEquations(this$0.x8());
     };
   }
   function AbstractUnificator$_get_contextEquations_$ref_7ajcte() {
     return constructCallableReference(function (p0) {
       return _get_contextEquations__x0dd77(p0);
-    }, 1, 0, 26);
+    }, 1, 0, 28);
   }
   function AbstractUnificator$checkTermsEquality$ref(p0) {
     return constructCallableReference(function (p0_0, p1) {
-      return p0.p1h(p0_0, p1);
-    }, 2, 0, 27, 'checkTermsEquality', [p0]);
+      return p0.f1l(p0_0, p1);
+    }, 2, 0, 29, 'checkTermsEquality', [p0]);
   }
   function AbstractUnificator$equationsFor$lambda(it) {
     // Inline function 'kotlin.collections.toPair' call
-    return new Pair(it.f2(), it.g2());
+    return new Pair(it.g2(), it.h2());
   }
   function applySubstitutionToEquations$handleIndex($equations, $substitution, this$0, changed, i) {
-    if ($equations.u(i).w1h() || $equations.u(i).x1h())
+    if ($equations.t(i).m1l() || $equations.t(i).n1l())
       return Unit_instance;
-    var currentEq = $equations.u(i);
+    var currentEq = $equations.t(i);
     var _destruct__k2r9zo = currentEq.apply($substitution).toPair();
-    var newLhs = _destruct__k2r9zo.ac();
-    var newRhs = _destruct__k2r9zo.bc();
-    if (!currentEq.u1h().equals(newLhs) || !currentEq.v1h().equals(newRhs)) {
+    var newLhs = _destruct__k2r9zo.he();
+    var newRhs = _destruct__k2r9zo.ie();
+    if (!currentEq.k1l().equals(newLhs) || !currentEq.l1l().equals(newRhs)) {
       var tmp = Companion_instance_0;
-      $equations.c3(i, tmp.i1i(newLhs, newRhs, AbstractUnificator$checkTermsEquality$ref(this$0)));
+      $equations.j3(i, tmp.y1l(newLhs, newRhs, AbstractUnificator$checkTermsEquality$ref(this$0)));
       changed._v = true;
     }
   }
   function AbstractUnificator(context) {
-    this.n1h_1 = context;
+    this.d1l_1 = context;
     var tmp = this;
-    tmp.o1h_1 = lazy(AbstractUnificator$contextEquations$delegate$lambda(this));
+    tmp.e1l_1 = lazy(AbstractUnificator$contextEquations$delegate$lambda(this));
   }
-  protoOf(AbstractUnificator).i8 = function () {
-    return this.n1h_1;
+  protoOf(AbstractUnificator).x8 = function () {
+    return this.d1l_1;
   };
-  protoOf(AbstractUnificator).h1i = function (request, result) {
+  protoOf(AbstractUnificator).x1l = function (request, result) {
     return result;
   };
-  protoOf(AbstractUnificator).r1h = function (request, equation) {
+  protoOf(AbstractUnificator).h1l = function (request, equation) {
     return equation;
   };
-  protoOf(AbstractUnificator).j1i = function (term1, term2, occurCheckEnabled) {
-    if (this.i8().zz())
+  protoOf(AbstractUnificator).z1l = function (term1, term2, occurCheckEnabled) {
+    if (this.x8().j13())
       return Companion_getInstance().failed();
     var equations = newDeque(this, plus(asSequence_0(_get_contextEquations__x0dd77(this)), equationsFor(this, term1, term2)));
     return mgu_0(this, new Mgu(term1, term2, occurCheckEnabled), equations, occurCheckEnabled);
@@ -326,12 +327,12 @@
   protoOf(AbstractUnificator).mguWithOccurCheck = function (term1, term2, occurCheckEnabled, $super) {
     return this.mguWithOccurCheck(term1, term2, occurCheckEnabled, ($super == null ? true : $super instanceof AbstractUnificator) ? $super : THROW_CCE());
   };
-  protoOf(AbstractUnificator).k1i = function (substitution1, substitution2, occurCheckEnabled) {
-    if (this.i8().zz() || substitution1.zz() || substitution2.zz())
+  protoOf(AbstractUnificator).a1m = function (substitution1, substitution2, occurCheckEnabled) {
+    if (this.x8().j13() || substitution1.j13() || substitution2.j13())
       return Companion_getInstance().failed();
     if (!occurCheckEnabled) {
-      var quickMerge = this.i8().plus(substitution1).plus(substitution2);
-      if (quickMerge.yz()) {
+      var quickMerge = this.x8().plus(substitution1).plus(substitution2);
+      if (quickMerge.i13()) {
         return quickMerge;
       }
     }
@@ -339,21 +340,21 @@
     return mgu_0(this, new Merge(substitution1, substitution2, occurCheckEnabled), equations, occurCheckEnabled);
   };
   protoOf(AbstractUnificator).mergeWithOccurCheck = function (substitution1, substitution2, occurCheckEnabled) {
-    return this.k1i(substitution1, substitution2, occurCheckEnabled);
+    return this.a1m(substitution1, substitution2, occurCheckEnabled);
   };
   function CachedUnificator(decorated, cacheCapacity) {
-    this.l1i_1 = decorated;
-    this.m1i_1 = Companion_instance.ro(cacheCapacity);
+    this.b1m_1 = decorated;
+    this.c1m_1 = Companion_instance.hr(cacheCapacity);
   }
-  protoOf(CachedUnificator).j1i = function (term1, term2, occurCheckEnabled) {
+  protoOf(CachedUnificator).z1l = function (term1, term2, occurCheckEnabled) {
     var mguRequest = new Triple(term1, term2, occurCheckEnabled);
-    var cached = this.m1i_1.j2(mguRequest);
+    var cached = this.c1m_1.k2(mguRequest);
     var tmp;
     if (cached instanceof Some) {
-      tmp = cached.uo_1;
+      tmp = cached.kr_1;
     } else {
-      var mguResult = this.l1i_1.j1i(term1, term2, occurCheckEnabled);
-      this.m1i_1.so(mguRequest, mguResult);
+      var mguResult = this.b1m_1.z1l(term1, term2, occurCheckEnabled);
+      this.c1m_1.ir(mguRequest, mguResult);
       tmp = mguResult;
     }
     return tmp;
@@ -361,21 +362,21 @@
   protoOf(CachedUnificator).mguWithOccurCheck = function (term1, term2, occurCheckEnabled, $super) {
     return this.mguWithOccurCheck(term1, term2, occurCheckEnabled, ($super == null ? true : $super instanceof CachedUnificator) ? $super : THROW_CCE());
   };
-  protoOf(CachedUnificator).k1i = function (substitution1, substitution2, occurCheckEnabled) {
+  protoOf(CachedUnificator).a1m = function (substitution1, substitution2, occurCheckEnabled) {
     var mguRequest = new Triple(substitution1, substitution2, occurCheckEnabled);
-    var cached = this.m1i_1.j2(mguRequest);
+    var cached = this.c1m_1.k2(mguRequest);
     var tmp;
     if (cached instanceof Some) {
-      tmp = cached.uo_1;
+      tmp = cached.kr_1;
     } else {
-      var mguResult = this.l1i_1.mergeWithOccurCheck(substitution1, substitution2, occurCheckEnabled);
-      this.m1i_1.so(mguRequest, mguResult);
+      var mguResult = this.b1m_1.mergeWithOccurCheck(substitution1, substitution2, occurCheckEnabled);
+      this.c1m_1.ir(mguRequest, mguResult);
       tmp = mguResult;
     }
     return tmp;
   };
   protoOf(CachedUnificator).mergeWithOccurCheck = function (substitution1, substitution2, occurCheckEnabled) {
-    return this.k1i(substitution1, substitution2, occurCheckEnabled);
+    return this.a1m(substitution1, substitution2, occurCheckEnabled);
   };
   function allOfLists($this, lhs, rhs, equalityChecker) {
     var tmp;
@@ -402,64 +403,64 @@
   function Term$equals$ref() {
     return constructCallableReference(function (p0, p1) {
       return p0.equals(p1);
-    }, 2, 0, 28, 'equals');
+    }, 2, 0, 30, 'equals');
   }
   function Equation$Companion$from$lambda($equalityChecker) {
     return function (it) {
-      return Companion_instance_0.n1i(it, $equalityChecker);
+      return Companion_instance_0.d1m(it, $equalityChecker);
     };
   }
   function Equation$Companion$allOfLists$lambda($equalityChecker) {
     return function (_destruct__k2r9zo) {
-      var l = _destruct__k2r9zo.ac();
-      var r = _destruct__k2r9zo.bc();
-      return l.hu() && r.hu() ? sequenceOf(Companion_instance_0.i1i(l.castToCons().aw(), r.castToCons().aw(), $equalityChecker)) : l.gu() && r.gu() ? sequenceOf(Companion_instance_0.i1i(l.castToList(), r.castToList(), $equalityChecker)) : Companion_instance_0.q1h(l, r, $equalityChecker);
+      var l = _destruct__k2r9zo.he();
+      var r = _destruct__k2r9zo.ie();
+      return l.rx() && r.rx() ? sequenceOf(Companion_instance_0.y1l(l.castToCons().kz(), r.castToCons().kz(), $equalityChecker)) : l.qx() && r.qx() ? sequenceOf(Companion_instance_0.y1l(l.castToList(), r.castToList(), $equalityChecker)) : Companion_instance_0.g1l(l, r, $equalityChecker);
     };
   }
   function Equation$Companion$allOfTuples$lambda($equalityChecker) {
     return function (_destruct__k2r9zo) {
-      var l = _destruct__k2r9zo.ac();
-      var r = _destruct__k2r9zo.bc();
-      return l.fu() && r.fu() ? sequenceOf(Companion_instance_0.i1i(l.castToTuple().ov(), r.castToTuple().ov(), $equalityChecker)) : Companion_instance_0.q1h(l, r, $equalityChecker);
+      var l = _destruct__k2r9zo.he();
+      var r = _destruct__k2r9zo.ie();
+      return l.px() && r.px() ? sequenceOf(Companion_instance_0.y1l(l.castToTuple().yy(), r.castToTuple().yy(), $equalityChecker)) : Companion_instance_0.g1l(l, r, $equalityChecker);
     };
   }
   function Equation$Companion$allOf$lambda($equalityChecker) {
     return function (it) {
-      return Companion_instance_0.n1i(it, $equalityChecker);
+      return Companion_instance_0.d1m(it, $equalityChecker);
     };
   }
   function Identity(lhs, rhs) {
     Equation.call(this, lhs, rhs);
-    this.q1i_1 = lhs;
-    this.r1i_1 = rhs;
+    this.g1m_1 = lhs;
+    this.h1m_1 = rhs;
   }
-  protoOf(Identity).u1h = function () {
-    return this.q1i_1;
+  protoOf(Identity).k1l = function () {
+    return this.g1m_1;
   };
-  protoOf(Identity).v1h = function () {
-    return this.r1i_1;
+  protoOf(Identity).l1l = function () {
+    return this.h1m_1;
   };
-  protoOf(Identity).x1h = function () {
+  protoOf(Identity).n1l = function () {
     return true;
   };
-  protoOf(Identity).s1i = function () {
+  protoOf(Identity).i1m = function () {
     return this;
   };
   protoOf(Identity).asIdentity = function () {
-    return this.s1i();
+    return this.i1m();
   };
-  protoOf(Identity).t1i = function (lhs, rhs) {
-    return this.u1i(lhs, rhs);
+  protoOf(Identity).j1m = function (lhs, rhs) {
+    return this.k1m(lhs, rhs);
   };
-  protoOf(Identity).u1i = function (lhs, rhs) {
+  protoOf(Identity).k1m = function (lhs, rhs) {
     return new Identity(lhs, rhs);
   };
   protoOf(Identity).toString = function () {
-    return 'Identity(lhs=' + this.q1i_1.toString() + ', rhs=' + this.r1i_1.toString() + ')';
+    return 'Identity(lhs=' + this.g1m_1.toString() + ', rhs=' + this.h1m_1.toString() + ')';
   };
   protoOf(Identity).hashCode = function () {
-    var result = this.q1i_1.hashCode();
-    result = imul(result, 31) + this.r1i_1.hashCode() | 0;
+    var result = this.g1m_1.hashCode();
+    result = imul(result, 31) + this.h1m_1.hashCode() | 0;
     return result;
   };
   protoOf(Identity).equals = function (other) {
@@ -467,90 +468,90 @@
       return true;
     if (!(other instanceof Identity))
       return false;
-    if (!this.q1i_1.equals(other.q1i_1))
+    if (!this.g1m_1.equals(other.g1m_1))
       return false;
-    if (!this.r1i_1.equals(other.r1i_1))
+    if (!this.h1m_1.equals(other.h1m_1))
       return false;
     return true;
   };
   function Assignment(lhs, rhs) {
     Equation.call(this, lhs, rhs);
-    this.b1i_1 = lhs;
-    this.c1i_1 = rhs;
+    this.r1l_1 = lhs;
+    this.s1l_1 = rhs;
   }
-  protoOf(Assignment).u1h = function () {
-    return this.b1i_1;
+  protoOf(Assignment).k1l = function () {
+    return this.r1l_1;
   };
-  protoOf(Assignment).v1h = function () {
-    return this.c1i_1;
+  protoOf(Assignment).l1l = function () {
+    return this.s1l_1;
   };
-  protoOf(Assignment).g1i = function () {
+  protoOf(Assignment).w1l = function () {
     return true;
   };
-  protoOf(Assignment).y1i = function () {
+  protoOf(Assignment).o1m = function () {
     return this;
   };
   protoOf(Assignment).asAssignment = function () {
-    return this.y1i();
+    return this.o1m();
   };
-  protoOf(Assignment).z1i = function () {
-    return new Pair(this.e1i(), this.f1i());
+  protoOf(Assignment).p1m = function () {
+    return new Pair(this.u1l(), this.v1l());
   };
   protoOf(Assignment).toAssignmentPair = function () {
-    return this.z1i();
+    return this.p1m();
   };
-  protoOf(Assignment).d1i = function () {
-    return Companion_getInstance().unifier(this.e1i(), this.f1i());
+  protoOf(Assignment).t1l = function () {
+    return Companion_getInstance().unifier(this.u1l(), this.v1l());
   };
   protoOf(Assignment).toSubstitution = function () {
-    return this.d1i();
+    return this.t1l();
   };
   function LeftAssignment(lhs, rhs) {
     Assignment.call(this, lhs, rhs);
-    this.e1j_1 = lhs;
-    this.f1j_1 = rhs;
-    this.g1j_1 = this.e1j_1;
-    this.h1j_1 = this.f1j_1;
+    this.u1m_1 = lhs;
+    this.v1m_1 = rhs;
+    this.w1m_1 = this.u1m_1;
+    this.x1m_1 = this.v1m_1;
   }
-  protoOf(LeftAssignment).u1h = function () {
-    return this.e1j_1;
+  protoOf(LeftAssignment).k1l = function () {
+    return this.u1m_1;
   };
-  protoOf(LeftAssignment).v1h = function () {
-    return this.f1j_1;
+  protoOf(LeftAssignment).l1l = function () {
+    return this.v1m_1;
   };
-  protoOf(LeftAssignment).e1i = function () {
-    return this.g1j_1;
+  protoOf(LeftAssignment).u1l = function () {
+    return this.w1m_1;
   };
-  protoOf(LeftAssignment).f1i = function () {
-    return this.h1j_1;
+  protoOf(LeftAssignment).v1l = function () {
+    return this.x1m_1;
   };
-  protoOf(LeftAssignment).v1i = function () {
+  protoOf(LeftAssignment).l1m = function () {
     return true;
   };
-  protoOf(LeftAssignment).i1j = function () {
+  protoOf(LeftAssignment).y1m = function () {
     return this;
   };
   protoOf(LeftAssignment).asLeftAssignment = function () {
-    return this.i1j();
+    return this.y1m();
   };
-  protoOf(LeftAssignment).t1i = function (lhs, rhs) {
-    return this.j1j(lhs.castToVar(), rhs);
+  protoOf(LeftAssignment).j1m = function (lhs, rhs) {
+    return this.z1m(lhs.castToVar(), rhs);
   };
-  protoOf(LeftAssignment).k1j = function () {
-    return new Pair(this.e1j_1, this.f1j_1);
+  protoOf(LeftAssignment).a1n = function () {
+    return new Pair(this.u1m_1, this.v1m_1);
   };
   protoOf(LeftAssignment).toPair = function () {
-    return this.k1j();
+    return this.a1n();
   };
-  protoOf(LeftAssignment).j1j = function (lhs, rhs) {
+  protoOf(LeftAssignment).z1m = function (lhs, rhs) {
     return new LeftAssignment(lhs, rhs);
   };
   protoOf(LeftAssignment).toString = function () {
-    return 'LeftAssignment(lhs=' + this.e1j_1.toString() + ', rhs=' + this.f1j_1.toString() + ')';
+    return 'LeftAssignment(lhs=' + this.u1m_1.toString() + ', rhs=' + this.v1m_1.toString() + ')';
   };
   protoOf(LeftAssignment).hashCode = function () {
-    var result = this.e1j_1.hashCode();
-    result = imul(result, 31) + this.f1j_1.hashCode() | 0;
+    var result = this.u1m_1.hashCode();
+    result = imul(result, 31) + this.v1m_1.hashCode() | 0;
     return result;
   };
   protoOf(LeftAssignment).equals = function (other) {
@@ -558,58 +559,58 @@
       return true;
     if (!(other instanceof LeftAssignment))
       return false;
-    if (!this.e1j_1.equals(other.e1j_1))
+    if (!this.u1m_1.equals(other.u1m_1))
       return false;
-    if (!this.f1j_1.equals(other.f1j_1))
+    if (!this.v1m_1.equals(other.v1m_1))
       return false;
     return true;
   };
   function RightAssignment(lhs, rhs) {
     Assignment.call(this, lhs, rhs);
-    this.p1j_1 = lhs;
-    this.q1j_1 = rhs;
-    this.r1j_1 = this.q1j_1;
-    this.s1j_1 = this.p1j_1;
+    this.f1n_1 = lhs;
+    this.g1n_1 = rhs;
+    this.h1n_1 = this.g1n_1;
+    this.i1n_1 = this.f1n_1;
   }
-  protoOf(RightAssignment).u1h = function () {
-    return this.p1j_1;
+  protoOf(RightAssignment).k1l = function () {
+    return this.f1n_1;
   };
-  protoOf(RightAssignment).v1h = function () {
-    return this.q1j_1;
+  protoOf(RightAssignment).l1l = function () {
+    return this.g1n_1;
   };
-  protoOf(RightAssignment).e1i = function () {
-    return this.r1j_1;
+  protoOf(RightAssignment).u1l = function () {
+    return this.h1n_1;
   };
-  protoOf(RightAssignment).f1i = function () {
-    return this.s1j_1;
+  protoOf(RightAssignment).v1l = function () {
+    return this.i1n_1;
   };
-  protoOf(RightAssignment).w1i = function () {
+  protoOf(RightAssignment).m1m = function () {
     return true;
   };
-  protoOf(RightAssignment).t1j = function () {
+  protoOf(RightAssignment).j1n = function () {
     return this;
   };
   protoOf(RightAssignment).asRightAssignment = function () {
-    return this.t1j();
+    return this.j1n();
   };
-  protoOf(RightAssignment).t1i = function (lhs, rhs) {
-    return this.u1j(lhs, rhs.castToVar());
+  protoOf(RightAssignment).j1m = function (lhs, rhs) {
+    return this.k1n(lhs, rhs.castToVar());
   };
-  protoOf(RightAssignment).k1j = function () {
-    return new Pair(this.p1j_1, this.q1j_1);
+  protoOf(RightAssignment).a1n = function () {
+    return new Pair(this.f1n_1, this.g1n_1);
   };
   protoOf(RightAssignment).toPair = function () {
-    return this.k1j();
+    return this.a1n();
   };
-  protoOf(RightAssignment).u1j = function (lhs, rhs) {
+  protoOf(RightAssignment).k1n = function (lhs, rhs) {
     return new RightAssignment(lhs, rhs);
   };
   protoOf(RightAssignment).toString = function () {
-    return 'RightAssignment(lhs=' + this.p1j_1.toString() + ', rhs=' + this.q1j_1.toString() + ')';
+    return 'RightAssignment(lhs=' + this.f1n_1.toString() + ', rhs=' + this.g1n_1.toString() + ')';
   };
   protoOf(RightAssignment).hashCode = function () {
-    var result = this.p1j_1.hashCode();
-    result = imul(result, 31) + this.q1j_1.hashCode() | 0;
+    var result = this.f1n_1.hashCode();
+    result = imul(result, 31) + this.g1n_1.hashCode() | 0;
     return result;
   };
   protoOf(RightAssignment).equals = function (other) {
@@ -617,44 +618,44 @@
       return true;
     if (!(other instanceof RightAssignment))
       return false;
-    if (!this.p1j_1.equals(other.p1j_1))
+    if (!this.f1n_1.equals(other.f1n_1))
       return false;
-    if (!this.q1j_1.equals(other.q1j_1))
+    if (!this.g1n_1.equals(other.g1n_1))
       return false;
     return true;
   };
   function Comparison(lhs, rhs) {
     Equation.call(this, lhs, rhs);
-    this.x1j_1 = lhs;
-    this.y1j_1 = rhs;
+    this.n1n_1 = lhs;
+    this.o1n_1 = rhs;
   }
-  protoOf(Comparison).u1h = function () {
-    return this.x1j_1;
+  protoOf(Comparison).k1l = function () {
+    return this.n1n_1;
   };
-  protoOf(Comparison).v1h = function () {
-    return this.y1j_1;
+  protoOf(Comparison).l1l = function () {
+    return this.o1n_1;
   };
-  protoOf(Comparison).y1h = function () {
+  protoOf(Comparison).o1l = function () {
     return true;
   };
-  protoOf(Comparison).z1j = function () {
+  protoOf(Comparison).p1n = function () {
     return this;
   };
   protoOf(Comparison).asComparison = function () {
-    return this.z1j();
+    return this.p1n();
   };
-  protoOf(Comparison).t1i = function (lhs, rhs) {
-    return this.u1i(lhs, rhs);
+  protoOf(Comparison).j1m = function (lhs, rhs) {
+    return this.k1m(lhs, rhs);
   };
-  protoOf(Comparison).u1i = function (lhs, rhs) {
+  protoOf(Comparison).k1m = function (lhs, rhs) {
     return new Comparison(lhs, rhs);
   };
   protoOf(Comparison).toString = function () {
-    return 'Comparison(lhs=' + this.x1j_1.toString() + ', rhs=' + this.y1j_1.toString() + ')';
+    return 'Comparison(lhs=' + this.n1n_1.toString() + ', rhs=' + this.o1n_1.toString() + ')';
   };
   protoOf(Comparison).hashCode = function () {
-    var result = this.x1j_1.hashCode();
-    result = imul(result, 31) + this.y1j_1.hashCode() | 0;
+    var result = this.n1n_1.hashCode();
+    result = imul(result, 31) + this.o1n_1.hashCode() | 0;
     return result;
   };
   protoOf(Comparison).equals = function (other) {
@@ -662,50 +663,50 @@
       return true;
     if (!(other instanceof Comparison))
       return false;
-    if (!this.x1j_1.equals(other.x1j_1))
+    if (!this.n1n_1.equals(other.n1n_1))
       return false;
-    if (!this.y1j_1.equals(other.y1j_1))
+    if (!this.o1n_1.equals(other.o1n_1))
       return false;
     return true;
   };
   function Contradiction(lhs, rhs) {
     Equation.call(this, lhs, rhs);
-    this.c1k_1 = lhs;
-    this.d1k_1 = rhs;
+    this.s1n_1 = lhs;
+    this.t1n_1 = rhs;
   }
-  protoOf(Contradiction).u1h = function () {
-    return this.c1k_1;
+  protoOf(Contradiction).k1l = function () {
+    return this.s1n_1;
   };
-  protoOf(Contradiction).v1h = function () {
-    return this.d1k_1;
+  protoOf(Contradiction).l1l = function () {
+    return this.t1n_1;
   };
-  protoOf(Contradiction).w1h = function () {
+  protoOf(Contradiction).m1l = function () {
     return true;
   };
-  protoOf(Contradiction).e1k = function () {
+  protoOf(Contradiction).u1n = function () {
     return this;
   };
   protoOf(Contradiction).asContradiction = function () {
-    return this.e1k();
+    return this.u1n();
   };
-  protoOf(Contradiction).t1i = function (lhs, rhs) {
-    return this.u1i(lhs, rhs);
+  protoOf(Contradiction).j1m = function (lhs, rhs) {
+    return this.k1m(lhs, rhs);
   };
-  protoOf(Contradiction).d1i = function () {
+  protoOf(Contradiction).t1l = function () {
     return Companion_getInstance().failed();
   };
   protoOf(Contradiction).toSubstitution = function () {
-    return this.d1i();
+    return this.t1l();
   };
-  protoOf(Contradiction).u1i = function (lhs, rhs) {
+  protoOf(Contradiction).k1m = function (lhs, rhs) {
     return new Contradiction(lhs, rhs);
   };
   protoOf(Contradiction).toString = function () {
-    return 'Contradiction(lhs=' + this.c1k_1.toString() + ', rhs=' + this.d1k_1.toString() + ')';
+    return 'Contradiction(lhs=' + this.s1n_1.toString() + ', rhs=' + this.t1n_1.toString() + ')';
   };
   protoOf(Contradiction).hashCode = function () {
-    var result = this.c1k_1.hashCode();
-    result = imul(result, 31) + this.d1k_1.hashCode() | 0;
+    var result = this.s1n_1.hashCode();
+    result = imul(result, 31) + this.t1n_1.hashCode() | 0;
     return result;
   };
   protoOf(Contradiction).equals = function (other) {
@@ -713,17 +714,17 @@
       return true;
     if (!(other instanceof Contradiction))
       return false;
-    if (!this.c1k_1.equals(other.c1k_1))
+    if (!this.s1n_1.equals(other.s1n_1))
       return false;
-    if (!this.d1k_1.equals(other.d1k_1))
+    if (!this.t1n_1.equals(other.t1n_1))
       return false;
     return true;
   };
   function Companion() {
   }
-  protoOf(Companion).i1i = function (lhs, rhs, equalityChecker) {
+  protoOf(Companion).y1l = function (lhs, rhs, equalityChecker) {
     var tmp;
-    if (lhs.qu() && rhs.qu()) {
+    if (lhs.ay() && rhs.ay()) {
       var tmp_0;
       if (equalityChecker(lhs, rhs)) {
         tmp_0 = new Identity(lhs, rhs);
@@ -731,11 +732,11 @@
         tmp_0 = new LeftAssignment(lhs.castToVar(), rhs);
       }
       tmp = tmp_0;
-    } else if (lhs.qu()) {
+    } else if (lhs.ay()) {
       tmp = new LeftAssignment(lhs.castToVar(), rhs);
-    } else if (rhs.qu()) {
+    } else if (rhs.ay()) {
       tmp = new RightAssignment(lhs, rhs.castToVar());
-    } else if (lhs.tu() && rhs.tu()) {
+    } else if (lhs.dy() && rhs.dy()) {
       var tmp_1;
       if (equalityChecker(lhs, rhs)) {
         tmp_1 = new Identity(lhs, rhs);
@@ -743,13 +744,13 @@
         tmp_1 = new Contradiction(lhs, rhs);
       }
       tmp = tmp_1;
-    } else if (lhs.tu() || rhs.tu()) {
+    } else if (lhs.dy() || rhs.dy()) {
       tmp = new Contradiction(lhs, rhs);
-    } else if (lhs.au() && rhs.au()) {
+    } else if (lhs.kx() && rhs.kx()) {
       var lhsStruct = lhs.castToStruct();
       var rhsStruct = rhs.castToStruct();
       var tmp_2;
-      if (!(lhsStruct.ot() === rhsStruct.ot()) || !(lhsStruct.ut() === rhsStruct.ut())) {
+      if (!(lhsStruct.yw() === rhsStruct.yw()) || !(lhsStruct.ex() === rhsStruct.ex())) {
         tmp_2 = new Contradiction(lhsStruct, rhsStruct);
       } else {
         tmp_2 = new Comparison(lhsStruct, rhsStruct);
@@ -768,10 +769,10 @@
       tmp = equalityChecker;
     }
     equalityChecker = tmp;
-    return $super === VOID ? this.i1i(lhs, rhs, equalityChecker) : $super.i1i.call(this, lhs, rhs, equalityChecker);
+    return $super === VOID ? this.y1l(lhs, rhs, equalityChecker) : $super.y1l.call(this, lhs, rhs, equalityChecker);
   };
-  protoOf(Companion).f1k = function (pair, equalityChecker) {
-    return this.i1i(pair.first, pair.second, equalityChecker);
+  protoOf(Companion).v1n = function (pair, equalityChecker) {
+    return this.y1l(pair.first, pair.second, equalityChecker);
   };
   protoOf(Companion).ofPair = function (pair, equalityChecker, $super) {
     var tmp;
@@ -781,9 +782,9 @@
       tmp = equalityChecker;
     }
     equalityChecker = tmp;
-    return $super === VOID ? this.f1k(pair, equalityChecker) : $super.f1k.call(this, pair, equalityChecker);
+    return $super === VOID ? this.v1n(pair, equalityChecker) : $super.v1n.call(this, pair, equalityChecker);
   };
-  protoOf(Companion).g1k = function (pairs, equalityChecker) {
+  protoOf(Companion).w1n = function (pairs, equalityChecker) {
     return flatMap(pairs, Equation$Companion$from$lambda(equalityChecker));
   };
   protoOf(Companion).fromSequence = function (pairs, equalityChecker, $super) {
@@ -794,10 +795,10 @@
       tmp = equalityChecker;
     }
     equalityChecker = tmp;
-    return $super === VOID ? this.g1k(pairs, equalityChecker) : $super.g1k.call(this, pairs, equalityChecker);
+    return $super === VOID ? this.w1n(pairs, equalityChecker) : $super.w1n.call(this, pairs, equalityChecker);
   };
-  protoOf(Companion).h1k = function (pairs, equalityChecker) {
-    return this.g1k(asSequence_0(pairs), equalityChecker);
+  protoOf(Companion).x1n = function (pairs, equalityChecker) {
+    return this.w1n(asSequence_0(pairs), equalityChecker);
   };
   protoOf(Companion).fromIterable = function (pairs, equalityChecker, $super) {
     var tmp;
@@ -807,10 +808,10 @@
       tmp = equalityChecker;
     }
     equalityChecker = tmp;
-    return $super === VOID ? this.h1k(pairs, equalityChecker) : $super.h1k.call(this, pairs, equalityChecker);
+    return $super === VOID ? this.x1n(pairs, equalityChecker) : $super.x1n.call(this, pairs, equalityChecker);
   };
-  protoOf(Companion).i1k = function (pairs, equalityChecker) {
-    return this.g1k(sequenceOf_0(pairs.slice()), equalityChecker);
+  protoOf(Companion).y1n = function (pairs, equalityChecker) {
+    return this.w1n(sequenceOf_0(pairs.slice()), equalityChecker);
   };
   protoOf(Companion).from = function (pairs, equalityChecker, $super) {
     var tmp;
@@ -820,10 +821,10 @@
       tmp = equalityChecker;
     }
     equalityChecker = tmp;
-    return $super === VOID ? this.i1k(pairs, equalityChecker) : $super.i1k.call(this, pairs, equalityChecker);
+    return $super === VOID ? this.y1n(pairs, equalityChecker) : $super.y1n.call(this, pairs, equalityChecker);
   };
-  protoOf(Companion).n1i = function (pair, equalityChecker) {
-    return this.q1h(pair.first, pair.second, equalityChecker);
+  protoOf(Companion).d1m = function (pair, equalityChecker) {
+    return this.g1l(pair.first, pair.second, equalityChecker);
   };
   protoOf(Companion).allOfPair = function (pair, equalityChecker, $super) {
     var tmp;
@@ -833,29 +834,29 @@
       tmp = equalityChecker;
     }
     equalityChecker = tmp;
-    return $super === VOID ? this.n1i(pair, equalityChecker) : $super.n1i.call(this, pair, equalityChecker);
+    return $super === VOID ? this.d1m(pair, equalityChecker) : $super.d1m.call(this, pair, equalityChecker);
   };
-  protoOf(Companion).q1h = function (lhs, rhs, equalityChecker) {
+  protoOf(Companion).g1l = function (lhs, rhs, equalityChecker) {
     var tmp;
-    if (lhs.pt() && rhs.pt()) {
-      tmp = sequenceOf(this.i1i(lhs, rhs, equalityChecker));
-    } else if (lhs.gu() && rhs.gu()) {
+    if (lhs.zw() && rhs.zw()) {
+      tmp = sequenceOf(this.y1l(lhs, rhs, equalityChecker));
+    } else if (lhs.qx() && rhs.qx()) {
       tmp = allOfLists(this, lhs.castToList(), rhs.castToList(), equalityChecker);
-    } else if (lhs.fu() && rhs.fu()) {
+    } else if (lhs.px() && rhs.px()) {
       tmp = allOfTuples(this, lhs.castToTuple(), rhs.castToTuple(), equalityChecker);
-    } else if (lhs.au() && rhs.au()) {
+    } else if (lhs.kx() && rhs.kx()) {
       var lhsStruct = lhs.castToStruct();
       var rhsStruct = rhs.castToStruct();
       var tmp_0;
-      if (lhsStruct.ot() === rhsStruct.ot() && lhsStruct.ut() === rhsStruct.ut()) {
-        var tmp_1 = zip(lhsStruct.nu(), rhsStruct.nu());
+      if (lhsStruct.yw() === rhsStruct.yw() && lhsStruct.ex() === rhsStruct.ex()) {
+        var tmp_1 = zip(lhsStruct.xx(), rhsStruct.xx());
         tmp_0 = flatMap(tmp_1, Equation$Companion$allOf$lambda(equalityChecker));
       } else {
-        tmp_0 = sequenceOf(this.i1i(lhs, rhs, equalityChecker));
+        tmp_0 = sequenceOf(this.y1l(lhs, rhs, equalityChecker));
       }
       tmp = tmp_0;
     } else {
-      tmp = sequenceOf(this.i1i(lhs, rhs, equalityChecker));
+      tmp = sequenceOf(this.y1l(lhs, rhs, equalityChecker));
     }
     return tmp;
   };
@@ -867,23 +868,23 @@
       tmp = equalityChecker;
     }
     equalityChecker = tmp;
-    return $super === VOID ? this.q1h(lhs, rhs, equalityChecker) : $super.q1h.call(this, lhs, rhs, equalityChecker);
+    return $super === VOID ? this.g1l(lhs, rhs, equalityChecker) : $super.g1l.call(this, lhs, rhs, equalityChecker);
   };
   var Companion_instance_0;
   function Companion_getInstance_1() {
     return Companion_instance_0;
   }
   function Equation(lhs, rhs) {
-    this.s1h_1 = lhs;
-    this.t1h_1 = rhs;
+    this.i1l_1 = lhs;
+    this.j1l_1 = rhs;
   }
-  protoOf(Equation).u1h = function () {
-    return this.s1h_1;
+  protoOf(Equation).k1l = function () {
+    return this.i1l_1;
   };
-  protoOf(Equation).v1h = function () {
-    return this.t1h_1;
+  protoOf(Equation).l1l = function () {
+    return this.j1l_1;
   };
-  protoOf(Equation).x1h = function () {
+  protoOf(Equation).n1l = function () {
     return false;
   };
   protoOf(Equation).asIdentity = function () {
@@ -893,13 +894,13 @@
     var tmp0_elvis_lhs = this.asIdentity();
     var tmp;
     if (tmp0_elvis_lhs == null) {
-      throw ClassCastException_init_$Create$('Cannot cast ' + toString(this) + ' to ' + getKClass(Identity).c9());
+      throw ClassCastException_init_$Create$('Cannot cast ' + toString(this) + ' to ' + getKClass(Identity).r9());
     } else {
       tmp = tmp0_elvis_lhs;
     }
     return tmp;
   };
-  protoOf(Equation).g1i = function () {
+  protoOf(Equation).w1l = function () {
     return false;
   };
   protoOf(Equation).asAssignment = function () {
@@ -909,13 +910,13 @@
     var tmp0_elvis_lhs = this.asAssignment();
     var tmp;
     if (tmp0_elvis_lhs == null) {
-      throw ClassCastException_init_$Create$('Cannot cast ' + toString(this) + ' to ' + getKClass(Assignment).c9());
+      throw ClassCastException_init_$Create$('Cannot cast ' + toString(this) + ' to ' + getKClass(Assignment).r9());
     } else {
       tmp = tmp0_elvis_lhs;
     }
     return tmp;
   };
-  protoOf(Equation).v1i = function () {
+  protoOf(Equation).l1m = function () {
     return false;
   };
   protoOf(Equation).asLeftAssignment = function () {
@@ -925,13 +926,13 @@
     var tmp0_elvis_lhs = this.asLeftAssignment();
     var tmp;
     if (tmp0_elvis_lhs == null) {
-      throw ClassCastException_init_$Create$('Cannot cast ' + toString(this) + ' to ' + getKClass(LeftAssignment).c9());
+      throw ClassCastException_init_$Create$('Cannot cast ' + toString(this) + ' to ' + getKClass(LeftAssignment).r9());
     } else {
       tmp = tmp0_elvis_lhs;
     }
     return tmp;
   };
-  protoOf(Equation).w1i = function () {
+  protoOf(Equation).m1m = function () {
     return false;
   };
   protoOf(Equation).asRightAssignment = function () {
@@ -941,13 +942,13 @@
     var tmp0_elvis_lhs = this.asRightAssignment();
     var tmp;
     if (tmp0_elvis_lhs == null) {
-      throw ClassCastException_init_$Create$('Cannot cast ' + toString(this) + ' to ' + getKClass(RightAssignment).c9());
+      throw ClassCastException_init_$Create$('Cannot cast ' + toString(this) + ' to ' + getKClass(RightAssignment).r9());
     } else {
       tmp = tmp0_elvis_lhs;
     }
     return tmp;
   };
-  protoOf(Equation).y1h = function () {
+  protoOf(Equation).o1l = function () {
     return false;
   };
   protoOf(Equation).asComparison = function () {
@@ -957,13 +958,13 @@
     var tmp0_elvis_lhs = this.asComparison();
     var tmp;
     if (tmp0_elvis_lhs == null) {
-      throw ClassCastException_init_$Create$('Cannot cast ' + toString(this) + ' to ' + getKClass(Comparison).c9());
+      throw ClassCastException_init_$Create$('Cannot cast ' + toString(this) + ' to ' + getKClass(Comparison).r9());
     } else {
       tmp = tmp0_elvis_lhs;
     }
     return tmp;
   };
-  protoOf(Equation).w1h = function () {
+  protoOf(Equation).m1l = function () {
     return false;
   };
   protoOf(Equation).asContradiction = function () {
@@ -973,26 +974,26 @@
     var tmp0_elvis_lhs = this.asContradiction();
     var tmp;
     if (tmp0_elvis_lhs == null) {
-      throw ClassCastException_init_$Create$('Cannot cast ' + toString(this) + ' to ' + getKClass(Contradiction).c9());
+      throw ClassCastException_init_$Create$('Cannot cast ' + toString(this) + ' to ' + getKClass(Contradiction).r9());
     } else {
       tmp = tmp0_elvis_lhs;
     }
     return tmp;
   };
   protoOf(Equation).clone = function (lhs, rhs, $super) {
-    lhs = lhs === VOID ? this.u1h() : lhs;
-    rhs = rhs === VOID ? this.v1h() : rhs;
-    return $super === VOID ? this.t1i(lhs, rhs) : $super.t1i.call(this, lhs, rhs);
+    lhs = lhs === VOID ? this.k1l() : lhs;
+    rhs = rhs === VOID ? this.l1l() : rhs;
+    return $super === VOID ? this.j1m(lhs, rhs) : $super.j1m.call(this, lhs, rhs);
   };
   protoOf(Equation).toContradiction = function () {
-    return new Contradiction(this.u1h(), this.v1h());
+    return new Contradiction(this.k1l(), this.l1l());
   };
   protoOf(Equation).toAssignmentPair = function () {
     var tmp;
-    if (this.u1h().qu()) {
-      tmp = to(this.u1h().castToVar(), this.v1h());
-    } else if (this.v1h().qu()) {
-      tmp = to(this.v1h().castToVar(), this.u1h());
+    if (this.k1l().ay()) {
+      tmp = to(this.k1l().castToVar(), this.l1l());
+    } else if (this.l1l().ay()) {
+      tmp = to(this.l1l().castToVar(), this.k1l());
     } else {
       throw IllegalArgumentException_init_$Create$('Equation contains no variables: ' + toString(this));
     }
@@ -1000,29 +1001,29 @@
   };
   protoOf(Equation).toSubstitution = function () {
     var tmp;
-    if (this.u1h().qu()) {
-      tmp = Companion_getInstance().unifier(this.u1h().castToVar(), this.v1h());
-    } else if (this.v1h().qu()) {
-      tmp = Companion_getInstance().unifier(this.v1h().castToVar(), this.u1h());
+    if (this.k1l().ay()) {
+      tmp = Companion_getInstance().unifier(this.k1l().castToVar(), this.l1l());
+    } else if (this.l1l().ay()) {
+      tmp = Companion_getInstance().unifier(this.l1l().castToVar(), this.k1l());
     } else {
       throw IllegalArgumentException_init_$Create$('Equation contains no variables: ' + toString(this));
     }
     return tmp;
   };
-  protoOf(Equation).q1g = function () {
-    return Companion_getInstance_0().of('=', [this.u1h(), this.v1h()]);
+  protoOf(Equation).g1k = function () {
+    return Companion_getInstance_0().of('=', [this.k1l(), this.l1l()]);
   };
   protoOf(Equation).toTerm = function () {
-    return this.q1g();
+    return this.g1k();
   };
   protoOf(Equation).toPair = function () {
-    return new Pair(this.u1h(), this.v1h());
+    return new Pair(this.k1l(), this.l1l());
   };
   protoOf(Equation).swap = function () {
-    return Companion_instance_0.of(this.v1h(), this.u1h());
+    return Companion_instance_0.of(this.l1l(), this.k1l());
   };
-  protoOf(Equation).x1i = function (substitution, equalityChecker) {
-    return Companion_instance_0.i1i(this.u1h().getSubstituted(substitution, []), this.v1h().getSubstituted(substitution, []), equalityChecker);
+  protoOf(Equation).n1m = function (substitution, equalityChecker) {
+    return Companion_instance_0.y1l(this.k1l().getSubstituted(substitution, []), this.l1l().getSubstituted(substitution, []), equalityChecker);
   };
   protoOf(Equation).apply = function (substitution, equalityChecker, $super) {
     var tmp;
@@ -1032,20 +1033,20 @@
       tmp = equalityChecker;
     }
     equalityChecker = tmp;
-    return $super === VOID ? this.x1i(substitution, equalityChecker) : $super.x1i.call(this, substitution, equalityChecker);
+    return $super === VOID ? this.n1m(substitution, equalityChecker) : $super.n1m.call(this, substitution, equalityChecker);
   };
   function toEquations(_this__u8e3s4) {
     // Inline function 'kotlin.collections.map' call
-    var this_0 = _this__u8e3s4.c1();
+    var this_0 = _this__u8e3s4.d1();
     // Inline function 'kotlin.collections.mapTo' call
     var destination = ArrayList_init_$Create$_0(collectionSizeOrDefault(this_0, 10));
     var _iterator__ex2g4s = this_0.n();
     while (_iterator__ex2g4s.q()) {
       var item = _iterator__ex2g4s.r();
       // Inline function 'kotlin.collections.component1' call
-      var variable = item.f2();
+      var variable = item.g2();
       // Inline function 'kotlin.collections.component2' call
-      var term = item.g2();
+      var term = item.h2();
       var tmp$ret$2 = new LeftAssignment(variable, term);
       destination.l(tmp$ret$2);
     }
@@ -1064,18 +1065,18 @@
   }
   function Unificator$Companion$_get_default_$ref_8i2tx3() {
     return constructCallableReference(function (p0) {
-      return p0.l1k();
-    }, 1, 0, 29);
+      return p0.b1o();
+    }, 1, 0, 31);
   }
   function Unificator$Companion$naive$1($context) {
     AbstractUnificator.call(this, $context);
   }
-  protoOf(Unificator$Companion$naive$1).p1h = function (first, second) {
+  protoOf(Unificator$Companion$naive$1).f1l = function (first, second) {
     var tmp;
-    if (first.vu() && second.vu()) {
-      tmp = first.castToInteger().g2().yi(second.castToInteger().g2()) === 0;
-    } else if (first.uu() && second.uu()) {
-      tmp = first.castToNumeric().ky().pi(second.castToNumeric().ky()) === 0;
+    if (first.fy() && second.fy()) {
+      tmp = first.castToInteger().h2().ol(second.castToInteger().h2()) === 0;
+    } else if (first.ey() && second.ey()) {
+      tmp = first.castToNumeric().u11().fl(second.castToNumeric().u11()) === 0;
     } else {
       tmp = first.equals(second);
     }
@@ -1087,7 +1088,7 @@
   function Unificator$Companion$strict$1($context) {
     AbstractUnificator.call(this, $context);
   }
-  protoOf(Unificator$Companion$strict$1).p1h = function (first, second) {
+  protoOf(Unificator$Companion$strict$1).f1l = function (first, second) {
     return first.equals(second);
   };
   protoOf(Unificator$Companion$strict$1).mguWithOccurCheck = function (term1, term2, occurCheckEnabled, $super) {
@@ -1096,27 +1097,27 @@
   function Companion_0() {
     Companion_instance_1 = this;
     var tmp = this;
-    tmp.j1k_1 = lazy(Unificator$Companion$default$delegate$lambda);
-    this.k1k_1 = 32;
+    tmp.z1n_1 = lazy(Unificator$Companion$default$delegate$lambda);
+    this.a1o_1 = 32;
   }
-  protoOf(Companion_0).l1k = function () {
-    var tmp0 = this.j1k_1;
+  protoOf(Companion_0).b1o = function () {
+    var tmp0 = this.z1n_1;
     var tmp = KProperty1;
     // Inline function 'kotlin.getValue' call
     /* dead property reference removed */
-    return tmp0.g2();
+    return tmp0.h2();
   };
   protoOf(Companion_0).mguWith = function (_this__u8e3s4, other) {
-    return this.l1k().mgu(_this__u8e3s4, other);
+    return this.b1o().mgu(_this__u8e3s4, other);
   };
   protoOf(Companion_0).matches = function (_this__u8e3s4, other) {
-    return this.l1k().match(_this__u8e3s4, other);
+    return this.b1o().match(_this__u8e3s4, other);
   };
   protoOf(Companion_0).unifyWith = function (_this__u8e3s4, other) {
-    return this.l1k().unify(_this__u8e3s4, other);
+    return this.b1o().unify(_this__u8e3s4, other);
   };
   protoOf(Companion_0).mergeWith = function (_this__u8e3s4, other) {
-    return this.l1k().merge(_this__u8e3s4, other);
+    return this.b1o().merge(_this__u8e3s4, other);
   };
   protoOf(Companion_0).naiveWithContext = function (context) {
     return new Unificator$Companion$naive$1(context);
@@ -1130,10 +1131,10 @@
   protoOf(Companion_0).strict = function () {
     return this.strictWithContext(Companion_getInstance().empty());
   };
-  protoOf(Companion_0).q1k = function (other, capacity) {
+  protoOf(Companion_0).g1o = function (other, capacity) {
     var tmp;
     if (other instanceof CachedUnificator) {
-      tmp = new CachedUnificator(other.l1i_1, capacity);
+      tmp = new CachedUnificator(other.b1m_1, capacity);
     } else {
       tmp = new CachedUnificator(other, capacity);
     }
@@ -1141,7 +1142,7 @@
   };
   protoOf(Companion_0).cached = function (other, capacity, $super) {
     capacity = capacity === VOID ? 32 : capacity;
-    return $super === VOID ? this.q1k(other, capacity) : $super.q1k.call(this, other, capacity);
+    return $super === VOID ? this.g1o(other, capacity) : $super.g1o.call(this, other, capacity);
   };
   var Companion_instance_1;
   function Companion_getInstance_2() {
@@ -1166,38 +1167,38 @@
   protoOf(CachedUnificator).unifyWithOccurCheck = unifyWithOccurCheck;
   protoOf(CachedUnificator).unify = unify;
   protoOf(CachedUnificator).merge = merge;
-  protoOf(Equation).bp = castTo;
+  protoOf(Equation).sr = castTo;
   defineProp(protoOf(Equation), 'lhs', function () {
-    return this.u1h();
+    return this.k1l();
   });
   defineProp(protoOf(Equation), 'rhs', function () {
-    return this.v1h();
+    return this.l1l();
   });
   defineProp(protoOf(Equation), 'isIdentity', function () {
-    return this.x1h();
+    return this.n1l();
   });
   defineProp(protoOf(Equation), 'isAssignment', function () {
-    return this.g1i();
+    return this.w1l();
   });
   defineProp(protoOf(Equation), 'isLeftAssignment', function () {
-    return this.v1i();
+    return this.l1m();
   });
   defineProp(protoOf(Equation), 'isRightAssignment', function () {
-    return this.w1i();
+    return this.m1m();
   });
   defineProp(protoOf(Equation), 'isComparison', function () {
-    return this.y1h();
+    return this.o1l();
   });
   defineProp(protoOf(Equation), 'isContradiction', function () {
-    return this.w1h();
+    return this.m1l();
   });
   defineProp(protoOf(Assignment), 'variable', function () {
-    return this.e1i();
+    return this.u1l();
   });
   defineProp(protoOf(Assignment), 'term', function () {
-    return this.f1i();
+    return this.v1l();
   });
-  defineProp(protoOf(Companion_0), 'default', protoOf(Companion_0).l1k);
+  defineProp(protoOf(Companion_0), 'default', protoOf(Companion_0).b1o);
   //endregion
   //region block: init
   Companion_instance_0 = new Companion();
@@ -1205,6 +1206,8 @@
   //region block: exports
   _.$_$ = _.$_$ || {};
   _.$_$.a = Companion_getInstance_2;
+  _.$_$.b = mguWithOccurCheck;
+  _.$_$.c = Unificator;
   //endregion
   return _;
 }));