@tuprolog/2p-full 2.0.5 → 2.0.9

package/2p-unify.js

@@ -19,66 +19,66 @@
   'use strict';
   //region block: imports
   var imul = Math.imul;
-  var protoOf = kotlin_kotlin.$_$.p6;
-  var getBooleanHashCode = kotlin_kotlin.$_$.v5;
-  var initMetadataForClass = kotlin_kotlin.$_$.a6;
-  var toString = kotlin_kotlin.$_$.s6;
-  var hashCode = kotlin_kotlin.$_$.z5;
-  var equals = kotlin_kotlin.$_$.t5;
-  var KProperty1 = kotlin_kotlin.$_$.g7;
-  var getPropertyCallableRef = kotlin_kotlin.$_$.x5;
-  var asSequence = kotlin_kotlin.$_$.z1;
-  var plus = kotlin_kotlin.$_$.k8;
-  var map = kotlin_kotlin.$_$.g8;
-  var Unit_instance = kotlin_kotlin.$_$.m;
-  var Companion_getInstance = kotlin_it_unibo_tuprolog_core.$_$.p;
-  var ArrayList_init_$Create$ = kotlin_kotlin.$_$.o;
-  var toCollection = kotlin_kotlin.$_$.s8;
-  var constructCallableReference = kotlin_kotlin.$_$.r5;
-  var Pair = kotlin_kotlin.$_$.la;
-  var lazy = kotlin_kotlin.$_$.ta;
-  var asSequence_0 = kotlin_kotlin.$_$.a2;
-  var THROW_CCE = kotlin_kotlin.$_$.na;
+  var protoOf = kotlin_kotlin.$_$.r8;
+  var getBooleanHashCode = kotlin_kotlin.$_$.v7;
+  var initMetadataForClass = kotlin_kotlin.$_$.a8;
+  var toString = kotlin_kotlin.$_$.u8;
+  var hashCode = kotlin_kotlin.$_$.z7;
+  var equals = kotlin_kotlin.$_$.s7;
+  var KProperty1 = kotlin_kotlin.$_$.s9;
+  var getPropertyCallableRef = kotlin_kotlin.$_$.x7;
+  var asSequence = kotlin_kotlin.$_$.q2;
+  var plus = kotlin_kotlin.$_$.za;
+  var map = kotlin_kotlin.$_$.ua;
+  var Unit_instance = kotlin_kotlin.$_$.r;
+  var Companion_getInstance = kotlin_it_unibo_tuprolog_core.$_$.y;
+  var ArrayList_init_$Create$ = kotlin_kotlin.$_$.u;
+  var toCollection = kotlin_kotlin.$_$.hb;
+  var constructCallableReference = kotlin_kotlin.$_$.q7;
+  var Pair = kotlin_kotlin.$_$.ee;
+  var lazy = kotlin_kotlin.$_$.pe;
+  var asSequence_0 = kotlin_kotlin.$_$.r2;
+  var THROW_CCE = kotlin_kotlin.$_$.ge;
   var VOID = kotlin_kotlin.$_$.b;
   var Companion_instance = kotlin_it_unibo_tuprolog_utils.$_$.a;
-  var Triple = kotlin_kotlin.$_$.pa;
-  var Some = kotlin_it_unibo_tuprolog_utils.$_$.k;
-  var zip = kotlin_kotlin.$_$.z8;
-  var flatMap = kotlin_kotlin.$_$.x7;
-  var sequenceOf = kotlin_kotlin.$_$.n8;
-  var defineProp = kotlin_kotlin.$_$.s5;
-  var sequenceOf_0 = kotlin_kotlin.$_$.m8;
-  var initMetadataForCompanion = kotlin_kotlin.$_$.b6;
-  var getKClass = kotlin_kotlin.$_$.f7;
-  var ClassCastException_init_$Create$ = kotlin_kotlin.$_$.z;
-  var IllegalArgumentException_init_$Create$ = kotlin_kotlin.$_$.b1;
-  var to = kotlin_kotlin.$_$.ya;
-  var Companion_getInstance_0 = kotlin_it_unibo_tuprolog_core.$_$.o;
-  var castTo = kotlin_it_unibo_tuprolog_utils.$_$.e;
-  var Castable = kotlin_it_unibo_tuprolog_utils.$_$.f;
-  var collectionSizeOrDefault = kotlin_kotlin.$_$.d2;
-  var ArrayList_init_$Create$_0 = kotlin_kotlin.$_$.n;
-  var initMetadataForInterface = kotlin_kotlin.$_$.d6;
+  var Triple = kotlin_kotlin.$_$.ie;
+  var Some = kotlin_it_unibo_tuprolog_utils.$_$.m;
+  var zip = kotlin_kotlin.$_$.ob;
+  var flatMap = kotlin_kotlin.$_$.ja;
+  var sequenceOf = kotlin_kotlin.$_$.cb;
+  var defineProp = kotlin_kotlin.$_$.r7;
+  var sequenceOf_0 = kotlin_kotlin.$_$.bb;
+  var initMetadataForCompanion = kotlin_kotlin.$_$.b8;
+  var getKClass = kotlin_kotlin.$_$.p9;
+  var ClassCastException_init_$Create$ = kotlin_kotlin.$_$.f1;
+  var IllegalArgumentException_init_$Create$ = kotlin_kotlin.$_$.j1;
+  var to = kotlin_kotlin.$_$.we;
+  var Companion_getInstance_0 = kotlin_it_unibo_tuprolog_core.$_$.x;
+  var castTo = kotlin_it_unibo_tuprolog_utils.$_$.f;
+  var Castable = kotlin_it_unibo_tuprolog_utils.$_$.g;
+  var collectionSizeOrDefault = kotlin_kotlin.$_$.w2;
+  var ArrayList_init_$Create$_0 = kotlin_kotlin.$_$.t;
+  var initMetadataForInterface = kotlin_kotlin.$_$.d8;
   //endregion
   //region block: pre-declaration
   initMetadataForClass(Mgu, 'Mgu');
   initMetadataForClass(Merge, 'Merge');
   function mguWithOccurCheck(term1, term2, occurCheckEnabled, $super) {
     occurCheckEnabled = occurCheckEnabled === VOID ? true : occurCheckEnabled;
-    return $super === VOID ? this.l1i(term1, term2, occurCheckEnabled) : $super.l1i.call(this, term1, term2, occurCheckEnabled);
+    return $super === VOID ? this.mgu_mo2ly8_k$(term1, term2, occurCheckEnabled) : $super.mgu_mo2ly8_k$.call(this, term1, term2, occurCheckEnabled);
   }
   function mgu(term1, term2) {
-    return this.l1i(term1, term2, true);
+    return this.mgu_mo2ly8_k$(term1, term2, true);
   }
   function matchWithOccurCheck(term1, term2, occurCheckEnabled) {
-    return !(this.l1i(term1, term2, occurCheckEnabled) === Companion_getInstance().failed());
+    return !(this.mgu_mo2ly8_k$(term1, term2, occurCheckEnabled) === Companion_getInstance().failed());
   }
   function match(term1, term2) {
     return this.matchWithOccurCheck(term1, term2, true);
   }
   function unifyWithOccurCheck(term1, term2, occurCheckEnabled) {
-    var substitution = this.l1i(term1, term2, occurCheckEnabled);
-    return substitution.h10() ? null : term1.getSubstituted(substitution, []);
+    var substitution = this.mgu_mo2ly8_k$(term1, term2, occurCheckEnabled);
+    return substitution.get_isFailed_t67zdc_k$() ? null : term1.getSubstituted(substitution, []);
   }
   function unify(term1, term2) {
     return this.unifyWithOccurCheck(term1, term2, true);
@@ -102,17 +102,17 @@
   initMetadataForCompanion(Companion_0);
   //endregion
   function Mgu(term1, term2, occurCheckEnabled) {
-    this.j1h_1 = term1;
-    this.k1h_1 = term2;
-    this.l1h_1 = occurCheckEnabled;
+    this.term1__1 = term1;
+    this.term2__1 = term2;
+    this.occurCheckEnabled_1 = occurCheckEnabled;
   }
   protoOf(Mgu).toString = function () {
-    return 'Mgu(term1=' + this.j1h_1.toString() + ', term2=' + this.k1h_1.toString() + ', occurCheckEnabled=' + this.l1h_1 + ')';
+    return 'Mgu(term1=' + this.term1__1.toString() + ', term2=' + this.term2__1.toString() + ', occurCheckEnabled=' + this.occurCheckEnabled_1 + ')';
   };
   protoOf(Mgu).hashCode = function () {
-    var result = this.j1h_1.hashCode();
-    result = imul(result, 31) + this.k1h_1.hashCode() | 0;
-    result = imul(result, 31) + getBooleanHashCode(this.l1h_1) | 0;
+    var result = this.term1__1.hashCode();
+    result = imul(result, 31) + this.term2__1.hashCode() | 0;
+    result = imul(result, 31) + getBooleanHashCode(this.occurCheckEnabled_1) | 0;
     return result;
   };
   protoOf(Mgu).equals = function (other) {
@@ -120,26 +120,26 @@
       return true;
     if (!(other instanceof Mgu))
       return false;
-    if (!this.j1h_1.equals(other.j1h_1))
+    if (!this.term1__1.equals(other.term1__1))
       return false;
-    if (!this.k1h_1.equals(other.k1h_1))
+    if (!this.term2__1.equals(other.term2__1))
       return false;
-    if (!(this.l1h_1 === other.l1h_1))
+    if (!(this.occurCheckEnabled_1 === other.occurCheckEnabled_1))
       return false;
     return true;
   };
   function Merge(substitution1, substitution2, occurCheckEnabled) {
-    this.m1h_1 = substitution1;
-    this.n1h_1 = substitution2;
-    this.o1h_1 = occurCheckEnabled;
+    this.substitution1__1 = substitution1;
+    this.substitution2__1 = substitution2;
+    this.occurCheckEnabled_1 = occurCheckEnabled;
   }
   protoOf(Merge).toString = function () {
-    return 'Merge(substitution1=' + toString(this.m1h_1) + ', substitution2=' + toString(this.n1h_1) + ', occurCheckEnabled=' + this.o1h_1 + ')';
+    return 'Merge(substitution1=' + toString(this.substitution1__1) + ', substitution2=' + toString(this.substitution2__1) + ', occurCheckEnabled=' + this.occurCheckEnabled_1 + ')';
   };
   protoOf(Merge).hashCode = function () {
-    var result = hashCode(this.m1h_1);
-    result = imul(result, 31) + hashCode(this.n1h_1) | 0;
-    result = imul(result, 31) + getBooleanHashCode(this.o1h_1) | 0;
+    var result = hashCode(this.substitution1__1);
+    result = imul(result, 31) + hashCode(this.substitution2__1) | 0;
+    result = imul(result, 31) + getBooleanHashCode(this.occurCheckEnabled_1) | 0;
     return result;
   };
   protoOf(Merge).equals = function (other) {
@@ -147,33 +147,33 @@
       return true;
     if (!(other instanceof Merge))
       return false;
-    if (!equals(this.m1h_1, other.m1h_1))
+    if (!equals(this.substitution1__1, other.substitution1__1))
       return false;
-    if (!equals(this.n1h_1, other.n1h_1))
+    if (!equals(this.substitution2__1, other.substitution2__1))
       return false;
-    if (!(this.o1h_1 === other.o1h_1))
+    if (!(this.occurCheckEnabled_1 === other.occurCheckEnabled_1))
       return false;
     return true;
   };
   function _get_contextEquations__x0dd77($this) {
-    var tmp0 = $this.q1h_1;
+    var tmp0 = $this.contextEquations$delegate_1;
     var tmp = KProperty1;
     // Inline function 'kotlin.getValue' call
     getPropertyCallableRef('contextEquations', 1, tmp, AbstractUnificator$_get_contextEquations_$ref_7ajcte(), null);
-    return tmp0.f2();
+    return tmp0.get_value_j01efc_k$();
   }
   function occurrenceCheck($this, variable, term) {
     var tmp;
-    if (term.wu()) {
-      tmp = $this.r1h(variable, term);
-    } else if (term.gu()) {
-      var tmp0 = term.cu();
+    if (term.get_isVar_it73p0_k$()) {
+      tmp = $this.checkTermsEquality_u6kzr7_k$(variable, term);
+    } else if (term.get_isStruct_zeoyoo_k$()) {
+      var tmp0 = term.get_variables_75f0zy_k$();
       var tmp$ret$0;
       $l$block: {
         // Inline function 'kotlin.sequences.any' call
-        var _iterator__ex2g4s = tmp0.n();
-        while (_iterator__ex2g4s.q()) {
-          var element = _iterator__ex2g4s.r();
+        var _iterator__ex2g4s = tmp0.iterator_jk1svi_k$();
+        while (_iterator__ex2g4s.hasNext_bitz1p_k$()) {
+          var element = _iterator__ex2g4s.next_20eer_k$();
           if (occurrenceCheck($this, variable, element)) {
             tmp$ret$0 = true;
             break $l$block;
@@ -189,7 +189,7 @@
   }
   function equationsFor($this, term1, term2) {
     var tmp = Companion_instance_0;
-    return tmp.s1h(term1, term2, AbstractUnificator$checkTermsEquality$ref($this));
+    return tmp.allOf_wylrdl_k$(term1, term2, AbstractUnificator$checkTermsEquality$ref($this));
   }
   function equationsFor_0($this, substitution1, substitution2) {
     var tmp = Companion_instance_0;
@@ -207,7 +207,7 @@
       }
        while (inductionVariable < exceptIndex);
     var inductionVariable_0 = exceptIndex + 1 | 0;
-    var last = equations.s();
+    var last = equations.get_size_woubt6_k$();
     if (inductionVariable_0 < last)
       do {
         var i_0 = inductionVariable_0;
@@ -221,33 +221,33 @@
     var changed = true;
     while (changed) {
       changed = false;
-      var eqIterator = equations.c4();
-      while (eqIterator.q()) {
-        var eq = $this.t1h(request, eqIterator.r());
-        if (eq.y1h()) {
+      var eqIterator = equations.listIterator_xjshxw_k$();
+      while (eqIterator.hasNext_bitz1p_k$()) {
+        var eq = $this.handleEquation_d8yrk_k$(request, eqIterator.next_20eer_k$());
+        if (eq.get_isContradiction_5mfb8e_k$()) {
           return Companion_getInstance().failed();
-        } else if (eq.z1h()) {
-          eqIterator.c3();
+        } else if (eq.get_isIdentity_zhqljl_k$()) {
+          eqIterator.remove_ldkf9o_k$();
           changed = true;
-        } else if (eq.i1i()) {
+        } else if (eq.get_isAssignment_dlthcw_k$()) {
           var assignment = eq.castToAssignment();
-          if (occurCheckEnabled && occurrenceCheck($this, assignment.g1i(), assignment.h1i())) {
+          if (occurCheckEnabled && occurrenceCheck($this, assignment.get_variable_ik7c5h_k$(), assignment.get_term_wouvn9_k$())) {
             return Companion_getInstance().failed();
           } else {
-            changed = changed || applySubstitutionToEquations($this, assignment.f1i(), equations, eqIterator.q3());
+            changed = changed || applySubstitutionToEquations($this, assignment.toSubstitution_giui0_k$(), equations, eqIterator.previousIndex_4qtyw5_k$());
           }
-        } else if (eq.a1i()) {
-          eqIterator.c3();
-          var _iterator__ex2g4s = equationsFor($this, eq.w1h(), eq.x1h()).n();
-          $l$loop: while (_iterator__ex2g4s.q()) {
-            var it = _iterator__ex2g4s.r();
-            var subEq = it.y1h() || it.z1h() ? $this.t1h(request, it) : it;
-            if (subEq.z1h())
+        } else if (eq.get_isComparison_qhizvg_k$()) {
+          eqIterator.remove_ldkf9o_k$();
+          var _iterator__ex2g4s = equationsFor($this, eq.get_lhs_18j1f6_k$(), eq.get_rhs_18iwz0_k$()).iterator_jk1svi_k$();
+          $l$loop: while (_iterator__ex2g4s.hasNext_bitz1p_k$()) {
+            var it = _iterator__ex2g4s.next_20eer_k$();
+            var subEq = it.get_isContradiction_5mfb8e_k$() || it.get_isIdentity_zhqljl_k$() ? $this.handleEquation_d8yrk_k$(request, it) : it;
+            if (subEq.get_isIdentity_zhqljl_k$())
               continue $l$loop;
-            else if (subEq.y1h())
+            else if (subEq.get_isContradiction_5mfb8e_k$())
               return Companion_getInstance().failed();
             else {
-              eqIterator.t3(subEq);
+              eqIterator.add_jcyd1a_k$(subEq);
             }
           }
           changed = true;
@@ -257,14 +257,14 @@
     // Inline function 'kotlin.collections.filter' call
     // Inline function 'kotlin.collections.filterTo' call
     var destination = ArrayList_init_$Create$();
-    var _iterator__ex2g4s_0 = equations.n();
-    while (_iterator__ex2g4s_0.q()) {
-      var element = _iterator__ex2g4s_0.r();
-      if (element.i1i()) {
-        destination.l(element);
+    var _iterator__ex2g4s_0 = equations.iterator_jk1svi_k$();
+    while (_iterator__ex2g4s_0.hasNext_bitz1p_k$()) {
+      var element = _iterator__ex2g4s_0.next_20eer_k$();
+      if (element.get_isAssignment_dlthcw_k$()) {
+        destination.add_utx5q5_k$(element);
       }
     }
-    return $this.j1i(request, toSubstitution(destination));
+    return $this.handleResult_t1ddk3_k$(request, toSubstitution(destination));
   }
   function newDeque($this, items) {
     // Inline function 'kotlin.collections.arrayListOf' call
@@ -273,52 +273,52 @@
   }
   function AbstractUnificator$contextEquations$delegate$lambda(this$0) {
     return function () {
-      return toEquations(this$0.i8());
+      return toEquations(this$0.get_context_h02k06_k$());
     };
   }
   function AbstractUnificator$_get_contextEquations_$ref_7ajcte() {
     return constructCallableReference(function (p0) {
       return _get_contextEquations__x0dd77(p0);
-    }, 1, 0, 25);
+    }, 1, 0, 27);
   }
   function AbstractUnificator$checkTermsEquality$ref(p0) {
     return constructCallableReference(function (p0_0, p1) {
-      return p0.r1h(p0_0, p1);
-    }, 2, 0, 26, 'checkTermsEquality', [p0]);
+      return p0.checkTermsEquality_u6kzr7_k$(p0_0, p1);
+    }, 2, 0, 28, 'checkTermsEquality', [p0]);
   }
   function AbstractUnificator$equationsFor$lambda(it) {
     // Inline function 'kotlin.collections.toPair' call
-    return new Pair(it.e2(), it.f2());
+    return new Pair(it.get_key_18j28a_k$(), it.get_value_j01efc_k$());
   }
   function applySubstitutionToEquations$handleIndex($equations, $substitution, this$0, changed, i) {
-    if ($equations.x(i).y1h() || $equations.x(i).z1h())
+    if ($equations.get_c1px32_k$(i).get_isContradiction_5mfb8e_k$() || $equations.get_c1px32_k$(i).get_isIdentity_zhqljl_k$())
       return Unit_instance;
-    var currentEq = $equations.x(i);
+    var currentEq = $equations.get_c1px32_k$(i);
     var _destruct__k2r9zo = currentEq.apply($substitution).toPair();
-    var newLhs = _destruct__k2r9zo.pc();
-    var newRhs = _destruct__k2r9zo.qc();
-    if (!currentEq.w1h().equals(newLhs) || !currentEq.x1h().equals(newRhs)) {
+    var newLhs = _destruct__k2r9zo.component1_7eebsc_k$();
+    var newRhs = _destruct__k2r9zo.component2_7eebsb_k$();
+    if (!currentEq.get_lhs_18j1f6_k$().equals(newLhs) || !currentEq.get_rhs_18iwz0_k$().equals(newRhs)) {
       var tmp = Companion_instance_0;
-      $equations.z3(i, tmp.k1i(newLhs, newRhs, AbstractUnificator$checkTermsEquality$ref(this$0)));
+      $equations.set_82063s_k$(i, tmp.of_o4qqfs_k$(newLhs, newRhs, AbstractUnificator$checkTermsEquality$ref(this$0)));
       changed._v = true;
     }
   }
   function AbstractUnificator(context) {
-    this.p1h_1 = context;
+    this.context_1 = context;
     var tmp = this;
-    tmp.q1h_1 = lazy(AbstractUnificator$contextEquations$delegate$lambda(this));
+    tmp.contextEquations$delegate_1 = lazy(AbstractUnificator$contextEquations$delegate$lambda(this));
   }
-  protoOf(AbstractUnificator).i8 = function () {
-    return this.p1h_1;
+  protoOf(AbstractUnificator).get_context_h02k06_k$ = function () {
+    return this.context_1;
   };
-  protoOf(AbstractUnificator).j1i = function (request, result) {
+  protoOf(AbstractUnificator).handleResult_t1ddk3_k$ = function (request, result) {
     return result;
   };
-  protoOf(AbstractUnificator).t1h = function (request, equation) {
+  protoOf(AbstractUnificator).handleEquation_d8yrk_k$ = function (request, equation) {
     return equation;
   };
-  protoOf(AbstractUnificator).l1i = function (term1, term2, occurCheckEnabled) {
-    if (this.i8().h10())
+  protoOf(AbstractUnificator).mgu_mo2ly8_k$ = function (term1, term2, occurCheckEnabled) {
+    if (this.get_context_h02k06_k$().get_isFailed_t67zdc_k$())
       return Companion_getInstance().failed();
     var equations = newDeque(this, plus(asSequence_0(_get_contextEquations__x0dd77(this)), equationsFor(this, term1, term2)));
     return mgu_0(this, new Mgu(term1, term2, occurCheckEnabled), equations, occurCheckEnabled);
@@ -326,12 +326,12 @@
   protoOf(AbstractUnificator).mguWithOccurCheck = function (term1, term2, occurCheckEnabled, $super) {
     return this.mguWithOccurCheck(term1, term2, occurCheckEnabled, ($super == null ? true : $super instanceof AbstractUnificator) ? $super : THROW_CCE());
   };
-  protoOf(AbstractUnificator).m1i = function (substitution1, substitution2, occurCheckEnabled) {
-    if (this.i8().h10() || substitution1.h10() || substitution2.h10())
+  protoOf(AbstractUnificator).mergeWithOccurCheck_3c9cff_k$ = function (substitution1, substitution2, occurCheckEnabled) {
+    if (this.get_context_h02k06_k$().get_isFailed_t67zdc_k$() || substitution1.get_isFailed_t67zdc_k$() || substitution2.get_isFailed_t67zdc_k$())
       return Companion_getInstance().failed();
     if (!occurCheckEnabled) {
-      var quickMerge = this.i8().plus(substitution1).plus(substitution2);
-      if (quickMerge.g10()) {
+      var quickMerge = this.get_context_h02k06_k$().plus(substitution1).plus(substitution2);
+      if (quickMerge.get_isSuccess_vybsc0_k$()) {
         return quickMerge;
       }
     }
@@ -339,21 +339,21 @@
     return mgu_0(this, new Merge(substitution1, substitution2, occurCheckEnabled), equations, occurCheckEnabled);
   };
   protoOf(AbstractUnificator).mergeWithOccurCheck = function (substitution1, substitution2, occurCheckEnabled) {
-    return this.m1i(substitution1, substitution2, occurCheckEnabled);
+    return this.mergeWithOccurCheck_3c9cff_k$(substitution1, substitution2, occurCheckEnabled);
   };
   function CachedUnificator(decorated, cacheCapacity) {
-    this.n1i_1 = decorated;
-    this.o1i_1 = Companion_instance.xo(cacheCapacity);
+    this.decorated_1 = decorated;
+    this.mguCache_1 = Companion_instance.simpleLru_axkvh1_k$(cacheCapacity);
   }
-  protoOf(CachedUnificator).l1i = function (term1, term2, occurCheckEnabled) {
+  protoOf(CachedUnificator).mgu_mo2ly8_k$ = function (term1, term2, occurCheckEnabled) {
     var mguRequest = new Triple(term1, term2, occurCheckEnabled);
-    var cached = this.o1i_1.i2(mguRequest);
+    var cached = this.mguCache_1.get_wei43m_k$(mguRequest);
     var tmp;
     if (cached instanceof Some) {
-      tmp = cached.ap_1;
+      tmp = cached.value_1;
     } else {
-      var mguResult = this.n1i_1.l1i(term1, term2, occurCheckEnabled);
-      this.o1i_1.yo(mguRequest, mguResult);
+      var mguResult = this.decorated_1.mgu_mo2ly8_k$(term1, term2, occurCheckEnabled);
+      this.mguCache_1.set_iuhvb1_k$(mguRequest, mguResult);
       tmp = mguResult;
     }
     return tmp;
@@ -361,21 +361,21 @@
   protoOf(CachedUnificator).mguWithOccurCheck = function (term1, term2, occurCheckEnabled, $super) {
     return this.mguWithOccurCheck(term1, term2, occurCheckEnabled, ($super == null ? true : $super instanceof CachedUnificator) ? $super : THROW_CCE());
   };
-  protoOf(CachedUnificator).m1i = function (substitution1, substitution2, occurCheckEnabled) {
+  protoOf(CachedUnificator).mergeWithOccurCheck_3c9cff_k$ = function (substitution1, substitution2, occurCheckEnabled) {
     var mguRequest = new Triple(substitution1, substitution2, occurCheckEnabled);
-    var cached = this.o1i_1.i2(mguRequest);
+    var cached = this.mguCache_1.get_wei43m_k$(mguRequest);
     var tmp;
     if (cached instanceof Some) {
-      tmp = cached.ap_1;
+      tmp = cached.value_1;
     } else {
-      var mguResult = this.n1i_1.mergeWithOccurCheck(substitution1, substitution2, occurCheckEnabled);
-      this.o1i_1.yo(mguRequest, mguResult);
+      var mguResult = this.decorated_1.mergeWithOccurCheck(substitution1, substitution2, occurCheckEnabled);
+      this.mguCache_1.set_iuhvb1_k$(mguRequest, mguResult);
       tmp = mguResult;
     }
     return tmp;
   };
   protoOf(CachedUnificator).mergeWithOccurCheck = function (substitution1, substitution2, occurCheckEnabled) {
-    return this.m1i(substitution1, substitution2, occurCheckEnabled);
+    return this.mergeWithOccurCheck_3c9cff_k$(substitution1, substitution2, occurCheckEnabled);
   };
   function allOfLists($this, lhs, rhs, equalityChecker) {
     var tmp;
@@ -402,64 +402,64 @@
   function Term$equals$ref() {
     return constructCallableReference(function (p0, p1) {
       return p0.equals(p1);
-    }, 2, 0, 27, 'equals');
+    }, 2, 0, 29, 'equals');
   }
   function Equation$Companion$from$lambda($equalityChecker) {
     return function (it) {
-      return Companion_instance_0.p1i(it, $equalityChecker);
+      return Companion_instance_0.allOf_ey9biy_k$(it, $equalityChecker);
     };
   }
   function Equation$Companion$allOfLists$lambda($equalityChecker) {
     return function (_destruct__k2r9zo) {
-      var l = _destruct__k2r9zo.pc();
-      var r = _destruct__k2r9zo.qc();
-      return l.nu() && r.nu() ? sequenceOf(Companion_instance_0.k1i(l.castToCons().gw(), r.castToCons().gw(), $equalityChecker)) : l.mu() && r.mu() ? sequenceOf(Companion_instance_0.k1i(l.castToList(), r.castToList(), $equalityChecker)) : Companion_instance_0.s1h(l, r, $equalityChecker);
+      var l = _destruct__k2r9zo.component1_7eebsc_k$();
+      var r = _destruct__k2r9zo.component2_7eebsb_k$();
+      return l.get_isCons_evvwck_k$() && r.get_isCons_evvwck_k$() ? sequenceOf(Companion_instance_0.of_o4qqfs_k$(l.castToCons().get_head_won7e1_k$(), r.castToCons().get_head_won7e1_k$(), $equalityChecker)) : l.get_isList_ew1iwh_k$() && r.get_isList_ew1iwh_k$() ? sequenceOf(Companion_instance_0.of_o4qqfs_k$(l.castToList(), r.castToList(), $equalityChecker)) : Companion_instance_0.allOf_wylrdl_k$(l, r, $equalityChecker);
     };
   }
   function Equation$Companion$allOfTuples$lambda($equalityChecker) {
     return function (_destruct__k2r9zo) {
-      var l = _destruct__k2r9zo.pc();
-      var r = _destruct__k2r9zo.qc();
-      return l.lu() && r.lu() ? sequenceOf(Companion_instance_0.k1i(l.castToTuple().uv(), r.castToTuple().uv(), $equalityChecker)) : Companion_instance_0.s1h(l, r, $equalityChecker);
+      var l = _destruct__k2r9zo.component1_7eebsc_k$();
+      var r = _destruct__k2r9zo.component2_7eebsb_k$();
+      return l.get_isTuple_zhv5m3_k$() && r.get_isTuple_zhv5m3_k$() ? sequenceOf(Companion_instance_0.of_o4qqfs_k$(l.castToTuple().get_left_woprgw_k$(), r.castToTuple().get_left_woprgw_k$(), $equalityChecker)) : Companion_instance_0.allOf_wylrdl_k$(l, r, $equalityChecker);
     };
   }
   function Equation$Companion$allOf$lambda($equalityChecker) {
     return function (it) {
-      return Companion_instance_0.p1i(it, $equalityChecker);
+      return Companion_instance_0.allOf_ey9biy_k$(it, $equalityChecker);
     };
   }
   function Identity(lhs, rhs) {
     Equation.call(this, lhs, rhs);
-    this.s1i_1 = lhs;
-    this.t1i_1 = rhs;
+    this.lhs_2 = lhs;
+    this.rhs_2 = rhs;
   }
-  protoOf(Identity).w1h = function () {
-    return this.s1i_1;
+  protoOf(Identity).get_lhs_18j1f6_k$ = function () {
+    return this.lhs_2;
   };
-  protoOf(Identity).x1h = function () {
-    return this.t1i_1;
+  protoOf(Identity).get_rhs_18iwz0_k$ = function () {
+    return this.rhs_2;
   };
-  protoOf(Identity).z1h = function () {
+  protoOf(Identity).get_isIdentity_zhqljl_k$ = function () {
     return true;
   };
-  protoOf(Identity).u1i = function () {
+  protoOf(Identity).asIdentity_amvci8_k$ = function () {
     return this;
   };
   protoOf(Identity).asIdentity = function () {
-    return this.u1i();
+    return this.asIdentity_amvci8_k$();
   };
-  protoOf(Identity).v1i = function (lhs, rhs) {
-    return this.w1i(lhs, rhs);
+  protoOf(Identity).clone_hhlixl_k$ = function (lhs, rhs) {
+    return this.copy_buatj3_k$(lhs, rhs);
   };
-  protoOf(Identity).w1i = function (lhs, rhs) {
+  protoOf(Identity).copy_buatj3_k$ = function (lhs, rhs) {
     return new Identity(lhs, rhs);
   };
   protoOf(Identity).toString = function () {
-    return 'Identity(lhs=' + this.s1i_1.toString() + ', rhs=' + this.t1i_1.toString() + ')';
+    return 'Identity(lhs=' + this.lhs_2.toString() + ', rhs=' + this.rhs_2.toString() + ')';
   };
   protoOf(Identity).hashCode = function () {
-    var result = this.s1i_1.hashCode();
-    result = imul(result, 31) + this.t1i_1.hashCode() | 0;
+    var result = this.lhs_2.hashCode();
+    result = imul(result, 31) + this.rhs_2.hashCode() | 0;
     return result;
   };
   protoOf(Identity).equals = function (other) {
@@ -467,90 +467,90 @@
       return true;
     if (!(other instanceof Identity))
       return false;
-    if (!this.s1i_1.equals(other.s1i_1))
+    if (!this.lhs_2.equals(other.lhs_2))
       return false;
-    if (!this.t1i_1.equals(other.t1i_1))
+    if (!this.rhs_2.equals(other.rhs_2))
       return false;
     return true;
   };
   function Assignment(lhs, rhs) {
     Equation.call(this, lhs, rhs);
-    this.d1i_1 = lhs;
-    this.e1i_1 = rhs;
+    this.lhs_2 = lhs;
+    this.rhs_2 = rhs;
   }
-  protoOf(Assignment).w1h = function () {
-    return this.d1i_1;
+  protoOf(Assignment).get_lhs_18j1f6_k$ = function () {
+    return this.lhs_2;
   };
-  protoOf(Assignment).x1h = function () {
-    return this.e1i_1;
+  protoOf(Assignment).get_rhs_18iwz0_k$ = function () {
+    return this.rhs_2;
   };
-  protoOf(Assignment).i1i = function () {
+  protoOf(Assignment).get_isAssignment_dlthcw_k$ = function () {
     return true;
   };
-  protoOf(Assignment).a1j = function () {
+  protoOf(Assignment).asAssignment_z87azl_k$ = function () {
     return this;
   };
   protoOf(Assignment).asAssignment = function () {
-    return this.a1j();
+    return this.asAssignment_z87azl_k$();
   };
-  protoOf(Assignment).b1j = function () {
-    return new Pair(this.g1i(), this.h1i());
+  protoOf(Assignment).toAssignmentPair_3aznaa_k$ = function () {
+    return new Pair(this.get_variable_ik7c5h_k$(), this.get_term_wouvn9_k$());
   };
   protoOf(Assignment).toAssignmentPair = function () {
-    return this.b1j();
+    return this.toAssignmentPair_3aznaa_k$();
   };
-  protoOf(Assignment).f1i = function () {
-    return Companion_getInstance().unifier(this.g1i(), this.h1i());
+  protoOf(Assignment).toSubstitution_giui0_k$ = function () {
+    return Companion_getInstance().unifier(this.get_variable_ik7c5h_k$(), this.get_term_wouvn9_k$());
   };
   protoOf(Assignment).toSubstitution = function () {
-    return this.f1i();
+    return this.toSubstitution_giui0_k$();
   };
   function LeftAssignment(lhs, rhs) {
     Assignment.call(this, lhs, rhs);
-    this.g1j_1 = lhs;
-    this.h1j_1 = rhs;
-    this.i1j_1 = this.g1j_1;
-    this.j1j_1 = this.h1j_1;
+    this.lhs_3 = lhs;
+    this.rhs_3 = rhs;
+    this.variable_1 = this.lhs_3;
+    this.term_1 = this.rhs_3;
   }
-  protoOf(LeftAssignment).w1h = function () {
-    return this.g1j_1;
+  protoOf(LeftAssignment).get_lhs_18j1f6_k$ = function () {
+    return this.lhs_3;
   };
-  protoOf(LeftAssignment).x1h = function () {
-    return this.h1j_1;
+  protoOf(LeftAssignment).get_rhs_18iwz0_k$ = function () {
+    return this.rhs_3;
   };
-  protoOf(LeftAssignment).g1i = function () {
-    return this.i1j_1;
+  protoOf(LeftAssignment).get_variable_ik7c5h_k$ = function () {
+    return this.variable_1;
   };
-  protoOf(LeftAssignment).h1i = function () {
-    return this.j1j_1;
+  protoOf(LeftAssignment).get_term_wouvn9_k$ = function () {
+    return this.term_1;
   };
-  protoOf(LeftAssignment).x1i = function () {
+  protoOf(LeftAssignment).get_isLeftAssignment_r8ub7d_k$ = function () {
     return true;
   };
-  protoOf(LeftAssignment).k1j = function () {
+  protoOf(LeftAssignment).asLeftAssignment_g129s6_k$ = function () {
     return this;
   };
   protoOf(LeftAssignment).asLeftAssignment = function () {
-    return this.k1j();
+    return this.asLeftAssignment_g129s6_k$();
   };
-  protoOf(LeftAssignment).v1i = function (lhs, rhs) {
-    return this.l1j(lhs.castToVar(), rhs);
+  protoOf(LeftAssignment).clone_hhlixl_k$ = function (lhs, rhs) {
+    return this.copy_31tzwe_k$(lhs.castToVar(), rhs);
   };
-  protoOf(LeftAssignment).m1j = function () {
-    return new Pair(this.g1j_1, this.h1j_1);
+  protoOf(LeftAssignment).toPair_eddkwb_k$ = function () {
+    return new Pair(this.lhs_3, this.rhs_3);
   };
   protoOf(LeftAssignment).toPair = function () {
-    return this.m1j();
+    return this.toPair_eddkwb_k$();
   };
-  protoOf(LeftAssignment).l1j = function (lhs, rhs) {
+  protoOf(LeftAssignment).copy_31tzwe_k$ = function (lhs, rhs) {
     return new LeftAssignment(lhs, rhs);
   };
   protoOf(LeftAssignment).toString = function () {
-    return 'LeftAssignment(lhs=' + this.g1j_1.toString() + ', rhs=' + this.h1j_1.toString() + ')';
+    return 'LeftAssignment(lhs=' + this.lhs_3.toString() + ', rhs=' + this.rhs_3.toString() + ')';
   };
   protoOf(LeftAssignment).hashCode = function () {
-    var result = this.g1j_1.hashCode();
-    result = imul(result, 31) + this.h1j_1.hashCode() | 0;
+    var result = this.lhs_3.hashCode();
+    result = imul(result, 31) + this.rhs_3.hashCode() | 0;
     return result;
   };
   protoOf(LeftAssignment).equals = function (other) {
@@ -558,58 +558,58 @@
       return true;
     if (!(other instanceof LeftAssignment))
       return false;
-    if (!this.g1j_1.equals(other.g1j_1))
+    if (!this.lhs_3.equals(other.lhs_3))
       return false;
-    if (!this.h1j_1.equals(other.h1j_1))
+    if (!this.rhs_3.equals(other.rhs_3))
       return false;
     return true;
   };
   function RightAssignment(lhs, rhs) {
     Assignment.call(this, lhs, rhs);
-    this.r1j_1 = lhs;
-    this.s1j_1 = rhs;
-    this.t1j_1 = this.s1j_1;
-    this.u1j_1 = this.r1j_1;
+    this.lhs_3 = lhs;
+    this.rhs_3 = rhs;
+    this.variable_1 = this.rhs_3;
+    this.term_1 = this.lhs_3;
   }
-  protoOf(RightAssignment).w1h = function () {
-    return this.r1j_1;
+  protoOf(RightAssignment).get_lhs_18j1f6_k$ = function () {
+    return this.lhs_3;
   };
-  protoOf(RightAssignment).x1h = function () {
-    return this.s1j_1;
+  protoOf(RightAssignment).get_rhs_18iwz0_k$ = function () {
+    return this.rhs_3;
   };
-  protoOf(RightAssignment).g1i = function () {
-    return this.t1j_1;
+  protoOf(RightAssignment).get_variable_ik7c5h_k$ = function () {
+    return this.variable_1;
   };
-  protoOf(RightAssignment).h1i = function () {
-    return this.u1j_1;
+  protoOf(RightAssignment).get_term_wouvn9_k$ = function () {
+    return this.term_1;
   };
-  protoOf(RightAssignment).y1i = function () {
+  protoOf(RightAssignment).get_isRightAssignment_m09f6y_k$ = function () {
     return true;
   };
-  protoOf(RightAssignment).v1j = function () {
+  protoOf(RightAssignment).asRightAssignment_u2ce4p_k$ = function () {
     return this;
   };
   protoOf(RightAssignment).asRightAssignment = function () {
-    return this.v1j();
+    return this.asRightAssignment_u2ce4p_k$();
   };
-  protoOf(RightAssignment).v1i = function (lhs, rhs) {
-    return this.w1j(lhs, rhs.castToVar());
+  protoOf(RightAssignment).clone_hhlixl_k$ = function (lhs, rhs) {
+    return this.copy_86ukbw_k$(lhs, rhs.castToVar());
   };
-  protoOf(RightAssignment).m1j = function () {
-    return new Pair(this.r1j_1, this.s1j_1);
+  protoOf(RightAssignment).toPair_eddkwb_k$ = function () {
+    return new Pair(this.lhs_3, this.rhs_3);
   };
   protoOf(RightAssignment).toPair = function () {
-    return this.m1j();
+    return this.toPair_eddkwb_k$();
   };
-  protoOf(RightAssignment).w1j = function (lhs, rhs) {
+  protoOf(RightAssignment).copy_86ukbw_k$ = function (lhs, rhs) {
     return new RightAssignment(lhs, rhs);
   };
   protoOf(RightAssignment).toString = function () {
-    return 'RightAssignment(lhs=' + this.r1j_1.toString() + ', rhs=' + this.s1j_1.toString() + ')';
+    return 'RightAssignment(lhs=' + this.lhs_3.toString() + ', rhs=' + this.rhs_3.toString() + ')';
   };
   protoOf(RightAssignment).hashCode = function () {
-    var result = this.r1j_1.hashCode();
-    result = imul(result, 31) + this.s1j_1.hashCode() | 0;
+    var result = this.lhs_3.hashCode();
+    result = imul(result, 31) + this.rhs_3.hashCode() | 0;
     return result;
   };
   protoOf(RightAssignment).equals = function (other) {
@@ -617,44 +617,44 @@
       return true;
     if (!(other instanceof RightAssignment))
       return false;
-    if (!this.r1j_1.equals(other.r1j_1))
+    if (!this.lhs_3.equals(other.lhs_3))
       return false;
-    if (!this.s1j_1.equals(other.s1j_1))
+    if (!this.rhs_3.equals(other.rhs_3))
       return false;
     return true;
   };
   function Comparison(lhs, rhs) {
     Equation.call(this, lhs, rhs);
-    this.z1j_1 = lhs;
-    this.a1k_1 = rhs;
+    this.lhs_2 = lhs;
+    this.rhs_2 = rhs;
   }
-  protoOf(Comparison).w1h = function () {
-    return this.z1j_1;
+  protoOf(Comparison).get_lhs_18j1f6_k$ = function () {
+    return this.lhs_2;
   };
-  protoOf(Comparison).x1h = function () {
-    return this.a1k_1;
+  protoOf(Comparison).get_rhs_18iwz0_k$ = function () {
+    return this.rhs_2;
   };
-  protoOf(Comparison).a1i = function () {
+  protoOf(Comparison).get_isComparison_qhizvg_k$ = function () {
     return true;
   };
-  protoOf(Comparison).b1k = function () {
+  protoOf(Comparison).asComparison_4v568r_k$ = function () {
     return this;
   };
   protoOf(Comparison).asComparison = function () {
-    return this.b1k();
+    return this.asComparison_4v568r_k$();
   };
-  protoOf(Comparison).v1i = function (lhs, rhs) {
-    return this.w1i(lhs, rhs);
+  protoOf(Comparison).clone_hhlixl_k$ = function (lhs, rhs) {
+    return this.copy_buatj3_k$(lhs, rhs);
   };
-  protoOf(Comparison).w1i = function (lhs, rhs) {
+  protoOf(Comparison).copy_buatj3_k$ = function (lhs, rhs) {
     return new Comparison(lhs, rhs);
   };
   protoOf(Comparison).toString = function () {
-    return 'Comparison(lhs=' + this.z1j_1.toString() + ', rhs=' + this.a1k_1.toString() + ')';
+    return 'Comparison(lhs=' + this.lhs_2.toString() + ', rhs=' + this.rhs_2.toString() + ')';
   };
   protoOf(Comparison).hashCode = function () {
-    var result = this.z1j_1.hashCode();
-    result = imul(result, 31) + this.a1k_1.hashCode() | 0;
+    var result = this.lhs_2.hashCode();
+    result = imul(result, 31) + this.rhs_2.hashCode() | 0;
     return result;
   };
   protoOf(Comparison).equals = function (other) {
@@ -662,50 +662,50 @@
       return true;
     if (!(other instanceof Comparison))
       return false;
-    if (!this.z1j_1.equals(other.z1j_1))
+    if (!this.lhs_2.equals(other.lhs_2))
       return false;
-    if (!this.a1k_1.equals(other.a1k_1))
+    if (!this.rhs_2.equals(other.rhs_2))
       return false;
     return true;
   };
   function Contradiction(lhs, rhs) {
     Equation.call(this, lhs, rhs);
-    this.e1k_1 = lhs;
-    this.f1k_1 = rhs;
+    this.lhs_2 = lhs;
+    this.rhs_2 = rhs;
   }
-  protoOf(Contradiction).w1h = function () {
-    return this.e1k_1;
+  protoOf(Contradiction).get_lhs_18j1f6_k$ = function () {
+    return this.lhs_2;
   };
-  protoOf(Contradiction).x1h = function () {
-    return this.f1k_1;
+  protoOf(Contradiction).get_rhs_18iwz0_k$ = function () {
+    return this.rhs_2;
   };
-  protoOf(Contradiction).y1h = function () {
+  protoOf(Contradiction).get_isContradiction_5mfb8e_k$ = function () {
     return true;
   };
-  protoOf(Contradiction).g1k = function () {
+  protoOf(Contradiction).asContradiction_kh63y9_k$ = function () {
     return this;
   };
   protoOf(Contradiction).asContradiction = function () {
-    return this.g1k();
+    return this.asContradiction_kh63y9_k$();
   };
-  protoOf(Contradiction).v1i = function (lhs, rhs) {
-    return this.w1i(lhs, rhs);
+  protoOf(Contradiction).clone_hhlixl_k$ = function (lhs, rhs) {
+    return this.copy_buatj3_k$(lhs, rhs);
   };
-  protoOf(Contradiction).f1i = function () {
+  protoOf(Contradiction).toSubstitution_giui0_k$ = function () {
     return Companion_getInstance().failed();
   };
   protoOf(Contradiction).toSubstitution = function () {
-    return this.f1i();
+    return this.toSubstitution_giui0_k$();
   };
-  protoOf(Contradiction).w1i = function (lhs, rhs) {
+  protoOf(Contradiction).copy_buatj3_k$ = function (lhs, rhs) {
     return new Contradiction(lhs, rhs);
   };
   protoOf(Contradiction).toString = function () {
-    return 'Contradiction(lhs=' + this.e1k_1.toString() + ', rhs=' + this.f1k_1.toString() + ')';
+    return 'Contradiction(lhs=' + this.lhs_2.toString() + ', rhs=' + this.rhs_2.toString() + ')';
   };
   protoOf(Contradiction).hashCode = function () {
-    var result = this.e1k_1.hashCode();
-    result = imul(result, 31) + this.f1k_1.hashCode() | 0;
+    var result = this.lhs_2.hashCode();
+    result = imul(result, 31) + this.rhs_2.hashCode() | 0;
     return result;
   };
   protoOf(Contradiction).equals = function (other) {
@@ -713,17 +713,17 @@
       return true;
     if (!(other instanceof Contradiction))
       return false;
-    if (!this.e1k_1.equals(other.e1k_1))
+    if (!this.lhs_2.equals(other.lhs_2))
       return false;
-    if (!this.f1k_1.equals(other.f1k_1))
+    if (!this.rhs_2.equals(other.rhs_2))
       return false;
     return true;
   };
   function Companion() {
   }
-  protoOf(Companion).k1i = function (lhs, rhs, equalityChecker) {
+  protoOf(Companion).of_o4qqfs_k$ = function (lhs, rhs, equalityChecker) {
     var tmp;
-    if (lhs.wu() && rhs.wu()) {
+    if (lhs.get_isVar_it73p0_k$() && rhs.get_isVar_it73p0_k$()) {
       var tmp_0;
       if (equalityChecker(lhs, rhs)) {
         tmp_0 = new Identity(lhs, rhs);
@@ -731,11 +731,11 @@
         tmp_0 = new LeftAssignment(lhs.castToVar(), rhs);
       }
       tmp = tmp_0;
-    } else if (lhs.wu()) {
+    } else if (lhs.get_isVar_it73p0_k$()) {
       tmp = new LeftAssignment(lhs.castToVar(), rhs);
-    } else if (rhs.wu()) {
+    } else if (rhs.get_isVar_it73p0_k$()) {
       tmp = new RightAssignment(lhs, rhs.castToVar());
-    } else if (lhs.zu() && rhs.zu()) {
+    } else if (lhs.get_isConstant_scia2f_k$() && rhs.get_isConstant_scia2f_k$()) {
       var tmp_1;
       if (equalityChecker(lhs, rhs)) {
         tmp_1 = new Identity(lhs, rhs);
@@ -743,13 +743,13 @@
         tmp_1 = new Contradiction(lhs, rhs);
       }
       tmp = tmp_1;
-    } else if (lhs.zu() || rhs.zu()) {
+    } else if (lhs.get_isConstant_scia2f_k$() || rhs.get_isConstant_scia2f_k$()) {
       tmp = new Contradiction(lhs, rhs);
-    } else if (lhs.gu() && rhs.gu()) {
+    } else if (lhs.get_isStruct_zeoyoo_k$() && rhs.get_isStruct_zeoyoo_k$()) {
       var lhsStruct = lhs.castToStruct();
       var rhsStruct = rhs.castToStruct();
       var tmp_2;
-      if (!(lhsStruct.ut() === rhsStruct.ut()) || !(lhsStruct.au() === rhsStruct.au())) {
+      if (!(lhsStruct.get_arity_iosiic_k$() === rhsStruct.get_arity_iosiic_k$()) || !(lhsStruct.get_functor_75vgt2_k$() === rhsStruct.get_functor_75vgt2_k$())) {
         tmp_2 = new Contradiction(lhsStruct, rhsStruct);
       } else {
         tmp_2 = new Comparison(lhsStruct, rhsStruct);
@@ -768,10 +768,10 @@
       tmp = equalityChecker;
     }
     equalityChecker = tmp;
-    return $super === VOID ? this.k1i(lhs, rhs, equalityChecker) : $super.k1i.call(this, lhs, rhs, equalityChecker);
+    return $super === VOID ? this.of_o4qqfs_k$(lhs, rhs, equalityChecker) : $super.of_o4qqfs_k$.call(this, lhs, rhs, equalityChecker);
   };
-  protoOf(Companion).h1k = function (pair, equalityChecker) {
-    return this.k1i(pair.first, pair.second, equalityChecker);
+  protoOf(Companion).of_4jrtix_k$ = function (pair, equalityChecker) {
+    return this.of_o4qqfs_k$(pair.first, pair.second, equalityChecker);
   };
   protoOf(Companion).ofPair = function (pair, equalityChecker, $super) {
     var tmp;
@@ -781,9 +781,9 @@
       tmp = equalityChecker;
     }
     equalityChecker = tmp;
-    return $super === VOID ? this.h1k(pair, equalityChecker) : $super.h1k.call(this, pair, equalityChecker);
+    return $super === VOID ? this.of_4jrtix_k$(pair, equalityChecker) : $super.of_4jrtix_k$.call(this, pair, equalityChecker);
   };
-  protoOf(Companion).i1k = function (pairs, equalityChecker) {
+  protoOf(Companion).from_4yqrd5_k$ = function (pairs, equalityChecker) {
     return flatMap(pairs, Equation$Companion$from$lambda(equalityChecker));
   };
   protoOf(Companion).fromSequence = function (pairs, equalityChecker, $super) {
@@ -794,10 +794,10 @@
       tmp = equalityChecker;
     }
     equalityChecker = tmp;
-    return $super === VOID ? this.i1k(pairs, equalityChecker) : $super.i1k.call(this, pairs, equalityChecker);
+    return $super === VOID ? this.from_4yqrd5_k$(pairs, equalityChecker) : $super.from_4yqrd5_k$.call(this, pairs, equalityChecker);
   };
-  protoOf(Companion).j1k = function (pairs, equalityChecker) {
-    return this.i1k(asSequence_0(pairs), equalityChecker);
+  protoOf(Companion).from_21bpvf_k$ = function (pairs, equalityChecker) {
+    return this.from_4yqrd5_k$(asSequence_0(pairs), equalityChecker);
   };
   protoOf(Companion).fromIterable = function (pairs, equalityChecker, $super) {
     var tmp;
@@ -807,10 +807,10 @@
       tmp = equalityChecker;
     }
     equalityChecker = tmp;
-    return $super === VOID ? this.j1k(pairs, equalityChecker) : $super.j1k.call(this, pairs, equalityChecker);
+    return $super === VOID ? this.from_21bpvf_k$(pairs, equalityChecker) : $super.from_21bpvf_k$.call(this, pairs, equalityChecker);
   };
-  protoOf(Companion).k1k = function (pairs, equalityChecker) {
-    return this.i1k(sequenceOf_0(pairs.slice()), equalityChecker);
+  protoOf(Companion).from_sp73rl_k$ = function (pairs, equalityChecker) {
+    return this.from_4yqrd5_k$(sequenceOf_0(pairs.slice()), equalityChecker);
   };
   protoOf(Companion).from = function (pairs, equalityChecker, $super) {
     var tmp;
@@ -820,10 +820,10 @@
       tmp = equalityChecker;
     }
     equalityChecker = tmp;
-    return $super === VOID ? this.k1k(pairs, equalityChecker) : $super.k1k.call(this, pairs, equalityChecker);
+    return $super === VOID ? this.from_sp73rl_k$(pairs, equalityChecker) : $super.from_sp73rl_k$.call(this, pairs, equalityChecker);
   };
-  protoOf(Companion).p1i = function (pair, equalityChecker) {
-    return this.s1h(pair.first, pair.second, equalityChecker);
+  protoOf(Companion).allOf_ey9biy_k$ = function (pair, equalityChecker) {
+    return this.allOf_wylrdl_k$(pair.first, pair.second, equalityChecker);
   };
   protoOf(Companion).allOfPair = function (pair, equalityChecker, $super) {
     var tmp;
@@ -833,29 +833,29 @@
       tmp = equalityChecker;
     }
     equalityChecker = tmp;
-    return $super === VOID ? this.p1i(pair, equalityChecker) : $super.p1i.call(this, pair, equalityChecker);
+    return $super === VOID ? this.allOf_ey9biy_k$(pair, equalityChecker) : $super.allOf_ey9biy_k$.call(this, pair, equalityChecker);
   };
-  protoOf(Companion).s1h = function (lhs, rhs, equalityChecker) {
+  protoOf(Companion).allOf_wylrdl_k$ = function (lhs, rhs, equalityChecker) {
     var tmp;
-    if (lhs.vt() && rhs.vt()) {
-      tmp = sequenceOf(this.k1i(lhs, rhs, equalityChecker));
-    } else if (lhs.mu() && rhs.mu()) {
+    if (lhs.get_isAtom_evuq3o_k$() && rhs.get_isAtom_evuq3o_k$()) {
+      tmp = sequenceOf(this.of_o4qqfs_k$(lhs, rhs, equalityChecker));
+    } else if (lhs.get_isList_ew1iwh_k$() && rhs.get_isList_ew1iwh_k$()) {
       tmp = allOfLists(this, lhs.castToList(), rhs.castToList(), equalityChecker);
-    } else if (lhs.lu() && rhs.lu()) {
+    } else if (lhs.get_isTuple_zhv5m3_k$() && rhs.get_isTuple_zhv5m3_k$()) {
       tmp = allOfTuples(this, lhs.castToTuple(), rhs.castToTuple(), equalityChecker);
-    } else if (lhs.gu() && rhs.gu()) {
+    } else if (lhs.get_isStruct_zeoyoo_k$() && rhs.get_isStruct_zeoyoo_k$()) {
       var lhsStruct = lhs.castToStruct();
       var rhsStruct = rhs.castToStruct();
       var tmp_0;
-      if (lhsStruct.ut() === rhsStruct.ut() && lhsStruct.au() === rhsStruct.au()) {
-        var tmp_1 = zip(lhsStruct.tu(), rhsStruct.tu());
+      if (lhsStruct.get_arity_iosiic_k$() === rhsStruct.get_arity_iosiic_k$() && lhsStruct.get_functor_75vgt2_k$() === rhsStruct.get_functor_75vgt2_k$()) {
+        var tmp_1 = zip(lhsStruct.get_argsSequence_z7gge1_k$(), rhsStruct.get_argsSequence_z7gge1_k$());
         tmp_0 = flatMap(tmp_1, Equation$Companion$allOf$lambda(equalityChecker));
       } else {
-        tmp_0 = sequenceOf(this.k1i(lhs, rhs, equalityChecker));
+        tmp_0 = sequenceOf(this.of_o4qqfs_k$(lhs, rhs, equalityChecker));
       }
       tmp = tmp_0;
     } else {
-      tmp = sequenceOf(this.k1i(lhs, rhs, equalityChecker));
+      tmp = sequenceOf(this.of_o4qqfs_k$(lhs, rhs, equalityChecker));
     }
     return tmp;
   };
@@ -867,23 +867,23 @@
       tmp = equalityChecker;
     }
     equalityChecker = tmp;
-    return $super === VOID ? this.s1h(lhs, rhs, equalityChecker) : $super.s1h.call(this, lhs, rhs, equalityChecker);
+    return $super === VOID ? this.allOf_wylrdl_k$(lhs, rhs, equalityChecker) : $super.allOf_wylrdl_k$.call(this, lhs, rhs, equalityChecker);
   };
   var Companion_instance_0;
   function Companion_getInstance_1() {
     return Companion_instance_0;
   }
   function Equation(lhs, rhs) {
-    this.u1h_1 = lhs;
-    this.v1h_1 = rhs;
+    this.lhs_1 = lhs;
+    this.rhs_1 = rhs;
   }
-  protoOf(Equation).w1h = function () {
-    return this.u1h_1;
+  protoOf(Equation).get_lhs_18j1f6_k$ = function () {
+    return this.lhs_1;
   };
-  protoOf(Equation).x1h = function () {
-    return this.v1h_1;
+  protoOf(Equation).get_rhs_18iwz0_k$ = function () {
+    return this.rhs_1;
   };
-  protoOf(Equation).z1h = function () {
+  protoOf(Equation).get_isIdentity_zhqljl_k$ = function () {
     return false;
   };
   protoOf(Equation).asIdentity = function () {
@@ -893,13 +893,13 @@
     var tmp0_elvis_lhs = this.asIdentity();
     var tmp;
     if (tmp0_elvis_lhs == null) {
-      throw ClassCastException_init_$Create$('Cannot cast ' + toString(this) + ' to ' + getKClass(Identity).c9());
+      throw ClassCastException_init_$Create$('Cannot cast ' + toString(this) + ' to ' + getKClass(Identity).get_simpleName_r6f8py_k$());
     } else {
       tmp = tmp0_elvis_lhs;
     }
     return tmp;
   };
-  protoOf(Equation).i1i = function () {
+  protoOf(Equation).get_isAssignment_dlthcw_k$ = function () {
     return false;
   };
   protoOf(Equation).asAssignment = function () {
@@ -909,13 +909,13 @@
     var tmp0_elvis_lhs = this.asAssignment();
     var tmp;
     if (tmp0_elvis_lhs == null) {
-      throw ClassCastException_init_$Create$('Cannot cast ' + toString(this) + ' to ' + getKClass(Assignment).c9());
+      throw ClassCastException_init_$Create$('Cannot cast ' + toString(this) + ' to ' + getKClass(Assignment).get_simpleName_r6f8py_k$());
     } else {
       tmp = tmp0_elvis_lhs;
     }
     return tmp;
   };
-  protoOf(Equation).x1i = function () {
+  protoOf(Equation).get_isLeftAssignment_r8ub7d_k$ = function () {
     return false;
   };
   protoOf(Equation).asLeftAssignment = function () {
@@ -925,13 +925,13 @@
     var tmp0_elvis_lhs = this.asLeftAssignment();
     var tmp;
     if (tmp0_elvis_lhs == null) {
-      throw ClassCastException_init_$Create$('Cannot cast ' + toString(this) + ' to ' + getKClass(LeftAssignment).c9());
+      throw ClassCastException_init_$Create$('Cannot cast ' + toString(this) + ' to ' + getKClass(LeftAssignment).get_simpleName_r6f8py_k$());
     } else {
       tmp = tmp0_elvis_lhs;
     }
     return tmp;
   };
-  protoOf(Equation).y1i = function () {
+  protoOf(Equation).get_isRightAssignment_m09f6y_k$ = function () {
     return false;
   };
   protoOf(Equation).asRightAssignment = function () {
@@ -941,13 +941,13 @@
     var tmp0_elvis_lhs = this.asRightAssignment();
     var tmp;
     if (tmp0_elvis_lhs == null) {
-      throw ClassCastException_init_$Create$('Cannot cast ' + toString(this) + ' to ' + getKClass(RightAssignment).c9());
+      throw ClassCastException_init_$Create$('Cannot cast ' + toString(this) + ' to ' + getKClass(RightAssignment).get_simpleName_r6f8py_k$());
     } else {
       tmp = tmp0_elvis_lhs;
     }
     return tmp;
   };
-  protoOf(Equation).a1i = function () {
+  protoOf(Equation).get_isComparison_qhizvg_k$ = function () {
     return false;
   };
   protoOf(Equation).asComparison = function () {
@@ -957,13 +957,13 @@
     var tmp0_elvis_lhs = this.asComparison();
     var tmp;
     if (tmp0_elvis_lhs == null) {
-      throw ClassCastException_init_$Create$('Cannot cast ' + toString(this) + ' to ' + getKClass(Comparison).c9());
+      throw ClassCastException_init_$Create$('Cannot cast ' + toString(this) + ' to ' + getKClass(Comparison).get_simpleName_r6f8py_k$());
     } else {
       tmp = tmp0_elvis_lhs;
     }
     return tmp;
   };
-  protoOf(Equation).y1h = function () {
+  protoOf(Equation).get_isContradiction_5mfb8e_k$ = function () {
     return false;
   };
   protoOf(Equation).asContradiction = function () {
@@ -973,26 +973,26 @@
     var tmp0_elvis_lhs = this.asContradiction();
     var tmp;
     if (tmp0_elvis_lhs == null) {
-      throw ClassCastException_init_$Create$('Cannot cast ' + toString(this) + ' to ' + getKClass(Contradiction).c9());
+      throw ClassCastException_init_$Create$('Cannot cast ' + toString(this) + ' to ' + getKClass(Contradiction).get_simpleName_r6f8py_k$());
     } else {
       tmp = tmp0_elvis_lhs;
     }
     return tmp;
   };
   protoOf(Equation).clone = function (lhs, rhs, $super) {
-    lhs = lhs === VOID ? this.w1h() : lhs;
-    rhs = rhs === VOID ? this.x1h() : rhs;
-    return $super === VOID ? this.v1i(lhs, rhs) : $super.v1i.call(this, lhs, rhs);
+    lhs = lhs === VOID ? this.get_lhs_18j1f6_k$() : lhs;
+    rhs = rhs === VOID ? this.get_rhs_18iwz0_k$() : rhs;
+    return $super === VOID ? this.clone_hhlixl_k$(lhs, rhs) : $super.clone_hhlixl_k$.call(this, lhs, rhs);
   };
   protoOf(Equation).toContradiction = function () {
-    return new Contradiction(this.w1h(), this.x1h());
+    return new Contradiction(this.get_lhs_18j1f6_k$(), this.get_rhs_18iwz0_k$());
   };
   protoOf(Equation).toAssignmentPair = function () {
     var tmp;
-    if (this.w1h().wu()) {
-      tmp = to(this.w1h().castToVar(), this.x1h());
-    } else if (this.x1h().wu()) {
-      tmp = to(this.x1h().castToVar(), this.w1h());
+    if (this.get_lhs_18j1f6_k$().get_isVar_it73p0_k$()) {
+      tmp = to(this.get_lhs_18j1f6_k$().castToVar(), this.get_rhs_18iwz0_k$());
+    } else if (this.get_rhs_18iwz0_k$().get_isVar_it73p0_k$()) {
+      tmp = to(this.get_rhs_18iwz0_k$().castToVar(), this.get_lhs_18j1f6_k$());
     } else {
       throw IllegalArgumentException_init_$Create$('Equation contains no variables: ' + toString(this));
     }
@@ -1000,29 +1000,29 @@
   };
   protoOf(Equation).toSubstitution = function () {
     var tmp;
-    if (this.w1h().wu()) {
-      tmp = Companion_getInstance().unifier(this.w1h().castToVar(), this.x1h());
-    } else if (this.x1h().wu()) {
-      tmp = Companion_getInstance().unifier(this.x1h().castToVar(), this.w1h());
+    if (this.get_lhs_18j1f6_k$().get_isVar_it73p0_k$()) {
+      tmp = Companion_getInstance().unifier(this.get_lhs_18j1f6_k$().castToVar(), this.get_rhs_18iwz0_k$());
+    } else if (this.get_rhs_18iwz0_k$().get_isVar_it73p0_k$()) {
+      tmp = Companion_getInstance().unifier(this.get_rhs_18iwz0_k$().castToVar(), this.get_lhs_18j1f6_k$());
     } else {
       throw IllegalArgumentException_init_$Create$('Equation contains no variables: ' + toString(this));
     }
     return tmp;
   };
-  protoOf(Equation).s1g = function () {
-    return Companion_getInstance_0().of('=', [this.w1h(), this.x1h()]);
+  protoOf(Equation).toTerm_edaxrt_k$ = function () {
+    return Companion_getInstance_0().of('=', [this.get_lhs_18j1f6_k$(), this.get_rhs_18iwz0_k$()]);
   };
   protoOf(Equation).toTerm = function () {
-    return this.s1g();
+    return this.toTerm_edaxrt_k$();
   };
   protoOf(Equation).toPair = function () {
-    return new Pair(this.w1h(), this.x1h());
+    return new Pair(this.get_lhs_18j1f6_k$(), this.get_rhs_18iwz0_k$());
   };
   protoOf(Equation).swap = function () {
-    return Companion_instance_0.of(this.x1h(), this.w1h());
+    return Companion_instance_0.of(this.get_rhs_18iwz0_k$(), this.get_lhs_18j1f6_k$());
   };
-  protoOf(Equation).z1i = function (substitution, equalityChecker) {
-    return Companion_instance_0.k1i(this.w1h().getSubstituted(substitution, []), this.x1h().getSubstituted(substitution, []), equalityChecker);
+  protoOf(Equation).apply_e612l5_k$ = function (substitution, equalityChecker) {
+    return Companion_instance_0.of_o4qqfs_k$(this.get_lhs_18j1f6_k$().getSubstituted(substitution, []), this.get_rhs_18iwz0_k$().getSubstituted(substitution, []), equalityChecker);
   };
   protoOf(Equation).apply = function (substitution, equalityChecker, $super) {
     var tmp;
@@ -1032,22 +1032,22 @@
       tmp = equalityChecker;
     }
     equalityChecker = tmp;
-    return $super === VOID ? this.z1i(substitution, equalityChecker) : $super.z1i.call(this, substitution, equalityChecker);
+    return $super === VOID ? this.apply_e612l5_k$(substitution, equalityChecker) : $super.apply_e612l5_k$.call(this, substitution, equalityChecker);
   };
   function toEquations(_this__u8e3s4) {
     // Inline function 'kotlin.collections.map' call
-    var this_0 = _this__u8e3s4.d1();
+    var this_0 = _this__u8e3s4.get_entries_p20ztl_k$();
     // Inline function 'kotlin.collections.mapTo' call
     var destination = ArrayList_init_$Create$_0(collectionSizeOrDefault(this_0, 10));
-    var _iterator__ex2g4s = this_0.n();
-    while (_iterator__ex2g4s.q()) {
-      var item = _iterator__ex2g4s.r();
+    var _iterator__ex2g4s = this_0.iterator_jk1svi_k$();
+    while (_iterator__ex2g4s.hasNext_bitz1p_k$()) {
+      var item = _iterator__ex2g4s.next_20eer_k$();
       // Inline function 'kotlin.collections.component1' call
-      var variable = item.e2();
+      var variable = item.get_key_18j28a_k$();
       // Inline function 'kotlin.collections.component2' call
-      var term = item.f2();
+      var term = item.get_value_j01efc_k$();
       var tmp$ret$2 = new LeftAssignment(variable, term);
-      destination.l(tmp$ret$2);
+      destination.add_utx5q5_k$(tmp$ret$2);
     }
     return destination;
   }
@@ -1064,18 +1064,18 @@
   }
   function Unificator$Companion$_get_default_$ref_8i2tx3() {
     return constructCallableReference(function (p0) {
-      return p0.n1k();
-    }, 1, 0, 28);
+      return p0.get_default_qtagd4_k$();
+    }, 1, 0, 30);
   }
   function Unificator$Companion$naive$1($context) {
     AbstractUnificator.call(this, $context);
   }
-  protoOf(Unificator$Companion$naive$1).r1h = function (first, second) {
+  protoOf(Unificator$Companion$naive$1).checkTermsEquality_u6kzr7_k$ = function (first, second) {
     var tmp;
-    if (first.bv() && second.bv()) {
-      tmp = first.castToInteger().f2().ej(second.castToInteger().f2()) === 0;
-    } else if (first.av() && second.av()) {
-      tmp = first.castToNumeric().qy().vi(second.castToNumeric().qy()) === 0;
+    if (first.get_isInteger_vb3zt7_k$() && second.get_isInteger_vb3zt7_k$()) {
+      tmp = first.castToInteger().get_value_j01efc_k$().compareTo_u56mz_k$(second.castToInteger().get_value_j01efc_k$()) === 0;
+    } else if (first.get_isNumber_x9n6xo_k$() && second.get_isNumber_x9n6xo_k$()) {
+      tmp = first.castToNumeric().get_decimalValue_7pja3t_k$().compareTo_dqfxu6_k$(second.castToNumeric().get_decimalValue_7pja3t_k$()) === 0;
     } else {
       tmp = first.equals(second);
     }
@@ -1087,7 +1087,7 @@
   function Unificator$Companion$strict$1($context) {
     AbstractUnificator.call(this, $context);
   }
-  protoOf(Unificator$Companion$strict$1).r1h = function (first, second) {
+  protoOf(Unificator$Companion$strict$1).checkTermsEquality_u6kzr7_k$ = function (first, second) {
     return first.equals(second);
   };
   protoOf(Unificator$Companion$strict$1).mguWithOccurCheck = function (term1, term2, occurCheckEnabled, $super) {
@@ -1096,27 +1096,27 @@
   function Companion_0() {
     Companion_instance_1 = this;
     var tmp = this;
-    tmp.l1k_1 = lazy(Unificator$Companion$default$delegate$lambda);
-    this.m1k_1 = 32;
+    tmp.default$delegate_1 = lazy(Unificator$Companion$default$delegate$lambda);
+    this.DEFAULT_CACHE_CAPACITY_1 = 32;
   }
-  protoOf(Companion_0).n1k = function () {
-    var tmp0 = this.l1k_1;
+  protoOf(Companion_0).get_default_qtagd4_k$ = function () {
+    var tmp0 = this.default$delegate_1;
     var tmp = KProperty1;
     // Inline function 'kotlin.getValue' call
     getPropertyCallableRef('default', 1, tmp, Unificator$Companion$_get_default_$ref_8i2tx3(), null);
-    return tmp0.f2();
+    return tmp0.get_value_j01efc_k$();
   };
   protoOf(Companion_0).mguWith = function (_this__u8e3s4, other) {
-    return this.n1k().mgu(_this__u8e3s4, other);
+    return this.get_default_qtagd4_k$().mgu(_this__u8e3s4, other);
   };
   protoOf(Companion_0).matches = function (_this__u8e3s4, other) {
-    return this.n1k().match(_this__u8e3s4, other);
+    return this.get_default_qtagd4_k$().match(_this__u8e3s4, other);
   };
   protoOf(Companion_0).unifyWith = function (_this__u8e3s4, other) {
-    return this.n1k().unify(_this__u8e3s4, other);
+    return this.get_default_qtagd4_k$().unify(_this__u8e3s4, other);
   };
   protoOf(Companion_0).mergeWith = function (_this__u8e3s4, other) {
-    return this.n1k().merge(_this__u8e3s4, other);
+    return this.get_default_qtagd4_k$().merge(_this__u8e3s4, other);
   };
   protoOf(Companion_0).naiveWithContext = function (context) {
     return new Unificator$Companion$naive$1(context);
@@ -1130,10 +1130,10 @@
   protoOf(Companion_0).strict = function () {
     return this.strictWithContext(Companion_getInstance().empty());
   };
-  protoOf(Companion_0).s1k = function (other, capacity) {
+  protoOf(Companion_0).cached_wexs5h_k$ = function (other, capacity) {
     var tmp;
     if (other instanceof CachedUnificator) {
-      tmp = new CachedUnificator(other.n1i_1, capacity);
+      tmp = new CachedUnificator(other.decorated_1, capacity);
     } else {
       tmp = new CachedUnificator(other, capacity);
     }
@@ -1141,7 +1141,7 @@
   };
   protoOf(Companion_0).cached = function (other, capacity, $super) {
     capacity = capacity === VOID ? 32 : capacity;
-    return $super === VOID ? this.s1k(other, capacity) : $super.s1k.call(this, other, capacity);
+    return $super === VOID ? this.cached_wexs5h_k$(other, capacity) : $super.cached_wexs5h_k$.call(this, other, capacity);
   };
   var Companion_instance_1;
   function Companion_getInstance_2() {
@@ -1166,38 +1166,38 @@
   protoOf(CachedUnificator).unifyWithOccurCheck = unifyWithOccurCheck;
   protoOf(CachedUnificator).unify = unify;
   protoOf(CachedUnificator).merge = merge;
-  protoOf(Equation).hp = castTo;
+  protoOf(Equation).castTo_mm7cm3_k$ = castTo;
   defineProp(protoOf(Equation), 'lhs', function () {
-    return this.w1h();
+    return this.get_lhs_18j1f6_k$();
   });
   defineProp(protoOf(Equation), 'rhs', function () {
-    return this.x1h();
+    return this.get_rhs_18iwz0_k$();
   });
   defineProp(protoOf(Equation), 'isIdentity', function () {
-    return this.z1h();
+    return this.get_isIdentity_zhqljl_k$();
   });
   defineProp(protoOf(Equation), 'isAssignment', function () {
-    return this.i1i();
+    return this.get_isAssignment_dlthcw_k$();
   });
   defineProp(protoOf(Equation), 'isLeftAssignment', function () {
-    return this.x1i();
+    return this.get_isLeftAssignment_r8ub7d_k$();
   });
   defineProp(protoOf(Equation), 'isRightAssignment', function () {
-    return this.y1i();
+    return this.get_isRightAssignment_m09f6y_k$();
   });
   defineProp(protoOf(Equation), 'isComparison', function () {
-    return this.a1i();
+    return this.get_isComparison_qhizvg_k$();
   });
   defineProp(protoOf(Equation), 'isContradiction', function () {
-    return this.y1h();
+    return this.get_isContradiction_5mfb8e_k$();
   });
   defineProp(protoOf(Assignment), 'variable', function () {
-    return this.g1i();
+    return this.get_variable_ik7c5h_k$();
   });
   defineProp(protoOf(Assignment), 'term', function () {
-    return this.h1i();
+    return this.get_term_wouvn9_k$();
   });
-  defineProp(protoOf(Companion_0), 'default', protoOf(Companion_0).n1k);
+  defineProp(protoOf(Companion_0), 'default', protoOf(Companion_0).get_default_qtagd4_k$);
   //endregion
   //region block: init
   Companion_instance_0 = new Companion();