@tuprolog/arg2p-core 0.7.3 → 0.8.2

package/2p-unify.js

@@ -19,55 +19,60 @@
   'use strict';
   //region block: imports
   var imul = Math.imul;
-  var asSequence = kotlin_kotlin.$_$.d2;
-  var plus = kotlin_kotlin.$_$.n7;
-  var map = kotlin_kotlin.$_$.j7;
-  var Unit_instance = kotlin_kotlin.$_$.r1;
-  var Companion_getInstance = kotlin_it_unibo_tuprolog_core.$_$.s;
+  var asSequence = kotlin_kotlin.$_$.g2;
+  var plus = kotlin_kotlin.$_$.w7;
+  var map = kotlin_kotlin.$_$.s7;
+  var Unit_instance = kotlin_kotlin.$_$.s1;
+  var Companion_getInstance = kotlin_it_unibo_tuprolog_core.$_$.v;
   var ArrayList_init_$Create$ = kotlin_kotlin.$_$.f;
-  var toCollection = kotlin_kotlin.$_$.t7;
-  var Pair = kotlin_kotlin.$_$.f9;
+  var toCollection = kotlin_kotlin.$_$.e8;
+  var Pair = kotlin_kotlin.$_$.t9;
   var VOID = kotlin_kotlin.$_$.d;
-  var lazy = kotlin_kotlin.$_$.m9;
-  var protoOf = kotlin_kotlin.$_$.s5;
-  var asSequence_0 = kotlin_kotlin.$_$.e2;
-  var classMeta = kotlin_kotlin.$_$.w4;
-  var setMetadataFor = kotlin_kotlin.$_$.t5;
-  var KProperty1 = kotlin_kotlin.$_$.l6;
-  var getPropertyCallableRef = kotlin_kotlin.$_$.c5;
+  var lazy = kotlin_kotlin.$_$.aa;
+  var protoOf = kotlin_kotlin.$_$.a6;
+  var asSequence_0 = kotlin_kotlin.$_$.h2;
+  var classMeta = kotlin_kotlin.$_$.e5;
+  var setMetadataFor = kotlin_kotlin.$_$.b6;
+  var KProperty1 = kotlin_kotlin.$_$.u6;
+  var getPropertyCallableRef = kotlin_kotlin.$_$.k5;
   var Companion_instance = kotlin_it_unibo_tuprolog_utils.$_$.a;
-  var Triple = kotlin_kotlin.$_$.j9;
-  var Some = kotlin_it_unibo_tuprolog_utils.$_$.i;
-  var zip = kotlin_kotlin.$_$.a8;
-  var flatMap = kotlin_kotlin.$_$.b7;
-  var sequenceOf = kotlin_kotlin.$_$.o7;
-  var THROW_CCE = kotlin_kotlin.$_$.h9;
-  var to = kotlin_kotlin.$_$.s9;
-  var objectMeta = kotlin_kotlin.$_$.r5;
+  var Triple = kotlin_kotlin.$_$.x9;
+  var Some = kotlin_it_unibo_tuprolog_utils.$_$.j;
+  var zip = kotlin_kotlin.$_$.l8;
+  var flatMap = kotlin_kotlin.$_$.k7;
+  var sequenceOf = kotlin_kotlin.$_$.y7;
+  var THROW_CCE = kotlin_kotlin.$_$.v9;
+  var to = kotlin_kotlin.$_$.ha;
+  var objectMeta = kotlin_kotlin.$_$.z5;
   var getKClass = kotlin_kotlin.$_$.c;
   var ClassCastException_init_$Create$ = kotlin_kotlin.$_$.q;
-  var Companion_getInstance_0 = kotlin_it_unibo_tuprolog_core.$_$.r;
+  var Companion_getInstance_0 = kotlin_it_unibo_tuprolog_core.$_$.u;
   var castTo = kotlin_it_unibo_tuprolog_utils.$_$.e;
-  var defineProp = kotlin_kotlin.$_$.y4;
+  var defineProp = kotlin_kotlin.$_$.g5;
+  var TermConvertible = kotlin_it_unibo_tuprolog_core.$_$.t1;
   var Castable = kotlin_it_unibo_tuprolog_utils.$_$.f;
-  var collectionSizeOrDefault = kotlin_kotlin.$_$.g2;
+  var collectionSizeOrDefault = kotlin_kotlin.$_$.j2;
   var ArrayList_init_$Create$_0 = kotlin_kotlin.$_$.e;
   var IllegalArgumentException_init_$Create$ = kotlin_kotlin.$_$.s;
-  var interfaceMeta = kotlin_kotlin.$_$.f5;
+  var interfaceMeta = kotlin_kotlin.$_$.n5;
   //endregion
   //region block: pre-declaration
+  function mguWithOccurCheck(term1, term2, occurCheckEnabled, $super) {
+    occurCheckEnabled = occurCheckEnabled === VOID ? true : occurCheckEnabled;
+    return $super === VOID ? this.u1j(term1, term2, occurCheckEnabled) : $super.u1j.call(this, term1, term2, occurCheckEnabled);
+  }
   function mgu(term1, term2) {
-    return this.t1h(term1, term2, true);
+    return this.u1j(term1, term2, true);
   }
   function matchWithOccurCheck(term1, term2, occurCheckEnabled) {
-    return !(this.t1h(term1, term2, occurCheckEnabled) === Companion_getInstance().failed());
+    return !(this.u1j(term1, term2, occurCheckEnabled) === Companion_getInstance().failed());
   }
   function match(term1, term2) {
     return this.matchWithOccurCheck(term1, term2, true);
   }
   function unifyWithOccurCheck(term1, term2, occurCheckEnabled) {
-    var substitution = this.t1h(term1, term2, occurCheckEnabled);
-    return substitution.p10() ? null : term1.getSubstituted(substitution, []);
+    var substitution = this.u1j(term1, term2, occurCheckEnabled);
+    return substitution.e11() ? null : term1.getSubstituted(substitution, []);
   }
   function unify(term1, term2) {
     return this.unifyWithOccurCheck(term1, term2, true);
@@ -78,7 +83,7 @@
   setMetadataFor(Unificator, 'Unificator', interfaceMeta);
   setMetadataFor(AbstractUnificator, 'AbstractUnificator', classMeta, VOID, [Unificator]);
   setMetadataFor(CachedUnificator, 'CachedUnificator', classMeta, VOID, [Unificator]);
-  setMetadataFor(Equation, 'Equation', classMeta, VOID, [Castable]);
+  setMetadataFor(Equation, 'Equation', classMeta, VOID, [TermConvertible, Castable]);
   setMetadataFor(Identity, 'Identity', classMeta, Equation);
   setMetadataFor(Assignment, 'Assignment', classMeta, Equation);
   setMetadataFor(Comparison, 'Comparison', classMeta, Equation);
@@ -90,21 +95,21 @@
   //endregion
   function _get_contextEquations__x0dd77($this) {
     // Inline function 'kotlin.getValue' call
-    var this_0 = $this.c1h_1;
+    var this_0 = $this.d1j_1;
     contextEquations$factory();
-    return this_0.q2();
+    return this_0.r2();
   }
   function occurrenceCheck($this, variable, term) {
     var tmp;
-    if (term.gv()) {
-      tmp = $this.d1h(variable, term);
-    } else if (term.qu()) {
+    if (term.vv()) {
+      tmp = $this.e1j(variable, term);
+    } else if (term.fv()) {
       var tmp$ret$1;
       $l$block: {
         // Inline function 'kotlin.sequences.any' call
-        var tmp0_iterator = term.mu().o();
-        while (tmp0_iterator.p()) {
-          var element = tmp0_iterator.r();
+        var tmp0_iterator = term.bv().r();
+        while (tmp0_iterator.s()) {
+          var element = tmp0_iterator.u();
           // Inline function 'it.unibo.tuprolog.unify.AbstractUnificator.occurrenceCheck.<anonymous>' call
           if (occurrenceCheck($this, variable, element)) {
             tmp$ret$1 = true;
@@ -121,7 +126,7 @@
   }
   function equationsFor($this, term1, term2) {
     var tmp = Companion_instance_0;
-    return tmp.e1h(term1, term2, AbstractUnificator$checkTermsEquality$ref($this));
+    return tmp.f1j(term1, term2, AbstractUnificator$checkTermsEquality$ref($this));
   }
   function equationsFor_0($this, substitution1, substitution2) {
     var tmp = Companion_instance_0;
@@ -139,7 +144,7 @@
       }
        while (inductionVariable < exceptIndex);
     var inductionVariable_0 = exceptIndex + 1 | 0;
-    var last = equations.u();
+    var last = equations.l();
     if (inductionVariable_0 < last)
       do {
         var i_0 = inductionVariable_0;
@@ -153,32 +158,32 @@
     var changed = true;
     while (changed) {
       changed = false;
-      var eqIterator = equations.y1();
-      while (eqIterator.p()) {
-        var eq = eqIterator.r();
-        if (eq.j1h()) {
+      var eqIterator = equations.z1();
+      while (eqIterator.s()) {
+        var eq = eqIterator.u();
+        if (eq.k1j()) {
           return Companion_getInstance().failed();
-        } else if (eq.k1h()) {
-          eqIterator.q();
+        } else if (eq.l1j()) {
+          eqIterator.t();
           changed = true;
-        } else if (eq.r1h()) {
-          var assignment = eq.m1h();
-          if (occurCheckEnabled ? occurrenceCheck($this, assignment.p1h_1, eq.i1h()) : false) {
+        } else if (eq.s1j()) {
+          var assignment = eq.n1j();
+          if (occurCheckEnabled ? occurrenceCheck($this, assignment.q1j_1, eq.j1j()) : false) {
             return Companion_getInstance().failed();
           } else {
-            changed = changed ? true : applySubstitutionToEquations($this, assignment.toSubstitution(), equations, eqIterator.l1());
+            changed = changed ? true : applySubstitutionToEquations($this, assignment.toSubstitution(), equations, eqIterator.o1());
           }
-        } else if (eq.l1h()) {
-          eqIterator.q();
-          var tmp0_iterator = equationsFor($this, eq.h1h(), eq.i1h()).o();
-          insertion: while (tmp0_iterator.p()) {
-            var it = tmp0_iterator.r();
-            if (it.k1h())
+        } else if (eq.m1j()) {
+          eqIterator.t();
+          var tmp0_iterator = equationsFor($this, eq.i1j(), eq.j1j()).r();
+          insertion: while (tmp0_iterator.s()) {
+            var it = tmp0_iterator.u();
+            if (it.l1j())
               continue insertion;
-            else if (it.j1h())
+            else if (it.k1j())
               return Companion_getInstance().failed();
             else {
-              eqIterator.o1(it);
+              eqIterator.r1(it);
             }
           }
           changed = true;
@@ -188,12 +193,12 @@
     // Inline function 'kotlin.collections.filter' call
     // Inline function 'kotlin.collections.filterTo' call
     var destination = ArrayList_init_$Create$();
-    var tmp0_iterator_0 = equations.o();
-    while (tmp0_iterator_0.p()) {
-      var element = tmp0_iterator_0.r();
+    var tmp0_iterator_0 = equations.r();
+    while (tmp0_iterator_0.s()) {
+      var element = tmp0_iterator_0.u();
       // Inline function 'it.unibo.tuprolog.unify.AbstractUnificator.mgu.<anonymous>' call
-      if (element.r1h()) {
-        destination.l(element);
+      if (element.s1j()) {
+        destination.o(element);
       }
     }
     return toSubstitution(destination);
@@ -204,62 +209,62 @@
     return toCollection(items, tmp$ret$0);
   }
   function applySubstitutionToEquations$handleIndex($equations, $substitution, this$0, changed, i) {
-    if ($equations.a1(i).j1h() ? true : $equations.a1(i).k1h())
+    if ($equations.d1(i).k1j() ? true : $equations.d1(i).l1j())
       return Unit_instance;
-    var currentEq = $equations.a1(i);
+    var currentEq = $equations.d1(i);
     var tmp0_container = currentEq.apply($substitution).toPair();
-    var newLhs = tmp0_container.dd();
-    var newRhs = tmp0_container.ed();
-    if (!currentEq.h1h().equals(newLhs) ? true : !currentEq.i1h().equals(newRhs)) {
+    var newLhs = tmp0_container.gd();
+    var newRhs = tmp0_container.hd();
+    if (!currentEq.i1j().equals(newLhs) ? true : !currentEq.j1j().equals(newRhs)) {
       var tmp = Companion_instance_0;
-      $equations.v1(i, tmp.s1h(newLhs, newRhs, AbstractUnificator$checkTermsEquality$ref_0(this$0)));
+      $equations.m(i, tmp.t1j(newLhs, newRhs, AbstractUnificator$checkTermsEquality$ref_0(this$0)));
       changed._v = true;
     }
   }
   function AbstractUnificator$contextEquations$delegate$lambda(this$0) {
     return function () {
-      return toEquations(this$0.jb());
+      return toEquations(this$0.mb());
     };
   }
   function AbstractUnificator$checkTermsEquality$ref($boundThis) {
     var l = function (p0, p1) {
-      return $boundThis.d1h(p0, p1);
+      return $boundThis.e1j(p0, p1);
     };
     l.callableName = 'checkTermsEquality';
     return l;
   }
   function AbstractUnificator$equationsFor$lambda(it) {
     // Inline function 'kotlin.collections.toPair' call
-    return new Pair(it.p2(), it.q2());
+    return new Pair(it.q2(), it.r2());
   }
   function AbstractUnificator$checkTermsEquality$ref_0($boundThis) {
     var l = function (p0, p1) {
-      return $boundThis.d1h(p0, p1);
+      return $boundThis.e1j(p0, p1);
     };
     l.callableName = 'checkTermsEquality';
     return l;
   }
   function AbstractUnificator(context) {
     context = context === VOID ? Companion_getInstance().empty() : context;
-    this.b1h_1 = context;
+    this.c1j_1 = context;
     var tmp = this;
-    tmp.c1h_1 = lazy(AbstractUnificator$contextEquations$delegate$lambda(this));
+    tmp.d1j_1 = lazy(AbstractUnificator$contextEquations$delegate$lambda(this));
   }
-  protoOf(AbstractUnificator).jb = function () {
-    return this.b1h_1;
+  protoOf(AbstractUnificator).mb = function () {
+    return this.c1j_1;
   };
-  protoOf(AbstractUnificator).t1h = function (term1, term2, occurCheckEnabled) {
-    if (this.jb().p10())
+  protoOf(AbstractUnificator).u1j = function (term1, term2, occurCheckEnabled) {
+    if (this.mb().e11())
       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).u1h = function (substitution1, substitution2, occurCheckEnabled) {
-    if ((this.jb().p10() ? true : substitution1.p10()) ? true : substitution2.p10())
+  protoOf(AbstractUnificator).v1j = function (substitution1, substitution2, occurCheckEnabled) {
+    if ((this.mb().e11() ? true : substitution1.e11()) ? true : substitution2.e11())
       return Companion_getInstance().failed();
     if (!occurCheckEnabled) {
-      var quickMerge = this.jb().plus(substitution1).plus(substitution2);
-      if (quickMerge.o10()) {
+      var quickMerge = this.mb().plus(substitution1).plus(substitution2);
+      if (quickMerge.d11()) {
         return quickMerge;
       }
     }
@@ -267,7 +272,7 @@
     return mgu_0(this, equations, occurCheckEnabled);
   };
   protoOf(AbstractUnificator).mergeWithOccurCheck = function (substitution1, substitution2, occurCheckEnabled) {
-    return this.u1h(substitution1, substitution2, occurCheckEnabled);
+    return this.v1j(substitution1, substitution2, occurCheckEnabled);
   };
   function contextEquations$factory() {
     return getPropertyCallableRef('contextEquations', 1, KProperty1, function (receiver) {
@@ -275,37 +280,37 @@
     }, null);
   }
   function CachedUnificator(decorated, cacheCapacity) {
-    this.v1h_1 = decorated;
-    this.w1h_1 = Companion_instance.cp(cacheCapacity);
+    this.w1j_1 = decorated;
+    this.x1j_1 = Companion_instance.jp(cacheCapacity);
   }
-  protoOf(CachedUnificator).t1h = function (term1, term2, occurCheckEnabled) {
+  protoOf(CachedUnificator).u1j = function (term1, term2, occurCheckEnabled) {
     var mguRequest = new Triple(term1, term2, occurCheckEnabled);
-    var cached = this.w1h_1.w2(mguRequest);
+    var cached = this.x1j_1.x2(mguRequest);
     var tmp;
     if (cached instanceof Some) {
-      tmp = cached.fp_1;
+      tmp = cached.mp_1;
     } else {
-      var mguResult = this.v1h_1.t1h(term1, term2, occurCheckEnabled);
-      this.w1h_1.dp(mguRequest, mguResult);
+      var mguResult = this.w1j_1.u1j(term1, term2, occurCheckEnabled);
+      this.x1j_1.kp(mguRequest, mguResult);
       tmp = mguResult;
     }
     return tmp;
   };
-  protoOf(CachedUnificator).u1h = function (substitution1, substitution2, occurCheckEnabled) {
+  protoOf(CachedUnificator).v1j = function (substitution1, substitution2, occurCheckEnabled) {
     var mguRequest = new Triple(substitution1, substitution2, occurCheckEnabled);
-    var cached = this.w1h_1.w2(mguRequest);
+    var cached = this.x1j_1.x2(mguRequest);
     var tmp;
     if (cached instanceof Some) {
-      tmp = cached.fp_1;
+      tmp = cached.mp_1;
     } else {
-      var mguResult = this.v1h_1.mergeWithOccurCheck(substitution1, substitution2, occurCheckEnabled);
-      this.w1h_1.dp(mguRequest, mguResult);
+      var mguResult = this.w1j_1.mergeWithOccurCheck(substitution1, substitution2, occurCheckEnabled);
+      this.x1j_1.kp(mguRequest, mguResult);
       tmp = mguResult;
     }
     return tmp;
   };
   protoOf(CachedUnificator).mergeWithOccurCheck = function (substitution1, substitution2, occurCheckEnabled) {
-    return this.u1h(substitution1, substitution2, occurCheckEnabled);
+    return this.v1j(substitution1, substitution2, occurCheckEnabled);
   };
   function allOfLists($this, lhs, rhs, equalityChecker) {
     var tmp = zip(lhs.unfold(), rhs.unfold());
@@ -338,7 +343,7 @@
   }
   function Equation$Companion$from$lambda($equalityChecker) {
     return function (it) {
-      return Companion_instance_0.x1h(it, $equalityChecker);
+      return Companion_instance_0.y1j(it, $equalityChecker);
     };
   }
   function Term$equals$ref_2() {
@@ -364,16 +369,16 @@
   }
   function Equation$Companion$allOfLists$lambda($equalityChecker) {
     return function (_name_for_destructuring_parameter_0__wldtmu) {
-      var l = _name_for_destructuring_parameter_0__wldtmu.dd();
-      var r = _name_for_destructuring_parameter_0__wldtmu.ed();
-      return (l.xu() ? r.xu() : false) ? sequenceOf([Companion_instance_0.s1h(l.castToCons().qw(), r.castToCons().qw(), $equalityChecker)]) : (l.wu() ? r.wu() : false) ? sequenceOf([Companion_instance_0.s1h(l.castToList(), r.castToList(), $equalityChecker)]) : Companion_instance_0.e1h(l, r, $equalityChecker);
+      var l = _name_for_destructuring_parameter_0__wldtmu.gd();
+      var r = _name_for_destructuring_parameter_0__wldtmu.hd();
+      return (l.mv() ? r.mv() : false) ? sequenceOf([Companion_instance_0.t1j(l.castToCons().fx(), r.castToCons().fx(), $equalityChecker)]) : (l.lv() ? r.lv() : false) ? sequenceOf([Companion_instance_0.t1j(l.castToList(), r.castToList(), $equalityChecker)]) : Companion_instance_0.f1j(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.dd();
-      var r = _name_for_destructuring_parameter_0__wldtmu.ed();
-      return (l.vu() ? r.vu() : false) ? sequenceOf([Companion_instance_0.s1h(l.castToTuple().ew(), r.castToTuple().ew(), $equalityChecker)]) : Companion_instance_0.e1h(l, r, $equalityChecker);
+      var l = _name_for_destructuring_parameter_0__wldtmu.gd();
+      var r = _name_for_destructuring_parameter_0__wldtmu.hd();
+      return (l.kv() ? r.kv() : false) ? sequenceOf([Companion_instance_0.t1j(l.castToTuple().tw(), r.castToTuple().tw(), $equalityChecker)]) : Companion_instance_0.f1j(l, r, $equalityChecker);
     };
   }
   function Term$equals$ref_5() {
@@ -385,29 +390,29 @@
   }
   function Equation$Companion$allOf$lambda($equalityChecker) {
     return function (it) {
-      return Companion_instance_0.x1h(it, $equalityChecker);
+      return Companion_instance_0.y1j(it, $equalityChecker);
     };
   }
   function Identity(lhs, rhs) {
     Equation.call(this, lhs, rhs);
-    this.a1i_1 = lhs;
-    this.b1i_1 = rhs;
+    this.b1k_1 = lhs;
+    this.c1k_1 = rhs;
   }
-  protoOf(Identity).h1h = function () {
-    return this.a1i_1;
+  protoOf(Identity).i1j = function () {
+    return this.b1k_1;
   };
-  protoOf(Identity).i1h = function () {
-    return this.b1i_1;
+  protoOf(Identity).j1j = function () {
+    return this.c1k_1;
   };
-  protoOf(Identity).k1h = function () {
+  protoOf(Identity).l1j = function () {
     return true;
   };
   protoOf(Identity).toString = function () {
-    return 'Identity(lhs=' + this.a1i_1 + ', rhs=' + this.b1i_1 + ')';
+    return 'Identity(lhs=' + this.b1k_1 + ', rhs=' + this.c1k_1 + ')';
   };
   protoOf(Identity).hashCode = function () {
-    var result = this.a1i_1.hashCode();
-    result = imul(result, 31) + this.b1i_1.hashCode() | 0;
+    var result = this.b1k_1.hashCode();
+    result = imul(result, 31) + this.c1k_1.hashCode() | 0;
     return result;
   };
   protoOf(Identity).equals = function (other) {
@@ -416,44 +421,44 @@
     if (!(other instanceof Identity))
       return false;
     var tmp0_other_with_cast = other instanceof Identity ? other : THROW_CCE();
-    if (!this.a1i_1.equals(tmp0_other_with_cast.a1i_1))
+    if (!this.b1k_1.equals(tmp0_other_with_cast.b1k_1))
       return false;
-    if (!this.b1i_1.equals(tmp0_other_with_cast.b1i_1))
+    if (!this.c1k_1.equals(tmp0_other_with_cast.c1k_1))
       return false;
     return true;
   };
   function Assignment(lhs, rhs) {
     Equation.call(this, lhs, rhs);
-    this.p1h_1 = lhs;
-    this.q1h_1 = rhs;
+    this.q1j_1 = lhs;
+    this.r1j_1 = rhs;
   }
-  protoOf(Assignment).h1h = function () {
-    return this.p1h_1;
+  protoOf(Assignment).i1j = function () {
+    return this.q1j_1;
   };
-  protoOf(Assignment).i1h = function () {
-    return this.q1h_1;
+  protoOf(Assignment).j1j = function () {
+    return this.r1j_1;
   };
   protoOf(Assignment).toSubstitution = function () {
-    return Companion_getInstance().unifier(this.p1h_1, this.q1h_1);
+    return Companion_getInstance().unifier(this.q1j_1, this.r1j_1);
   };
-  protoOf(Assignment).e1i = function () {
-    return to(this.p1h_1, this.q1h_1);
+  protoOf(Assignment).f1k = function () {
+    return to(this.q1j_1, this.r1j_1);
   };
   protoOf(Assignment).toPair = function () {
-    return this.e1i();
+    return this.f1k();
   };
-  protoOf(Assignment).r1h = function () {
+  protoOf(Assignment).s1j = function () {
     return true;
   };
-  protoOf(Assignment).c1i = function () {
+  protoOf(Assignment).d1k = function () {
     return this;
   };
   protoOf(Assignment).toString = function () {
-    return 'Assignment(lhs=' + this.p1h_1 + ', rhs=' + this.q1h_1 + ')';
+    return 'Assignment(lhs=' + this.q1j_1 + ', rhs=' + this.r1j_1 + ')';
   };
   protoOf(Assignment).hashCode = function () {
-    var result = this.p1h_1.hashCode();
-    result = imul(result, 31) + this.q1h_1.hashCode() | 0;
+    var result = this.q1j_1.hashCode();
+    result = imul(result, 31) + this.r1j_1.hashCode() | 0;
     return result;
   };
   protoOf(Assignment).equals = function (other) {
@@ -462,32 +467,32 @@
     if (!(other instanceof Assignment))
       return false;
     var tmp0_other_with_cast = other instanceof Assignment ? other : THROW_CCE();
-    if (!this.p1h_1.equals(tmp0_other_with_cast.p1h_1))
+    if (!this.q1j_1.equals(tmp0_other_with_cast.q1j_1))
       return false;
-    if (!this.q1h_1.equals(tmp0_other_with_cast.q1h_1))
+    if (!this.r1j_1.equals(tmp0_other_with_cast.r1j_1))
       return false;
     return true;
   };
   function Comparison(lhs, rhs) {
     Equation.call(this, lhs, rhs);
-    this.h1i_1 = lhs;
-    this.i1i_1 = rhs;
+    this.i1k_1 = lhs;
+    this.j1k_1 = rhs;
   }
-  protoOf(Comparison).h1h = function () {
-    return this.h1i_1;
+  protoOf(Comparison).i1j = function () {
+    return this.i1k_1;
   };
-  protoOf(Comparison).i1h = function () {
-    return this.i1i_1;
+  protoOf(Comparison).j1j = function () {
+    return this.j1k_1;
   };
-  protoOf(Comparison).l1h = function () {
+  protoOf(Comparison).m1j = function () {
     return true;
   };
   protoOf(Comparison).toString = function () {
-    return 'Comparison(lhs=' + this.h1i_1 + ', rhs=' + this.i1i_1 + ')';
+    return 'Comparison(lhs=' + this.i1k_1 + ', rhs=' + this.j1k_1 + ')';
   };
   protoOf(Comparison).hashCode = function () {
-    var result = this.h1i_1.hashCode();
-    result = imul(result, 31) + this.i1i_1.hashCode() | 0;
+    var result = this.i1k_1.hashCode();
+    result = imul(result, 31) + this.j1k_1.hashCode() | 0;
     return result;
   };
   protoOf(Comparison).equals = function (other) {
@@ -496,32 +501,32 @@
     if (!(other instanceof Comparison))
       return false;
     var tmp0_other_with_cast = other instanceof Comparison ? other : THROW_CCE();
-    if (!this.h1i_1.equals(tmp0_other_with_cast.h1i_1))
+    if (!this.i1k_1.equals(tmp0_other_with_cast.i1k_1))
       return false;
-    if (!this.i1i_1.equals(tmp0_other_with_cast.i1i_1))
+    if (!this.j1k_1.equals(tmp0_other_with_cast.j1k_1))
       return false;
     return true;
   };
   function Contradiction(lhs, rhs) {
     Equation.call(this, lhs, rhs);
-    this.l1i_1 = lhs;
-    this.m1i_1 = rhs;
+    this.m1k_1 = lhs;
+    this.n1k_1 = rhs;
   }
-  protoOf(Contradiction).h1h = function () {
-    return this.l1i_1;
+  protoOf(Contradiction).i1j = function () {
+    return this.m1k_1;
   };
-  protoOf(Contradiction).i1h = function () {
-    return this.m1i_1;
+  protoOf(Contradiction).j1j = function () {
+    return this.n1k_1;
   };
-  protoOf(Contradiction).j1h = function () {
+  protoOf(Contradiction).k1j = function () {
     return true;
   };
   protoOf(Contradiction).toString = function () {
-    return 'Contradiction(lhs=' + this.l1i_1 + ', rhs=' + this.m1i_1 + ')';
+    return 'Contradiction(lhs=' + this.m1k_1 + ', rhs=' + this.n1k_1 + ')';
   };
   protoOf(Contradiction).hashCode = function () {
-    var result = this.l1i_1.hashCode();
-    result = imul(result, 31) + this.m1i_1.hashCode() | 0;
+    var result = this.m1k_1.hashCode();
+    result = imul(result, 31) + this.n1k_1.hashCode() | 0;
     return result;
   };
   protoOf(Contradiction).equals = function (other) {
@@ -530,17 +535,17 @@
     if (!(other instanceof Contradiction))
       return false;
     var tmp0_other_with_cast = other instanceof Contradiction ? other : THROW_CCE();
-    if (!this.l1i_1.equals(tmp0_other_with_cast.l1i_1))
+    if (!this.m1k_1.equals(tmp0_other_with_cast.m1k_1))
       return false;
-    if (!this.m1i_1.equals(tmp0_other_with_cast.m1i_1))
+    if (!this.n1k_1.equals(tmp0_other_with_cast.n1k_1))
       return false;
     return true;
   };
   function Companion() {
   }
-  protoOf(Companion).s1h = function (lhs, rhs, equalityChecker) {
+  protoOf(Companion).t1j = function (lhs, rhs, equalityChecker) {
     var tmp;
-    if (lhs.gv() ? rhs.gv() : false) {
+    if (lhs.vv() ? rhs.vv() : false) {
       var tmp_0;
       if (equalityChecker(lhs, rhs)) {
         tmp_0 = new Identity(lhs, rhs);
@@ -548,11 +553,11 @@
         tmp_0 = new Assignment(lhs.castToVar(), rhs);
       }
       tmp = tmp_0;
-    } else if (lhs.gv()) {
+    } else if (lhs.vv()) {
       tmp = new Assignment(lhs.castToVar(), rhs);
-    } else if (rhs.gv()) {
+    } else if (rhs.vv()) {
       tmp = new Assignment(rhs.castToVar(), lhs);
-    } else if (lhs.jv() ? rhs.jv() : false) {
+    } else if (lhs.yv() ? rhs.yv() : false) {
       var tmp_1;
       if (equalityChecker(lhs, rhs)) {
         tmp_1 = new Identity(lhs, rhs);
@@ -560,13 +565,13 @@
         tmp_1 = new Contradiction(lhs, rhs);
       }
       tmp = tmp_1;
-    } else if (lhs.jv() ? true : rhs.jv()) {
+    } else if (lhs.yv() ? true : rhs.yv()) {
       tmp = new Contradiction(lhs, rhs);
-    } else if (lhs.qu() ? rhs.qu() : false) {
+    } else if (lhs.fv() ? rhs.fv() : false) {
       var lhsStruct = lhs.castToStruct();
       var rhsStruct = rhs.castToStruct();
       var tmp_2;
-      if (!(lhsStruct.eu() === rhsStruct.eu()) ? true : !(lhsStruct.ku() === rhsStruct.ku())) {
+      if (!(lhsStruct.tu() === rhsStruct.tu()) ? true : !(lhsStruct.zu() === rhsStruct.zu())) {
         tmp_2 = new Contradiction(lhsStruct, rhsStruct);
       } else {
         tmp_2 = new Comparison(lhsStruct, rhsStruct);
@@ -585,10 +590,10 @@
       tmp = equalityChecker;
     }
     equalityChecker = tmp;
-    return $super === VOID ? this.s1h(lhs, rhs, equalityChecker) : $super.s1h.call(this, lhs, rhs, equalityChecker);
+    return $super === VOID ? this.t1j(lhs, rhs, equalityChecker) : $super.t1j.call(this, lhs, rhs, equalityChecker);
   };
-  protoOf(Companion).n1i = function (pair, equalityChecker) {
-    return this.s1h(pair.md_1, pair.nd_1, equalityChecker);
+  protoOf(Companion).o1k = function (pair, equalityChecker) {
+    return this.t1j(pair.qd_1, pair.rd_1, equalityChecker);
   };
   protoOf(Companion).ofPair = function (pair, equalityChecker, $super) {
     var tmp;
@@ -598,9 +603,9 @@
       tmp = equalityChecker;
     }
     equalityChecker = tmp;
-    return $super === VOID ? this.n1i(pair, equalityChecker) : $super.n1i.call(this, pair, equalityChecker);
+    return $super === VOID ? this.o1k(pair, equalityChecker) : $super.o1k.call(this, pair, equalityChecker);
   };
-  protoOf(Companion).o1i = function (pairs, equalityChecker) {
+  protoOf(Companion).p1k = function (pairs, equalityChecker) {
     return flatMap(pairs, Equation$Companion$from$lambda(equalityChecker));
   };
   protoOf(Companion).fromSequence = function (pairs, equalityChecker, $super) {
@@ -611,10 +616,10 @@
       tmp = equalityChecker;
     }
     equalityChecker = tmp;
-    return $super === VOID ? this.o1i(pairs, equalityChecker) : $super.o1i.call(this, pairs, equalityChecker);
+    return $super === VOID ? this.p1k(pairs, equalityChecker) : $super.p1k.call(this, pairs, equalityChecker);
   };
-  protoOf(Companion).p1i = function (pairs, equalityChecker) {
-    return this.o1i(asSequence_0(pairs), equalityChecker);
+  protoOf(Companion).q1k = function (pairs, equalityChecker) {
+    return this.p1k(asSequence_0(pairs), equalityChecker);
   };
   protoOf(Companion).fromIterable = function (pairs, equalityChecker, $super) {
     var tmp;
@@ -624,10 +629,10 @@
       tmp = equalityChecker;
     }
     equalityChecker = tmp;
-    return $super === VOID ? this.p1i(pairs, equalityChecker) : $super.p1i.call(this, pairs, equalityChecker);
+    return $super === VOID ? this.q1k(pairs, equalityChecker) : $super.q1k.call(this, pairs, equalityChecker);
   };
-  protoOf(Companion).q1i = function (pairs, equalityChecker) {
-    return this.o1i(sequenceOf(pairs.slice()), equalityChecker);
+  protoOf(Companion).r1k = function (pairs, equalityChecker) {
+    return this.p1k(sequenceOf(pairs.slice()), equalityChecker);
   };
   protoOf(Companion).from = function (pairs, equalityChecker, $super) {
     var tmp;
@@ -637,10 +642,10 @@
       tmp = equalityChecker;
     }
     equalityChecker = tmp;
-    return $super === VOID ? this.q1i(pairs, equalityChecker) : $super.q1i.call(this, pairs, equalityChecker);
+    return $super === VOID ? this.r1k(pairs, equalityChecker) : $super.r1k.call(this, pairs, equalityChecker);
   };
-  protoOf(Companion).x1h = function (pair, equalityChecker) {
-    return this.e1h(pair.md_1, pair.nd_1, equalityChecker);
+  protoOf(Companion).y1j = function (pair, equalityChecker) {
+    return this.f1j(pair.qd_1, pair.rd_1, equalityChecker);
   };
   protoOf(Companion).allOfPair = function (pair, equalityChecker, $super) {
     var tmp;
@@ -650,29 +655,29 @@
       tmp = equalityChecker;
     }
     equalityChecker = tmp;
-    return $super === VOID ? this.x1h(pair, equalityChecker) : $super.x1h.call(this, pair, equalityChecker);
+    return $super === VOID ? this.y1j(pair, equalityChecker) : $super.y1j.call(this, pair, equalityChecker);
   };
-  protoOf(Companion).e1h = function (lhs, rhs, equalityChecker) {
+  protoOf(Companion).f1j = function (lhs, rhs, equalityChecker) {
     var tmp;
-    if (lhs.fu() ? rhs.fu() : false) {
-      tmp = sequenceOf([this.s1h(lhs, rhs, equalityChecker)]);
-    } else if (lhs.wu() ? rhs.wu() : false) {
+    if (lhs.uu() ? rhs.uu() : false) {
+      tmp = sequenceOf([this.t1j(lhs, rhs, equalityChecker)]);
+    } else if (lhs.lv() ? rhs.lv() : false) {
       tmp = allOfLists(this, lhs.castToList(), rhs.castToList(), equalityChecker);
-    } else if (lhs.vu() ? rhs.vu() : false) {
+    } else if (lhs.kv() ? rhs.kv() : false) {
       tmp = allOfTuples(this, lhs.castToTuple(), rhs.castToTuple(), equalityChecker);
-    } else if (lhs.qu() ? rhs.qu() : false) {
+    } else if (lhs.fv() ? rhs.fv() : false) {
       var lhsStruct = lhs.castToStruct();
       var rhsStruct = rhs.castToStruct();
       var tmp_0;
-      if (lhsStruct.eu() === rhsStruct.eu() ? lhsStruct.ku() === rhsStruct.ku() : false) {
-        var tmp_1 = zip(lhsStruct.dv(), rhsStruct.dv());
+      if (lhsStruct.tu() === rhsStruct.tu() ? lhsStruct.zu() === rhsStruct.zu() : false) {
+        var tmp_1 = zip(lhsStruct.sv(), rhsStruct.sv());
         tmp_0 = flatMap(tmp_1, Equation$Companion$allOf$lambda(equalityChecker));
       } else {
-        tmp_0 = sequenceOf([this.s1h(lhs, rhs, equalityChecker)]);
+        tmp_0 = sequenceOf([this.t1j(lhs, rhs, equalityChecker)]);
       }
       tmp = tmp_0;
     } else {
-      tmp = sequenceOf([this.s1h(lhs, rhs, equalityChecker)]);
+      tmp = sequenceOf([this.t1j(lhs, rhs, equalityChecker)]);
     }
     return tmp;
   };
@@ -684,7 +689,7 @@
       tmp = equalityChecker;
     }
     equalityChecker = tmp;
-    return $super === VOID ? this.e1h(lhs, rhs, equalityChecker) : $super.e1h.call(this, lhs, rhs, equalityChecker);
+    return $super === VOID ? this.f1j(lhs, rhs, equalityChecker) : $super.f1j.call(this, lhs, rhs, equalityChecker);
   };
   var Companion_instance_0;
   function Companion_getInstance_1() {
@@ -698,54 +703,54 @@
     return l;
   }
   function Equation(lhs, rhs) {
-    this.f1h_1 = lhs;
-    this.g1h_1 = rhs;
+    this.g1j_1 = lhs;
+    this.h1j_1 = rhs;
   }
-  protoOf(Equation).h1h = function () {
-    return this.f1h_1;
+  protoOf(Equation).i1j = function () {
+    return this.g1j_1;
   };
-  protoOf(Equation).i1h = function () {
-    return this.g1h_1;
+  protoOf(Equation).j1j = function () {
+    return this.h1j_1;
   };
-  protoOf(Equation).k1h = function () {
+  protoOf(Equation).l1j = function () {
     return false;
   };
-  protoOf(Equation).r1h = function () {
+  protoOf(Equation).s1j = function () {
     return false;
   };
-  protoOf(Equation).c1i = function () {
+  protoOf(Equation).d1k = function () {
     return null;
   };
-  protoOf(Equation).m1h = function () {
-    var tmp0_elvis_lhs = this.c1i();
+  protoOf(Equation).n1j = function () {
+    var tmp0_elvis_lhs = this.d1k();
     var tmp;
     if (tmp0_elvis_lhs == null) {
-      throw ClassCastException_init_$Create$('Cannot cast ' + this + ' to ' + getKClass(Assignment).n6());
+      throw ClassCastException_init_$Create$('Cannot cast ' + this + ' to ' + getKClass(Assignment).o6());
     } else {
       tmp = tmp0_elvis_lhs;
     }
     return tmp;
   };
-  protoOf(Equation).l1h = function () {
+  protoOf(Equation).m1j = function () {
     return false;
   };
-  protoOf(Equation).j1h = function () {
+  protoOf(Equation).k1j = function () {
     return false;
   };
-  protoOf(Equation).k1g = function () {
-    return Companion_getInstance_0().of('=', [this.h1h(), this.i1h()]);
+  protoOf(Equation).e1h = function () {
+    return Companion_getInstance_0().of('=', [this.i1j(), this.j1j()]);
   };
   protoOf(Equation).toTerm = function () {
-    return this.k1g();
+    return this.e1h();
   };
   protoOf(Equation).toPair = function () {
-    return new Pair(this.h1h(), this.i1h());
+    return new Pair(this.i1j(), this.j1j());
   };
   protoOf(Equation).swap = function () {
-    return Companion_instance_0.of(this.i1h(), this.h1h());
+    return Companion_instance_0.of(this.j1j(), this.i1j());
   };
-  protoOf(Equation).d1i = function (substitution, equalityChecker) {
-    return Companion_instance_0.s1h(this.h1h().getSubstituted(substitution, []), this.i1h().getSubstituted(substitution, []), equalityChecker);
+  protoOf(Equation).e1k = function (substitution, equalityChecker) {
+    return Companion_instance_0.t1j(this.i1j().getSubstituted(substitution, []), this.j1j().getSubstituted(substitution, []), equalityChecker);
   };
   protoOf(Equation).apply = function (substitution, equalityChecker, $super) {
     var tmp;
@@ -755,23 +760,23 @@
       tmp = equalityChecker;
     }
     equalityChecker = tmp;
-    return $super === VOID ? this.d1i(substitution, equalityChecker) : $super.d1i.call(this, substitution, equalityChecker);
+    return $super === VOID ? this.e1k(substitution, equalityChecker) : $super.e1k.call(this, substitution, equalityChecker);
   };
   function toEquations(_this__u8e3s4) {
     // Inline function 'kotlin.collections.map' call
-    var this_0 = _this__u8e3s4.o2();
+    var this_0 = _this__u8e3s4.n2();
     // Inline function 'kotlin.collections.mapTo' call
     var destination = ArrayList_init_$Create$_0(collectionSizeOrDefault(this_0, 10));
-    var tmp0_iterator = this_0.o();
-    while (tmp0_iterator.p()) {
-      var item = tmp0_iterator.r();
+    var tmp0_iterator = this_0.r();
+    while (tmp0_iterator.s()) {
+      var item = tmp0_iterator.u();
       // Inline function 'it.unibo.tuprolog.unify.toEquations.<anonymous>' call
       // Inline function 'kotlin.collections.component1' call
-      var variable = item.p2();
+      var variable = item.q2();
       // Inline function 'kotlin.collections.component2' call
-      var term = item.q2();
+      var term = item.r2();
       var tmp$ret$2 = new Assignment(variable, term);
-      destination.l(tmp$ret$2);
+      destination.o(tmp$ret$2);
     }
     return destination;
   }
@@ -782,12 +787,12 @@
   }
   function toAssignmentPair(_this__u8e3s4) {
     var tmp;
-    if (_this__u8e3s4.r1h()) {
-      tmp = _this__u8e3s4.m1h().e1i();
-    } else if (_this__u8e3s4.h1h().gv()) {
-      tmp = to(_this__u8e3s4.h1h().castToVar(), _this__u8e3s4.i1h());
-    } else if (_this__u8e3s4.i1h().gv()) {
-      tmp = to(_this__u8e3s4.i1h().castToVar(), _this__u8e3s4.h1h());
+    if (_this__u8e3s4.s1j()) {
+      tmp = _this__u8e3s4.n1j().f1k();
+    } else if (_this__u8e3s4.i1j().vv()) {
+      tmp = to(_this__u8e3s4.i1j().castToVar(), _this__u8e3s4.j1j());
+    } else if (_this__u8e3s4.j1j().vv()) {
+      tmp = to(_this__u8e3s4.j1j().castToVar(), _this__u8e3s4.i1j());
     } else {
       throw IllegalArgumentException_init_$Create$('Equation contains no variables: ' + _this__u8e3s4);
     }
@@ -802,12 +807,12 @@
   function Unificator$Companion$naive$1($context) {
     AbstractUnificator.call(this, $context);
   }
-  protoOf(Unificator$Companion$naive$1).d1h = function (first, second) {
+  protoOf(Unificator$Companion$naive$1).e1j = function (first, second) {
     var tmp;
-    if (first.lv() ? second.lv() : false) {
-      tmp = first.castToInteger().q2().jj(second.castToInteger().q2()) === 0;
-    } else if (first.kv() ? second.kv() : false) {
-      tmp = first.castToNumeric().az().aj(second.castToNumeric().az()) === 0;
+    if (first.aw() ? second.aw() : false) {
+      tmp = first.castToInteger().r2().qj(second.castToInteger().r2()) === 0;
+    } else if (first.zv() ? second.zv() : false) {
+      tmp = first.castToNumeric().pz().hj(second.castToNumeric().pz()) === 0;
     } else {
       tmp = first.equals(second);
     }
@@ -816,32 +821,32 @@
   function Unificator$Companion$strict$1($context) {
     AbstractUnificator.call(this, $context);
   }
-  protoOf(Unificator$Companion$strict$1).d1h = function (first, second) {
+  protoOf(Unificator$Companion$strict$1).e1j = function (first, second) {
     return first.equals(second);
   };
   function Companion_0() {
     Companion_instance_1 = this;
     var tmp = this;
-    tmp.v1i_1 = lazy(Unificator$Companion$default$delegate$lambda);
-    this.w1i_1 = 32;
+    tmp.w1k_1 = lazy(Unificator$Companion$default$delegate$lambda);
+    this.x1k_1 = 32;
   }
-  protoOf(Companion_0).x1i = function () {
+  protoOf(Companion_0).y1k = function () {
     // Inline function 'kotlin.getValue' call
-    var this_0 = this.v1i_1;
+    var this_0 = this.w1k_1;
     default$factory();
-    return this_0.q2();
+    return this_0.r2();
   };
   protoOf(Companion_0).mguWith = function (_this__u8e3s4, other) {
-    return this.x1i().mgu(_this__u8e3s4, other);
+    return this.y1k().mgu(_this__u8e3s4, other);
   };
   protoOf(Companion_0).matches = function (_this__u8e3s4, other) {
-    return this.x1i().match(_this__u8e3s4, other);
+    return this.y1k().match(_this__u8e3s4, other);
   };
   protoOf(Companion_0).unifyWith = function (_this__u8e3s4, other) {
-    return this.x1i().unify(_this__u8e3s4, other);
+    return this.y1k().unify(_this__u8e3s4, other);
   };
   protoOf(Companion_0).mergeWith = function (_this__u8e3s4, other) {
-    return this.x1i().merge(_this__u8e3s4, other);
+    return this.y1k().merge(_this__u8e3s4, other);
   };
   protoOf(Companion_0).naiveWithContext = function (context) {
     return new Unificator$Companion$naive$1(context);
@@ -855,10 +860,10 @@
   protoOf(Companion_0).strict = function () {
     return this.strictWithContext(Companion_getInstance().empty());
   };
-  protoOf(Companion_0).y1i = function (other, capacity) {
+  protoOf(Companion_0).z1k = function (other, capacity) {
     var tmp;
     if (other instanceof CachedUnificator) {
-      tmp = new CachedUnificator(other.v1h_1, capacity);
+      tmp = new CachedUnificator(other.w1j_1, capacity);
     } else {
       tmp = new CachedUnificator(other, capacity);
     }
@@ -866,7 +871,7 @@
   };
   protoOf(Companion_0).cached = function (other, capacity, $super) {
     capacity = capacity === VOID ? 32 : capacity;
-    return $super === VOID ? this.y1i(other, capacity) : $super.y1i.call(this, other, capacity);
+    return $super === VOID ? this.z1k(other, capacity) : $super.z1k.call(this, other, capacity);
   };
   var Companion_instance_1;
   function Companion_getInstance_2() {
@@ -878,7 +883,7 @@
   }
   function default$factory() {
     return getPropertyCallableRef('default', 1, KProperty1, function (receiver) {
-      return receiver.x1i();
+      return receiver.y1k();
     }, null);
   }
   //region block: post-declaration
@@ -894,21 +899,23 @@
   protoOf(CachedUnificator).unifyWithOccurCheck = unifyWithOccurCheck;
   protoOf(CachedUnificator).unify = unify;
   protoOf(CachedUnificator).merge = merge;
-  protoOf(Equation).mp = castTo;
+  protoOf(Equation).tp = castTo;
   defineProp(protoOf(Equation), 'lhs', function () {
-    return this.h1h();
+    return this.i1j();
   });
   defineProp(protoOf(Equation), 'rhs', function () {
-    return this.i1h();
+    return this.j1j();
   });
-  defineProp(protoOf(Companion_0), 'default', protoOf(Companion_0).x1i);
+  defineProp(protoOf(Companion_0), 'default', protoOf(Companion_0).y1k);
   //endregion
   //region block: init
   Companion_instance_0 = new Companion();
   //endregion
   //region block: exports
   _.$_$ = _.$_$ || {};
-  _.$_$.a = Companion_getInstance_2;
+  _.$_$.a = mguWithOccurCheck;
+  _.$_$.b = Companion_getInstance_2;
+  _.$_$.c = Unificator;
   //endregion
   return _;
 }));