@tuprolog/2p-full 0.31.5-dev0a → 0.31.5-dev0f

package/2p-unify.js

@@ -37,17 +37,17 @@
   //endregion
   //region block: pre-declaration
   function mgu(term1, term2) {
-    return this.c1k(term1, term2, true);
+    return this.z1j(term1, term2, true);
   }
   function matchWithOccurCheck(term1, term2, occurCheckEnabled) {
-    return !(this.c1k(term1, term2, occurCheckEnabled) === Companion_getInstance().failed());
+    return !(this.z1j(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);
-    return substitution.r12() ? null : term1.getSubstituted(substitution, []);
+    var substitution = this.z1j(term1, term2, occurCheckEnabled);
+    return substitution.o12() ? null : term1.getSubstituted(substitution, []);
   }
   function unify(term1, term2) {
     return this.unifyWithOccurCheck(term1, term2, true);
@@ -72,21 +72,21 @@
     var tmp$ret$0;
     // Inline function 'kotlin.getValue' call
     var tmp0_getValue = contextEquations$factory();
-    tmp$ret$0 = $this.j1j_1.b1();
+    tmp$ret$0 = $this.g1j_1.b1();
     return tmp$ret$0;
   }
   function occurrenceCheck($this, variable, term) {
     var tmp;
-    if (term.bx()) {
-      tmp = $this.k1j(variable, term);
-    } else if (term.lw()) {
+    if (term.yw()) {
+      tmp = $this.h1j(variable, term);
+    } else if (term.iw()) {
       var tmp$ret$1;
       $l$block: {
         // Inline function 'kotlin.sequences.any' call
-        var tmp0_any = term.hw();
+        var tmp0_any = term.ew();
         var tmp0_iterator = tmp0_any.j();
         while (tmp0_iterator.m()) {
-          var element = tmp0_iterator.p();
+          var element = tmp0_iterator.n();
           var tmp$ret$0;
           // Inline function 'it.unibo.tuprolog.unify.AbstractUnificator.occurrenceCheck.<anonymous>' call
           tmp$ret$0 = occurrenceCheck($this, variable, element);
@@ -105,13 +105,13 @@
   }
   function equationsFor($this, term1, term2) {
     var tmp = Companion_getInstance_2();
-    return tmp.l1j(term1, term2, AbstractUnificator$checkTermsEquality$ref($this));
+    return tmp.i1j(term1, term2, AbstractUnificator$checkTermsEquality$ref($this));
   }
   function equationsFor_0($this, substitution1, substitution2) {
     var tmp = Companion_getInstance_2();
     var tmp_0 = plus(asSequence(substitution1), asSequence(substitution2));
     var tmp_1 = map(tmp_0, AbstractUnificator$equationsFor$lambda);
-    return tmp.m1j(tmp_1, null, 2, null);
+    return tmp.j1j(tmp_1, null, 2, null);
   }
   function applySubstitutionToEquations($this, substitution, equations, exceptIndex) {
     var changed = {_v: false};
@@ -124,7 +124,7 @@
       }
        while (inductionVariable < exceptIndex);
     var inductionVariable_0 = exceptIndex + 1 | 0;
-    var last = equations.o();
+    var last = equations.p();
     if (inductionVariable_0 < last)
       do {
         var i_0 = inductionVariable_0;
@@ -140,27 +140,27 @@
       changed = false;
       var eqIterator = equations.bb();
       while (eqIterator.m()) {
-        var eq = eqIterator.p();
-        if (eq.r1j()) {
+        var eq = eqIterator.n();
+        if (eq.o1j()) {
           return Companion_getInstance().failed();
-        } else if (eq.s1j()) {
+        } else if (eq.p1j()) {
           eqIterator.u4();
           changed = true;
-        } else if (eq.z1j()) {
-          var assignment = eq.u1j();
-          if (occurCheckEnabled ? occurrenceCheck($this, assignment.x1j_1, eq.q1j()) : 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.sa());
           }
-        } else if (eq.t1j()) {
+        } else if (eq.q1j()) {
           eqIterator.u4();
-          var tmp0_iterator = equationsFor($this, eq.p1j(), eq.q1j()).j();
+          var tmp0_iterator = equationsFor($this, eq.m1j(), eq.n1j()).j();
           insertion: while (tmp0_iterator.m()) {
-            var it = tmp0_iterator.p();
-            if (it.s1j())
+            var it = tmp0_iterator.n();
+            if (it.p1j())
               continue insertion;
-            else if (it.r1j())
+            else if (it.o1j())
               return Companion_getInstance().failed();
             else {
               eqIterator.va(it);
@@ -177,10 +177,10 @@
     var tmp0_filterTo = ArrayList_init_$Create$();
     var tmp0_iterator_0 = equations.j();
     while (tmp0_iterator_0.m()) {
-      var element = tmp0_iterator_0.p();
+      var element = tmp0_iterator_0.n();
       var tmp$ret$0;
       // Inline function 'it.unibo.tuprolog.unify.AbstractUnificator.mgu.<anonymous>' call
-      tmp$ret$0 = element.z1j();
+      tmp$ret$0 = element.w1j();
       if (tmp$ret$0) {
         tmp0_filterTo.g(element);
       }
@@ -196,15 +196,15 @@
     return toCollection(items, tmp$ret$0);
   }
   function applySubstitutionToEquations$handleIndex($equations, $substitution, this$0, changed, i) {
-    if ($equations.n(i).r1j() ? true : $equations.n(i).s1j())
+    if ($equations.o(i).o1j() ? true : $equations.o(i).p1j())
       return Unit_getInstance();
-    var currentEq = $equations.n(i);
-    var tmp0_container = currentEq.a1k($substitution, null, 2, null).toPair();
+    var currentEq = $equations.o(i);
+    var tmp0_container = currentEq.x1j($substitution, null, 2, null).toPair();
     var newLhs = tmp0_container.n3();
     var newRhs = tmp0_container.o3();
-    if (!currentEq.p1j().equals(newLhs) ? true : !currentEq.q1j().equals(newRhs)) {
+    if (!currentEq.m1j().equals(newLhs) ? true : !currentEq.n1j().equals(newRhs)) {
       var tmp = Companion_getInstance_2();
-      $equations.s4(i, tmp.b1k(newLhs, newRhs, AbstractUnificator$checkTermsEquality$ref_0(this$0)));
+      $equations.s4(i, tmp.y1j(newLhs, newRhs, AbstractUnificator$checkTermsEquality$ref_0(this$0)));
       changed._v = true;
     }
   }
@@ -215,7 +215,7 @@
   }
   function AbstractUnificator$checkTermsEquality$ref($boundThis) {
     var l = function (p0, p1) {
-      return $boundThis.k1j(p0, p1);
+      return $boundThis.h1j(p0, p1);
     };
     l.callableName = 'checkTermsEquality';
     return l;
@@ -228,31 +228,31 @@
   }
   function AbstractUnificator$checkTermsEquality$ref_0($boundThis) {
     var l = function (p0, p1) {
-      return $boundThis.k1j(p0, p1);
+      return $boundThis.h1j(p0, p1);
     };
     l.callableName = 'checkTermsEquality';
     return l;
   }
   function AbstractUnificator(context) {
-    this.i1j_1 = context;
+    this.f1j_1 = context;
     var tmp = this;
-    tmp.j1j_1 = lazy(AbstractUnificator$contextEquations$delegate$lambda(this));
+    tmp.g1j_1 = lazy(AbstractUnificator$contextEquations$delegate$lambda(this));
   }
   AbstractUnificator.prototype.j5 = function () {
-    return this.i1j_1;
+    return this.f1j_1;
   };
-  AbstractUnificator.prototype.c1k = function (term1, term2, occurCheckEnabled) {
-    if (this.j5().r12())
+  AbstractUnificator.prototype.z1j = function (term1, term2, occurCheckEnabled) {
+    if (this.j5().o12())
       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);
   };
-  AbstractUnificator.prototype.d1k = function (substitution1, substitution2, occurCheckEnabled) {
-    if ((this.j5().r12() ? true : substitution1.r12()) ? true : substitution2.r12())
+  AbstractUnificator.prototype.a1k = function (substitution1, substitution2, occurCheckEnabled) {
+    if ((this.j5().o12() ? true : substitution1.o12()) ? true : substitution2.o12())
       return Companion_getInstance().failed();
     if (!occurCheckEnabled) {
       var quickMerge = this.j5().plus(substitution1).plus(substitution2);
-      if (quickMerge.q12()) {
+      if (quickMerge.n12()) {
         return quickMerge;
       }
     }
@@ -260,7 +260,7 @@
     return mgu_0(this, equations, occurCheckEnabled);
   };
   AbstractUnificator.prototype.mergeWithOccurCheck = function (substitution1, substitution2, occurCheckEnabled) {
-    return this.d1k(substitution1, substitution2, occurCheckEnabled);
+    return this.a1k(substitution1, substitution2, occurCheckEnabled);
   };
   function contextEquations$factory() {
     return getPropertyCallableRef('contextEquations', 1, KProperty1, function (receiver) {
@@ -268,37 +268,37 @@
     }, null);
   }
   function CachedUnificator(decorated, cacheCapacity) {
-    this.e1k_1 = decorated;
-    this.f1k_1 = Companion_getInstance_0().gq(cacheCapacity);
+    this.b1k_1 = decorated;
+    this.c1k_1 = Companion_getInstance_0().dq(cacheCapacity);
   }
-  CachedUnificator.prototype.c1k = function (term1, term2, occurCheckEnabled) {
+  CachedUnificator.prototype.z1j = function (term1, term2, occurCheckEnabled) {
     var mguRequest = new Triple(term1, term2, occurCheckEnabled);
-    var cached = this.f1k_1.a3(mguRequest);
+    var cached = this.c1k_1.a3(mguRequest);
     var tmp;
     if (cached instanceof Some) {
-      tmp = cached.jq_1;
+      tmp = cached.gq_1;
     } else {
-      var mguResult = this.e1k_1.c1k(term1, term2, occurCheckEnabled);
-      this.f1k_1.hq(mguRequest, mguResult);
+      var mguResult = this.b1k_1.z1j(term1, term2, occurCheckEnabled);
+      this.c1k_1.eq(mguRequest, mguResult);
       tmp = mguResult;
     }
     return tmp;
   };
-  CachedUnificator.prototype.d1k = function (substitution1, substitution2, occurCheckEnabled) {
+  CachedUnificator.prototype.a1k = function (substitution1, substitution2, occurCheckEnabled) {
     var mguRequest = new Triple(substitution1, substitution2, occurCheckEnabled);
-    var cached = this.f1k_1.a3(mguRequest);
+    var cached = this.c1k_1.a3(mguRequest);
     var tmp;
     if (cached instanceof Some) {
-      tmp = cached.jq_1;
+      tmp = cached.gq_1;
     } else {
-      var mguResult = this.e1k_1.mergeWithOccurCheck(substitution1, substitution2, occurCheckEnabled);
-      this.f1k_1.hq(mguRequest, mguResult);
+      var mguResult = this.b1k_1.mergeWithOccurCheck(substitution1, substitution2, occurCheckEnabled);
+      this.c1k_1.eq(mguRequest, mguResult);
       tmp = mguResult;
     }
     return tmp;
   };
   CachedUnificator.prototype.mergeWithOccurCheck = function (substitution1, substitution2, occurCheckEnabled) {
-    return this.d1k(substitution1, substitution2, occurCheckEnabled);
+    return this.a1k(substitution1, substitution2, occurCheckEnabled);
   };
   function allOfLists($this, lhs, rhs, equalityChecker) {
     var tmp = zip(lhs.unfold(), rhs.unfold());
@@ -331,7 +331,7 @@
   }
   function Equation$Companion$from$lambda($equalityChecker) {
     return function (it) {
-      return Companion_getInstance_2().g1k(it, $equalityChecker);
+      return Companion_getInstance_2().d1k(it, $equalityChecker);
     };
   }
   function Term$equals$ref_2() {
@@ -359,14 +359,14 @@
     return function (_name_for_destructuring_parameter_0__wldtmu) {
       var l = _name_for_destructuring_parameter_0__wldtmu.n3();
       var r = _name_for_destructuring_parameter_0__wldtmu.o3();
-      return (l.sw() ? r.sw() : false) ? sequenceOf([Companion_getInstance_2().b1k(l.castToCons().ly(), r.castToCons().ly(), $equalityChecker)]) : (l.rw() ? r.rw() : false) ? sequenceOf([Companion_getInstance_2().b1k(l.castToList(), r.castToList(), $equalityChecker)]) : Companion_getInstance_2().l1j(l, r, $equalityChecker);
+      return (l.pw() ? r.pw() : false) ? sequenceOf([Companion_getInstance_2().y1j(l.castToCons().iy(), r.castToCons().iy(), $equalityChecker)]) : (l.ow() ? r.ow() : false) ? sequenceOf([Companion_getInstance_2().y1j(l.castToList(), r.castToList(), $equalityChecker)]) : Companion_getInstance_2().i1j(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.n3();
       var r = _name_for_destructuring_parameter_0__wldtmu.o3();
-      return (l.qw() ? r.qw() : false) ? sequenceOf([Companion_getInstance_2().b1k(l.castToTuple().zx(), r.castToTuple().zx(), $equalityChecker)]) : Companion_getInstance_2().l1j(l, r, $equalityChecker);
+      return (l.nw() ? r.nw() : false) ? sequenceOf([Companion_getInstance_2().y1j(l.castToTuple().wx(), r.castToTuple().wx(), $equalityChecker)]) : Companion_getInstance_2().i1j(l, r, $equalityChecker);
     };
   }
   function Term$equals$ref_5() {
@@ -378,29 +378,29 @@
   }
   function Equation$Companion$allOf$lambda($equalityChecker) {
     return function (it) {
-      return Companion_getInstance_2().g1k(it, $equalityChecker);
+      return Companion_getInstance_2().d1k(it, $equalityChecker);
     };
   }
   function Identity(lhs, rhs) {
     Equation.call(this, lhs, rhs);
-    this.j1k_1 = lhs;
-    this.k1k_1 = rhs;
+    this.g1k_1 = lhs;
+    this.h1k_1 = rhs;
   }
-  Identity.prototype.p1j = function () {
-    return this.j1k_1;
+  Identity.prototype.m1j = function () {
+    return this.g1k_1;
   };
-  Identity.prototype.q1j = function () {
-    return this.k1k_1;
+  Identity.prototype.n1j = function () {
+    return this.h1k_1;
   };
-  Identity.prototype.s1j = function () {
+  Identity.prototype.p1j = function () {
     return true;
   };
   Identity.prototype.toString = function () {
-    return 'Identity(lhs=' + this.j1k_1 + ', rhs=' + this.k1k_1 + ')';
+    return 'Identity(lhs=' + this.g1k_1 + ', rhs=' + this.h1k_1 + ')';
   };
   Identity.prototype.hashCode = function () {
-    var result = this.j1k_1.hashCode();
-    result = imul(result, 31) + this.k1k_1.hashCode() | 0;
+    var result = this.g1k_1.hashCode();
+    result = imul(result, 31) + this.h1k_1.hashCode() | 0;
     return result;
   };
   Identity.prototype.equals = function (other) {
@@ -409,44 +409,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.g1k_1.equals(tmp0_other_with_cast.g1k_1))
       return false;
-    if (!this.k1k_1.equals(tmp0_other_with_cast.k1k_1))
+    if (!this.h1k_1.equals(tmp0_other_with_cast.h1k_1))
       return false;
     return true;
   };
   function Assignment(lhs, rhs) {
     Equation.call(this, lhs, rhs);
-    this.x1j_1 = lhs;
-    this.y1j_1 = rhs;
+    this.u1j_1 = lhs;
+    this.v1j_1 = rhs;
   }
-  Assignment.prototype.p1j = function () {
-    return this.x1j_1;
+  Assignment.prototype.m1j = function () {
+    return this.u1j_1;
   };
-  Assignment.prototype.q1j = function () {
-    return this.y1j_1;
+  Assignment.prototype.n1j = function () {
+    return this.v1j_1;
   };
   Assignment.prototype.toSubstitution = function () {
-    return Companion_getInstance().unifier(this.x1j_1, this.y1j_1);
+    return Companion_getInstance().unifier(this.u1j_1, this.v1j_1);
   };
-  Assignment.prototype.n1k = function () {
-    return to(this.x1j_1, this.y1j_1);
+  Assignment.prototype.k1k = function () {
+    return to(this.u1j_1, this.v1j_1);
   };
   Assignment.prototype.toPair = function () {
-    return this.n1k();
+    return this.k1k();
   };
-  Assignment.prototype.z1j = function () {
+  Assignment.prototype.w1j = function () {
     return true;
   };
-  Assignment.prototype.l1k = function () {
+  Assignment.prototype.i1k = function () {
     return this;
   };
   Assignment.prototype.toString = function () {
-    return 'Assignment(lhs=' + this.x1j_1 + ', rhs=' + this.y1j_1 + ')';
+    return 'Assignment(lhs=' + this.u1j_1 + ', rhs=' + this.v1j_1 + ')';
   };
   Assignment.prototype.hashCode = function () {
-    var result = this.x1j_1.hashCode();
-    result = imul(result, 31) + this.y1j_1.hashCode() | 0;
+    var result = this.u1j_1.hashCode();
+    result = imul(result, 31) + this.v1j_1.hashCode() | 0;
     return result;
   };
   Assignment.prototype.equals = function (other) {
@@ -455,32 +455,32 @@
     if (!(other instanceof Assignment))
       return false;
     var tmp0_other_with_cast = other instanceof Assignment ? other : THROW_CCE();
-    if (!this.x1j_1.equals(tmp0_other_with_cast.x1j_1))
+    if (!this.u1j_1.equals(tmp0_other_with_cast.u1j_1))
       return false;
-    if (!this.y1j_1.equals(tmp0_other_with_cast.y1j_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.n1k_1 = lhs;
+    this.o1k_1 = rhs;
   }
-  Comparison.prototype.p1j = function () {
-    return this.q1k_1;
+  Comparison.prototype.m1j = function () {
+    return this.n1k_1;
   };
-  Comparison.prototype.q1j = function () {
-    return this.r1k_1;
+  Comparison.prototype.n1j = function () {
+    return this.o1k_1;
   };
-  Comparison.prototype.t1j = function () {
+  Comparison.prototype.q1j = function () {
     return true;
   };
   Comparison.prototype.toString = function () {
-    return 'Comparison(lhs=' + this.q1k_1 + ', rhs=' + this.r1k_1 + ')';
+    return 'Comparison(lhs=' + this.n1k_1 + ', rhs=' + this.o1k_1 + ')';
   };
   Comparison.prototype.hashCode = function () {
-    var result = this.q1k_1.hashCode();
-    result = imul(result, 31) + this.r1k_1.hashCode() | 0;
+    var result = this.n1k_1.hashCode();
+    result = imul(result, 31) + this.o1k_1.hashCode() | 0;
     return result;
   };
   Comparison.prototype.equals = function (other) {
@@ -489,32 +489,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.n1k_1.equals(tmp0_other_with_cast.n1k_1))
       return false;
-    if (!this.r1k_1.equals(tmp0_other_with_cast.r1k_1))
+    if (!this.o1k_1.equals(tmp0_other_with_cast.o1k_1))
       return false;
     return true;
   };
   function Contradiction(lhs, rhs) {
     Equation.call(this, lhs, rhs);
-    this.u1k_1 = lhs;
-    this.v1k_1 = rhs;
+    this.r1k_1 = lhs;
+    this.s1k_1 = rhs;
   }
-  Contradiction.prototype.p1j = function () {
-    return this.u1k_1;
+  Contradiction.prototype.m1j = function () {
+    return this.r1k_1;
   };
-  Contradiction.prototype.q1j = function () {
-    return this.v1k_1;
+  Contradiction.prototype.n1j = function () {
+    return this.s1k_1;
   };
-  Contradiction.prototype.r1j = function () {
+  Contradiction.prototype.o1j = function () {
     return true;
   };
   Contradiction.prototype.toString = function () {
-    return 'Contradiction(lhs=' + this.u1k_1 + ', rhs=' + this.v1k_1 + ')';
+    return 'Contradiction(lhs=' + this.r1k_1 + ', rhs=' + this.s1k_1 + ')';
   };
   Contradiction.prototype.hashCode = function () {
-    var result = this.u1k_1.hashCode();
-    result = imul(result, 31) + this.v1k_1.hashCode() | 0;
+    var result = this.r1k_1.hashCode();
+    result = imul(result, 31) + this.s1k_1.hashCode() | 0;
     return result;
   };
   Contradiction.prototype.equals = function (other) {
@@ -523,9 +523,9 @@
     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.r1k_1.equals(tmp0_other_with_cast.r1k_1))
       return false;
-    if (!this.v1k_1.equals(tmp0_other_with_cast.v1k_1))
+    if (!this.s1k_1.equals(tmp0_other_with_cast.s1k_1))
       return false;
     return true;
   };
@@ -539,11 +539,11 @@
     } else {
       tmp = equalityChecker;
     }
-    return this.b1k(lhs, rhs, tmp);
+    return this.y1j(lhs, rhs, tmp);
   };
-  Companion.prototype.b1k = function (lhs, rhs, equalityChecker) {
+  Companion.prototype.y1j = function (lhs, rhs, equalityChecker) {
     var tmp;
-    if (lhs.bx() ? rhs.bx() : false) {
+    if (lhs.yw() ? rhs.yw() : false) {
       var tmp_0;
       if (equalityChecker(lhs, rhs)) {
         tmp_0 = new Identity(lhs, rhs);
@@ -551,11 +551,11 @@
         tmp_0 = new Assignment(lhs.castToVar(), rhs);
       }
       tmp = tmp_0;
-    } else if (lhs.bx()) {
+    } else if (lhs.yw()) {
       tmp = new Assignment(lhs.castToVar(), rhs);
-    } else if (rhs.bx()) {
+    } else if (rhs.yw()) {
       tmp = new Assignment(rhs.castToVar(), lhs);
-    } else if (lhs.ex() ? rhs.ex() : false) {
+    } else if (lhs.bx() ? rhs.bx() : false) {
       var tmp_1;
       if (equalityChecker(lhs, rhs)) {
         tmp_1 = new Identity(lhs, rhs);
@@ -563,13 +563,13 @@
         tmp_1 = new Contradiction(lhs, rhs);
       }
       tmp = tmp_1;
-    } else if (lhs.ex() ? true : rhs.ex()) {
+    } else if (lhs.bx() ? true : rhs.bx()) {
       tmp = new Contradiction(lhs, rhs);
-    } else if (lhs.lw() ? rhs.lw() : false) {
+    } else if (lhs.iw() ? rhs.iw() : false) {
       var lhsStruct = lhs.castToStruct();
       var rhsStruct = rhs.castToStruct();
       var tmp_2;
-      if (!(lhsStruct.zv() === rhsStruct.zv()) ? true : !(lhsStruct.fw() === rhsStruct.fw())) {
+      if (!(lhsStruct.wv() === rhsStruct.wv()) ? true : !(lhsStruct.cw() === rhsStruct.cw())) {
         tmp_2 = new Contradiction(lhsStruct, rhsStruct);
       } else {
         tmp_2 = new Comparison(lhsStruct, rhsStruct);
@@ -580,11 +580,11 @@
     }
     return tmp;
   };
-  Companion.prototype.w1k = function (lhs, rhs, equalityChecker, $mask0, $handler) {
+  Companion.prototype.t1k = function (lhs, rhs, equalityChecker, $mask0, $handler) {
     if (!(($mask0 & 4) === 0)) {
       equalityChecker = Term$equals$ref();
     }
-    return this.b1k(lhs, rhs, equalityChecker);
+    return this.y1j(lhs, rhs, equalityChecker);
   };
   Companion.prototype.ofPair = function (pair, equalityChecker) {
     var tmp;
@@ -593,10 +593,10 @@
     } else {
       tmp = equalityChecker;
     }
-    return this.x1k(pair, tmp);
+    return this.u1k(pair, tmp);
   };
-  Companion.prototype.x1k = function (pair, equalityChecker) {
-    return this.b1k(pair.g4_1, pair.h4_1, equalityChecker);
+  Companion.prototype.u1k = function (pair, equalityChecker) {
+    return this.y1j(pair.g4_1, pair.h4_1, equalityChecker);
   };
   Companion.prototype.fromSequence = function (pairs, equalityChecker) {
     var tmp;
@@ -605,16 +605,16 @@
     } else {
       tmp = equalityChecker;
     }
-    return this.y1k(pairs, tmp);
+    return this.v1k(pairs, tmp);
   };
-  Companion.prototype.y1k = function (pairs, equalityChecker) {
+  Companion.prototype.v1k = function (pairs, equalityChecker) {
     return flatMap(pairs, Equation$Companion$from$lambda(equalityChecker));
   };
-  Companion.prototype.m1j = function (pairs, equalityChecker, $mask0, $handler) {
+  Companion.prototype.j1j = function (pairs, equalityChecker, $mask0, $handler) {
     if (!(($mask0 & 2) === 0)) {
       equalityChecker = Term$equals$ref_1();
     }
-    return this.y1k(pairs, equalityChecker);
+    return this.v1k(pairs, equalityChecker);
   };
   Companion.prototype.fromIterable = function (pairs, equalityChecker) {
     var tmp;
@@ -623,10 +623,10 @@
     } else {
       tmp = equalityChecker;
     }
-    return this.z1k(pairs, tmp);
+    return this.w1k(pairs, tmp);
   };
-  Companion.prototype.z1k = function (pairs, equalityChecker) {
-    return this.y1k(asSequence_0(pairs), equalityChecker);
+  Companion.prototype.w1k = function (pairs, equalityChecker) {
+    return this.v1k(asSequence_0(pairs), equalityChecker);
   };
   Companion.prototype.from = function (pairs, equalityChecker) {
     var tmp;
@@ -635,10 +635,10 @@
     } else {
       tmp = equalityChecker;
     }
-    return this.a1l(pairs, tmp);
+    return this.x1k(pairs, tmp);
   };
-  Companion.prototype.a1l = function (pairs, equalityChecker) {
-    return this.y1k(sequenceOf(pairs.slice()), equalityChecker);
+  Companion.prototype.x1k = function (pairs, equalityChecker) {
+    return this.v1k(sequenceOf(pairs.slice()), equalityChecker);
   };
   Companion.prototype.allOfPair = function (pair, equalityChecker) {
     var tmp;
@@ -647,10 +647,10 @@
     } else {
       tmp = equalityChecker;
     }
-    return this.g1k(pair, tmp);
+    return this.d1k(pair, tmp);
   };
-  Companion.prototype.g1k = function (pair, equalityChecker) {
-    return this.l1j(pair.g4_1, pair.h4_1, equalityChecker);
+  Companion.prototype.d1k = function (pair, equalityChecker) {
+    return this.i1j(pair.g4_1, pair.h4_1, equalityChecker);
   };
   Companion.prototype.allOf = function (lhs, rhs, equalityChecker) {
     var tmp;
@@ -659,29 +659,29 @@
     } else {
       tmp = equalityChecker;
     }
-    return this.l1j(lhs, rhs, tmp);
+    return this.i1j(lhs, rhs, tmp);
   };
-  Companion.prototype.l1j = function (lhs, rhs, equalityChecker) {
+  Companion.prototype.i1j = function (lhs, rhs, equalityChecker) {
     var tmp;
-    if (lhs.aw() ? rhs.aw() : false) {
-      tmp = sequenceOf([this.b1k(lhs, rhs, equalityChecker)]);
-    } else if (lhs.rw() ? rhs.rw() : false) {
+    if (lhs.xv() ? rhs.xv() : false) {
+      tmp = sequenceOf([this.y1j(lhs, rhs, equalityChecker)]);
+    } else if (lhs.ow() ? rhs.ow() : false) {
       tmp = allOfLists(this, lhs.castToList(), rhs.castToList(), equalityChecker);
-    } else if (lhs.qw() ? rhs.qw() : false) {
+    } else if (lhs.nw() ? rhs.nw() : false) {
       tmp = allOfTuples(this, lhs.castToTuple(), rhs.castToTuple(), equalityChecker);
-    } else if (lhs.lw() ? rhs.lw() : false) {
+    } else if (lhs.iw() ? rhs.iw() : false) {
       var lhsStruct = lhs.castToStruct();
       var rhsStruct = rhs.castToStruct();
       var tmp_0;
-      if (lhsStruct.zv() === rhsStruct.zv() ? lhsStruct.fw() === rhsStruct.fw() : false) {
-        var tmp_1 = zip(lhsStruct.yw(), rhsStruct.yw());
+      if (lhsStruct.wv() === rhsStruct.wv() ? lhsStruct.cw() === rhsStruct.cw() : false) {
+        var tmp_1 = zip(lhsStruct.vw(), rhsStruct.vw());
         tmp_0 = flatMap(tmp_1, Equation$Companion$allOf$lambda(equalityChecker));
       } else {
-        tmp_0 = sequenceOf([this.b1k(lhs, rhs, equalityChecker)]);
+        tmp_0 = sequenceOf([this.y1j(lhs, rhs, equalityChecker)]);
       }
       tmp = tmp_0;
     } else {
-      tmp = sequenceOf([this.b1k(lhs, rhs, equalityChecker)]);
+      tmp = sequenceOf([this.y1j(lhs, rhs, equalityChecker)]);
     }
     return tmp;
   };
@@ -700,26 +700,26 @@
   }
   function Equation(lhs, rhs) {
     Companion_getInstance_2();
-    this.n1j_1 = lhs;
-    this.o1j_1 = rhs;
+    this.k1j_1 = lhs;
+    this.l1j_1 = rhs;
   }
-  Equation.prototype.p1j = function () {
-    return this.n1j_1;
+  Equation.prototype.m1j = function () {
+    return this.k1j_1;
   };
-  Equation.prototype.q1j = function () {
-    return this.o1j_1;
+  Equation.prototype.n1j = function () {
+    return this.l1j_1;
   };
-  Equation.prototype.s1j = function () {
+  Equation.prototype.p1j = function () {
     return false;
   };
-  Equation.prototype.z1j = function () {
+  Equation.prototype.w1j = function () {
     return false;
   };
-  Equation.prototype.l1k = function () {
+  Equation.prototype.i1k = function () {
     return null;
   };
-  Equation.prototype.u1j = function () {
-    var tmp0_elvis_lhs = this.l1k();
+  Equation.prototype.r1j = function () {
+    var tmp0_elvis_lhs = this.i1k();
     var tmp;
     if (tmp0_elvis_lhs == null) {
       throw ClassCastException_init_$Create$('Cannot cast ' + this + ' to ' + getKClass(Assignment).kd());
@@ -728,26 +728,26 @@
     }
     return tmp;
   };
-  Equation.prototype.t1j = function () {
+  Equation.prototype.q1j = function () {
     return false;
   };
-  Equation.prototype.r1j = function () {
+  Equation.prototype.o1j = function () {
     return false;
   };
-  Equation.prototype.r1i = function () {
-    return Companion_getInstance_1().of('=', [this.p1j(), this.q1j()]);
+  Equation.prototype.o1i = function () {
+    return Companion_getInstance_1().of('=', [this.m1j(), this.n1j()]);
   };
   Equation.prototype.toTerm = function () {
-    return this.r1i();
+    return this.o1i();
   };
   Equation.prototype.toPair = function () {
-    return new Pair(this.p1j(), this.q1j());
+    return new Pair(this.m1j(), this.n1j());
   };
   Equation.prototype.swap = function () {
     var tmp = Companion_getInstance_2();
-    var tmp_0 = this.q1j();
-    var tmp_1 = this.p1j();
-    return tmp.w1k(tmp_0, tmp_1, null, 4, null);
+    var tmp_0 = this.n1j();
+    var tmp_1 = this.m1j();
+    return tmp.t1k(tmp_0, tmp_1, null, 4, null);
   };
   Equation.prototype.apply = function (substitution, equalityChecker) {
     var tmp;
@@ -756,27 +756,27 @@
     } else {
       tmp = equalityChecker;
     }
-    return this.m1k(substitution, tmp);
+    return this.j1k(substitution, tmp);
   };
-  Equation.prototype.m1k = function (substitution, equalityChecker) {
-    return Companion_getInstance_2().b1k(this.p1j().getSubstituted(substitution, []), this.q1j().getSubstituted(substitution, []), equalityChecker);
+  Equation.prototype.j1k = function (substitution, equalityChecker) {
+    return Companion_getInstance_2().y1j(this.m1j().getSubstituted(substitution, []), this.n1j().getSubstituted(substitution, []), equalityChecker);
   };
-  Equation.prototype.a1k = function (substitution, equalityChecker, $mask0, $handler) {
+  Equation.prototype.x1j = function (substitution, equalityChecker, $mask0, $handler) {
     if (!(($mask0 & 2) === 0)) {
       equalityChecker = Term$equals$ref_6();
     }
-    return this.m1k(substitution, equalityChecker);
+    return this.j1k(substitution, equalityChecker);
   };
   Object.defineProperty(Equation.prototype, 'lhs', {
     configurable: true,
     get: function () {
-      return this.p1j();
+      return this.m1j();
     }
   });
   Object.defineProperty(Equation.prototype, 'rhs', {
     configurable: true,
     get: function () {
-      return this.q1j();
+      return this.n1j();
     }
   });
   function toEquations(_this__u8e3s4) {
@@ -788,7 +788,7 @@
     var tmp0_mapTo = ArrayList_init_$Create$_0(collectionSizeOrDefault(tmp0_map, 10));
     var tmp0_iterator = tmp0_map.j();
     while (tmp0_iterator.m()) {
-      var item = tmp0_iterator.p();
+      var item = tmp0_iterator.n();
       var tmp$ret$2;
       // Inline function 'it.unibo.tuprolog.unify.toEquations.<anonymous>' call
       var tmp$ret$0;
@@ -813,12 +813,12 @@
   }
   function toAssignmentPair(_this__u8e3s4) {
     var tmp;
-    if (_this__u8e3s4.z1j()) {
-      tmp = _this__u8e3s4.u1j().n1k();
-    } else if (_this__u8e3s4.p1j().bx()) {
-      tmp = to(_this__u8e3s4.p1j().castToVar(), _this__u8e3s4.q1j());
-    } else if (_this__u8e3s4.q1j().bx()) {
-      tmp = to(_this__u8e3s4.q1j().castToVar(), _this__u8e3s4.p1j());
+    if (_this__u8e3s4.w1j()) {
+      tmp = _this__u8e3s4.r1j().k1k();
+    } else if (_this__u8e3s4.m1j().yw()) {
+      tmp = to(_this__u8e3s4.m1j().castToVar(), _this__u8e3s4.n1j());
+    } else if (_this__u8e3s4.n1j().yw()) {
+      tmp = to(_this__u8e3s4.n1j().castToVar(), _this__u8e3s4.m1j());
     } else {
       throw IllegalArgumentException_init_$Create$('Equation contains no variables: ' + _this__u8e3s4);
     }
@@ -833,12 +833,12 @@
   function Unificator$Companion$naive$1($context) {
     AbstractUnificator.call(this, $context);
   }
-  Unificator$Companion$naive$1.prototype.k1j = function (first, second) {
+  Unificator$Companion$naive$1.prototype.h1j = function (first, second) {
     var tmp;
-    if (first.gx() ? second.gx() : false) {
-      tmp = first.castToInteger().b1().lk(second.castToInteger().b1()) === 0;
-    } else if (first.fx() ? second.fx() : false) {
-      tmp = first.castToNumeric().x10().ck(second.castToNumeric().x10()) === 0;
+    if (first.dx() ? second.dx() : false) {
+      tmp = first.castToInteger().b1().ik(second.castToInteger().b1()) === 0;
+    } else if (first.cx() ? second.cx() : false) {
+      tmp = first.castToNumeric().u10().zj(second.castToNumeric().u10()) === 0;
     } else {
       tmp = first.equals(second);
     }
@@ -847,33 +847,33 @@
   function Unificator$Companion$strict$1($context) {
     AbstractUnificator.call(this, $context);
   }
-  Unificator$Companion$strict$1.prototype.k1j = function (first, second) {
+  Unificator$Companion$strict$1.prototype.h1j = function (first, second) {
     return first.equals(second);
   };
   function Companion_0() {
     Companion_instance_0 = this;
     var tmp = this;
-    tmp.f1l_1 = lazy(Unificator$Companion$default$delegate$lambda);
-    this.g1l_1 = 32;
+    tmp.c1l_1 = lazy(Unificator$Companion$default$delegate$lambda);
+    this.d1l_1 = 32;
   }
-  Companion_0.prototype.h1l = function () {
+  Companion_0.prototype.e1l = function () {
     var tmp$ret$0;
     // Inline function 'kotlin.getValue' call
     var tmp0_getValue = default$factory();
-    tmp$ret$0 = this.f1l_1.b1();
+    tmp$ret$0 = this.c1l_1.b1();
     return tmp$ret$0;
   };
   Companion_0.prototype.mguWith = function (_this__u8e3s4, other) {
-    return this.h1l().mgu(_this__u8e3s4, other);
+    return this.e1l().mgu(_this__u8e3s4, other);
   };
   Companion_0.prototype.matches = function (_this__u8e3s4, other) {
-    return this.h1l().match(_this__u8e3s4, other);
+    return this.e1l().match(_this__u8e3s4, other);
   };
   Companion_0.prototype.unifyWith = function (_this__u8e3s4, other) {
-    return this.h1l().unify(_this__u8e3s4, other);
+    return this.e1l().unify(_this__u8e3s4, other);
   };
   Companion_0.prototype.mergeWith = function (_this__u8e3s4, other) {
-    return this.h1l().merge(_this__u8e3s4, other);
+    return this.e1l().merge(_this__u8e3s4, other);
   };
   Companion_0.prototype.naiveWithContext = function (context) {
     return new Unificator$Companion$naive$1(context);
@@ -888,12 +888,12 @@
     return this.strictWithContext(Companion_getInstance().empty());
   };
   Companion_0.prototype.cached = function (other, capacity) {
-    return this.i1l(other, capacity === void 1 ? 32 : capacity);
+    return this.f1l(other, capacity === void 1 ? 32 : capacity);
   };
-  Companion_0.prototype.i1l = function (other, capacity) {
+  Companion_0.prototype.f1l = function (other, capacity) {
     var tmp;
     if (other instanceof CachedUnificator) {
-      tmp = new CachedUnificator(other.e1k_1, capacity);
+      tmp = new CachedUnificator(other.b1k_1, capacity);
     } else {
       tmp = new CachedUnificator(other, capacity);
     }
@@ -901,7 +901,7 @@
   };
   Object.defineProperty(Companion_0.prototype, 'default', {
     configurable: true,
-    get: Companion_0.prototype.h1l
+    get: Companion_0.prototype.e1l
   });
   var Companion_instance_0;
   function Companion_getInstance_3() {
@@ -913,7 +913,7 @@
   }
   function default$factory() {
     return getPropertyCallableRef('default', 1, KProperty1, function (receiver) {
-      return receiver.h1l();
+      return receiver.e1l();
     }, null);
   }
   //region block: post-declaration
@@ -929,11 +929,11 @@
   CachedUnificator.prototype.unifyWithOccurCheck = unifyWithOccurCheck;
   CachedUnificator.prototype.unify = unify;
   CachedUnificator.prototype.merge = merge;
-  Equation.prototype.qq = castTo;
-  Identity.prototype.qq = castTo;
-  Assignment.prototype.qq = castTo;
-  Comparison.prototype.qq = castTo;
-  Contradiction.prototype.qq = castTo;
+  Equation.prototype.nq = castTo;
+  Identity.prototype.nq = castTo;
+  Assignment.prototype.nq = castTo;
+  Comparison.prototype.nq = castTo;
+  Contradiction.prototype.nq = castTo;
   Unificator$Companion$naive$1.prototype.mgu = mgu;
   Unificator$Companion$naive$1.prototype.merge = merge;
   Unificator$Companion$naive$1.prototype.matchWithOccurCheck = matchWithOccurCheck;