@tuprolog/2p-full 0.32.4 → 1.0.0

package/2p-unify.js

@@ -57,16 +57,16 @@
   //endregion
   //region block: pre-declaration
   function mgu(term1, term2) {
-    return this.c1k(term1, term2, true);
+    return this.y1j(term1, term2, true);
   }
   function matchWithOccurCheck(term1, term2, occurCheckEnabled) {
-    return !(this.c1k(term1, term2, occurCheckEnabled) === Companion_getInstance().failed());
+    return !(this.y1j(term1, term2, occurCheckEnabled) === Companion_getInstance().failed());
   }
   function match(term1, term2) {
     return this.matchWithOccurCheck(term1, term2, true);
   }
   function unifyWithOccurCheck(term1, term2, occurCheckEnabled) {
-    var substitution = this.c1k(term1, term2, occurCheckEnabled);
+    var substitution = this.y1j(term1, term2, occurCheckEnabled);
     return substitution.x12() ? null : term1.getSubstituted(substitution, []);
   }
   function unify(term1, term2) {
@@ -90,14 +90,14 @@
   //endregion
   function _get_contextEquations__x0dd77($this) {
     // Inline function 'kotlin.getValue' call
-    var this_0 = $this.l1j_1;
+    var this_0 = $this.h1j_1;
     contextEquations$factory();
     return this_0.r2();
   }
   function occurrenceCheck($this, variable, term) {
     var tmp;
     if (term.mx()) {
-      tmp = $this.m1j(variable, term);
+      tmp = $this.i1j(variable, term);
     } else if (term.ww()) {
       var tmp$ret$1;
       $l$block: {
@@ -121,7 +121,7 @@
   }
   function equationsFor($this, term1, term2) {
     var tmp = Companion_instance_0;
-    return tmp.n1j(term1, term2, AbstractUnificator$checkTermsEquality$ref($this));
+    return tmp.j1j(term1, term2, AbstractUnificator$checkTermsEquality$ref($this));
   }
   function equationsFor_0($this, substitution1, substitution2) {
     var tmp = Companion_instance_0;
@@ -156,26 +156,26 @@
       var eqIterator = equations.z1();
       while (eqIterator.s()) {
         var eq = eqIterator.u();
-        if (eq.s1j()) {
+        if (eq.o1j()) {
           return Companion_getInstance().failed();
-        } else if (eq.t1j()) {
+        } else if (eq.p1j()) {
           eqIterator.t();
           changed = true;
-        } else if (eq.a1k()) {
-          var assignment = eq.v1j();
-          if (occurCheckEnabled ? occurrenceCheck($this, assignment.y1j_1, eq.r1j()) : false) {
+        } else if (eq.w1j()) {
+          var assignment = eq.r1j();
+          if (occurCheckEnabled ? occurrenceCheck($this, assignment.u1j_1, eq.n1j()) : false) {
             return Companion_getInstance().failed();
           } else {
             changed = changed ? true : applySubstitutionToEquations($this, assignment.toSubstitution(), equations, eqIterator.n1());
           }
-        } else if (eq.u1j()) {
+        } else if (eq.q1j()) {
           eqIterator.t();
-          var tmp0_iterator = equationsFor($this, eq.q1j(), eq.r1j()).r();
+          var tmp0_iterator = equationsFor($this, eq.m1j(), eq.n1j()).r();
           insertion: while (tmp0_iterator.s()) {
             var it = tmp0_iterator.u();
-            if (it.t1j())
+            if (it.p1j())
               continue insertion;
-            else if (it.s1j())
+            else if (it.o1j())
               return Companion_getInstance().failed();
             else {
               eqIterator.q1(it);
@@ -192,7 +192,7 @@
     while (tmp0_iterator_0.s()) {
       var element = tmp0_iterator_0.u();
       // Inline function 'it.unibo.tuprolog.unify.AbstractUnificator.mgu.<anonymous>' call
-      if (element.a1k()) {
+      if (element.w1j()) {
         destination.o(element);
       }
     }
@@ -204,15 +204,15 @@
     return toCollection(items, tmp$ret$0);
   }
   function applySubstitutionToEquations$handleIndex($equations, $substitution, this$0, changed, i) {
-    if ($equations.c1(i).s1j() ? true : $equations.c1(i).t1j())
+    if ($equations.c1(i).o1j() ? true : $equations.c1(i).p1j())
       return Unit_instance;
     var currentEq = $equations.c1(i);
     var tmp0_container = currentEq.apply($substitution).toPair();
     var newLhs = tmp0_container.me();
     var newRhs = tmp0_container.ne();
-    if (!currentEq.q1j().equals(newLhs) ? true : !currentEq.r1j().equals(newRhs)) {
+    if (!currentEq.m1j().equals(newLhs) ? true : !currentEq.n1j().equals(newRhs)) {
       var tmp = Companion_instance_0;
-      $equations.m(i, tmp.b1k(newLhs, newRhs, AbstractUnificator$checkTermsEquality$ref_0(this$0)));
+      $equations.m(i, tmp.x1j(newLhs, newRhs, AbstractUnificator$checkTermsEquality$ref_0(this$0)));
       changed._v = true;
     }
   }
@@ -223,7 +223,7 @@
   }
   function AbstractUnificator$checkTermsEquality$ref($boundThis) {
     var l = function (p0, p1) {
-      return $boundThis.m1j(p0, p1);
+      return $boundThis.i1j(p0, p1);
     };
     l.callableName = 'checkTermsEquality';
     return l;
@@ -234,27 +234,27 @@
   }
   function AbstractUnificator$checkTermsEquality$ref_0($boundThis) {
     var l = function (p0, p1) {
-      return $boundThis.m1j(p0, p1);
+      return $boundThis.i1j(p0, p1);
     };
     l.callableName = 'checkTermsEquality';
     return l;
   }
   function AbstractUnificator(context) {
     context = context === VOID ? Companion_getInstance().empty() : context;
-    this.k1j_1 = context;
+    this.g1j_1 = context;
     var tmp = this;
-    tmp.l1j_1 = lazy(AbstractUnificator$contextEquations$delegate$lambda(this));
+    tmp.h1j_1 = lazy(AbstractUnificator$contextEquations$delegate$lambda(this));
   }
   protoOf(AbstractUnificator).uc = function () {
-    return this.k1j_1;
+    return this.g1j_1;
   };
-  protoOf(AbstractUnificator).c1k = function (term1, term2, occurCheckEnabled) {
+  protoOf(AbstractUnificator).y1j = function (term1, term2, occurCheckEnabled) {
     if (this.uc().x12())
       return Companion_getInstance().failed();
     var equations = newDeque(this, plus(asSequence_0(_get_contextEquations__x0dd77(this)), equationsFor(this, term1, term2)));
     return mgu_0(this, equations, occurCheckEnabled);
   };
-  protoOf(AbstractUnificator).d1k = function (substitution1, substitution2, occurCheckEnabled) {
+  protoOf(AbstractUnificator).z1j = function (substitution1, substitution2, occurCheckEnabled) {
     if ((this.uc().x12() ? true : substitution1.x12()) ? true : substitution2.x12())
       return Companion_getInstance().failed();
     if (!occurCheckEnabled) {
@@ -267,7 +267,7 @@
     return mgu_0(this, equations, occurCheckEnabled);
   };
   protoOf(AbstractUnificator).mergeWithOccurCheck = function (substitution1, substitution2, occurCheckEnabled) {
-    return this.d1k(substitution1, substitution2, occurCheckEnabled);
+    return this.z1j(substitution1, substitution2, occurCheckEnabled);
   };
   function contextEquations$factory() {
     return getPropertyCallableRef('contextEquations', 1, KProperty1, function (receiver) {
@@ -275,37 +275,37 @@
     }, null);
   }
   function CachedUnificator(decorated, cacheCapacity) {
-    this.e1k_1 = decorated;
-    this.f1k_1 = Companion_instance.rq(cacheCapacity);
+    this.a1k_1 = decorated;
+    this.b1k_1 = Companion_instance.rq(cacheCapacity);
   }
-  protoOf(CachedUnificator).c1k = function (term1, term2, occurCheckEnabled) {
+  protoOf(CachedUnificator).y1j = function (term1, term2, occurCheckEnabled) {
     var mguRequest = new Triple(term1, term2, occurCheckEnabled);
-    var cached = this.f1k_1.x2(mguRequest);
+    var cached = this.b1k_1.x2(mguRequest);
     var tmp;
     if (cached instanceof Some) {
       tmp = cached.uq_1;
     } else {
-      var mguResult = this.e1k_1.c1k(term1, term2, occurCheckEnabled);
-      this.f1k_1.sq(mguRequest, mguResult);
+      var mguResult = this.a1k_1.y1j(term1, term2, occurCheckEnabled);
+      this.b1k_1.sq(mguRequest, mguResult);
       tmp = mguResult;
     }
     return tmp;
   };
-  protoOf(CachedUnificator).d1k = function (substitution1, substitution2, occurCheckEnabled) {
+  protoOf(CachedUnificator).z1j = function (substitution1, substitution2, occurCheckEnabled) {
     var mguRequest = new Triple(substitution1, substitution2, occurCheckEnabled);
-    var cached = this.f1k_1.x2(mguRequest);
+    var cached = this.b1k_1.x2(mguRequest);
     var tmp;
     if (cached instanceof Some) {
       tmp = cached.uq_1;
     } else {
-      var mguResult = this.e1k_1.mergeWithOccurCheck(substitution1, substitution2, occurCheckEnabled);
-      this.f1k_1.sq(mguRequest, mguResult);
+      var mguResult = this.a1k_1.mergeWithOccurCheck(substitution1, substitution2, occurCheckEnabled);
+      this.b1k_1.sq(mguRequest, mguResult);
       tmp = mguResult;
     }
     return tmp;
   };
   protoOf(CachedUnificator).mergeWithOccurCheck = function (substitution1, substitution2, occurCheckEnabled) {
-    return this.d1k(substitution1, substitution2, occurCheckEnabled);
+    return this.z1j(substitution1, substitution2, occurCheckEnabled);
   };
   function allOfLists($this, lhs, rhs, equalityChecker) {
     var tmp = zip(lhs.unfold(), rhs.unfold());
@@ -338,7 +338,7 @@
   }
   function Equation$Companion$from$lambda($equalityChecker) {
     return function (it) {
-      return Companion_instance_0.g1k(it, $equalityChecker);
+      return Companion_instance_0.c1k(it, $equalityChecker);
     };
   }
   function Term$equals$ref_2() {
@@ -366,14 +366,14 @@
     return function (_name_for_destructuring_parameter_0__wldtmu) {
       var l = _name_for_destructuring_parameter_0__wldtmu.me();
       var r = _name_for_destructuring_parameter_0__wldtmu.ne();
-      return (l.dx() ? r.dx() : false) ? sequenceOf([Companion_instance_0.b1k(l.castToCons().wy(), r.castToCons().wy(), $equalityChecker)]) : (l.cx() ? r.cx() : false) ? sequenceOf([Companion_instance_0.b1k(l.castToList(), r.castToList(), $equalityChecker)]) : Companion_instance_0.n1j(l, r, $equalityChecker);
+      return (l.dx() ? r.dx() : false) ? sequenceOf([Companion_instance_0.x1j(l.castToCons().wy(), r.castToCons().wy(), $equalityChecker)]) : (l.cx() ? r.cx() : false) ? sequenceOf([Companion_instance_0.x1j(l.castToList(), r.castToList(), $equalityChecker)]) : Companion_instance_0.j1j(l, r, $equalityChecker);
     };
   }
   function Equation$Companion$allOfTuples$lambda($equalityChecker) {
     return function (_name_for_destructuring_parameter_0__wldtmu) {
       var l = _name_for_destructuring_parameter_0__wldtmu.me();
       var r = _name_for_destructuring_parameter_0__wldtmu.ne();
-      return (l.bx() ? r.bx() : false) ? sequenceOf([Companion_instance_0.b1k(l.castToTuple().ky(), r.castToTuple().ky(), $equalityChecker)]) : Companion_instance_0.n1j(l, r, $equalityChecker);
+      return (l.bx() ? r.bx() : false) ? sequenceOf([Companion_instance_0.x1j(l.castToTuple().ky(), r.castToTuple().ky(), $equalityChecker)]) : Companion_instance_0.j1j(l, r, $equalityChecker);
     };
   }
   function Term$equals$ref_5() {
@@ -385,29 +385,29 @@
   }
   function Equation$Companion$allOf$lambda($equalityChecker) {
     return function (it) {
-      return Companion_instance_0.g1k(it, $equalityChecker);
+      return Companion_instance_0.c1k(it, $equalityChecker);
     };
   }
   function Identity(lhs, rhs) {
     Equation.call(this, lhs, rhs);
-    this.j1k_1 = lhs;
-    this.k1k_1 = rhs;
+    this.f1k_1 = lhs;
+    this.g1k_1 = rhs;
   }
-  protoOf(Identity).q1j = function () {
-    return this.j1k_1;
+  protoOf(Identity).m1j = function () {
+    return this.f1k_1;
   };
-  protoOf(Identity).r1j = function () {
-    return this.k1k_1;
+  protoOf(Identity).n1j = function () {
+    return this.g1k_1;
   };
-  protoOf(Identity).t1j = function () {
+  protoOf(Identity).p1j = function () {
     return true;
   };
   protoOf(Identity).toString = function () {
-    return 'Identity(lhs=' + this.j1k_1 + ', rhs=' + this.k1k_1 + ')';
+    return 'Identity(lhs=' + this.f1k_1 + ', rhs=' + this.g1k_1 + ')';
   };
   protoOf(Identity).hashCode = function () {
-    var result = this.j1k_1.hashCode();
-    result = imul(result, 31) + this.k1k_1.hashCode() | 0;
+    var result = this.f1k_1.hashCode();
+    result = imul(result, 31) + this.g1k_1.hashCode() | 0;
     return result;
   };
   protoOf(Identity).equals = function (other) {
@@ -416,44 +416,44 @@
     if (!(other instanceof Identity))
       return false;
     var tmp0_other_with_cast = other instanceof Identity ? other : THROW_CCE();
-    if (!this.j1k_1.equals(tmp0_other_with_cast.j1k_1))
+    if (!this.f1k_1.equals(tmp0_other_with_cast.f1k_1))
       return false;
-    if (!this.k1k_1.equals(tmp0_other_with_cast.k1k_1))
+    if (!this.g1k_1.equals(tmp0_other_with_cast.g1k_1))
       return false;
     return true;
   };
   function Assignment(lhs, rhs) {
     Equation.call(this, lhs, rhs);
-    this.y1j_1 = lhs;
-    this.z1j_1 = rhs;
+    this.u1j_1 = lhs;
+    this.v1j_1 = rhs;
   }
-  protoOf(Assignment).q1j = function () {
-    return this.y1j_1;
+  protoOf(Assignment).m1j = function () {
+    return this.u1j_1;
   };
-  protoOf(Assignment).r1j = function () {
-    return this.z1j_1;
+  protoOf(Assignment).n1j = function () {
+    return this.v1j_1;
   };
   protoOf(Assignment).toSubstitution = function () {
-    return Companion_getInstance().unifier(this.y1j_1, this.z1j_1);
+    return Companion_getInstance().unifier(this.u1j_1, this.v1j_1);
   };
-  protoOf(Assignment).n1k = function () {
-    return to(this.y1j_1, this.z1j_1);
+  protoOf(Assignment).j1k = function () {
+    return to(this.u1j_1, this.v1j_1);
   };
   protoOf(Assignment).toPair = function () {
-    return this.n1k();
+    return this.j1k();
   };
-  protoOf(Assignment).a1k = function () {
+  protoOf(Assignment).w1j = function () {
     return true;
   };
-  protoOf(Assignment).l1k = function () {
+  protoOf(Assignment).h1k = function () {
     return this;
   };
   protoOf(Assignment).toString = function () {
-    return 'Assignment(lhs=' + this.y1j_1 + ', rhs=' + this.z1j_1 + ')';
+    return 'Assignment(lhs=' + this.u1j_1 + ', rhs=' + this.v1j_1 + ')';
   };
   protoOf(Assignment).hashCode = function () {
-    var result = this.y1j_1.hashCode();
-    result = imul(result, 31) + this.z1j_1.hashCode() | 0;
+    var result = this.u1j_1.hashCode();
+    result = imul(result, 31) + this.v1j_1.hashCode() | 0;
     return result;
   };
   protoOf(Assignment).equals = function (other) {
@@ -462,32 +462,32 @@
     if (!(other instanceof Assignment))
       return false;
     var tmp0_other_with_cast = other instanceof Assignment ? other : THROW_CCE();
-    if (!this.y1j_1.equals(tmp0_other_with_cast.y1j_1))
+    if (!this.u1j_1.equals(tmp0_other_with_cast.u1j_1))
       return false;
-    if (!this.z1j_1.equals(tmp0_other_with_cast.z1j_1))
+    if (!this.v1j_1.equals(tmp0_other_with_cast.v1j_1))
       return false;
     return true;
   };
   function Comparison(lhs, rhs) {
     Equation.call(this, lhs, rhs);
-    this.q1k_1 = lhs;
-    this.r1k_1 = rhs;
+    this.m1k_1 = lhs;
+    this.n1k_1 = rhs;
   }
-  protoOf(Comparison).q1j = function () {
-    return this.q1k_1;
+  protoOf(Comparison).m1j = function () {
+    return this.m1k_1;
   };
-  protoOf(Comparison).r1j = function () {
-    return this.r1k_1;
+  protoOf(Comparison).n1j = function () {
+    return this.n1k_1;
   };
-  protoOf(Comparison).u1j = function () {
+  protoOf(Comparison).q1j = function () {
     return true;
   };
   protoOf(Comparison).toString = function () {
-    return 'Comparison(lhs=' + this.q1k_1 + ', rhs=' + this.r1k_1 + ')';
+    return 'Comparison(lhs=' + this.m1k_1 + ', rhs=' + this.n1k_1 + ')';
   };
   protoOf(Comparison).hashCode = function () {
-    var result = this.q1k_1.hashCode();
-    result = imul(result, 31) + this.r1k_1.hashCode() | 0;
+    var result = this.m1k_1.hashCode();
+    result = imul(result, 31) + this.n1k_1.hashCode() | 0;
     return result;
   };
   protoOf(Comparison).equals = function (other) {
@@ -496,32 +496,32 @@
     if (!(other instanceof Comparison))
       return false;
     var tmp0_other_with_cast = other instanceof Comparison ? other : THROW_CCE();
-    if (!this.q1k_1.equals(tmp0_other_with_cast.q1k_1))
+    if (!this.m1k_1.equals(tmp0_other_with_cast.m1k_1))
       return false;
-    if (!this.r1k_1.equals(tmp0_other_with_cast.r1k_1))
+    if (!this.n1k_1.equals(tmp0_other_with_cast.n1k_1))
       return false;
     return true;
   };
   function Contradiction(lhs, rhs) {
     Equation.call(this, lhs, rhs);
-    this.u1k_1 = lhs;
-    this.v1k_1 = rhs;
+    this.q1k_1 = lhs;
+    this.r1k_1 = rhs;
   }
-  protoOf(Contradiction).q1j = function () {
-    return this.u1k_1;
+  protoOf(Contradiction).m1j = function () {
+    return this.q1k_1;
   };
-  protoOf(Contradiction).r1j = function () {
-    return this.v1k_1;
+  protoOf(Contradiction).n1j = function () {
+    return this.r1k_1;
   };
-  protoOf(Contradiction).s1j = function () {
+  protoOf(Contradiction).o1j = function () {
     return true;
   };
   protoOf(Contradiction).toString = function () {
-    return 'Contradiction(lhs=' + this.u1k_1 + ', rhs=' + this.v1k_1 + ')';
+    return 'Contradiction(lhs=' + this.q1k_1 + ', rhs=' + this.r1k_1 + ')';
   };
   protoOf(Contradiction).hashCode = function () {
-    var result = this.u1k_1.hashCode();
-    result = imul(result, 31) + this.v1k_1.hashCode() | 0;
+    var result = this.q1k_1.hashCode();
+    result = imul(result, 31) + this.r1k_1.hashCode() | 0;
     return result;
   };
   protoOf(Contradiction).equals = function (other) {
@@ -530,15 +530,15 @@
     if (!(other instanceof Contradiction))
       return false;
     var tmp0_other_with_cast = other instanceof Contradiction ? other : THROW_CCE();
-    if (!this.u1k_1.equals(tmp0_other_with_cast.u1k_1))
+    if (!this.q1k_1.equals(tmp0_other_with_cast.q1k_1))
       return false;
-    if (!this.v1k_1.equals(tmp0_other_with_cast.v1k_1))
+    if (!this.r1k_1.equals(tmp0_other_with_cast.r1k_1))
       return false;
     return true;
   };
   function Companion() {
   }
-  protoOf(Companion).b1k = function (lhs, rhs, equalityChecker) {
+  protoOf(Companion).x1j = function (lhs, rhs, equalityChecker) {
     var tmp;
     if (lhs.mx() ? rhs.mx() : false) {
       var tmp_0;
@@ -585,10 +585,10 @@
       tmp = equalityChecker;
     }
     equalityChecker = tmp;
-    return $super === VOID ? this.b1k(lhs, rhs, equalityChecker) : $super.b1k.call(this, lhs, rhs, equalityChecker);
+    return $super === VOID ? this.x1j(lhs, rhs, equalityChecker) : $super.x1j.call(this, lhs, rhs, equalityChecker);
   };
-  protoOf(Companion).w1k = function (pair, equalityChecker) {
-    return this.b1k(pair.ye_1, pair.ze_1, equalityChecker);
+  protoOf(Companion).s1k = function (pair, equalityChecker) {
+    return this.x1j(pair.ye_1, pair.ze_1, equalityChecker);
   };
   protoOf(Companion).ofPair = function (pair, equalityChecker, $super) {
     var tmp;
@@ -598,9 +598,9 @@
       tmp = equalityChecker;
     }
     equalityChecker = tmp;
-    return $super === VOID ? this.w1k(pair, equalityChecker) : $super.w1k.call(this, pair, equalityChecker);
+    return $super === VOID ? this.s1k(pair, equalityChecker) : $super.s1k.call(this, pair, equalityChecker);
   };
-  protoOf(Companion).x1k = function (pairs, equalityChecker) {
+  protoOf(Companion).t1k = function (pairs, equalityChecker) {
     return flatMap(pairs, Equation$Companion$from$lambda(equalityChecker));
   };
   protoOf(Companion).fromSequence = function (pairs, equalityChecker, $super) {
@@ -611,10 +611,10 @@
       tmp = equalityChecker;
     }
     equalityChecker = tmp;
-    return $super === VOID ? this.x1k(pairs, equalityChecker) : $super.x1k.call(this, pairs, equalityChecker);
+    return $super === VOID ? this.t1k(pairs, equalityChecker) : $super.t1k.call(this, pairs, equalityChecker);
   };
-  protoOf(Companion).y1k = function (pairs, equalityChecker) {
-    return this.x1k(asSequence_0(pairs), equalityChecker);
+  protoOf(Companion).u1k = function (pairs, equalityChecker) {
+    return this.t1k(asSequence_0(pairs), equalityChecker);
   };
   protoOf(Companion).fromIterable = function (pairs, equalityChecker, $super) {
     var tmp;
@@ -624,10 +624,10 @@
       tmp = equalityChecker;
     }
     equalityChecker = tmp;
-    return $super === VOID ? this.y1k(pairs, equalityChecker) : $super.y1k.call(this, pairs, equalityChecker);
+    return $super === VOID ? this.u1k(pairs, equalityChecker) : $super.u1k.call(this, pairs, equalityChecker);
   };
-  protoOf(Companion).z1k = function (pairs, equalityChecker) {
-    return this.x1k(sequenceOf(pairs.slice()), equalityChecker);
+  protoOf(Companion).v1k = function (pairs, equalityChecker) {
+    return this.t1k(sequenceOf(pairs.slice()), equalityChecker);
   };
   protoOf(Companion).from = function (pairs, equalityChecker, $super) {
     var tmp;
@@ -637,10 +637,10 @@
       tmp = equalityChecker;
     }
     equalityChecker = tmp;
-    return $super === VOID ? this.z1k(pairs, equalityChecker) : $super.z1k.call(this, pairs, equalityChecker);
+    return $super === VOID ? this.v1k(pairs, equalityChecker) : $super.v1k.call(this, pairs, equalityChecker);
   };
-  protoOf(Companion).g1k = function (pair, equalityChecker) {
-    return this.n1j(pair.ye_1, pair.ze_1, equalityChecker);
+  protoOf(Companion).c1k = function (pair, equalityChecker) {
+    return this.j1j(pair.ye_1, pair.ze_1, equalityChecker);
   };
   protoOf(Companion).allOfPair = function (pair, equalityChecker, $super) {
     var tmp;
@@ -650,12 +650,12 @@
       tmp = equalityChecker;
     }
     equalityChecker = tmp;
-    return $super === VOID ? this.g1k(pair, equalityChecker) : $super.g1k.call(this, pair, equalityChecker);
+    return $super === VOID ? this.c1k(pair, equalityChecker) : $super.c1k.call(this, pair, equalityChecker);
   };
-  protoOf(Companion).n1j = function (lhs, rhs, equalityChecker) {
+  protoOf(Companion).j1j = function (lhs, rhs, equalityChecker) {
     var tmp;
     if (lhs.lw() ? rhs.lw() : false) {
-      tmp = sequenceOf([this.b1k(lhs, rhs, equalityChecker)]);
+      tmp = sequenceOf([this.x1j(lhs, rhs, equalityChecker)]);
     } else if (lhs.cx() ? rhs.cx() : false) {
       tmp = allOfLists(this, lhs.castToList(), rhs.castToList(), equalityChecker);
     } else if (lhs.bx() ? rhs.bx() : false) {
@@ -668,11 +668,11 @@
         var tmp_1 = zip(lhsStruct.jx(), rhsStruct.jx());
         tmp_0 = flatMap(tmp_1, Equation$Companion$allOf$lambda(equalityChecker));
       } else {
-        tmp_0 = sequenceOf([this.b1k(lhs, rhs, equalityChecker)]);
+        tmp_0 = sequenceOf([this.x1j(lhs, rhs, equalityChecker)]);
       }
       tmp = tmp_0;
     } else {
-      tmp = sequenceOf([this.b1k(lhs, rhs, equalityChecker)]);
+      tmp = sequenceOf([this.x1j(lhs, rhs, equalityChecker)]);
     }
     return tmp;
   };
@@ -684,7 +684,7 @@
       tmp = equalityChecker;
     }
     equalityChecker = tmp;
-    return $super === VOID ? this.n1j(lhs, rhs, equalityChecker) : $super.n1j.call(this, lhs, rhs, equalityChecker);
+    return $super === VOID ? this.j1j(lhs, rhs, equalityChecker) : $super.j1j.call(this, lhs, rhs, equalityChecker);
   };
   var Companion_instance_0;
   function Companion_getInstance_1() {
@@ -698,26 +698,26 @@
     return l;
   }
   function Equation(lhs, rhs) {
-    this.o1j_1 = lhs;
-    this.p1j_1 = rhs;
+    this.k1j_1 = lhs;
+    this.l1j_1 = rhs;
   }
-  protoOf(Equation).q1j = function () {
-    return this.o1j_1;
+  protoOf(Equation).m1j = function () {
+    return this.k1j_1;
   };
-  protoOf(Equation).r1j = function () {
-    return this.p1j_1;
+  protoOf(Equation).n1j = function () {
+    return this.l1j_1;
   };
-  protoOf(Equation).t1j = function () {
+  protoOf(Equation).p1j = function () {
     return false;
   };
-  protoOf(Equation).a1k = function () {
+  protoOf(Equation).w1j = function () {
     return false;
   };
-  protoOf(Equation).l1k = function () {
+  protoOf(Equation).h1k = function () {
     return null;
   };
-  protoOf(Equation).v1j = function () {
-    var tmp0_elvis_lhs = this.l1k();
+  protoOf(Equation).r1j = function () {
+    var tmp0_elvis_lhs = this.h1k();
     var tmp;
     if (tmp0_elvis_lhs == null) {
       throw ClassCastException_init_$Create$('Cannot cast ' + this + ' to ' + getKClass(Assignment).s6());
@@ -726,26 +726,26 @@
     }
     return tmp;
   };
-  protoOf(Equation).u1j = function () {
+  protoOf(Equation).q1j = function () {
     return false;
   };
-  protoOf(Equation).s1j = function () {
+  protoOf(Equation).o1j = function () {
     return false;
   };
-  protoOf(Equation).t1i = function () {
-    return Companion_getInstance_0().of('=', [this.q1j(), this.r1j()]);
+  protoOf(Equation).p1i = function () {
+    return Companion_getInstance_0().of('=', [this.m1j(), this.n1j()]);
   };
   protoOf(Equation).toTerm = function () {
-    return this.t1i();
+    return this.p1i();
   };
   protoOf(Equation).toPair = function () {
-    return new Pair(this.q1j(), this.r1j());
+    return new Pair(this.m1j(), this.n1j());
   };
   protoOf(Equation).swap = function () {
-    return Companion_instance_0.of(this.r1j(), this.q1j());
+    return Companion_instance_0.of(this.n1j(), this.m1j());
   };
-  protoOf(Equation).m1k = function (substitution, equalityChecker) {
-    return Companion_instance_0.b1k(this.q1j().getSubstituted(substitution, []), this.r1j().getSubstituted(substitution, []), equalityChecker);
+  protoOf(Equation).i1k = function (substitution, equalityChecker) {
+    return Companion_instance_0.x1j(this.m1j().getSubstituted(substitution, []), this.n1j().getSubstituted(substitution, []), equalityChecker);
   };
   protoOf(Equation).apply = function (substitution, equalityChecker, $super) {
     var tmp;
@@ -755,7 +755,7 @@
       tmp = equalityChecker;
     }
     equalityChecker = tmp;
-    return $super === VOID ? this.m1k(substitution, equalityChecker) : $super.m1k.call(this, substitution, equalityChecker);
+    return $super === VOID ? this.i1k(substitution, equalityChecker) : $super.i1k.call(this, substitution, equalityChecker);
   };
   function toEquations(_this__u8e3s4) {
     // Inline function 'kotlin.collections.map' call
@@ -782,12 +782,12 @@
   }
   function toAssignmentPair(_this__u8e3s4) {
     var tmp;
-    if (_this__u8e3s4.a1k()) {
-      tmp = _this__u8e3s4.v1j().n1k();
-    } else if (_this__u8e3s4.q1j().mx()) {
-      tmp = to(_this__u8e3s4.q1j().castToVar(), _this__u8e3s4.r1j());
-    } else if (_this__u8e3s4.r1j().mx()) {
-      tmp = to(_this__u8e3s4.r1j().castToVar(), _this__u8e3s4.q1j());
+    if (_this__u8e3s4.w1j()) {
+      tmp = _this__u8e3s4.r1j().j1k();
+    } else if (_this__u8e3s4.m1j().mx()) {
+      tmp = to(_this__u8e3s4.m1j().castToVar(), _this__u8e3s4.n1j());
+    } else if (_this__u8e3s4.n1j().mx()) {
+      tmp = to(_this__u8e3s4.n1j().castToVar(), _this__u8e3s4.m1j());
     } else {
       throw IllegalArgumentException_init_$Create$('Equation contains no variables: ' + _this__u8e3s4);
     }
@@ -802,7 +802,7 @@
   function Unificator$Companion$naive$1($context) {
     AbstractUnificator.call(this, $context);
   }
-  protoOf(Unificator$Companion$naive$1).m1j = function (first, second) {
+  protoOf(Unificator$Companion$naive$1).i1j = function (first, second) {
     var tmp;
     if (first.rx() ? second.rx() : false) {
       tmp = first.castToInteger().r2().yk(second.castToInteger().r2()) === 0;
@@ -816,32 +816,32 @@
   function Unificator$Companion$strict$1($context) {
     AbstractUnificator.call(this, $context);
   }
-  protoOf(Unificator$Companion$strict$1).m1j = function (first, second) {
+  protoOf(Unificator$Companion$strict$1).i1j = function (first, second) {
     return first.equals(second);
   };
   function Companion_0() {
     Companion_instance_1 = this;
     var tmp = this;
-    tmp.e1l_1 = lazy(Unificator$Companion$default$delegate$lambda);
-    this.f1l_1 = 32;
+    tmp.a1l_1 = lazy(Unificator$Companion$default$delegate$lambda);
+    this.b1l_1 = 32;
   }
-  protoOf(Companion_0).g1l = function () {
+  protoOf(Companion_0).c1l = function () {
     // Inline function 'kotlin.getValue' call
-    var this_0 = this.e1l_1;
+    var this_0 = this.a1l_1;
     default$factory();
     return this_0.r2();
   };
   protoOf(Companion_0).mguWith = function (_this__u8e3s4, other) {
-    return this.g1l().mgu(_this__u8e3s4, other);
+    return this.c1l().mgu(_this__u8e3s4, other);
   };
   protoOf(Companion_0).matches = function (_this__u8e3s4, other) {
-    return this.g1l().match(_this__u8e3s4, other);
+    return this.c1l().match(_this__u8e3s4, other);
   };
   protoOf(Companion_0).unifyWith = function (_this__u8e3s4, other) {
-    return this.g1l().unify(_this__u8e3s4, other);
+    return this.c1l().unify(_this__u8e3s4, other);
   };
   protoOf(Companion_0).mergeWith = function (_this__u8e3s4, other) {
-    return this.g1l().merge(_this__u8e3s4, other);
+    return this.c1l().merge(_this__u8e3s4, other);
   };
   protoOf(Companion_0).naiveWithContext = function (context) {
     return new Unificator$Companion$naive$1(context);
@@ -855,10 +855,10 @@
   protoOf(Companion_0).strict = function () {
     return this.strictWithContext(Companion_getInstance().empty());
   };
-  protoOf(Companion_0).h1l = function (other, capacity) {
+  protoOf(Companion_0).d1l = function (other, capacity) {
     var tmp;
     if (other instanceof CachedUnificator) {
-      tmp = new CachedUnificator(other.e1k_1, capacity);
+      tmp = new CachedUnificator(other.a1k_1, capacity);
     } else {
       tmp = new CachedUnificator(other, capacity);
     }
@@ -866,7 +866,7 @@
   };
   protoOf(Companion_0).cached = function (other, capacity, $super) {
     capacity = capacity === VOID ? 32 : capacity;
-    return $super === VOID ? this.h1l(other, capacity) : $super.h1l.call(this, other, capacity);
+    return $super === VOID ? this.d1l(other, capacity) : $super.d1l.call(this, other, capacity);
   };
   var Companion_instance_1;
   function Companion_getInstance_2() {
@@ -878,7 +878,7 @@
   }
   function default$factory() {
     return getPropertyCallableRef('default', 1, KProperty1, function (receiver) {
-      return receiver.g1l();
+      return receiver.c1l();
     }, null);
   }
   //region block: post-declaration
@@ -896,12 +896,12 @@
   protoOf(CachedUnificator).merge = merge;
   protoOf(Equation).br = castTo;
   defineProp(protoOf(Equation), 'lhs', function () {
-    return this.q1j();
+    return this.m1j();
   });
   defineProp(protoOf(Equation), 'rhs', function () {
-    return this.r1j();
+    return this.n1j();
   });
-  defineProp(protoOf(Companion_0), 'default', protoOf(Companion_0).g1l);
+  defineProp(protoOf(Companion_0), 'default', protoOf(Companion_0).c1l);
   //endregion
   //region block: init
   Companion_instance_0 = new Companion();