@tuprolog/2p-full 0.32.4 → 1.0.0

package/2p-theory.js

@@ -98,9 +98,9 @@
   var plus_0 = kotlin_kotlin.$_$.u8;
   var getTag = kotlin_it_unibo_tuprolog_utils.$_$.m;
   var containsTag = kotlin_it_unibo_tuprolog_utils.$_$.l;
+  var Companion_getInstance_1 = kotlin_it_unibo_tuprolog_unify.$_$.a;
   var Companion_instance_3 = kotlin_it_unibo_tuprolog_core.$_$.v;
   var first_0 = kotlin_kotlin.$_$.f3;
-  var Companion_getInstance_1 = kotlin_it_unibo_tuprolog_unify.$_$.a;
   var filterNotNull = kotlin_kotlin.$_$.c8;
   var Taggable = kotlin_it_unibo_tuprolog_utils.$_$.n;
   var filterNot = kotlin_kotlin.$_$.d8;
@@ -130,13 +130,13 @@
     return this.addLast(clause);
   }
   function add_0(clause) {
-    return this.v1l(clause);
+    return this.r1l(clause);
   }
   function retrieve(clause) {
     return this.retrieveFirst(clause);
   }
   function retrieve_0(clause) {
-    return this.y1l(clause);
+    return this.u1l(clause);
   }
   setMetadataFor(ClauseQueue, 'ClauseQueue', interfaceMeta);
   setMetadataFor(Companion_0, 'Companion', objectMeta);
@@ -155,7 +155,7 @@
     return this.r2();
   }
   function plus_1(traversed) {
-    return Companion_instance_7.z1o(this.jr(), this.o1n(), plus(this.v1o(), traversed));
+    return Companion_instance_7.v1o(this.jr(), this.k1n(), plus(this.r1o(), traversed));
   }
   setMetadataFor(IndexedClause, 'IndexedClause', interfaceMeta, VOID, [LongIndexed]);
   setMetadataFor(IndexedClause$Companion$wrap$1, VOID, classMeta, VOID, [IndexedClause]);
@@ -183,11 +183,11 @@
     return false;
   }
   function get_rules() {
-    var tmp = asSequence(this.t1l());
+    var tmp = asSequence(this.p1l());
     return asIterable(filterNotNull(map(tmp, Theory$_get_rules_$lambda_c39n1s)));
   }
   function get_directives() {
-    var tmp = asSequence(this.t1l());
+    var tmp = asSequence(this.p1l());
     return asIterable(filterNotNull(map(tmp, Theory$_get_directives_$lambda_zbsn17)));
   }
   function plus_2(clause) {
@@ -207,6 +207,35 @@
   }
   setMetadataFor(Theory, 'Theory', interfaceMeta, VOID, [Taggable]);
   setMetadataFor(AbstractTheory, 'AbstractTheory', classMeta, VOID, [Theory]);
+  function emptyTheory() {
+    return this.emptyTheoryWithUnificator(this.f1l());
+  }
+  function theoryOfIterable(clauses) {
+    return this.theoryOfIterableWithUnificator(clauses, this.f1l());
+  }
+  function theoryOf(clauses) {
+    return this.theoryOfWithUnificator(this.f1l(), clauses.slice());
+  }
+  function theoryOfSequence(clauses) {
+    return this.theoryOfSequenceWithUnificator(clauses, this.f1l());
+  }
+  function emptyMutableTheory() {
+    return this.emptyMutableTheoryWithUnificator(this.f1l());
+  }
+  function mutableTheoryOfIterable(clauses) {
+    return this.mutableTheoryOfIterableWithUnificator(clauses, this.f1l());
+  }
+  function mutableTheoryOf(clauses) {
+    return this.mutableTheoryOfWithUnificator(this.f1l(), clauses.slice());
+  }
+  function mutableTheoryOfSequence(clauses) {
+    return this.mutableTheoryOfSequenceWithUnificator(clauses, this.f1l());
+  }
+  setMetadataFor(TheoryFactory, 'TheoryFactory', interfaceMeta);
+  setMetadataFor(Default, 'Default', objectMeta, VOID, [TheoryFactory]);
+  setMetadataFor(IndexedTheoryFactory, 'IndexedTheoryFactory', classMeta, VOID, [TheoryFactory]);
+  setMetadataFor(Default_0, 'Default', objectMeta, VOID, [TheoryFactory]);
+  setMetadataFor(ListedTheoryFactory, 'ListedTheoryFactory', classMeta, VOID, [TheoryFactory]);
   setMetadataFor(Companion_4, 'Companion', objectMeta);
   function get_isMutable_0() {
     return true;
@@ -215,16 +244,16 @@
     return this;
   }
   function assertAFact_0(struct) {
-    return this.o1s(Companion_instance_3.of(struct));
+    return this.k1s(Companion_instance_3.of(struct));
   }
   function assertZFact_0(struct) {
-    return this.s1s(Companion_instance_3.of(struct));
+    return this.o1s(Companion_instance_3.of(struct));
   }
   function retractByHead_0(head) {
-    return this.d1t(Companion_instance_2.of(head, [Companion_getInstance().anonymous()]));
+    return this.l1t(Companion_instance_2.of(head, [Companion_getInstance().anonymous()]));
   }
   function retractAllByHead_0(head) {
-    return this.b1m(Companion_instance_2.of(head, [Companion_getInstance().anonymous()]));
+    return this.x1l(Companion_instance_2.of(head, [Companion_getInstance().anonymous()]));
   }
   setMetadataFor(MutableTheory, 'MutableTheory', interfaceMeta, VOID, [Theory]);
   setMetadataFor(RetractResult, 'RetractResult', classMeta);
@@ -241,39 +270,39 @@
   setMetadataFor(MutableListedTheory, 'MutableListedTheory', classMeta, AbstractListedTheory, [AbstractListedTheory, MutableTheory]);
   //endregion
   function AbstractClauseCollection(rete) {
-    this.i1l_1 = rete;
+    this.e1l_1 = rete;
   }
-  protoOf(AbstractClauseCollection).j1l = function () {
-    return this.i1l_1.j1l();
+  protoOf(AbstractClauseCollection).f1l = function () {
+    return this.e1l_1.f1l();
   };
   protoOf(AbstractClauseCollection).l = function () {
-    return this.i1l_1.l();
+    return this.e1l_1.l();
   };
-  protoOf(AbstractClauseCollection).l1l = function () {
-    return asIterable(this.i1l_1.m1l());
+  protoOf(AbstractClauseCollection).h1l = function () {
+    return asIterable(this.e1l_1.i1l());
   };
-  protoOf(AbstractClauseCollection).n1l = function () {
-    return asIterable(this.i1l_1.n1l());
+  protoOf(AbstractClauseCollection).j1l = function () {
+    return asIterable(this.e1l_1.j1l());
   };
   protoOf(AbstractClauseCollection).y = function () {
-    return this.i1l_1.o1l();
+    return this.e1l_1.k1l();
   };
   protoOf(AbstractClauseCollection).isEmpty = function () {
     return this.y();
   };
-  protoOf(AbstractClauseCollection).p1l = function () {
+  protoOf(AbstractClauseCollection).l1l = function () {
     return !this.y();
   };
   protoOf(AbstractClauseCollection).isNonEmpty = function () {
-    return this.p1l();
+    return this.l1l();
   };
-  protoOf(AbstractClauseCollection).q1l = function (element) {
-    return any(this.i1l_1.r1l(element));
+  protoOf(AbstractClauseCollection).m1l = function (element) {
+    return any(this.e1l_1.n1l(element));
   };
   protoOf(AbstractClauseCollection).contains = function (element) {
-    return this.q1l(element);
+    return this.m1l(element);
   };
-  protoOf(AbstractClauseCollection).s1l = function (elements) {
+  protoOf(AbstractClauseCollection).o1l = function (elements) {
     var tmp$ret$1;
     $l$block: {
       // Inline function 'kotlin.sequences.all' call
@@ -281,7 +310,7 @@
       while (tmp0_iterator.s()) {
         var element = tmp0_iterator.u();
         // Inline function 'it.unibo.tuprolog.collections.AbstractClauseCollection.containsAll.<anonymous>' call
-        if (!this.q1l(element)) {
+        if (!this.m1l(element)) {
           tmp$ret$1 = false;
           break $l$block;
         }
@@ -291,10 +320,10 @@
     return tmp$ret$1;
   };
   protoOf(AbstractClauseCollection).containsAll = function (elements) {
-    return this.s1l(elements);
+    return this.o1l(elements);
   };
   protoOf(AbstractClauseCollection).r = function () {
-    return this.i1l_1.t1l().r();
+    return this.e1l_1.p1l().r();
   };
   protoOf(AbstractClauseCollection).toString = function () {
     return '' + getKClassFromExpression(this).s6() + '(' + joinToString(this, ', ') + ')';
@@ -304,59 +333,59 @@
     AbstractMutableReteClauseCollection.call($this);
     return $this;
   }
-  protoOf(AbstractMutableReteClauseCollection).v1l = function (clause) {
-    this.i1l_1.w1l(clause);
-    return this.k1l();
+  protoOf(AbstractMutableReteClauseCollection).r1l = function (clause) {
+    this.e1l_1.s1l(clause);
+    return this.g1l();
   };
   protoOf(AbstractMutableReteClauseCollection).add = function (clause) {
-    return this.v1l(clause);
+    return this.r1l(clause);
   };
-  protoOf(AbstractMutableReteClauseCollection).x1l = function (clauses) {
+  protoOf(AbstractMutableReteClauseCollection).t1l = function (clauses) {
     // Inline function 'kotlin.collections.forEach' call
     var tmp0_iterator = clauses.r();
     while (tmp0_iterator.s()) {
       var element = tmp0_iterator.u();
       // Inline function 'it.unibo.tuprolog.collections.AbstractMutableReteClauseCollection.addAll.<anonymous>' call
-      this.i1l_1.w1l(element);
+      this.e1l_1.s1l(element);
     }
-    return this.k1l();
+    return this.g1l();
   };
   protoOf(AbstractMutableReteClauseCollection).addAll = function (clauses) {
-    return this.x1l(clauses);
+    return this.t1l(clauses);
   };
-  protoOf(AbstractMutableReteClauseCollection).y1l = function (clause) {
-    var retracted = this.i1l_1.z1l(clause);
-    return none(retracted) ? new Failure(this.k1l()) : new Success(this.k1l(), toList(retracted));
+  protoOf(AbstractMutableReteClauseCollection).u1l = function (clause) {
+    var retracted = this.e1l_1.v1l(clause);
+    return none(retracted) ? new Failure(this.g1l()) : new Success(this.g1l(), toList(retracted));
   };
   protoOf(AbstractMutableReteClauseCollection).retrieve = function (clause) {
-    return this.y1l(clause);
+    return this.u1l(clause);
   };
-  protoOf(AbstractMutableReteClauseCollection).a1m = function (clause) {
-    var retracted = this.i1l_1.b1m(clause);
-    return none(retracted) ? new Failure(this.k1l()) : new Success(this.k1l(), toList(retracted));
+  protoOf(AbstractMutableReteClauseCollection).w1l = function (clause) {
+    var retracted = this.e1l_1.x1l(clause);
+    return none(retracted) ? new Failure(this.g1l()) : new Success(this.g1l(), toList(retracted));
   };
   protoOf(AbstractMutableReteClauseCollection).retrieveAll = function (clause) {
-    return this.a1m(clause);
+    return this.w1l(clause);
   };
   function AbstractMutableReteClauseCollection() {
   }
   function AbstractReteClauseCollection(rete) {
     AbstractClauseCollection.call(this, rete);
   }
-  protoOf(AbstractReteClauseCollection).v1l = function (clause) {
+  protoOf(AbstractReteClauseCollection).r1l = function (clause) {
     // Inline function 'kotlin.apply' call
-    var this_0 = this.i1l_1.e1m();
+    var this_0 = this.e1l_1.a1m();
     // Inline function 'kotlin.contracts.contract' call
     // Inline function 'it.unibo.tuprolog.collections.AbstractReteClauseCollection.add.<anonymous>' call
-    this_0.w1l(TheoryUtils_instance.f1m(clause));
-    return this.d1m(this_0);
+    this_0.s1l(TheoryUtils_instance.b1m(clause));
+    return this.z1l(this_0);
   };
   protoOf(AbstractReteClauseCollection).add = function (clause) {
-    return this.v1l(clause);
+    return this.r1l(clause);
   };
-  protoOf(AbstractReteClauseCollection).x1l = function (clauses) {
+  protoOf(AbstractReteClauseCollection).t1l = function (clauses) {
     // Inline function 'kotlin.apply' call
-    var this_0 = this.i1l_1.e1m();
+    var this_0 = this.e1l_1.a1m();
     // Inline function 'kotlin.contracts.contract' call
     // Inline function 'it.unibo.tuprolog.collections.AbstractReteClauseCollection.addAll.<anonymous>' call
     // Inline function 'kotlin.collections.forEach' call
@@ -364,28 +393,28 @@
     while (tmp0_iterator.s()) {
       var element = tmp0_iterator.u();
       // Inline function 'it.unibo.tuprolog.collections.AbstractReteClauseCollection.addAll.<anonymous>.<anonymous>' call
-      this_0.w1l(TheoryUtils_instance.f1m(element));
+      this_0.s1l(TheoryUtils_instance.b1m(element));
     }
-    return this.d1m(this_0);
+    return this.z1l(this_0);
   };
   protoOf(AbstractReteClauseCollection).addAll = function (clauses) {
-    return this.x1l(clauses);
+    return this.t1l(clauses);
   };
-  protoOf(AbstractReteClauseCollection).y1l = function (clause) {
-    var newTheory = this.i1l_1.e1m();
-    var retracted = newTheory.z1l(clause);
-    return none(retracted) ? new Failure(this.k1l()) : new Success(this.d1m(newTheory), toList(retracted));
+  protoOf(AbstractReteClauseCollection).u1l = function (clause) {
+    var newTheory = this.e1l_1.a1m();
+    var retracted = newTheory.v1l(clause);
+    return none(retracted) ? new Failure(this.g1l()) : new Success(this.z1l(newTheory), toList(retracted));
   };
   protoOf(AbstractReteClauseCollection).retrieve = function (clause) {
-    return this.y1l(clause);
+    return this.u1l(clause);
   };
-  protoOf(AbstractReteClauseCollection).a1m = function (clause) {
-    var newTheory = this.i1l_1.e1m();
-    var retracted = newTheory.b1m(clause);
-    return none(retracted) ? new Failure(this.k1l()) : new Success(this.d1m(newTheory), toList(retracted));
+  protoOf(AbstractReteClauseCollection).w1l = function (clause) {
+    var newTheory = this.e1l_1.a1m();
+    var retracted = newTheory.x1l(clause);
+    return none(retracted) ? new Failure(this.g1l()) : new Success(this.z1l(newTheory), toList(retracted));
   };
   protoOf(AbstractReteClauseCollection).retrieveAll = function (clause) {
-    return this.a1m(clause);
+    return this.w1l(clause);
   };
   function Companion() {
   }
@@ -471,27 +500,27 @@
   }
   function Success(collection, clauses) {
     RetrieveResult.call(this);
-    this.j1m_1 = collection;
-    this.k1m_1 = clauses;
+    this.f1m_1 = collection;
+    this.g1m_1 = clauses;
   }
-  protoOf(Success).l1m = function () {
-    return this.j1m_1;
+  protoOf(Success).h1m = function () {
+    return this.f1m_1;
   };
-  protoOf(Success).t1l = function () {
-    return this.k1m_1;
+  protoOf(Success).p1l = function () {
+    return this.g1m_1;
   };
   protoOf(Success).w12 = function () {
     return true;
   };
-  protoOf(Success).m1m = function () {
-    return first(this.k1m_1);
+  protoOf(Success).i1m = function () {
+    return first(this.g1m_1);
   };
   protoOf(Success).toString = function () {
-    return 'Success(collection=' + this.j1m_1 + ', clauses=' + this.k1m_1 + ')';
+    return 'Success(collection=' + this.f1m_1 + ', clauses=' + this.g1m_1 + ')';
   };
   protoOf(Success).hashCode = function () {
-    var result = hashCode(this.j1m_1);
-    result = imul(result, 31) + hashCode(this.k1m_1) | 0;
+    var result = hashCode(this.f1m_1);
+    result = imul(result, 31) + hashCode(this.g1m_1) | 0;
     return result;
   };
   protoOf(Success).equals = function (other) {
@@ -500,33 +529,33 @@
     if (!(other instanceof Success))
       return false;
     var tmp0_other_with_cast = other instanceof Success ? other : THROW_CCE();
-    if (!equals(this.j1m_1, tmp0_other_with_cast.j1m_1))
+    if (!equals(this.f1m_1, tmp0_other_with_cast.f1m_1))
       return false;
-    if (!equals(this.k1m_1, tmp0_other_with_cast.k1m_1))
+    if (!equals(this.g1m_1, tmp0_other_with_cast.g1m_1))
       return false;
     return true;
   };
   function Failure(collection) {
     RetrieveResult.call(this);
-    this.o1m_1 = collection;
+    this.k1m_1 = collection;
   }
-  protoOf(Failure).l1m = function () {
-    return this.o1m_1;
+  protoOf(Failure).h1m = function () {
+    return this.k1m_1;
   };
-  protoOf(Failure).n1m = function () {
+  protoOf(Failure).j1m = function () {
     return true;
   };
-  protoOf(Failure).t1l = function () {
+  protoOf(Failure).p1l = function () {
     return null;
   };
-  protoOf(Failure).m1m = function () {
+  protoOf(Failure).i1m = function () {
     return null;
   };
   protoOf(Failure).toString = function () {
-    return 'Failure(collection=' + this.o1m_1 + ')';
+    return 'Failure(collection=' + this.k1m_1 + ')';
   };
   protoOf(Failure).hashCode = function () {
-    return hashCode(this.o1m_1);
+    return hashCode(this.k1m_1);
   };
   protoOf(Failure).equals = function (other) {
     if (this === other)
@@ -534,7 +563,7 @@
     if (!(other instanceof Failure))
       return false;
     var tmp0_other_with_cast = other instanceof Failure ? other : THROW_CCE();
-    if (!equals(this.o1m_1, tmp0_other_with_cast.o1m_1))
+    if (!equals(this.k1m_1, tmp0_other_with_cast.k1m_1))
       return false;
     return true;
   };
@@ -543,12 +572,12 @@
   protoOf(RetrieveResult).w12 = function () {
     return false;
   };
-  protoOf(RetrieveResult).n1m = function () {
+  protoOf(RetrieveResult).j1m = function () {
     return false;
   };
   function MutableReteClauseQueue_init_$Init$(unificator, clauses, $this) {
-    MutableReteClauseQueue.call($this, Companion_instance_6.p1m(unificator, clauses));
-    TheoryUtils_instance.q1m(clauses);
+    MutableReteClauseQueue.call($this, Companion_instance_6.l1m(unificator, clauses));
+    TheoryUtils_instance.m1m(clauses);
     return $this;
   }
   function MutableReteClauseQueue_init_$Create$(unificator, clauses) {
@@ -560,44 +589,44 @@
     // Inline function 'kotlin.contracts.contract' call
     // Inline function 'kotlin.require' call
     // Inline function 'kotlin.contracts.contract' call
-    if (!rete.r1m()) {
+    if (!rete.n1m()) {
       // Inline function 'kotlin.require.<anonymous>' call
       var message = 'Failed requirement.';
       throw IllegalArgumentException_init_$Create$(toString(message));
     }
   }
-  protoOf(MutableReteClauseQueue).t1m = function (clause) {
-    return this.i1l_1.r1l(clause);
+  protoOf(MutableReteClauseQueue).p1m = function (clause) {
+    return this.e1l_1.n1l(clause);
   };
   protoOf(MutableReteClauseQueue).getFifoOrdered = function (clause) {
-    return this.t1m(clause);
+    return this.p1m(clause);
   };
-  protoOf(MutableReteClauseQueue).u1m = function (clause) {
-    return asSequence(asReversed(toList(this.t1m(clause))));
+  protoOf(MutableReteClauseQueue).q1m = function (clause) {
+    return asSequence(asReversed(toList(this.p1m(clause))));
   };
   protoOf(MutableReteClauseQueue).getLifoOrdered = function (clause) {
-    return this.u1m(clause);
+    return this.q1m(clause);
   };
-  protoOf(MutableReteClauseQueue).g1m = function (clause) {
-    this.i1l_1.v1m(clause);
+  protoOf(MutableReteClauseQueue).c1m = function (clause) {
+    this.e1l_1.r1m(clause);
     return this;
   };
   protoOf(MutableReteClauseQueue).addFirst = function (clause) {
-    return this.g1m(clause);
+    return this.c1m(clause);
   };
-  protoOf(MutableReteClauseQueue).h1m = function (clause) {
-    this.i1l_1.w1l(clause);
+  protoOf(MutableReteClauseQueue).d1m = function (clause) {
+    this.e1l_1.s1l(clause);
     return this;
   };
   protoOf(MutableReteClauseQueue).addLast = function (clause) {
-    return this.h1m(clause);
+    return this.d1m(clause);
   };
-  protoOf(MutableReteClauseQueue).i1m = function (clause) {
-    var retracted = this.i1l_1.z1l(clause);
+  protoOf(MutableReteClauseQueue).e1m = function (clause) {
+    var retracted = this.e1l_1.v1l(clause);
     return none(retracted) ? new Failure(this) : new Success(this, toList(retracted));
   };
   protoOf(MutableReteClauseQueue).retrieveFirst = function (clause) {
-    return this.i1m(clause);
+    return this.e1m(clause);
   };
   protoOf(MutableReteClauseQueue).equals = function (other) {
     var tmp;
@@ -611,18 +640,18 @@
   protoOf(MutableReteClauseQueue).hashCode = function () {
     return Companion_instance_5.computeHashCode(this);
   };
-  protoOf(MutableReteClauseQueue).k1l = function () {
+  protoOf(MutableReteClauseQueue).g1l = function () {
     return this;
   };
   function _get_hashCodeCache__ny3r0q($this) {
     // Inline function 'kotlin.getValue' call
-    var this_0 = $this.x1m_1;
+    var this_0 = $this.t1m_1;
     hashCodeCache$factory();
     return this_0.r2();
   }
   function ReteClauseQueue_init_$Init$(unificator, clauses, $this) {
-    ReteClauseQueue.call($this, Companion_instance_6.p1m(unificator, clauses));
-    TheoryUtils_instance.q1m(clauses);
+    ReteClauseQueue.call($this, Companion_instance_6.l1m(unificator, clauses));
+    TheoryUtils_instance.m1m(clauses);
     return $this;
   }
   function ReteClauseQueue_init_$Create$(unificator, clauses) {
@@ -636,70 +665,70 @@
   function ReteClauseQueue(rete) {
     AbstractReteClauseCollection.call(this, rete);
     var tmp = this;
-    tmp.x1m_1 = lazy(ReteClauseQueue$hashCodeCache$delegate$lambda(this));
+    tmp.t1m_1 = lazy(ReteClauseQueue$hashCodeCache$delegate$lambda(this));
     // Inline function 'kotlin.require' call
     // Inline function 'kotlin.contracts.contract' call
     // Inline function 'kotlin.require' call
     // Inline function 'kotlin.contracts.contract' call
-    if (!rete.r1m()) {
+    if (!rete.n1m()) {
       // Inline function 'kotlin.require.<anonymous>' call
       var message = 'Failed requirement.';
       throw IllegalArgumentException_init_$Create$(toString(message));
     }
   }
-  protoOf(ReteClauseQueue).g1m = function (clause) {
+  protoOf(ReteClauseQueue).c1m = function (clause) {
     // Inline function 'kotlin.apply' call
-    var this_0 = this.i1l_1.e1m();
+    var this_0 = this.e1l_1.a1m();
     // Inline function 'kotlin.contracts.contract' call
     // Inline function 'it.unibo.tuprolog.collections.impl.ReteClauseQueue.addFirst.<anonymous>' call
-    this_0.v1m(TheoryUtils_instance.f1m(clause));
+    this_0.r1m(TheoryUtils_instance.b1m(clause));
     return new ReteClauseQueue(this_0);
   };
   protoOf(ReteClauseQueue).addFirst = function (clause) {
-    return this.g1m(clause);
+    return this.c1m(clause);
   };
-  protoOf(ReteClauseQueue).h1m = function (clause) {
+  protoOf(ReteClauseQueue).d1m = function (clause) {
     // Inline function 'kotlin.apply' call
-    var this_0 = this.i1l_1.e1m();
+    var this_0 = this.e1l_1.a1m();
     // Inline function 'kotlin.contracts.contract' call
     // Inline function 'it.unibo.tuprolog.collections.impl.ReteClauseQueue.addLast.<anonymous>' call
-    this_0.w1l(TheoryUtils_instance.f1m(clause));
+    this_0.s1l(TheoryUtils_instance.b1m(clause));
     return new ReteClauseQueue(this_0);
   };
   protoOf(ReteClauseQueue).addLast = function (clause) {
-    return this.h1m(clause);
+    return this.d1m(clause);
   };
-  protoOf(ReteClauseQueue).t1m = function (clause) {
-    return this.i1l_1.r1l(clause);
+  protoOf(ReteClauseQueue).p1m = function (clause) {
+    return this.e1l_1.n1l(clause);
   };
   protoOf(ReteClauseQueue).getFifoOrdered = function (clause) {
-    return this.t1m(clause);
+    return this.p1m(clause);
   };
-  protoOf(ReteClauseQueue).u1m = function (clause) {
-    return asSequence(asReversed(toList(this.t1m(clause))));
+  protoOf(ReteClauseQueue).q1m = function (clause) {
+    return asSequence(asReversed(toList(this.p1m(clause))));
   };
   protoOf(ReteClauseQueue).getLifoOrdered = function (clause) {
-    return this.u1m(clause);
+    return this.q1m(clause);
   };
-  protoOf(ReteClauseQueue).v1l = function (clause) {
-    return this.h1m(clause);
+  protoOf(ReteClauseQueue).r1l = function (clause) {
+    return this.d1m(clause);
   };
   protoOf(ReteClauseQueue).add = function (clause) {
-    return this.v1l(clause);
+    return this.r1l(clause);
   };
-  protoOf(ReteClauseQueue).y1l = function (clause) {
-    return protoOf(AbstractReteClauseCollection).y1l.call(this, clause);
+  protoOf(ReteClauseQueue).u1l = function (clause) {
+    return protoOf(AbstractReteClauseCollection).u1l.call(this, clause);
   };
   protoOf(ReteClauseQueue).retrieve = function (clause) {
-    return this.y1l(clause);
+    return this.u1l(clause);
   };
-  protoOf(ReteClauseQueue).i1m = function (clause) {
-    return protoOf(AbstractReteClauseCollection).y1l.call(this, clause);
+  protoOf(ReteClauseQueue).e1m = function (clause) {
+    return protoOf(AbstractReteClauseCollection).u1l.call(this, clause);
   };
   protoOf(ReteClauseQueue).retrieveFirst = function (clause) {
-    return this.i1m(clause);
+    return this.e1m(clause);
   };
-  protoOf(ReteClauseQueue).d1m = function (rete) {
+  protoOf(ReteClauseQueue).z1l = function (rete) {
     return new ReteClauseQueue(rete);
   };
   protoOf(ReteClauseQueue).equals = function (other) {
@@ -720,7 +749,7 @@
   protoOf(ReteClauseQueue).hashCode = function () {
     return _get_hashCodeCache__ny3r0q(this);
   };
-  protoOf(ReteClauseQueue).k1l = function () {
+  protoOf(ReteClauseQueue).g1l = function () {
     return this;
   };
   function hashCodeCache$factory() {
@@ -729,9 +758,9 @@
     }, null);
   }
   function AbstractReteNode$removeAllLazily$slambda($source, this$0, $clause, resultContinuation) {
-    this.g1n_1 = $source;
-    this.h1n_1 = this$0;
-    this.i1n_1 = $clause;
+    this.c1n_1 = $source;
+    this.d1n_1 = this$0;
+    this.e1n_1 = $clause;
     CoroutineImpl.call(this, resultContinuation);
   }
   protoOf(AbstractReteNode$removeAllLazily$slambda).as = function ($this$sequence, $completion) {
@@ -751,21 +780,21 @@
         switch (tmp) {
           case 0:
             this.oc_1 = 5;
-            this.k1n_1 = this.g1n_1.r();
+            this.g1n_1 = this.c1n_1.r();
             this.nc_1 = 1;
             continue $sm;
           case 1:
-            if (!this.k1n_1.s()) {
+            if (!this.g1n_1.s()) {
               this.nc_1 = 4;
               continue $sm;
             }
 
-            this.l1n_1 = this.k1n_1.u();
-            if (this.h1n_1.j1l().match(this.l1n_1.o1n(), this.i1n_1)) {
-              this.l1n_1.m1n();
-              this.k1n_1.t();
+            this.h1n_1 = this.g1n_1.u();
+            if (this.d1n_1.f1l().match(this.h1n_1.k1n(), this.e1n_1)) {
+              this.h1n_1.i1n();
+              this.g1n_1.t();
               this.nc_1 = 2;
-              suspendResult = this.j1n_1.ef(this.l1n_1, this);
+              suspendResult = this.f1n_1.ef(this.h1n_1, this);
               if (suspendResult === get_COROUTINE_SUSPENDED()) {
                 return suspendResult;
               }
@@ -798,8 +827,8 @@
      while (true);
   };
   protoOf(AbstractReteNode$removeAllLazily$slambda).bs = function ($this$sequence, completion) {
-    var i = new AbstractReteNode$removeAllLazily$slambda(this.g1n_1, this.h1n_1, this.i1n_1, completion);
-    i.j1n_1 = $this$sequence;
+    var i = new AbstractReteNode$removeAllLazily$slambda(this.c1n_1, this.d1n_1, this.e1n_1, completion);
+    i.f1n_1 = $this$sequence;
     return i;
   };
   function AbstractReteNode$removeAllLazily$slambda_0($source, this$0, $clause, resultContinuation) {
@@ -811,17 +840,17 @@
     return l;
   }
   function AbstractReteNode(unificator) {
-    this.n1n_1 = unificator;
+    this.j1n_1 = unificator;
   }
-  protoOf(AbstractReteNode).j1l = function () {
-    return this.n1n_1;
+  protoOf(AbstractReteNode).f1l = function () {
+    return this.j1n_1;
   };
-  protoOf(AbstractReteNode).p1n = function (source, clause) {
+  protoOf(AbstractReteNode).l1n = function (source, clause) {
     return sequence(AbstractReteNode$removeAllLazily$slambda_0(source, this, clause, null));
   };
   function Companion_1() {
   }
-  protoOf(Companion_1).p1m = function (unificator, clauses) {
+  protoOf(Companion_1).l1m = function (unificator, clauses) {
     return new RootNode(unificator, clauses, true);
   };
   var Companion_instance_6;
@@ -832,17 +861,17 @@
     return sequence(Utils$firstArguments$slambda_0(_this__u8e3s4, null));
   }
   function Utils$firstArguments$slambda($this_firstArguments, resultContinuation) {
-    this.c1o_1 = $this_firstArguments;
+    this.y1n_1 = $this_firstArguments;
     CoroutineImpl.call(this, resultContinuation);
   }
-  protoOf(Utils$firstArguments$slambda).f1o = function ($this$sequence, $completion) {
-    var tmp = this.g1o($this$sequence, $completion);
+  protoOf(Utils$firstArguments$slambda).b1o = function ($this$sequence, $completion) {
+    var tmp = this.c1o($this$sequence, $completion);
     tmp.pc_1 = Unit_instance;
     tmp.qc_1 = null;
     return tmp.yc();
   };
   protoOf(Utils$firstArguments$slambda).ld = function (p1, $completion) {
-    return this.f1o(p1 instanceof SequenceScope ? p1 : THROW_CCE(), $completion);
+    return this.b1o(p1 instanceof SequenceScope ? p1 : THROW_CCE(), $completion);
   };
   protoOf(Utils$firstArguments$slambda).yc = function () {
     var suspendResult = this.pc_1;
@@ -852,29 +881,29 @@
         switch (tmp) {
           case 0:
             this.oc_1 = 5;
-            this.e1o_1 = this.c1o_1;
+            this.a1o_1 = this.y1n_1;
             this.nc_1 = 1;
             continue $sm;
           case 1:
-            if (!this.e1o_1.ww()) {
+            if (!this.a1o_1.ww()) {
               this.nc_1 = 3;
               continue $sm;
             }
 
             this.nc_1 = 2;
-            suspendResult = this.d1o_1.ef(this.e1o_1, this);
+            suspendResult = this.z1n_1.ef(this.a1o_1, this);
             if (suspendResult === get_COROUTINE_SUSPENDED()) {
               return suspendResult;
             }
 
             continue $sm;
           case 2:
-            this.e1o_1 = this.e1o_1.castToStruct().getArgAt(0);
+            this.a1o_1 = this.a1o_1.castToStruct().getArgAt(0);
             this.nc_1 = 1;
             continue $sm;
           case 3:
             this.nc_1 = 4;
-            suspendResult = this.d1o_1.ef(this.e1o_1, this);
+            suspendResult = this.z1n_1.ef(this.a1o_1, this);
             if (suspendResult === get_COROUTINE_SUSPENDED()) {
               return suspendResult;
             }
@@ -896,15 +925,15 @@
       }
      while (true);
   };
-  protoOf(Utils$firstArguments$slambda).g1o = function ($this$sequence, completion) {
-    var i = new Utils$firstArguments$slambda(this.c1o_1, completion);
-    i.d1o_1 = $this$sequence;
+  protoOf(Utils$firstArguments$slambda).c1o = function ($this$sequence, completion) {
+    var i = new Utils$firstArguments$slambda(this.y1n_1, completion);
+    i.z1n_1 = $this$sequence;
     return i;
   };
   function Utils$firstArguments$slambda_0($this_firstArguments, resultContinuation) {
     var i = new Utils$firstArguments$slambda($this_firstArguments, resultContinuation);
     var l = function ($this$sequence, $completion) {
-      return i.f1o($this$sequence, $completion);
+      return i.b1o($this$sequence, $completion);
     };
     l.$arity = 1;
     return l;
@@ -918,46 +947,46 @@
   }
   function Utils() {
   }
-  protoOf(Utils).h1o = function (_this__u8e3s4, nestingLevel) {
+  protoOf(Utils).d1o = function (_this__u8e3s4, nestingLevel) {
     // Inline function 'kotlin.let' call
     // Inline function 'kotlin.contracts.contract' call
     // Inline function 'it.unibo.tuprolog.collections.rete.custom.Utils.arityOfNestedFirstArgument.<anonymous>' call
     return takeFirstAfterSkipping(firstArguments(_this__u8e3s4, this), nestingLevel).castToStruct().kw();
   };
-  protoOf(Utils).i1o = function (_this__u8e3s4, nestingLevel) {
+  protoOf(Utils).e1o = function (_this__u8e3s4, nestingLevel) {
     // Inline function 'kotlin.let' call
     // Inline function 'kotlin.contracts.contract' call
     // Inline function 'it.unibo.tuprolog.collections.rete.custom.Utils.functorOfNestedFirstArgument.<anonymous>' call
     return takeFirstAfterSkipping(firstArguments(_this__u8e3s4, this), nestingLevel).castToStruct().qw();
   };
-  protoOf(Utils).j1o = function (_this__u8e3s4, nestingLevel) {
+  protoOf(Utils).f1o = function (_this__u8e3s4, nestingLevel) {
     return takeFirstAfterSkipping(firstArguments(_this__u8e3s4, this), nestingLevel);
   };
-  protoOf(Utils).k1o = function (args) {
-    return this.l1o(listOf(args.slice()));
+  protoOf(Utils).g1o = function (args) {
+    return this.h1o(listOf(args.slice()));
   };
-  protoOf(Utils).m1o = function (sequence) {
-    return this.l1o(asIterable(sequence));
+  protoOf(Utils).i1o = function (sequence) {
+    return this.h1o(asIterable(sequence));
   };
-  protoOf(Utils).l1o = function (iterable) {
+  protoOf(Utils).h1o = function (iterable) {
     return mergeSequences(iterable, SituatedIndexedClause$compareTo$ref());
   };
-  protoOf(Utils).n1o = function (args) {
-    return this.o1o(sequenceOf(args.slice()));
+  protoOf(Utils).j1o = function (args) {
+    return this.k1o(sequenceOf(args.slice()));
   };
-  protoOf(Utils).o1o = function (sequence) {
+  protoOf(Utils).k1o = function (sequence) {
     return flatten(sequence);
   };
-  protoOf(Utils).p1o = function (iterable) {
-    return this.o1o(asSequence(iterable));
+  protoOf(Utils).l1o = function (iterable) {
+    return this.k1o(asSequence(iterable));
   };
-  protoOf(Utils).q1o = function (args) {
-    return this.r1o(sequenceOf(args.slice()));
+  protoOf(Utils).m1o = function (args) {
+    return this.n1o(sequenceOf(args.slice()));
   };
-  protoOf(Utils).r1o = function (sequence) {
+  protoOf(Utils).n1o = function (sequence) {
     return flatten(sequence);
   };
-  protoOf(Utils).s1o = function (a, b) {
+  protoOf(Utils).o1o = function (a, b) {
     return (a == null ? b == null : false) ? null : a == null ? b : b == null ? a : a.kt(b) < 0 ? a : b;
   };
   var Utils_instance;
@@ -965,25 +994,25 @@
     return Utils_instance;
   }
   function IndexedClause$Companion$wrap$1($traversed, $indexedClause) {
-    this.u1o_1 = $indexedClause;
-    this.t1o_1 = listOf($traversed.slice());
+    this.q1o_1 = $indexedClause;
+    this.p1o_1 = listOf($traversed.slice());
   }
   protoOf(IndexedClause$Companion$wrap$1).jr = function () {
-    return this.u1o_1.jr();
+    return this.q1o_1.jr();
   };
   protoOf(IndexedClause$Companion$wrap$1).r2 = function () {
-    return this.u1o_1.r2();
+    return this.q1o_1.r2();
   };
-  protoOf(IndexedClause$Companion$wrap$1).v1o = function () {
-    return this.t1o_1;
+  protoOf(IndexedClause$Companion$wrap$1).r1o = function () {
+    return this.p1o_1;
   };
-  protoOf(IndexedClause$Companion$wrap$1).m1n = function () {
+  protoOf(IndexedClause$Companion$wrap$1).i1n = function () {
     // Inline function 'kotlin.collections.forEach' call
-    var tmp0_iterator = this.t1o_1.r();
+    var tmp0_iterator = this.p1o_1.r();
     while (tmp0_iterator.s()) {
       var element = tmp0_iterator.u();
       // Inline function 'it.unibo.tuprolog.collections.rete.custom.clause.<no name provided>.invalidateAllCaches.<anonymous>' call
-      element.t1n();
+      element.p1n();
     }
   };
   protoOf(IndexedClause$Companion$wrap$1).d = function (other) {
@@ -991,17 +1020,17 @@
   };
   function Companion_2() {
   }
-  protoOf(Companion_2).x1o = function (indexedClause, traversed) {
+  protoOf(Companion_2).t1o = function (indexedClause, traversed) {
     return new IndexedClause$Companion$wrap$1(traversed, indexedClause);
   };
-  protoOf(Companion_2).y1o = function (index, clause, traversed) {
-    return this.x1o(Companion_instance_0.jt(index, clause), traversed.slice());
+  protoOf(Companion_2).u1o = function (index, clause, traversed) {
+    return this.t1o(Companion_instance_0.jt(index, clause), traversed.slice());
   };
-  protoOf(Companion_2).z1o = function (index, clause, traversed) {
+  protoOf(Companion_2).v1o = function (index, clause, traversed) {
     var tmp = Companion_instance_0.jt(index, clause);
     // Inline function 'kotlin.collections.toTypedArray' call
     var tmp$ret$0 = copyToArray(traversed);
-    return this.x1o(tmp, tmp$ret$0.slice());
+    return this.t1o(tmp, tmp$ret$0.slice());
   };
   var Companion_instance_7;
   function Companion_getInstance_5() {
@@ -1010,24 +1039,24 @@
   function IndexedClause() {
   }
   function SituatedIndexedClause$Companion$of$1($indexed, $index) {
-    this.a1p_1 = $indexed;
-    this.b1p_1 = $index;
+    this.w1o_1 = $indexed;
+    this.x1o_1 = $index;
   }
   protoOf(SituatedIndexedClause$Companion$of$1).jr = function () {
-    return this.a1p_1.jr();
+    return this.w1o_1.jr();
   };
   protoOf(SituatedIndexedClause$Companion$of$1).r2 = function () {
-    return this.a1p_1.r2();
+    return this.w1o_1.r2();
   };
-  protoOf(SituatedIndexedClause$Companion$of$1).c1p = function () {
-    this.b1p_1.d1p(this);
-    this.m1n();
+  protoOf(SituatedIndexedClause$Companion$of$1).y1o = function () {
+    this.x1o_1.z1o(this);
+    this.i1n();
   };
-  protoOf(SituatedIndexedClause$Companion$of$1).v1o = function () {
-    return this.a1p_1.v1o();
+  protoOf(SituatedIndexedClause$Companion$of$1).r1o = function () {
+    return this.w1o_1.r1o();
   };
-  protoOf(SituatedIndexedClause$Companion$of$1).m1n = function () {
-    this.a1p_1.m1n();
+  protoOf(SituatedIndexedClause$Companion$of$1).i1n = function () {
+    this.w1o_1.i1n();
   };
   protoOf(SituatedIndexedClause$Companion$of$1).equals = function (other) {
     if (this === other)
@@ -1043,7 +1072,7 @@
   };
   function Companion_3() {
   }
-  protoOf(Companion_3).e1p = function (indexed, index) {
+  protoOf(Companion_3).a1p = function (indexed, index) {
     return new SituatedIndexedClause$Companion$of$1(indexed, index);
   };
   var Companion_instance_8;
@@ -1055,12 +1084,12 @@
   function AbstractIndexingLeaf(unificator) {
     AbstractReteNode.call(this, unificator);
   }
-  protoOf(AbstractIndexingLeaf).t1n = function () {
+  protoOf(AbstractIndexingLeaf).p1n = function () {
   };
   function extractFirst($this, clause) {
     // Inline function 'kotlin.collections.mapNotNull' call
     // Inline function 'kotlin.collections.mapNotNullTo' call
-    var this_0 = $this.n1p_1.m2();
+    var this_0 = $this.j1p_1.m2();
     var destination = ArrayList_init_$Create$_0();
     // Inline function 'kotlin.collections.forEach' call
     var tmp0_iterator = this_0.r();
@@ -1088,7 +1117,7 @@
       while (tmp0_iterator.s()) {
         var item = tmp0_iterator.u();
         // Inline function 'it.unibo.tuprolog.collections.rete.custom.leaf.AtomIndex.extractFirst.<anonymous>' call
-        if ($this.j1l().match(item.o1n(), clause)) {
+        if ($this.f1l().match(item.k1n(), clause)) {
           tmp$ret$1 = index_0;
           break $l$block;
         }
@@ -1106,28 +1135,28 @@
     return tmp;
   }
   function nestedFirstArgument(_this__u8e3s4, $this) {
-    return Utils_instance.j1o(ensureNotNull(_this__u8e3s4.wy()), $this.m1p_1 + 1 | 0);
+    return Utils_instance.f1o(ensureNotNull(_this__u8e3s4.wy()), $this.i1p_1 + 1 | 0);
   }
   function asInnerAtom(_this__u8e3s4, $this) {
     return nestedFirstArgument(_this__u8e3s4, $this).castToAtom();
   }
   function asInnerAtom_0(_this__u8e3s4, $this) {
-    return nestedFirstArgument(_this__u8e3s4.o1n(), $this).castToAtom();
+    return nestedFirstArgument(_this__u8e3s4.k1n(), $this).castToAtom();
   }
   function asInnerAtom_1(_this__u8e3s4, $this) {
-    return nestedFirstArgument(_this__u8e3s4.o1n(), $this).castToAtom();
+    return nestedFirstArgument(_this__u8e3s4.k1n(), $this).castToAtom();
   }
   function AtomIndex$_get_size_$lambda_ygjfwe(it) {
     return it.l();
   }
   function AtomIndex$getIndexed$lambda(this$0, $clause) {
     return function (it) {
-      return this$0.j1l().match(it.o1n(), $clause);
+      return this$0.f1l().match(it.k1n(), $clause);
     };
   }
   function AtomIndex$retractAllIndexed$lambda(this$0, $clause) {
     return function (it) {
-      return this$0.p1n(it, $clause);
+      return this$0.l1n(it, $clause);
     };
   }
   function AtomIndex$getCache$lambda(it) {
@@ -1135,30 +1164,30 @@
   }
   function AtomIndex$extractGlobalIndexedSequence$lambda(this$0, $clause) {
     return function (it) {
-      return this$0.j1l().match(it.o1n(), $clause);
+      return this$0.f1l().match(it.k1n(), $clause);
     };
   }
   function AtomIndex(unificator, ordered, nestingLevel) {
     AbstractIndexingLeaf.call(this, unificator);
-    this.l1p_1 = ordered;
-    this.m1p_1 = nestingLevel;
+    this.h1p_1 = ordered;
+    this.i1p_1 = nestingLevel;
     var tmp = this;
     // Inline function 'kotlin.collections.mutableMapOf' call
-    tmp.n1p_1 = LinkedHashMap_init_$Create$();
+    tmp.j1p_1 = LinkedHashMap_init_$Create$();
   }
   protoOf(AtomIndex).l = function () {
-    var tmp = asSequence(this.n1p_1.m2());
+    var tmp = asSequence(this.j1p_1.m2());
     return sum(map(tmp, AtomIndex$_get_size_$lambda_ygjfwe));
   };
-  protoOf(AtomIndex).o1l = function () {
+  protoOf(AtomIndex).k1l = function () {
     var tmp;
-    if (this.n1p_1.y()) {
+    if (this.j1p_1.y()) {
       tmp = true;
     } else {
       var tmp$ret$0;
       $l$block_0: {
         // Inline function 'kotlin.collections.all' call
-        var this_0 = this.n1p_1.m2();
+        var this_0 = this.j1p_1.m2();
         var tmp_0;
         if (isInterface(this_0, Collection)) {
           tmp_0 = this_0.y();
@@ -1184,13 +1213,13 @@
     }
     return tmp;
   };
-  protoOf(AtomIndex).q1n = function (clause) {
-    if (this.l1p_1) {
+  protoOf(AtomIndex).m1n = function (clause) {
+    if (this.h1p_1) {
       // Inline function 'kotlin.let' call
       // Inline function 'kotlin.contracts.contract' call
       var it = asInnerAtom_1(clause, this);
       // Inline function 'kotlin.collections.getOrPut' call
-      var this_0 = this.n1p_1;
+      var this_0 = this.j1p_1;
       var value = this_0.x2(it);
       var tmp;
       if (value == null) {
@@ -1202,18 +1231,18 @@
         tmp = value;
       }
       var tmp$ret$1 = tmp;
-      addFirst(tmp$ret$1, Companion_instance_8.e1p(clause.w1o(this), this));
+      addFirst(tmp$ret$1, Companion_instance_8.a1p(clause.s1o(this), this));
     } else {
-      this.r1n(clause);
+      this.n1n(clause);
     }
   };
-  protoOf(AtomIndex).r1n = function (clause) {
+  protoOf(AtomIndex).n1n = function (clause) {
     // Inline function 'kotlin.let' call
     // Inline function 'kotlin.contracts.contract' call
     // Inline function 'it.unibo.tuprolog.collections.rete.custom.leaf.AtomIndex.assertZ.<anonymous>' call
     var it = asInnerAtom_1(clause, this);
     // Inline function 'kotlin.collections.getOrPut' call
-    var this_0 = this.n1p_1;
+    var this_0 = this.j1p_1;
     var value = this_0.x2(it);
     var tmp;
     if (value == null) {
@@ -1224,15 +1253,15 @@
     } else {
       tmp = value;
     }
-    tmp.o(Companion_instance_8.e1p(clause.w1o(this), this));
+    tmp.o(Companion_instance_8.a1p(clause.s1o(this), this));
   };
-  protoOf(AtomIndex).g1p = function (clause) {
+  protoOf(AtomIndex).c1p = function (clause) {
     var tmp;
     if (nestedFirstArgument(clause, this).lw()) {
       // Inline function 'kotlin.let' call
       // Inline function 'kotlin.contracts.contract' call
       // Inline function 'it.unibo.tuprolog.collections.rete.custom.leaf.AtomIndex.getFirstIndexed.<anonymous>' call
-      var it = this.n1p_1.x2(asInnerAtom(clause, this));
+      var it = this.j1p_1.x2(asInnerAtom(clause, this));
       var tmp_0;
       if (it == null) {
         tmp_0 = null;
@@ -1245,10 +1274,10 @@
     }
     return tmp;
   };
-  protoOf(AtomIndex).h1p = function (clause) {
+  protoOf(AtomIndex).d1p = function (clause) {
     var tmp;
     if (nestedFirstArgument(clause, this).lw()) {
-      var tmp0_safe_receiver = this.n1p_1.x2(asInnerAtom(clause, this));
+      var tmp0_safe_receiver = this.j1p_1.x2(asInnerAtom(clause, this));
       var tmp1_safe_receiver = tmp0_safe_receiver == null ? null : asSequence(tmp0_safe_receiver);
       var tmp_0;
       if (tmp1_safe_receiver == null) {
@@ -1259,73 +1288,73 @@
       var tmp2_elvis_lhs = tmp_0;
       tmp = tmp2_elvis_lhs == null ? emptySequence() : tmp2_elvis_lhs;
     } else {
-      tmp = this.j1p(clause);
+      tmp = this.f1p(clause);
     }
     return tmp;
   };
-  protoOf(AtomIndex).d1p = function (indexed) {
-    ensureNotNull(this.n1p_1.x2(asInnerAtom_0(indexed, this))).p(indexed);
+  protoOf(AtomIndex).z1o = function (indexed) {
+    ensureNotNull(this.j1p_1.x2(asInnerAtom_0(indexed, this))).p(indexed);
   };
-  protoOf(AtomIndex).i1p = function (clause) {
+  protoOf(AtomIndex).e1p = function (clause) {
     var tmp;
     if (nestedFirstArgument(clause, this).lw()) {
-      var partialIndex = this.n1p_1.x2(asInnerAtom(clause, this));
-      tmp = partialIndex == null ? emptySequence() : this.p1n(partialIndex, clause);
+      var partialIndex = this.j1p_1.x2(asInnerAtom(clause, this));
+      tmp = partialIndex == null ? emptySequence() : this.l1n(partialIndex, clause);
     } else {
       var tmp_0 = Utils_instance;
-      var tmp_1 = asSequence(this.n1p_1.m2());
-      tmp = tmp_0.m1o(map(tmp_1, AtomIndex$retractAllIndexed$lambda(this, clause)));
+      var tmp_1 = asSequence(this.j1p_1.m2());
+      tmp = tmp_0.i1o(map(tmp_1, AtomIndex$retractAllIndexed$lambda(this, clause)));
     }
     return buffered(tmp);
   };
-  protoOf(AtomIndex).s1n = function () {
+  protoOf(AtomIndex).o1n = function () {
     var tmp = Utils_instance;
-    var tmp_0 = asSequence(this.n1p_1.m2());
-    return tmp.m1o(map(tmp_0, AtomIndex$getCache$lambda));
+    var tmp_0 = asSequence(this.j1p_1.m2());
+    return tmp.i1o(map(tmp_0, AtomIndex$getCache$lambda));
   };
-  protoOf(AtomIndex).j1p = function (clause) {
-    var tmp = this.s1n();
+  protoOf(AtomIndex).f1p = function (clause) {
+    var tmp = this.o1n();
     return filter(tmp, AtomIndex$extractGlobalIndexedSequence$lambda(this, clause));
   };
   function nestedFunctor(_this__u8e3s4, $this) {
-    return Utils_instance.i1o(ensureNotNull(_this__u8e3s4.wy()), $this.q1p_1);
+    return Utils_instance.e1o(ensureNotNull(_this__u8e3s4.wy()), $this.m1p_1);
   }
   function nestedFunctor_0(_this__u8e3s4, $this) {
-    return Utils_instance.i1o(ensureNotNull(_this__u8e3s4.o1n().wy()), $this.q1p_1);
+    return Utils_instance.e1o(ensureNotNull(_this__u8e3s4.k1n().wy()), $this.m1p_1);
   }
   function isGlobal(_this__u8e3s4, $this) {
-    return Utils_instance.j1o(ensureNotNull(_this__u8e3s4.wy()), $this.q1p_1).mx();
+    return Utils_instance.f1o(ensureNotNull(_this__u8e3s4.wy()), $this.m1p_1).mx();
   }
   function regenerateCache($this) {
     var tmp;
-    if ($this.p1p_1) {
+    if ($this.l1p_1) {
       var tmp_0 = Utils_instance;
       // Inline function 'kotlin.collections.map' call
-      var this_0 = $this.r1p_1.m2();
+      var this_0 = $this.n1p_1.m2();
       // Inline function 'kotlin.collections.mapTo' call
       var destination = ArrayList_init_$Create$(collectionSizeOrDefault(this_0, 10));
       var tmp0_iterator = this_0.r();
       while (tmp0_iterator.s()) {
         var item = tmp0_iterator.u();
         // Inline function 'it.unibo.tuprolog.collections.rete.custom.leaf.CompoundIndex.regenerateCache.<anonymous>' call
-        var tmp$ret$0 = item.s1n();
+        var tmp$ret$0 = item.o1n();
         destination.o(tmp$ret$0);
       }
-      tmp = tmp_0.l1o(destination);
+      tmp = tmp_0.h1o(destination);
     } else {
       var tmp_1 = Utils_instance;
       // Inline function 'kotlin.collections.map' call
-      var this_1 = $this.r1p_1.m2();
+      var this_1 = $this.n1p_1.m2();
       // Inline function 'kotlin.collections.mapTo' call
       var destination_0 = ArrayList_init_$Create$(collectionSizeOrDefault(this_1, 10));
       var tmp0_iterator_0 = this_1.r();
       while (tmp0_iterator_0.s()) {
         var item_0 = tmp0_iterator_0.u();
         // Inline function 'it.unibo.tuprolog.collections.rete.custom.leaf.CompoundIndex.regenerateCache.<anonymous>' call
-        var tmp$ret$3 = item_0.s1n();
+        var tmp$ret$3 = item_0.o1n();
         destination_0.o(tmp$ret$3);
       }
-      tmp = tmp_1.p1o(destination_0);
+      tmp = tmp_1.l1o(destination_0);
     }
     return dequeOf_0(tmp);
   }
@@ -1341,28 +1370,28 @@
   }
   function CompoundIndex(unificator, ordered, nestingLevel) {
     AbstractReteNode.call(this, unificator);
-    this.p1p_1 = ordered;
-    this.q1p_1 = nestingLevel;
+    this.l1p_1 = ordered;
+    this.m1p_1 = nestingLevel;
     var tmp = this;
     // Inline function 'kotlin.collections.mutableMapOf' call
-    tmp.r1p_1 = LinkedHashMap_init_$Create$();
+    tmp.n1p_1 = LinkedHashMap_init_$Create$();
     var tmp_0 = this;
     var tmp_1 = Companion_instance_1;
-    tmp_0.s1p_1 = tmp_1.vq(CompoundIndex$regenerateCache$ref(this));
+    tmp_0.o1p_1 = tmp_1.vq(CompoundIndex$regenerateCache$ref(this));
   }
   protoOf(CompoundIndex).l = function () {
-    var tmp = asSequence(this.r1p_1.m2());
+    var tmp = asSequence(this.n1p_1.m2());
     return sum(map(tmp, CompoundIndex$_get_size_$lambda_91vt0k));
   };
-  protoOf(CompoundIndex).o1l = function () {
+  protoOf(CompoundIndex).k1l = function () {
     var tmp;
-    if (this.r1p_1.y()) {
+    if (this.n1p_1.y()) {
       tmp = true;
     } else {
       var tmp$ret$0;
       $l$block_0: {
         // Inline function 'kotlin.collections.all' call
-        var this_0 = this.r1p_1.m2();
+        var this_0 = this.n1p_1.m2();
         var tmp_0;
         if (isInterface(this_0, Collection)) {
           tmp_0 = this_0.y();
@@ -1377,7 +1406,7 @@
         while (tmp0_iterator.s()) {
           var element = tmp0_iterator.u();
           // Inline function 'it.unibo.tuprolog.collections.rete.custom.leaf.CompoundIndex.<get-isEmpty>.<anonymous>' call
-          if (!element.o1l()) {
+          if (!element.k1l()) {
             tmp$ret$0 = false;
             break $l$block_0;
           }
@@ -1388,61 +1417,61 @@
     }
     return tmp;
   };
-  protoOf(CompoundIndex).q1n = function (clause) {
+  protoOf(CompoundIndex).m1n = function (clause) {
     // Inline function 'kotlin.let' call
     // Inline function 'kotlin.contracts.contract' call
     var it = nestedFunctor_0(clause, this);
     var tmp;
-    if (this.p1p_1) {
+    if (this.l1p_1) {
       // Inline function 'kotlin.collections.getOrPut' call
-      var this_0 = this.r1p_1;
+      var this_0 = this.n1p_1;
       var value = this_0.x2(it);
       var tmp_0;
       if (value == null) {
         // Inline function 'it.unibo.tuprolog.collections.rete.custom.leaf.CompoundIndex.assertA.<anonymous>.<anonymous>' call
-        var answer = new FunctorIndexingNode(this.j1l(), this.p1p_1, this.q1p_1);
+        var answer = new FunctorIndexingNode(this.f1l(), this.l1p_1, this.m1p_1);
         this_0.n2(it, answer);
         tmp_0 = answer;
       } else {
         tmp_0 = value;
       }
-      tmp_0.q1n(clause.w1o(this));
+      tmp_0.m1n(clause.s1o(this));
       tmp = Unit_instance;
     } else {
-      this.r1n(clause);
+      this.n1n(clause);
       tmp = Unit_instance;
     }
     return tmp;
   };
-  protoOf(CompoundIndex).r1n = function (clause) {
+  protoOf(CompoundIndex).n1n = function (clause) {
     // Inline function 'kotlin.let' call
     // Inline function 'kotlin.contracts.contract' call
     var it = nestedFunctor_0(clause, this);
     // Inline function 'kotlin.collections.getOrPut' call
-    var this_0 = this.r1p_1;
+    var this_0 = this.n1p_1;
     var value = this_0.x2(it);
     var tmp;
     if (value == null) {
       // Inline function 'it.unibo.tuprolog.collections.rete.custom.leaf.CompoundIndex.assertZ.<anonymous>.<anonymous>' call
-      var answer = new FunctorIndexingNode(this.j1l(), this.p1p_1, this.q1p_1);
+      var answer = new FunctorIndexingNode(this.f1l(), this.l1p_1, this.m1p_1);
       this_0.n2(it, answer);
       tmp = answer;
     } else {
       tmp = value;
     }
-    tmp.r1n(clause.w1o(this));
+    tmp.n1n(clause.s1o(this));
     return Unit_instance;
   };
-  protoOf(CompoundIndex).s1n = function () {
-    return asSequence(this.s1p_1.r2());
+  protoOf(CompoundIndex).o1n = function () {
+    return asSequence(this.o1p_1.r2());
   };
-  protoOf(CompoundIndex).g1p = function (clause) {
+  protoOf(CompoundIndex).c1p = function (clause) {
     var tmp;
     if (isGlobal(clause, this)) {
       var tmp_0 = Utils_instance;
       // Inline function 'kotlin.collections.mapNotNull' call
       // Inline function 'kotlin.collections.mapNotNullTo' call
-      var this_0 = this.r1p_1.m2();
+      var this_0 = this.n1p_1.m2();
       var destination = ArrayList_init_$Create$_0();
       // Inline function 'kotlin.collections.forEach' call
       var tmp0_iterator = this_0.r();
@@ -1450,7 +1479,7 @@
         var element = tmp0_iterator.u();
         // Inline function 'kotlin.collections.mapNotNullTo.<anonymous>' call
         // Inline function 'it.unibo.tuprolog.collections.rete.custom.leaf.CompoundIndex.getFirstIndexed.<anonymous>' call
-        var tmp0_safe_receiver = element.g1p(clause);
+        var tmp0_safe_receiver = element.c1p(clause);
         if (tmp0_safe_receiver == null)
           null;
         else {
@@ -1459,134 +1488,134 @@
           destination.o(tmp0_safe_receiver);
         }
       }
-      tmp = firstOrNull(tmp_0.m1o(sequenceOf([asSequence(destination)])));
+      tmp = firstOrNull(tmp_0.i1o(sequenceOf([asSequence(destination)])));
     } else {
-      var tmp0_safe_receiver_0 = this.r1p_1.x2(nestedFunctor(clause, this));
-      tmp = tmp0_safe_receiver_0 == null ? null : tmp0_safe_receiver_0.g1p(clause);
+      var tmp0_safe_receiver_0 = this.n1p_1.x2(nestedFunctor(clause, this));
+      tmp = tmp0_safe_receiver_0 == null ? null : tmp0_safe_receiver_0.c1p(clause);
     }
     return tmp;
   };
-  protoOf(CompoundIndex).h1p = function (clause) {
+  protoOf(CompoundIndex).d1p = function (clause) {
     var tmp;
     if (isGlobal(clause, this)) {
       var tmp_0 = Utils_instance;
       // Inline function 'kotlin.collections.map' call
-      var this_0 = this.r1p_1.m2();
+      var this_0 = this.n1p_1.m2();
       // Inline function 'kotlin.collections.mapTo' call
       var destination = ArrayList_init_$Create$(collectionSizeOrDefault(this_0, 10));
       var tmp0_iterator = this_0.r();
       while (tmp0_iterator.s()) {
         var item = tmp0_iterator.u();
         // Inline function 'it.unibo.tuprolog.collections.rete.custom.leaf.CompoundIndex.getIndexed.<anonymous>' call
-        var tmp$ret$0 = item.j1p(clause);
+        var tmp$ret$0 = item.f1p(clause);
         destination.o(tmp$ret$0);
       }
-      tmp = tmp_0.l1o(destination);
+      tmp = tmp_0.h1o(destination);
     } else {
-      var tmp0_safe_receiver = this.r1p_1.x2(nestedFunctor(clause, this));
-      var tmp1_elvis_lhs = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.h1p(clause);
+      var tmp0_safe_receiver = this.n1p_1.x2(nestedFunctor(clause, this));
+      var tmp1_elvis_lhs = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.d1p(clause);
       tmp = tmp1_elvis_lhs == null ? emptySequence() : tmp1_elvis_lhs;
     }
     return tmp;
   };
-  protoOf(CompoundIndex).i1p = function (clause) {
+  protoOf(CompoundIndex).e1p = function (clause) {
     var tmp;
     if (isGlobal(clause, this)) {
       var tmp_0 = Utils_instance;
       // Inline function 'kotlin.collections.map' call
-      var this_0 = this.r1p_1.m2();
+      var this_0 = this.n1p_1.m2();
       // Inline function 'kotlin.collections.mapTo' call
       var destination = ArrayList_init_$Create$(collectionSizeOrDefault(this_0, 10));
       var tmp0_iterator = this_0.r();
       while (tmp0_iterator.s()) {
         var item = tmp0_iterator.u();
         // Inline function 'it.unibo.tuprolog.collections.rete.custom.leaf.CompoundIndex.retractAllIndexed.<anonymous>' call
-        var tmp$ret$0 = item.i1p(clause);
+        var tmp$ret$0 = item.e1p(clause);
         destination.o(tmp$ret$0);
       }
-      tmp = tmp_0.l1o(destination);
+      tmp = tmp_0.h1o(destination);
     } else {
-      var tmp0_safe_receiver = this.r1p_1.x2(nestedFunctor(clause, this));
-      var tmp1_elvis_lhs = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.i1p(clause);
+      var tmp0_safe_receiver = this.n1p_1.x2(nestedFunctor(clause, this));
+      var tmp1_elvis_lhs = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.e1p(clause);
       tmp = tmp1_elvis_lhs == null ? emptySequence() : tmp1_elvis_lhs;
     }
     return tmp;
   };
-  protoOf(CompoundIndex).j1p = function (clause) {
+  protoOf(CompoundIndex).f1p = function (clause) {
     var tmp;
-    if (this.p1p_1) {
+    if (this.l1p_1) {
       var tmp_0 = Utils_instance;
       // Inline function 'kotlin.collections.map' call
-      var this_0 = this.r1p_1.m2();
+      var this_0 = this.n1p_1.m2();
       // Inline function 'kotlin.collections.mapTo' call
       var destination = ArrayList_init_$Create$(collectionSizeOrDefault(this_0, 10));
       var tmp0_iterator = this_0.r();
       while (tmp0_iterator.s()) {
         var item = tmp0_iterator.u();
         // Inline function 'it.unibo.tuprolog.collections.rete.custom.leaf.CompoundIndex.extractGlobalIndexedSequence.<anonymous>' call
-        var tmp$ret$0 = item.j1p(clause);
+        var tmp$ret$0 = item.f1p(clause);
         destination.o(tmp$ret$0);
       }
-      tmp = tmp_0.l1o(destination);
+      tmp = tmp_0.h1o(destination);
     } else {
       var tmp_1 = Utils_instance;
       // Inline function 'kotlin.collections.map' call
-      var this_1 = this.r1p_1.m2();
+      var this_1 = this.n1p_1.m2();
       // Inline function 'kotlin.collections.mapTo' call
       var destination_0 = ArrayList_init_$Create$(collectionSizeOrDefault(this_1, 10));
       var tmp0_iterator_0 = this_1.r();
       while (tmp0_iterator_0.s()) {
         var item_0 = tmp0_iterator_0.u();
         // Inline function 'it.unibo.tuprolog.collections.rete.custom.leaf.CompoundIndex.extractGlobalIndexedSequence.<anonymous>' call
-        var tmp$ret$3 = item_0.j1p(clause);
+        var tmp$ret$3 = item_0.f1p(clause);
         destination_0.o(tmp$ret$3);
       }
-      tmp = tmp_1.p1o(destination_0);
+      tmp = tmp_1.l1o(destination_0);
     }
     return tmp;
   };
-  protoOf(CompoundIndex).t1n = function () {
-    this.s1p_1.xq();
+  protoOf(CompoundIndex).p1n = function () {
+    this.o1p_1.xq();
   };
   function DirectiveIndex$retractFirst$lambda(it) {
-    return it.o1n();
+    return it.k1n();
   }
   function DirectiveIndex$retractAll$lambda(it) {
-    return it.o1n();
+    return it.k1n();
   }
   function DirectiveIndex$getCache$lambda(it) {
     var tmp = Companion_instance_8;
-    return tmp.e1p(it, new DirectiveIndex$getCache$1$1());
+    return tmp.a1p(it, new DirectiveIndex$getCache$1$1());
   }
   function DirectiveIndex$getCache$1$1() {
   }
-  protoOf(DirectiveIndex$getCache$1$1).d1p = function (indexed) {
+  protoOf(DirectiveIndex$getCache$1$1).z1o = function (indexed) {
     // Inline function 'kotlin.TODO' call
     var reason = 'Directives are adapted as a SituatedIndexedClause, but they are not actually stored with this type. Given their particular semantic, try retracting directly with a proper query, or opening a pull request implementing this indexing class as a proper typed data structure';
     throw new NotImplementedError('An operation is not implemented: ' + reason);
   };
   function DirectiveIndex(unificator, ordered) {
     AbstractReteNode.call(this, unificator);
-    this.u1p_1 = ordered;
-    this.v1p_1 = dequeOf([]);
+    this.q1p_1 = ordered;
+    this.r1p_1 = dequeOf([]);
   }
   protoOf(DirectiveIndex).l = function () {
-    return this.v1p_1.l();
+    return this.r1p_1.l();
   };
-  protoOf(DirectiveIndex).o1l = function () {
-    return this.v1p_1.y();
+  protoOf(DirectiveIndex).k1l = function () {
+    return this.r1p_1.y();
   };
-  protoOf(DirectiveIndex).r1l = function (clause) {
+  protoOf(DirectiveIndex).n1l = function (clause) {
     // Inline function 'kotlin.collections.map' call
     // Inline function 'kotlin.collections.filter' call
     // Inline function 'kotlin.collections.filterTo' call
-    var this_0 = this.v1p_1;
+    var this_0 = this.r1p_1;
     var destination = ArrayList_init_$Create$_0();
     var tmp0_iterator = this_0.r();
     while (tmp0_iterator.s()) {
       var element = tmp0_iterator.u();
       // Inline function 'it.unibo.tuprolog.collections.rete.custom.leaf.DirectiveIndex.get.<anonymous>' call
-      if (this.j1l().match(element.o1n(), clause)) {
+      if (this.f1l().match(element.k1n(), clause)) {
         destination.o(element);
       }
     }
@@ -1596,39 +1625,39 @@
     while (tmp0_iterator_0.s()) {
       var item = tmp0_iterator_0.u();
       // Inline function 'it.unibo.tuprolog.collections.rete.custom.leaf.DirectiveIndex.get.<anonymous>' call
-      var tmp$ret$3 = item.o1n();
+      var tmp$ret$3 = item.k1n();
       destination_0.o(tmp$ret$3);
     }
     return asSequence(destination_0);
   };
-  protoOf(DirectiveIndex).q1n = function (clause) {
-    if (this.u1p_1) {
-      addFirst(this.v1p_1, clause.w1o(this));
+  protoOf(DirectiveIndex).m1n = function (clause) {
+    if (this.q1p_1) {
+      addFirst(this.r1p_1, clause.s1o(this));
     } else {
-      this.r1n(clause);
+      this.n1n(clause);
     }
   };
-  protoOf(DirectiveIndex).r1n = function (clause) {
-    this.v1p_1.o(clause.w1o(this));
+  protoOf(DirectiveIndex).n1n = function (clause) {
+    this.r1p_1.o(clause.s1o(this));
   };
-  protoOf(DirectiveIndex).z1l = function (clause) {
-    var tmp = this.p1n(this.v1p_1, clause);
+  protoOf(DirectiveIndex).v1l = function (clause) {
+    var tmp = this.l1n(this.r1p_1, clause);
     return buffered(take(map(tmp, DirectiveIndex$retractFirst$lambda), 1));
   };
-  protoOf(DirectiveIndex).b1m = function (clause) {
-    var tmp = this.p1n(this.v1p_1, clause);
+  protoOf(DirectiveIndex).x1l = function (clause) {
+    var tmp = this.l1n(this.r1p_1, clause);
     return buffered(map(tmp, DirectiveIndex$retractAll$lambda));
   };
-  protoOf(DirectiveIndex).s1n = function () {
-    var tmp = asSequence(this.v1p_1);
+  protoOf(DirectiveIndex).o1n = function () {
+    var tmp = asSequence(this.r1p_1);
     return map(tmp, DirectiveIndex$getCache$lambda);
   };
-  protoOf(DirectiveIndex).t1n = function () {
+  protoOf(DirectiveIndex).p1n = function () {
   };
   function extractFirst_1($this, clause) {
     // Inline function 'kotlin.collections.mapNotNull' call
     // Inline function 'kotlin.collections.mapNotNullTo' call
-    var this_0 = $this.z1p_1.m2();
+    var this_0 = $this.v1p_1.m2();
     var destination = ArrayList_init_$Create$_0();
     // Inline function 'kotlin.collections.forEach' call
     var tmp0_iterator = this_0.r();
@@ -1656,7 +1685,7 @@
       while (tmp0_iterator.s()) {
         var item = tmp0_iterator.u();
         // Inline function 'it.unibo.tuprolog.collections.rete.custom.leaf.NumericIndex.extractFirst.<anonymous>' call
-        if ($this.j1l().match(item.o1n(), clause)) {
+        if ($this.f1l().match(item.k1n(), clause)) {
           tmp$ret$1 = index_0;
           break $l$block;
         }
@@ -1674,28 +1703,28 @@
     return tmp;
   }
   function nestedFirstArgument_0(_this__u8e3s4, $this) {
-    return Utils_instance.j1o(ensureNotNull(_this__u8e3s4.wy()), $this.y1p_1 + 1 | 0);
+    return Utils_instance.f1o(ensureNotNull(_this__u8e3s4.wy()), $this.u1p_1 + 1 | 0);
   }
   function asInnerNumeric(_this__u8e3s4, $this) {
     return nestedFirstArgument_0(_this__u8e3s4, $this).castToNumeric();
   }
   function asInnerNumeric_0(_this__u8e3s4, $this) {
-    return nestedFirstArgument_0(_this__u8e3s4.o1n(), $this).castToNumeric();
+    return nestedFirstArgument_0(_this__u8e3s4.k1n(), $this).castToNumeric();
   }
   function asInnerNumeric_1(_this__u8e3s4, $this) {
-    return nestedFirstArgument_0(_this__u8e3s4.o1n(), $this).castToNumeric();
+    return nestedFirstArgument_0(_this__u8e3s4.k1n(), $this).castToNumeric();
   }
   function NumericIndex$_get_size_$lambda_exo30i(it) {
     return it.l();
   }
   function NumericIndex$getIndexed$lambda(this$0, $clause) {
     return function (it) {
-      return this$0.j1l().match(it.o1n(), $clause);
+      return this$0.f1l().match(it.k1n(), $clause);
     };
   }
   function NumericIndex$retractAllIndexed$lambda(this$0, $clause) {
     return function (it) {
-      return this$0.p1n(it, $clause);
+      return this$0.l1n(it, $clause);
     };
   }
   function NumericIndex$getCache$lambda(it) {
@@ -1703,30 +1732,30 @@
   }
   function NumericIndex$extractGlobalIndexedSequence$lambda(this$0, $clause) {
     return function (it) {
-      return this$0.j1l().match(it.o1n(), $clause);
+      return this$0.f1l().match(it.k1n(), $clause);
     };
   }
   function NumericIndex(unificator, ordered, nestingLevel) {
     AbstractIndexingLeaf.call(this, unificator);
-    this.x1p_1 = ordered;
-    this.y1p_1 = nestingLevel;
+    this.t1p_1 = ordered;
+    this.u1p_1 = nestingLevel;
     var tmp = this;
     // Inline function 'kotlin.collections.mutableMapOf' call
-    tmp.z1p_1 = LinkedHashMap_init_$Create$();
+    tmp.v1p_1 = LinkedHashMap_init_$Create$();
   }
   protoOf(NumericIndex).l = function () {
-    var tmp = asSequence(this.z1p_1.m2());
+    var tmp = asSequence(this.v1p_1.m2());
     return sum(map(tmp, NumericIndex$_get_size_$lambda_exo30i));
   };
-  protoOf(NumericIndex).o1l = function () {
+  protoOf(NumericIndex).k1l = function () {
     var tmp;
-    if (this.z1p_1.y()) {
+    if (this.v1p_1.y()) {
       tmp = true;
     } else {
       var tmp$ret$0;
       $l$block_0: {
         // Inline function 'kotlin.collections.all' call
-        var this_0 = this.z1p_1.m2();
+        var this_0 = this.v1p_1.m2();
         var tmp_0;
         if (isInterface(this_0, Collection)) {
           tmp_0 = this_0.y();
@@ -1752,13 +1781,13 @@
     }
     return tmp;
   };
-  protoOf(NumericIndex).q1n = function (clause) {
-    if (this.x1p_1) {
+  protoOf(NumericIndex).m1n = function (clause) {
+    if (this.t1p_1) {
       // Inline function 'kotlin.let' call
       // Inline function 'kotlin.contracts.contract' call
       var it = asInnerNumeric_1(clause, this);
       // Inline function 'kotlin.collections.getOrPut' call
-      var this_0 = this.z1p_1;
+      var this_0 = this.v1p_1;
       var value = this_0.x2(it);
       var tmp;
       if (value == null) {
@@ -1770,18 +1799,18 @@
         tmp = value;
       }
       var tmp$ret$1 = tmp;
-      addFirst(tmp$ret$1, Companion_instance_8.e1p(clause.w1o(this), this));
+      addFirst(tmp$ret$1, Companion_instance_8.a1p(clause.s1o(this), this));
     } else {
-      this.r1n(clause);
+      this.n1n(clause);
     }
   };
-  protoOf(NumericIndex).r1n = function (clause) {
+  protoOf(NumericIndex).n1n = function (clause) {
     // Inline function 'kotlin.let' call
     // Inline function 'kotlin.contracts.contract' call
     // Inline function 'it.unibo.tuprolog.collections.rete.custom.leaf.NumericIndex.assertZ.<anonymous>' call
     var it = asInnerNumeric_1(clause, this);
     // Inline function 'kotlin.collections.getOrPut' call
-    var this_0 = this.z1p_1;
+    var this_0 = this.v1p_1;
     var value = this_0.x2(it);
     var tmp;
     if (value == null) {
@@ -1792,13 +1821,13 @@
     } else {
       tmp = value;
     }
-    tmp.o(Companion_instance_8.e1p(clause.w1o(this), this));
+    tmp.o(Companion_instance_8.a1p(clause.s1o(this), this));
   };
-  protoOf(NumericIndex).g1p = function (clause) {
+  protoOf(NumericIndex).c1p = function (clause) {
     if (nestedFirstArgument_0(clause, this).qx()) {
       // Inline function 'kotlin.let' call
       // Inline function 'kotlin.contracts.contract' call
-      var it = this.z1p_1.x2(asInnerNumeric(clause, this));
+      var it = this.v1p_1.x2(asInnerNumeric(clause, this));
       var tmp;
       if (it == null) {
         tmp = null;
@@ -1810,10 +1839,10 @@
       return extractFirst_1(this, clause);
     }
   };
-  protoOf(NumericIndex).h1p = function (clause) {
+  protoOf(NumericIndex).d1p = function (clause) {
     var tmp;
     if (nestedFirstArgument_0(clause, this).qx()) {
-      var tmp0_safe_receiver = this.z1p_1.x2(asInnerNumeric(clause, this));
+      var tmp0_safe_receiver = this.v1p_1.x2(asInnerNumeric(clause, this));
       var tmp1_safe_receiver = tmp0_safe_receiver == null ? null : asSequence(tmp0_safe_receiver);
       var tmp_0;
       if (tmp1_safe_receiver == null) {
@@ -1824,32 +1853,32 @@
       var tmp2_elvis_lhs = tmp_0;
       tmp = tmp2_elvis_lhs == null ? emptySequence() : tmp2_elvis_lhs;
     } else {
-      tmp = this.j1p(clause);
+      tmp = this.f1p(clause);
     }
     return tmp;
   };
-  protoOf(NumericIndex).d1p = function (indexed) {
-    ensureNotNull(this.z1p_1.x2(asInnerNumeric_0(indexed, this))).p(indexed);
+  protoOf(NumericIndex).z1o = function (indexed) {
+    ensureNotNull(this.v1p_1.x2(asInnerNumeric_0(indexed, this))).p(indexed);
   };
-  protoOf(NumericIndex).i1p = function (clause) {
+  protoOf(NumericIndex).e1p = function (clause) {
     var tmp;
     if (nestedFirstArgument_0(clause, this).qx()) {
-      var partialIndex = this.z1p_1.x2(asInnerNumeric(clause, this));
-      tmp = partialIndex == null ? emptySequence() : buffered(this.p1n(partialIndex, clause));
+      var partialIndex = this.v1p_1.x2(asInnerNumeric(clause, this));
+      tmp = partialIndex == null ? emptySequence() : buffered(this.l1n(partialIndex, clause));
     } else {
       var tmp_0 = Utils_instance;
-      var tmp_1 = asSequence(this.z1p_1.m2());
-      tmp = buffered(tmp_0.m1o(map(tmp_1, NumericIndex$retractAllIndexed$lambda(this, clause))));
+      var tmp_1 = asSequence(this.v1p_1.m2());
+      tmp = buffered(tmp_0.i1o(map(tmp_1, NumericIndex$retractAllIndexed$lambda(this, clause))));
     }
     return tmp;
   };
-  protoOf(NumericIndex).s1n = function () {
+  protoOf(NumericIndex).o1n = function () {
     var tmp = Utils_instance;
-    var tmp_0 = asSequence(this.z1p_1.m2());
-    return tmp.m1o(map(tmp_0, NumericIndex$getCache$lambda));
+    var tmp_0 = asSequence(this.v1p_1.m2());
+    return tmp.i1o(map(tmp_0, NumericIndex$getCache$lambda));
   };
-  protoOf(NumericIndex).j1p = function (clause) {
-    var tmp = this.s1n();
+  protoOf(NumericIndex).f1p = function (clause) {
+    var tmp = this.o1n();
     return filter(tmp, NumericIndex$extractGlobalIndexedSequence$lambda(this, clause));
   };
   function extractFirst_3($this, clause, index) {
@@ -1861,7 +1890,7 @@
       while (tmp0_iterator.s()) {
         var item = tmp0_iterator.u();
         // Inline function 'it.unibo.tuprolog.collections.rete.custom.leaf.VariableIndex.extractFirst.<anonymous>' call
-        if ($this.j1l().match(item.o1n(), clause)) {
+        if ($this.f1l().match(item.k1n(), clause)) {
           tmp$ret$1 = index_0;
           break $l$block;
         }
@@ -1880,51 +1909,51 @@
   }
   function VariableIndex$extractGlobalIndexedSequence$lambda(this$0, $clause) {
     return function (it) {
-      return this$0.j1l().match(it.o1n(), $clause);
+      return this$0.f1l().match(it.k1n(), $clause);
     };
   }
   function VariableIndex(unificator, ordered) {
     AbstractIndexingLeaf.call(this, unificator);
-    this.b1q_1 = ordered;
-    this.c1q_1 = dequeOf([]);
+    this.x1p_1 = ordered;
+    this.y1p_1 = dequeOf([]);
   }
   protoOf(VariableIndex).l = function () {
-    return this.c1q_1.l();
+    return this.y1p_1.l();
   };
-  protoOf(VariableIndex).o1l = function () {
-    return this.c1q_1.y();
+  protoOf(VariableIndex).k1l = function () {
+    return this.y1p_1.y();
   };
-  protoOf(VariableIndex).q1n = function (clause) {
+  protoOf(VariableIndex).m1n = function (clause) {
     var tmp;
-    if (this.b1q_1) {
-      addFirst(this.c1q_1, Companion_instance_8.e1p(clause.w1o(this), this));
+    if (this.x1p_1) {
+      addFirst(this.y1p_1, Companion_instance_8.a1p(clause.s1o(this), this));
       tmp = Unit_instance;
     } else {
-      this.r1n(clause);
+      this.n1n(clause);
       tmp = Unit_instance;
     }
     return tmp;
   };
-  protoOf(VariableIndex).r1n = function (clause) {
-    this.c1q_1.o(Companion_instance_8.e1p(clause.w1o(this), this));
+  protoOf(VariableIndex).n1n = function (clause) {
+    this.y1p_1.o(Companion_instance_8.a1p(clause.s1o(this), this));
   };
-  protoOf(VariableIndex).s1n = function () {
-    return asSequence(this.c1q_1);
+  protoOf(VariableIndex).o1n = function () {
+    return asSequence(this.y1p_1);
   };
-  protoOf(VariableIndex).g1p = function (clause) {
-    return extractFirst_3(this, clause, this.c1q_1);
+  protoOf(VariableIndex).c1p = function (clause) {
+    return extractFirst_3(this, clause, this.y1p_1);
   };
-  protoOf(VariableIndex).h1p = function (clause) {
-    return this.j1p(clause);
+  protoOf(VariableIndex).d1p = function (clause) {
+    return this.f1p(clause);
   };
-  protoOf(VariableIndex).d1p = function (indexed) {
-    this.c1q_1.p(indexed);
+  protoOf(VariableIndex).z1o = function (indexed) {
+    this.y1p_1.p(indexed);
   };
-  protoOf(VariableIndex).i1p = function (clause) {
-    return buffered(this.p1n(this.c1q_1, clause));
+  protoOf(VariableIndex).e1p = function (clause) {
+    return buffered(this.l1n(this.y1p_1, clause));
   };
-  protoOf(VariableIndex).j1p = function (clause) {
-    var tmp = asSequence(this.c1q_1);
+  protoOf(VariableIndex).f1p = function (clause) {
+    var tmp = asSequence(this.y1p_1);
     return filter(tmp, VariableIndex$extractGlobalIndexedSequence$lambda(this, clause));
   };
   function ArityNode(unificator) {
@@ -1932,78 +1961,78 @@
   }
   function FamilyArityIndexingNode(unificator, ordered, nestingLevel) {
     FamilyArityReteNode.call(this, unificator, ordered, nestingLevel);
-    this.l1q_1 = ordered;
+    this.h1q_1 = ordered;
   }
-  protoOf(FamilyArityIndexingNode).g1p = function (clause) {
+  protoOf(FamilyArityIndexingNode).c1p = function (clause) {
     var tmp;
-    if (this.l1q_1) {
-      tmp = this.v1q(clause);
+    if (this.h1q_1) {
+      tmp = this.r1q(clause);
     } else {
-      tmp = this.u1q(clause);
+      tmp = this.q1q(clause);
     }
     return tmp;
   };
-  protoOf(FamilyArityIndexingNode).h1p = function (clause) {
+  protoOf(FamilyArityIndexingNode).d1p = function (clause) {
     var tmp;
-    if (this.l1q_1) {
-      tmp = this.x1q(clause);
+    if (this.h1q_1) {
+      tmp = this.t1q(clause);
     } else {
-      tmp = this.w1q(clause);
+      tmp = this.s1q(clause);
     }
     return tmp;
   };
-  protoOf(FamilyArityIndexingNode).i1p = function (clause) {
+  protoOf(FamilyArityIndexingNode).e1p = function (clause) {
     var tmp;
-    if (this.l1q_1) {
-      tmp = this.z1q(clause);
+    if (this.h1q_1) {
+      tmp = this.v1q(clause);
     } else {
-      tmp = this.y1q(clause);
+      tmp = this.u1q(clause);
     }
     return tmp;
   };
-  protoOf(FamilyArityIndexingNode).j1p = function (clause) {
+  protoOf(FamilyArityIndexingNode).f1p = function (clause) {
     var tmp;
-    if (this.l1q_1) {
-      tmp = Utils_instance.k1o([this.q1q_1.j1p(clause), this.p1q_1.j1p(clause), this.r1q_1.j1p(clause), this.s1q_1.j1p(clause)]);
+    if (this.h1q_1) {
+      tmp = Utils_instance.g1o([this.m1q_1.f1p(clause), this.l1q_1.f1p(clause), this.n1q_1.f1p(clause), this.o1q_1.f1p(clause)]);
     } else {
-      tmp = Utils_instance.n1o([this.q1q_1.j1p(clause), this.p1q_1.j1p(clause), this.r1q_1.j1p(clause), this.s1q_1.j1p(clause)]);
+      tmp = Utils_instance.j1o([this.m1q_1.f1p(clause), this.l1q_1.f1p(clause), this.n1q_1.f1p(clause), this.o1q_1.f1p(clause)]);
     }
     return tmp;
   };
   function retractAllOrdered($this, clause) {
-    var tmp = $this.z1q(clause);
+    var tmp = $this.v1q(clause);
     return map(tmp, FamilyArityReteNode$retractAllOrdered$lambda);
   }
   function getOrdered($this, clause) {
-    var tmp = $this.x1q(clause);
+    var tmp = $this.t1q(clause);
     return map(tmp, FamilyArityReteNode$getOrdered$lambda);
   }
   function retractAllUnordered($this, clause) {
-    var tmp = $this.y1q(clause);
+    var tmp = $this.u1q(clause);
     return map(tmp, FamilyArityReteNode$retractAllUnordered$lambda);
   }
   function getUnordered($this, clause) {
-    var tmp = $this.w1q(clause);
+    var tmp = $this.s1q(clause);
     return map(tmp, FamilyArityReteNode$getUnordered$lambda);
   }
   function regenerateCache_0($this) {
     var tmp;
-    if ($this.n1q_1) {
-      tmp = Utils_instance.k1o([$this.q1q_1.s1n(), $this.p1q_1.s1n(), $this.r1q_1.s1n(), $this.s1q_1.s1n()]);
+    if ($this.j1q_1) {
+      tmp = Utils_instance.g1o([$this.m1q_1.o1n(), $this.l1q_1.o1n(), $this.n1q_1.o1n(), $this.o1q_1.o1n()]);
     } else {
-      tmp = Utils_instance.n1o([$this.q1q_1.s1n(), $this.p1q_1.s1n(), $this.r1q_1.s1n(), $this.s1q_1.s1n()]);
+      tmp = Utils_instance.j1o([$this.m1q_1.o1n(), $this.l1q_1.o1n(), $this.n1q_1.o1n(), $this.o1q_1.o1n()]);
     }
     return dequeOf_0(tmp);
   }
   function nestedFirstArgument_1(_this__u8e3s4, $this) {
-    return Utils_instance.j1o(ensureNotNull(_this__u8e3s4.wy()), $this.o1q_1 + 1 | 0);
+    return Utils_instance.f1o(ensureNotNull(_this__u8e3s4.wy()), $this.k1q_1 + 1 | 0);
   }
   function assertByFirstParameter($this, clause) {
-    var innerFirst = nestedFirstArgument_1(clause.o1n(), $this);
-    return innerFirst.qx() ? $this.p1q_1 : innerFirst.lw() ? $this.q1q_1 : innerFirst.mx() ? $this.r1q_1 : $this.s1q_1;
+    var innerFirst = nestedFirstArgument_1(clause.k1n(), $this);
+    return innerFirst.qx() ? $this.l1q_1 : innerFirst.lw() ? $this.m1q_1 : innerFirst.mx() ? $this.n1q_1 : $this.o1q_1;
   }
   function isGlobal_0(_this__u8e3s4, $this) {
-    return Utils_instance.j1o(ensureNotNull(_this__u8e3s4.wy()), $this.o1q_1 + 1 | 0).mx();
+    return Utils_instance.f1o(ensureNotNull(_this__u8e3s4.wy()), $this.k1q_1 + 1 | 0).mx();
   }
   function FamilyArityReteNode$regenerateCache$ref($boundThis) {
     var l = function () {
@@ -2016,66 +2045,66 @@
     return it.l();
   }
   function FamilyArityReteNode$get$lambda(it) {
-    return it.o1n();
+    return it.k1n();
   }
   function FamilyArityReteNode$get$lambda_0(it) {
-    return it.o1n();
+    return it.k1n();
   }
   function FamilyArityReteNode$retractAllOrdered$lambda(it) {
-    return it.o1n();
+    return it.k1n();
   }
   function FamilyArityReteNode$getOrdered$lambda(it) {
-    return it.o1n();
+    return it.k1n();
   }
   function FamilyArityReteNode$retractAllUnordered$lambda(it) {
-    return it.o1n();
+    return it.k1n();
   }
   function FamilyArityReteNode$getUnordered$lambda(it) {
-    return it.o1n();
+    return it.k1n();
   }
   function FamilyArityReteNode(unificator, ordered, nestingLevel) {
     ArityNode.call(this, unificator);
-    this.n1q_1 = ordered;
-    this.o1q_1 = nestingLevel;
-    this.p1q_1 = new NumericIndex(unificator, this.n1q_1, this.o1q_1);
-    this.q1q_1 = new AtomIndex(unificator, this.n1q_1, this.o1q_1);
-    this.r1q_1 = new VariableIndex(unificator, this.n1q_1);
-    this.s1q_1 = new CompoundIndex(unificator, this.n1q_1, this.o1q_1 + 1 | 0);
+    this.j1q_1 = ordered;
+    this.k1q_1 = nestingLevel;
+    this.l1q_1 = new NumericIndex(unificator, this.j1q_1, this.k1q_1);
+    this.m1q_1 = new AtomIndex(unificator, this.j1q_1, this.k1q_1);
+    this.n1q_1 = new VariableIndex(unificator, this.j1q_1);
+    this.o1q_1 = new CompoundIndex(unificator, this.j1q_1, this.k1q_1 + 1 | 0);
     var tmp = this;
     var tmp_0 = Companion_instance_1;
-    tmp.t1q_1 = tmp_0.vq(FamilyArityReteNode$regenerateCache$ref(this));
+    tmp.p1q_1 = tmp_0.vq(FamilyArityReteNode$regenerateCache$ref(this));
   }
-  protoOf(FamilyArityReteNode).z1l = function (clause) {
+  protoOf(FamilyArityReteNode).v1l = function (clause) {
     var tmp;
-    if (this.n1q_1) {
-      tmp = this.v1q(clause);
+    if (this.j1q_1) {
+      tmp = this.r1q(clause);
     } else {
-      tmp = this.u1q(clause);
+      tmp = this.q1q(clause);
     }
     var result = tmp;
     var tmp_0;
     if (result == null) {
       tmp_0 = emptySequence();
     } else {
-      result.c1p();
-      this.t1n();
-      tmp_0 = sequenceOf([result.o1n()]);
+      result.y1o();
+      this.p1n();
+      tmp_0 = sequenceOf([result.k1n()]);
     }
     return tmp_0;
   };
   protoOf(FamilyArityReteNode).l = function () {
-    var tmp = sequenceOf([this.p1q_1, this.q1q_1, this.r1q_1, this.s1q_1]);
+    var tmp = sequenceOf([this.l1q_1, this.m1q_1, this.n1q_1, this.o1q_1]);
     return sum(map(tmp, FamilyArityReteNode$_get_size_$lambda_sxz8zo));
   };
-  protoOf(FamilyArityReteNode).o1l = function () {
+  protoOf(FamilyArityReteNode).k1l = function () {
     var tmp$ret$1;
     $l$block: {
       // Inline function 'kotlin.sequences.all' call
-      var tmp0_iterator = sequenceOf([this.p1q_1, this.q1q_1, this.r1q_1, this.s1q_1]).r();
+      var tmp0_iterator = sequenceOf([this.l1q_1, this.m1q_1, this.n1q_1, this.o1q_1]).r();
       while (tmp0_iterator.s()) {
         var element = tmp0_iterator.u();
         // Inline function 'it.unibo.tuprolog.collections.rete.custom.nodes.FamilyArityReteNode.<get-isEmpty>.<anonymous>' call
-        if (!element.o1l()) {
+        if (!element.k1l()) {
           tmp$ret$1 = false;
           break $l$block;
         }
@@ -2084,21 +2113,21 @@
     }
     return tmp$ret$1;
   };
-  protoOf(FamilyArityReteNode).r1l = function (clause) {
+  protoOf(FamilyArityReteNode).n1l = function (clause) {
     var tmp;
     if (isGlobal_0(clause, this)) {
       var tmp_0;
-      if (this.n1q_1) {
-        var tmp_1 = Utils_instance.k1o([this.q1q_1.j1p(clause), this.r1q_1.j1p(clause), this.p1q_1.j1p(clause), this.s1q_1.j1p(clause)]);
+      if (this.j1q_1) {
+        var tmp_1 = Utils_instance.g1o([this.m1q_1.f1p(clause), this.n1q_1.f1p(clause), this.l1q_1.f1p(clause), this.o1q_1.f1p(clause)]);
         tmp_0 = map(tmp_1, FamilyArityReteNode$get$lambda);
       } else {
-        var tmp_2 = Utils_instance.n1o([this.q1q_1.j1p(clause), this.r1q_1.j1p(clause), this.p1q_1.j1p(clause), this.s1q_1.j1p(clause)]);
+        var tmp_2 = Utils_instance.j1o([this.m1q_1.f1p(clause), this.n1q_1.f1p(clause), this.l1q_1.f1p(clause), this.o1q_1.f1p(clause)]);
         tmp_0 = map(tmp_2, FamilyArityReteNode$get$lambda_0);
       }
       tmp = tmp_0;
     } else {
       var tmp_3;
-      if (this.n1q_1) {
+      if (this.j1q_1) {
         tmp_3 = getOrdered(this, clause);
       } else {
         tmp_3 = getUnordered(this, clause);
@@ -2107,94 +2136,94 @@
     }
     return tmp;
   };
-  protoOf(FamilyArityReteNode).q1n = function (clause) {
-    return assertByFirstParameter(this, clause).q1n(clause.w1o(this));
+  protoOf(FamilyArityReteNode).m1n = function (clause) {
+    return assertByFirstParameter(this, clause).m1n(clause.s1o(this));
   };
-  protoOf(FamilyArityReteNode).r1n = function (clause) {
-    return assertByFirstParameter(this, clause).r1n(clause.w1o(this));
+  protoOf(FamilyArityReteNode).n1n = function (clause) {
+    return assertByFirstParameter(this, clause).n1n(clause.s1o(this));
   };
-  protoOf(FamilyArityReteNode).b1m = function (clause) {
+  protoOf(FamilyArityReteNode).x1l = function (clause) {
     var tmp;
-    if (this.n1q_1) {
+    if (this.j1q_1) {
       tmp = retractAllOrdered(this, clause);
     } else {
       tmp = retractAllUnordered(this, clause);
     }
     return tmp;
   };
-  protoOf(FamilyArityReteNode).s1n = function () {
-    return asSequence(this.t1q_1.r2());
+  protoOf(FamilyArityReteNode).o1n = function () {
+    return asSequence(this.p1q_1.r2());
   };
-  protoOf(FamilyArityReteNode).z1q = function (clause) {
+  protoOf(FamilyArityReteNode).v1q = function (clause) {
     var innerFirst = nestedFirstArgument_1(clause, this);
     var tmp;
     if (innerFirst.qx()) {
-      tmp = Utils_instance.k1o([this.r1q_1.i1p(clause), this.p1q_1.i1p(clause)]);
+      tmp = Utils_instance.g1o([this.n1q_1.e1p(clause), this.l1q_1.e1p(clause)]);
     } else if (innerFirst.lw()) {
-      tmp = Utils_instance.k1o([this.r1q_1.i1p(clause), this.q1q_1.i1p(clause)]);
+      tmp = Utils_instance.g1o([this.n1q_1.e1p(clause), this.m1q_1.e1p(clause)]);
     } else if (innerFirst.mx()) {
-      tmp = Utils_instance.k1o([this.r1q_1.i1p(clause), this.p1q_1.i1p(clause), this.q1q_1.i1p(clause), this.s1q_1.i1p(clause)]);
+      tmp = Utils_instance.g1o([this.n1q_1.e1p(clause), this.l1q_1.e1p(clause), this.m1q_1.e1p(clause), this.o1q_1.e1p(clause)]);
     } else {
-      tmp = Utils_instance.k1o([this.r1q_1.i1p(clause), this.s1q_1.i1p(clause)]);
+      tmp = Utils_instance.g1o([this.n1q_1.e1p(clause), this.o1q_1.e1p(clause)]);
     }
     return tmp;
   };
-  protoOf(FamilyArityReteNode).y1q = function (clause) {
+  protoOf(FamilyArityReteNode).u1q = function (clause) {
     var innerFirst = nestedFirstArgument_1(clause, this);
-    return innerFirst.qx() ? Utils_instance.n1o([this.r1q_1.i1p(clause), this.p1q_1.i1p(clause)]) : innerFirst.lw() ? Utils_instance.n1o([this.r1q_1.i1p(clause), this.q1q_1.i1p(clause)]) : innerFirst.mx() ? Utils_instance.n1o([this.r1q_1.i1p(clause), this.p1q_1.i1p(clause), this.q1q_1.i1p(clause), this.s1q_1.i1p(clause)]) : Utils_instance.n1o([this.r1q_1.i1p(clause), this.s1q_1.i1p(clause)]);
+    return innerFirst.qx() ? Utils_instance.j1o([this.n1q_1.e1p(clause), this.l1q_1.e1p(clause)]) : innerFirst.lw() ? Utils_instance.j1o([this.n1q_1.e1p(clause), this.m1q_1.e1p(clause)]) : innerFirst.mx() ? Utils_instance.j1o([this.n1q_1.e1p(clause), this.l1q_1.e1p(clause), this.m1q_1.e1p(clause), this.o1q_1.e1p(clause)]) : Utils_instance.j1o([this.n1q_1.e1p(clause), this.o1q_1.e1p(clause)]);
   };
-  protoOf(FamilyArityReteNode).x1q = function (clause) {
+  protoOf(FamilyArityReteNode).t1q = function (clause) {
     var innerFirst = nestedFirstArgument_1(clause, this);
-    return innerFirst.qx() ? Utils_instance.k1o([this.r1q_1.h1p(clause), this.p1q_1.h1p(clause)]) : innerFirst.lw() ? Utils_instance.k1o([this.r1q_1.h1p(clause), this.q1q_1.h1p(clause)]) : innerFirst.mx() ? Utils_instance.k1o([this.r1q_1.h1p(clause), this.p1q_1.h1p(clause), this.q1q_1.h1p(clause), this.s1q_1.h1p(clause)]) : Utils_instance.k1o([this.r1q_1.h1p(clause), this.s1q_1.h1p(clause)]);
+    return innerFirst.qx() ? Utils_instance.g1o([this.n1q_1.d1p(clause), this.l1q_1.d1p(clause)]) : innerFirst.lw() ? Utils_instance.g1o([this.n1q_1.d1p(clause), this.m1q_1.d1p(clause)]) : innerFirst.mx() ? Utils_instance.g1o([this.n1q_1.d1p(clause), this.l1q_1.d1p(clause), this.m1q_1.d1p(clause), this.o1q_1.d1p(clause)]) : Utils_instance.g1o([this.n1q_1.d1p(clause), this.o1q_1.d1p(clause)]);
   };
-  protoOf(FamilyArityReteNode).w1q = function (clause) {
+  protoOf(FamilyArityReteNode).s1q = function (clause) {
     var innerFirst = nestedFirstArgument_1(clause, this);
-    return innerFirst.qx() ? Utils_instance.n1o([this.r1q_1.h1p(clause), this.p1q_1.h1p(clause)]) : innerFirst.lw() ? Utils_instance.n1o([this.r1q_1.h1p(clause), this.q1q_1.h1p(clause)]) : innerFirst.mx() ? Utils_instance.n1o([this.r1q_1.h1p(clause), this.p1q_1.h1p(clause), this.q1q_1.h1p(clause), this.s1q_1.h1p(clause)]) : Utils_instance.n1o([this.r1q_1.h1p(clause), this.s1q_1.h1p(clause)]);
+    return innerFirst.qx() ? Utils_instance.j1o([this.n1q_1.d1p(clause), this.l1q_1.d1p(clause)]) : innerFirst.lw() ? Utils_instance.j1o([this.n1q_1.d1p(clause), this.m1q_1.d1p(clause)]) : innerFirst.mx() ? Utils_instance.j1o([this.n1q_1.d1p(clause), this.l1q_1.d1p(clause), this.m1q_1.d1p(clause), this.o1q_1.d1p(clause)]) : Utils_instance.j1o([this.n1q_1.d1p(clause), this.o1q_1.d1p(clause)]);
   };
-  protoOf(FamilyArityReteNode).u1q = function (clause) {
+  protoOf(FamilyArityReteNode).q1q = function (clause) {
     var innerFirst = nestedFirstArgument_1(clause, this);
     var tmp;
     if (innerFirst.qx()) {
-      var tmp0_elvis_lhs = this.r1q_1.g1p(clause);
-      tmp = tmp0_elvis_lhs == null ? this.p1q_1.g1p(clause) : tmp0_elvis_lhs;
+      var tmp0_elvis_lhs = this.n1q_1.c1p(clause);
+      tmp = tmp0_elvis_lhs == null ? this.l1q_1.c1p(clause) : tmp0_elvis_lhs;
     } else if (innerFirst.lw()) {
-      var tmp1_elvis_lhs = this.r1q_1.g1p(clause);
-      tmp = tmp1_elvis_lhs == null ? this.q1q_1.g1p(clause) : tmp1_elvis_lhs;
+      var tmp1_elvis_lhs = this.n1q_1.c1p(clause);
+      tmp = tmp1_elvis_lhs == null ? this.m1q_1.c1p(clause) : tmp1_elvis_lhs;
     } else if (innerFirst.mx()) {
-      var tmp2_elvis_lhs = this.r1q_1.g1p(clause);
-      var tmp3_elvis_lhs = tmp2_elvis_lhs == null ? this.p1q_1.g1p(clause) : tmp2_elvis_lhs;
-      var tmp4_elvis_lhs = tmp3_elvis_lhs == null ? this.q1q_1.g1p(clause) : tmp3_elvis_lhs;
-      tmp = tmp4_elvis_lhs == null ? this.s1q_1.g1p(clause) : tmp4_elvis_lhs;
+      var tmp2_elvis_lhs = this.n1q_1.c1p(clause);
+      var tmp3_elvis_lhs = tmp2_elvis_lhs == null ? this.l1q_1.c1p(clause) : tmp2_elvis_lhs;
+      var tmp4_elvis_lhs = tmp3_elvis_lhs == null ? this.m1q_1.c1p(clause) : tmp3_elvis_lhs;
+      tmp = tmp4_elvis_lhs == null ? this.o1q_1.c1p(clause) : tmp4_elvis_lhs;
     } else {
-      var tmp5_elvis_lhs = this.r1q_1.g1p(clause);
-      tmp = tmp5_elvis_lhs == null ? this.s1q_1.g1p(clause) : tmp5_elvis_lhs;
+      var tmp5_elvis_lhs = this.n1q_1.c1p(clause);
+      tmp = tmp5_elvis_lhs == null ? this.o1q_1.c1p(clause) : tmp5_elvis_lhs;
     }
     return tmp;
   };
-  protoOf(FamilyArityReteNode).v1q = function (clause) {
+  protoOf(FamilyArityReteNode).r1q = function (clause) {
     var innerFirst = nestedFirstArgument_1(clause, this);
     var tmp;
     if (innerFirst.qx()) {
-      tmp = Utils_instance.s1o(this.p1q_1.g1p(clause), this.r1q_1.g1p(clause));
+      tmp = Utils_instance.o1o(this.l1q_1.c1p(clause), this.n1q_1.c1p(clause));
     } else if (innerFirst.lw()) {
-      tmp = Utils_instance.s1o(this.q1q_1.g1p(clause), this.r1q_1.g1p(clause));
+      tmp = Utils_instance.o1o(this.m1q_1.c1p(clause), this.n1q_1.c1p(clause));
     } else if (innerFirst.mx()) {
-      tmp = Utils_instance.s1o(Utils_instance.s1o(this.p1q_1.g1p(clause), this.q1q_1.g1p(clause)), Utils_instance.s1o(this.r1q_1.g1p(clause), this.s1q_1.g1p(clause)));
+      tmp = Utils_instance.o1o(Utils_instance.o1o(this.l1q_1.c1p(clause), this.m1q_1.c1p(clause)), Utils_instance.o1o(this.n1q_1.c1p(clause), this.o1q_1.c1p(clause)));
     } else {
-      tmp = Utils_instance.s1o(this.r1q_1.g1p(clause), this.s1q_1.g1p(clause));
+      tmp = Utils_instance.o1o(this.n1q_1.c1p(clause), this.o1q_1.c1p(clause));
     }
     return tmp;
   };
-  protoOf(FamilyArityReteNode).t1n = function () {
-    this.t1q_1.xq();
+  protoOf(FamilyArityReteNode).p1n = function () {
+    this.p1q_1.xq();
   };
   function isGlobal_1(_this__u8e3s4, $this) {
-    return _this__u8e3s4.yw() ? Utils_instance.j1o(_this__u8e3s4.castToRule().wy(), $this.c1r_1).mx() : false;
+    return _this__u8e3s4.yw() ? Utils_instance.f1o(_this__u8e3s4.castToRule().wy(), $this.y1q_1).mx() : false;
   }
   function nestedArity(_this__u8e3s4, $this) {
     var tmp0_safe_receiver = _this__u8e3s4.asRule();
     var tmp1_safe_receiver = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.wy();
-    var tmp2_elvis_lhs = tmp1_safe_receiver == null ? null : Utils_instance.h1o(tmp1_safe_receiver, $this.c1r_1);
+    var tmp2_elvis_lhs = tmp1_safe_receiver == null ? null : Utils_instance.d1o(tmp1_safe_receiver, $this.y1q_1);
     var tmp;
     if (tmp2_elvis_lhs == null) {
       var message = 'The nestedArity method cannot be invoked on non-rule clauses';
@@ -2205,38 +2234,38 @@
     return tmp;
   }
   function nestedArity_0(_this__u8e3s4, $this) {
-    return Utils_instance.h1o(ensureNotNull(_this__u8e3s4.o1n().wy()), $this.c1r_1);
+    return Utils_instance.d1o(ensureNotNull(_this__u8e3s4.k1n().wy()), $this.y1q_1);
   }
   function regenerateCache_1($this) {
     var tmp;
-    if ($this.b1r_1) {
+    if ($this.x1q_1) {
       var tmp_0 = Utils_instance;
       // Inline function 'kotlin.collections.map' call
-      var this_0 = $this.d1r_1.m2();
+      var this_0 = $this.z1q_1.m2();
       // Inline function 'kotlin.collections.mapTo' call
       var destination = ArrayList_init_$Create$(collectionSizeOrDefault(this_0, 10));
       var tmp0_iterator = this_0.r();
       while (tmp0_iterator.s()) {
         var item = tmp0_iterator.u();
         // Inline function 'it.unibo.tuprolog.collections.rete.custom.nodes.FunctorIndexingNode.regenerateCache.<anonymous>' call
-        var tmp$ret$0 = item.s1n();
+        var tmp$ret$0 = item.o1n();
         destination.o(tmp$ret$0);
       }
-      tmp = tmp_0.l1o(destination);
+      tmp = tmp_0.h1o(destination);
     } else {
       var tmp_1 = Utils_instance;
       // Inline function 'kotlin.collections.map' call
-      var this_1 = $this.d1r_1.m2();
+      var this_1 = $this.z1q_1.m2();
       // Inline function 'kotlin.collections.mapTo' call
       var destination_0 = ArrayList_init_$Create$(collectionSizeOrDefault(this_1, 10));
       var tmp0_iterator_0 = this_1.r();
       while (tmp0_iterator_0.s()) {
         var item_0 = tmp0_iterator_0.u();
         // Inline function 'it.unibo.tuprolog.collections.rete.custom.nodes.FunctorIndexingNode.regenerateCache.<anonymous>' call
-        var tmp$ret$3 = item_0.s1n();
+        var tmp$ret$3 = item_0.o1n();
         destination_0.o(tmp$ret$3);
       }
-      tmp = tmp_1.p1o(destination_0);
+      tmp = tmp_1.l1o(destination_0);
     }
     return dequeOf_0(tmp);
   }
@@ -2252,33 +2281,33 @@
   }
   function FunctorIndexingNode$retractAllIndexed$lambda(this$0, $clause) {
     return function (it) {
-      return this$0.j1l().match(it.o1n(), $clause);
+      return this$0.f1l().match(it.k1n(), $clause);
     };
   }
   function FunctorIndexingNode(unificator, ordered, nestingLevel) {
     FunctorNode.call(this, unificator);
-    this.b1r_1 = ordered;
-    this.c1r_1 = nestingLevel;
+    this.x1q_1 = ordered;
+    this.y1q_1 = nestingLevel;
     var tmp = this;
     // Inline function 'kotlin.collections.mutableMapOf' call
-    tmp.d1r_1 = LinkedHashMap_init_$Create$();
+    tmp.z1q_1 = LinkedHashMap_init_$Create$();
     var tmp_0 = this;
     var tmp_1 = Companion_instance_1;
-    tmp_0.e1r_1 = tmp_1.vq(FunctorIndexingNode$regenerateCache$ref(this));
+    tmp_0.a1r_1 = tmp_1.vq(FunctorIndexingNode$regenerateCache$ref(this));
   }
   protoOf(FunctorIndexingNode).l = function () {
-    var tmp = asSequence(this.d1r_1.m2());
+    var tmp = asSequence(this.z1q_1.m2());
     return sum(map(tmp, FunctorIndexingNode$_get_size_$lambda_vcufvm));
   };
-  protoOf(FunctorIndexingNode).o1l = function () {
+  protoOf(FunctorIndexingNode).k1l = function () {
     var tmp;
-    if (this.d1r_1.y()) {
+    if (this.z1q_1.y()) {
       tmp = true;
     } else {
       var tmp$ret$0;
       $l$block_0: {
         // Inline function 'kotlin.collections.all' call
-        var this_0 = this.d1r_1.m2();
+        var this_0 = this.z1q_1.m2();
         var tmp_0;
         if (isInterface(this_0, Collection)) {
           tmp_0 = this_0.y();
@@ -2293,7 +2322,7 @@
         while (tmp0_iterator.s()) {
           var element = tmp0_iterator.u();
           // Inline function 'it.unibo.tuprolog.collections.rete.custom.nodes.FunctorIndexingNode.<get-isEmpty>.<anonymous>' call
-          if (!element.o1l()) {
+          if (!element.k1l()) {
             tmp$ret$0 = false;
             break $l$block_0;
           }
@@ -2304,42 +2333,42 @@
     }
     return tmp;
   };
-  protoOf(FunctorIndexingNode).q1n = function (clause) {
+  protoOf(FunctorIndexingNode).m1n = function (clause) {
     // Inline function 'kotlin.collections.getOrPut' call
-    var this_0 = this.d1r_1;
+    var this_0 = this.z1q_1;
     var key = nestedArity_0(clause, this);
     var value = this_0.x2(key);
     var tmp;
     if (value == null) {
       // Inline function 'it.unibo.tuprolog.collections.rete.custom.nodes.FunctorIndexingNode.assertA.<anonymous>' call
-      var answer = new FamilyArityIndexingNode(this.j1l(), this.b1r_1, this.c1r_1);
+      var answer = new FamilyArityIndexingNode(this.f1l(), this.x1q_1, this.y1q_1);
       this_0.n2(key, answer);
       tmp = answer;
     } else {
       tmp = value;
     }
-    tmp.q1n(clause.w1o(this));
+    tmp.m1n(clause.s1o(this));
   };
-  protoOf(FunctorIndexingNode).r1n = function (clause) {
+  protoOf(FunctorIndexingNode).n1n = function (clause) {
     // Inline function 'kotlin.collections.getOrPut' call
-    var this_0 = this.d1r_1;
+    var this_0 = this.z1q_1;
     var key = nestedArity_0(clause, this);
     var value = this_0.x2(key);
     var tmp;
     if (value == null) {
       // Inline function 'it.unibo.tuprolog.collections.rete.custom.nodes.FunctorIndexingNode.assertZ.<anonymous>' call
-      var answer = new FamilyArityIndexingNode(this.j1l(), this.b1r_1, this.c1r_1);
+      var answer = new FamilyArityIndexingNode(this.f1l(), this.x1q_1, this.y1q_1);
       this_0.n2(key, answer);
       tmp = answer;
     } else {
       tmp = value;
     }
-    tmp.r1n(clause.w1o(this));
+    tmp.n1n(clause.s1o(this));
   };
-  protoOf(FunctorIndexingNode).s1n = function () {
-    return asSequence(this.e1r_1.r2());
+  protoOf(FunctorIndexingNode).o1n = function () {
+    return asSequence(this.a1r_1.r2());
   };
-  protoOf(FunctorIndexingNode).g1p = function (clause) {
+  protoOf(FunctorIndexingNode).c1p = function (clause) {
     var tmp;
     if (isGlobal_1(clause, this)) {
       var tmp$ret$4;
@@ -2347,21 +2376,21 @@
         // Inline function 'kotlin.sequences.firstOrNull' call
         var tmp_0 = Utils_instance;
         // Inline function 'kotlin.collections.map' call
-        var this_0 = this.d1r_1.m2();
+        var this_0 = this.z1q_1.m2();
         // Inline function 'kotlin.collections.mapTo' call
         var destination = ArrayList_init_$Create$(collectionSizeOrDefault(this_0, 10));
         var tmp0_iterator = this_0.r();
         while (tmp0_iterator.s()) {
           var item = tmp0_iterator.u();
           // Inline function 'it.unibo.tuprolog.collections.rete.custom.nodes.FunctorIndexingNode.getFirstIndexed.<anonymous>' call
-          var tmp$ret$0 = item.j1p(clause);
+          var tmp$ret$0 = item.f1p(clause);
           destination.o(tmp$ret$0);
         }
-        var tmp0_iterator_0 = tmp_0.l1o(destination).r();
+        var tmp0_iterator_0 = tmp_0.h1o(destination).r();
         while (tmp0_iterator_0.s()) {
           var element = tmp0_iterator_0.u();
           // Inline function 'it.unibo.tuprolog.collections.rete.custom.nodes.FunctorIndexingNode.getFirstIndexed.<anonymous>' call
-          if (this.j1l().match(element.o1n(), clause)) {
+          if (this.f1l().match(element.k1n(), clause)) {
             tmp$ret$4 = element;
             break $l$block;
           }
@@ -2370,130 +2399,130 @@
       }
       tmp = tmp$ret$4;
     } else {
-      var tmp0_safe_receiver = this.d1r_1.x2(nestedArity(clause, this));
-      tmp = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.g1p(clause);
+      var tmp0_safe_receiver = this.z1q_1.x2(nestedArity(clause, this));
+      tmp = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.c1p(clause);
     }
     return tmp;
   };
-  protoOf(FunctorIndexingNode).h1p = function (clause) {
+  protoOf(FunctorIndexingNode).d1p = function (clause) {
     var tmp;
     if (isGlobal_1(clause, this)) {
       var tmp_0 = Utils_instance;
       // Inline function 'kotlin.collections.map' call
-      var this_0 = this.d1r_1.m2();
+      var this_0 = this.z1q_1.m2();
       // Inline function 'kotlin.collections.mapTo' call
       var destination = ArrayList_init_$Create$(collectionSizeOrDefault(this_0, 10));
       var tmp0_iterator = this_0.r();
       while (tmp0_iterator.s()) {
         var item = tmp0_iterator.u();
         // Inline function 'it.unibo.tuprolog.collections.rete.custom.nodes.FunctorIndexingNode.getIndexed.<anonymous>' call
-        var tmp$ret$0 = item.j1p(clause);
+        var tmp$ret$0 = item.f1p(clause);
         destination.o(tmp$ret$0);
       }
-      tmp = tmp_0.l1o(destination);
+      tmp = tmp_0.h1o(destination);
     } else {
-      var tmp0_safe_receiver = this.d1r_1.x2(nestedArity(clause, this));
-      var tmp1_elvis_lhs = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.h1p(clause);
+      var tmp0_safe_receiver = this.z1q_1.x2(nestedArity(clause, this));
+      var tmp1_elvis_lhs = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.d1p(clause);
       tmp = tmp1_elvis_lhs == null ? emptySequence() : tmp1_elvis_lhs;
     }
     return tmp;
   };
-  protoOf(FunctorIndexingNode).i1p = function (clause) {
+  protoOf(FunctorIndexingNode).e1p = function (clause) {
     var tmp;
     if (isGlobal_1(clause, this)) {
       var tmp_0 = Utils_instance;
       // Inline function 'kotlin.collections.map' call
-      var this_0 = this.d1r_1.m2();
+      var this_0 = this.z1q_1.m2();
       // Inline function 'kotlin.collections.mapTo' call
       var destination = ArrayList_init_$Create$(collectionSizeOrDefault(this_0, 10));
       var tmp0_iterator = this_0.r();
       while (tmp0_iterator.s()) {
         var item = tmp0_iterator.u();
         // Inline function 'it.unibo.tuprolog.collections.rete.custom.nodes.FunctorIndexingNode.retractAllIndexed.<anonymous>' call
-        var tmp$ret$0 = item.j1p(clause);
+        var tmp$ret$0 = item.f1p(clause);
         destination.o(tmp$ret$0);
       }
-      var tmp_1 = tmp_0.l1o(destination);
+      var tmp_1 = tmp_0.h1o(destination);
       var partialResult = toList(filter(tmp_1, FunctorIndexingNode$retractAllIndexed$lambda(this, clause)));
       // Inline function 'kotlin.collections.isNotEmpty' call
       if (!partialResult.y()) {
-        this.t1n();
+        this.p1n();
         // Inline function 'kotlin.collections.forEach' call
         var tmp0_iterator_0 = partialResult.r();
         while (tmp0_iterator_0.s()) {
           var element = tmp0_iterator_0.u();
           // Inline function 'it.unibo.tuprolog.collections.rete.custom.nodes.FunctorIndexingNode.retractAllIndexed.<anonymous>' call
-          element.c1p();
+          element.y1o();
         }
       }
       tmp = asSequence(partialResult);
     } else {
-      var tmp0_safe_receiver = this.d1r_1.x2(nestedArity(clause, this));
-      var tmp1_elvis_lhs = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.i1p(clause);
+      var tmp0_safe_receiver = this.z1q_1.x2(nestedArity(clause, this));
+      var tmp1_elvis_lhs = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.e1p(clause);
       tmp = tmp1_elvis_lhs == null ? emptySequence() : tmp1_elvis_lhs;
     }
     return tmp;
   };
-  protoOf(FunctorIndexingNode).j1p = function (clause) {
+  protoOf(FunctorIndexingNode).f1p = function (clause) {
     var tmp;
-    if (this.b1r_1) {
+    if (this.x1q_1) {
       var tmp_0 = Utils_instance;
       // Inline function 'kotlin.collections.map' call
-      var this_0 = this.d1r_1.m2();
+      var this_0 = this.z1q_1.m2();
       // Inline function 'kotlin.collections.mapTo' call
       var destination = ArrayList_init_$Create$(collectionSizeOrDefault(this_0, 10));
       var tmp0_iterator = this_0.r();
       while (tmp0_iterator.s()) {
         var item = tmp0_iterator.u();
         // Inline function 'it.unibo.tuprolog.collections.rete.custom.nodes.FunctorIndexingNode.extractGlobalIndexedSequence.<anonymous>' call
-        var tmp$ret$0 = item.j1p(clause);
+        var tmp$ret$0 = item.f1p(clause);
         destination.o(tmp$ret$0);
       }
-      tmp = tmp_0.l1o(destination);
+      tmp = tmp_0.h1o(destination);
     } else {
       var tmp_1 = Utils_instance;
       // Inline function 'kotlin.collections.map' call
-      var this_1 = this.d1r_1.m2();
+      var this_1 = this.z1q_1.m2();
       // Inline function 'kotlin.collections.mapTo' call
       var destination_0 = ArrayList_init_$Create$(collectionSizeOrDefault(this_1, 10));
       var tmp0_iterator_0 = this_1.r();
       while (tmp0_iterator_0.s()) {
         var item_0 = tmp0_iterator_0.u();
         // Inline function 'it.unibo.tuprolog.collections.rete.custom.nodes.FunctorIndexingNode.extractGlobalIndexedSequence.<anonymous>' call
-        var tmp$ret$3 = item_0.j1p(clause);
+        var tmp$ret$3 = item_0.f1p(clause);
         destination_0.o(tmp$ret$3);
       }
-      tmp = tmp_1.p1o(destination_0);
+      tmp = tmp_1.l1o(destination_0);
     }
     return tmp;
   };
-  protoOf(FunctorIndexingNode).t1n = function () {
-    this.e1r_1.xq();
+  protoOf(FunctorIndexingNode).p1n = function () {
+    this.a1r_1.xq();
   };
   function FunctorNode(unificator) {
     AbstractReteNode.call(this, unificator);
   }
   function assignHigherIndex($this, clause) {
     var tmp = Companion_instance_7;
-    $this.l1r_1 = $this.l1r_1.tb();
-    return tmp.y1o($this.l1r_1, clause, [$this]);
+    $this.h1r_1 = $this.h1r_1.tb();
+    return tmp.u1o($this.h1r_1, clause, [$this]);
   }
   function assignLowerIndex($this, clause) {
     var tmp = Companion_instance_7;
-    $this.k1r_1 = $this.k1r_1.ub();
-    return tmp.y1o($this.k1r_1, clause, [$this]);
+    $this.g1r_1 = $this.g1r_1.ub();
+    return tmp.u1o($this.g1r_1, clause, [$this]);
   }
   function regenerateCache_2($this) {
     var tmp;
-    if ($this.g1r_1) {
-      var tmp_0 = Utils_instance.k1o([$this.j1r_1.s1n(), $this.i1r_1.s1n()]);
+    if ($this.c1r_1) {
+      var tmp_0 = Utils_instance.g1o([$this.f1r_1.o1n(), $this.e1r_1.o1n()]);
       tmp = map(tmp_0, RootNode$regenerateCache$lambda);
     } else {
       var tmp_1 = Utils_instance;
-      var tmp_2 = $this.j1r_1.s1n();
+      var tmp_2 = $this.f1r_1.o1n();
       var tmp_3 = map(tmp_2, RootNode$regenerateCache$lambda_0);
-      var tmp_4 = $this.i1r_1.s1n();
-      tmp = tmp_1.q1o([tmp_3, map(tmp_4, RootNode$regenerateCache$lambda_1)]);
+      var tmp_4 = $this.e1r_1.o1n();
+      tmp = tmp_1.m1o([tmp_3, map(tmp_4, RootNode$regenerateCache$lambda_1)]);
     }
     return dequeOf_0(tmp);
   }
@@ -2522,146 +2551,146 @@
     };
   }
   function RootNode$regenerateCache$lambda(it) {
-    return it.o1n();
+    return it.k1n();
   }
   function RootNode$regenerateCache$lambda_0(it) {
-    return it.o1n();
+    return it.k1n();
   }
   function RootNode$regenerateCache$lambda_1(it) {
-    return it.o1n();
+    return it.k1n();
   }
   function RootNode(unificator, clauses, isOrdered) {
-    this.f1r_1 = unificator;
-    this.g1r_1 = isOrdered;
+    this.b1r_1 = unificator;
+    this.c1r_1 = isOrdered;
     var tmp = this;
     var tmp_0 = Companion_instance_1;
-    tmp.h1r_1 = tmp_0.vq(RootNode$regenerateCache$ref(this));
-    this.i1r_1 = new RuleNode(this.f1r_1, this.g1r_1);
-    this.j1r_1 = new DirectiveIndex(this.f1r_1, this.g1r_1);
-    this.k1r_1 = new Long(0, 0);
-    this.l1r_1 = new Long(0, 0);
+    tmp.d1r_1 = tmp_0.vq(RootNode$regenerateCache$ref(this));
+    this.e1r_1 = new RuleNode(this.b1r_1, this.c1r_1);
+    this.f1r_1 = new DirectiveIndex(this.b1r_1, this.c1r_1);
+    this.g1r_1 = new Long(0, 0);
+    this.h1r_1 = new Long(0, 0);
     // Inline function 'kotlin.collections.forEach' call
     var tmp0_iterator = clauses.r();
     while (tmp0_iterator.s()) {
       var element = tmp0_iterator.u();
       // Inline function 'it.unibo.tuprolog.collections.rete.custom.nodes.RootNode.<anonymous>' call
-      this.w1l(element);
+      this.s1l(element);
     }
   }
-  protoOf(RootNode).j1l = function () {
-    return this.f1r_1;
+  protoOf(RootNode).f1l = function () {
+    return this.b1r_1;
   };
-  protoOf(RootNode).r1m = function () {
-    return this.g1r_1;
+  protoOf(RootNode).n1m = function () {
+    return this.c1r_1;
   };
   protoOf(RootNode).l = function () {
-    return this.j1r_1.l() + this.i1r_1.l() | 0;
+    return this.f1r_1.l() + this.e1r_1.l() | 0;
   };
-  protoOf(RootNode).o1l = function () {
-    return this.j1r_1.o1l() ? this.i1r_1.o1l() : false;
+  protoOf(RootNode).k1l = function () {
+    return this.f1r_1.k1l() ? this.e1r_1.k1l() : false;
   };
-  protoOf(RootNode).t1l = function () {
-    return asSequence(this.h1r_1.r2());
+  protoOf(RootNode).p1l = function () {
+    return asSequence(this.d1r_1.r2());
   };
-  protoOf(RootNode).m1l = function () {
-    var tmp = this.j1r_1.s1n();
+  protoOf(RootNode).i1l = function () {
+    var tmp = this.f1r_1.o1n();
     return map(tmp, RootNode$_get_directives_$lambda_9lfp1g);
   };
-  protoOf(RootNode).n1l = function () {
-    var tmp = this.i1r_1.s1n();
+  protoOf(RootNode).j1l = function () {
+    var tmp = this.e1r_1.o1n();
     return map(tmp, RootNode$_get_rules_$lambda_py6utr);
   };
-  protoOf(RootNode).r1l = function (clause) {
+  protoOf(RootNode).n1l = function (clause) {
     var tmp;
     if (clause.zw()) {
-      tmp = this.j1r_1.r1l(clause);
+      tmp = this.f1r_1.n1l(clause);
     } else {
-      tmp = this.i1r_1.r1l(clause);
+      tmp = this.e1r_1.n1l(clause);
     }
     return tmp;
   };
-  protoOf(RootNode).z1l = function (clause) {
+  protoOf(RootNode).v1l = function (clause) {
     var tmp;
     if (clause.zw()) {
-      tmp = this.j1r_1.z1l(clause);
+      tmp = this.f1r_1.v1l(clause);
     } else {
-      tmp = this.i1r_1.z1l(clause);
+      tmp = this.e1r_1.v1l(clause);
     }
     return tmp;
   };
-  protoOf(RootNode).b1m = function (clause) {
+  protoOf(RootNode).x1l = function (clause) {
     var tmp;
     if (clause.zw()) {
-      tmp = this.j1r_1.b1m(clause);
+      tmp = this.f1r_1.x1l(clause);
     } else {
-      tmp = this.i1r_1.b1m(clause);
+      tmp = this.e1r_1.x1l(clause);
     }
     return tmp;
   };
-  protoOf(RootNode).e1m = function () {
-    return new RootNode(this.f1r_1, asIterable(this.t1l()), this.g1r_1);
+  protoOf(RootNode).a1m = function () {
+    return new RootNode(this.b1r_1, asIterable(this.p1l()), this.c1r_1);
   };
-  protoOf(RootNode).v1m = function (clause) {
+  protoOf(RootNode).r1m = function (clause) {
     var indexed = assignLowerIndex(this, clause);
-    if (this.g1r_1) {
-      this.h1r_1.yq(RootNode$assertA$lambda(clause));
+    if (this.c1r_1) {
+      this.d1r_1.yq(RootNode$assertA$lambda(clause));
       if (clause.zw()) {
-        this.j1r_1.q1n(indexed);
+        this.f1r_1.m1n(indexed);
       } else {
-        this.i1r_1.q1n(indexed);
+        this.e1r_1.m1n(indexed);
       }
     } else {
       throw UnsupportedOperationException_init_$Create$('An unordered ReteTree cannot perform the assertA operation.');
     }
   };
-  protoOf(RootNode).w1l = function (clause) {
+  protoOf(RootNode).s1l = function (clause) {
     var indexed = assignHigherIndex(this, clause);
-    this.h1r_1.yq(RootNode$assertZ$lambda(clause));
+    this.d1r_1.yq(RootNode$assertZ$lambda(clause));
     if (clause.zw()) {
-      this.j1r_1.r1n(indexed);
+      this.f1r_1.n1n(indexed);
     } else {
-      this.i1r_1.r1n(indexed);
+      this.e1r_1.n1n(indexed);
     }
   };
-  protoOf(RootNode).t1n = function () {
-    this.h1r_1.xq();
+  protoOf(RootNode).p1n = function () {
+    this.d1r_1.xq();
   };
   function nestedFunctor_1(_this__u8e3s4, $this) {
-    return Utils_instance.i1o(ensureNotNull(_this__u8e3s4.wy()), 0);
+    return Utils_instance.e1o(ensureNotNull(_this__u8e3s4.wy()), 0);
   }
   function nestedFunctor_2(_this__u8e3s4, $this) {
-    return nestedFunctor_1(_this__u8e3s4.o1n(), $this);
+    return nestedFunctor_1(_this__u8e3s4.k1n(), $this);
   }
   function regenerateCache_3($this) {
     var tmp;
-    if ($this.n1r_1) {
+    if ($this.j1r_1) {
       var tmp_0 = Utils_instance;
       // Inline function 'kotlin.collections.map' call
-      var this_0 = $this.o1r_1.m2();
+      var this_0 = $this.k1r_1.m2();
       // Inline function 'kotlin.collections.mapTo' call
       var destination = ArrayList_init_$Create$(collectionSizeOrDefault(this_0, 10));
       var tmp0_iterator = this_0.r();
       while (tmp0_iterator.s()) {
         var item = tmp0_iterator.u();
         // Inline function 'it.unibo.tuprolog.collections.rete.custom.nodes.RuleNode.regenerateCache.<anonymous>' call
-        var tmp$ret$0 = item.s1n();
+        var tmp$ret$0 = item.o1n();
         destination.o(tmp$ret$0);
       }
-      tmp = tmp_0.l1o(destination);
+      tmp = tmp_0.h1o(destination);
     } else {
       var tmp_1 = Utils_instance;
       // Inline function 'kotlin.collections.map' call
-      var this_1 = $this.o1r_1.m2();
+      var this_1 = $this.k1r_1.m2();
       // Inline function 'kotlin.collections.mapTo' call
       var destination_0 = ArrayList_init_$Create$(collectionSizeOrDefault(this_1, 10));
       var tmp0_iterator_0 = this_1.r();
       while (tmp0_iterator_0.s()) {
         var item_0 = tmp0_iterator_0.u();
         // Inline function 'it.unibo.tuprolog.collections.rete.custom.nodes.RuleNode.regenerateCache.<anonymous>' call
-        var tmp$ret$3 = item_0.s1n();
+        var tmp$ret$3 = item_0.o1n();
         destination_0.o(tmp$ret$3);
       }
-      tmp = tmp_1.p1o(destination_0);
+      tmp = tmp_1.l1o(destination_0);
     }
     return dequeOf_0(tmp);
   }
@@ -2676,81 +2705,81 @@
     return it.l();
   }
   function RuleNode(unificator, ordered) {
-    this.m1r_1 = unificator;
-    this.n1r_1 = ordered;
+    this.i1r_1 = unificator;
+    this.j1r_1 = ordered;
     var tmp = this;
     // Inline function 'kotlin.collections.mutableMapOf' call
-    tmp.o1r_1 = LinkedHashMap_init_$Create$();
+    tmp.k1r_1 = LinkedHashMap_init_$Create$();
     var tmp_0 = this;
     var tmp_1 = Companion_instance_1;
-    tmp_0.p1r_1 = tmp_1.vq(RuleNode$regenerateCache$ref(this));
+    tmp_0.l1r_1 = tmp_1.vq(RuleNode$regenerateCache$ref(this));
   }
-  protoOf(RuleNode).r1l = function (clause) {
-    var tmp0_safe_receiver = this.o1r_1.x2(nestedFunctor_1(clause, this));
-    var tmp1_elvis_lhs = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.r1l(clause);
+  protoOf(RuleNode).n1l = function (clause) {
+    var tmp0_safe_receiver = this.k1r_1.x2(nestedFunctor_1(clause, this));
+    var tmp1_elvis_lhs = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.n1l(clause);
     return tmp1_elvis_lhs == null ? emptySequence() : tmp1_elvis_lhs;
   };
-  protoOf(RuleNode).q1n = function (clause) {
+  protoOf(RuleNode).m1n = function (clause) {
     // Inline function 'kotlin.let' call
     // Inline function 'kotlin.contracts.contract' call
     var it = nestedFunctor_2(clause, this);
     var tmp;
-    if (this.n1r_1) {
+    if (this.j1r_1) {
       // Inline function 'kotlin.collections.getOrPut' call
-      var this_0 = this.o1r_1;
+      var this_0 = this.k1r_1;
       var value = this_0.x2(it);
       var tmp_0;
       if (value == null) {
         // Inline function 'it.unibo.tuprolog.collections.rete.custom.nodes.RuleNode.assertA.<anonymous>.<anonymous>' call
-        var answer = new TopLevelFunctorReteNode(this.m1r_1, this.n1r_1, 0);
+        var answer = new TopLevelFunctorReteNode(this.i1r_1, this.j1r_1, 0);
         this_0.n2(it, answer);
         tmp_0 = answer;
       } else {
         tmp_0 = value;
       }
-      tmp_0.q1n(clause.w1o(this));
+      tmp_0.m1n(clause.s1o(this));
       tmp = Unit_instance;
     } else {
-      this.r1n(clause);
+      this.n1n(clause);
       tmp = Unit_instance;
     }
   };
-  protoOf(RuleNode).r1n = function (clause) {
+  protoOf(RuleNode).n1n = function (clause) {
     // Inline function 'kotlin.let' call
     // Inline function 'kotlin.contracts.contract' call
     var it = nestedFunctor_2(clause, this);
     // Inline function 'kotlin.collections.getOrPut' call
-    var this_0 = this.o1r_1;
+    var this_0 = this.k1r_1;
     var value = this_0.x2(it);
     var tmp;
     if (value == null) {
       // Inline function 'it.unibo.tuprolog.collections.rete.custom.nodes.RuleNode.assertZ.<anonymous>.<anonymous>' call
-      var answer = new TopLevelFunctorReteNode(this.m1r_1, this.n1r_1, 0);
+      var answer = new TopLevelFunctorReteNode(this.i1r_1, this.j1r_1, 0);
       this_0.n2(it, answer);
       tmp = answer;
     } else {
       tmp = value;
     }
-    tmp.r1n(clause.w1o(this));
+    tmp.n1n(clause.s1o(this));
   };
-  protoOf(RuleNode).z1l = function (clause) {
-    var tmp0_safe_receiver = this.o1r_1.x2(nestedFunctor_1(clause, this));
-    var tmp1_elvis_lhs = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.z1l(clause);
+  protoOf(RuleNode).v1l = function (clause) {
+    var tmp0_safe_receiver = this.k1r_1.x2(nestedFunctor_1(clause, this));
+    var tmp1_elvis_lhs = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.v1l(clause);
     return tmp1_elvis_lhs == null ? emptySequence() : tmp1_elvis_lhs;
   };
   protoOf(RuleNode).l = function () {
-    var tmp = asSequence(this.o1r_1.m2());
+    var tmp = asSequence(this.k1r_1.m2());
     return sum(map(tmp, RuleNode$_get_size_$lambda_xjenvf));
   };
-  protoOf(RuleNode).o1l = function () {
+  protoOf(RuleNode).k1l = function () {
     var tmp;
-    if (this.o1r_1.y()) {
+    if (this.k1r_1.y()) {
       tmp = true;
     } else {
       var tmp$ret$0;
       $l$block_0: {
         // Inline function 'kotlin.collections.all' call
-        var this_0 = this.o1r_1.m2();
+        var this_0 = this.k1r_1.m2();
         var tmp_0;
         if (isInterface(this_0, Collection)) {
           tmp_0 = this_0.y();
@@ -2765,7 +2794,7 @@
         while (tmp0_iterator.s()) {
           var element = tmp0_iterator.u();
           // Inline function 'it.unibo.tuprolog.collections.rete.custom.nodes.RuleNode.<get-isEmpty>.<anonymous>' call
-          if (!element.o1l()) {
+          if (!element.k1l()) {
             tmp$ret$0 = false;
             break $l$block_0;
           }
@@ -2776,34 +2805,34 @@
     }
     return tmp;
   };
-  protoOf(RuleNode).b1m = function (clause) {
-    var tmp0_safe_receiver = this.o1r_1.x2(nestedFunctor_1(clause, this));
-    var tmp1_elvis_lhs = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.b1m(clause);
+  protoOf(RuleNode).x1l = function (clause) {
+    var tmp0_safe_receiver = this.k1r_1.x2(nestedFunctor_1(clause, this));
+    var tmp1_elvis_lhs = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.x1l(clause);
     return tmp1_elvis_lhs == null ? emptySequence() : tmp1_elvis_lhs;
   };
-  protoOf(RuleNode).s1n = function () {
-    return asSequence(this.p1r_1.r2());
+  protoOf(RuleNode).o1n = function () {
+    return asSequence(this.l1r_1.r2());
   };
-  protoOf(RuleNode).t1n = function () {
-    this.p1r_1.xq();
+  protoOf(RuleNode).p1n = function () {
+    this.l1r_1.xq();
   };
   function selectArity($this, clause) {
-    return $this.t1r_1.x2(Utils_instance.h1o(ensureNotNull(clause.wy()), $this.s1r_1));
+    return $this.p1r_1.x2(Utils_instance.d1o(ensureNotNull(clause.wy()), $this.o1r_1));
   }
   function chooseAssertionBranch($this, clause, op) {
     // Inline function 'kotlin.let' call
     // Inline function 'kotlin.contracts.contract' call
     // Inline function 'it.unibo.tuprolog.collections.rete.custom.nodes.TopLevelFunctorReteNode.chooseAssertionBranch.<anonymous>' call
-    var it = Utils_instance.h1o(ensureNotNull(clause.o1n().wy()), $this.s1r_1);
+    var it = Utils_instance.d1o(ensureNotNull(clause.k1n().wy()), $this.o1r_1);
     var tmp;
     if (it === 0) {
       // Inline function 'kotlin.collections.getOrPut' call
-      var this_0 = $this.t1r_1;
+      var this_0 = $this.p1r_1;
       var value = this_0.x2(it);
       var tmp_0;
       if (value == null) {
         // Inline function 'it.unibo.tuprolog.collections.rete.custom.nodes.TopLevelFunctorReteNode.chooseAssertionBranch.<anonymous>.<anonymous>' call
-        var answer = new ZeroArityReteNode($this.j1l(), $this.r1r_1);
+        var answer = new ZeroArityReteNode($this.f1l(), $this.n1r_1);
         this_0.n2(it, answer);
         tmp_0 = answer;
       } else {
@@ -2812,12 +2841,12 @@
       tmp = tmp_0;
     } else {
       // Inline function 'kotlin.collections.getOrPut' call
-      var this_1 = $this.t1r_1;
+      var this_1 = $this.p1r_1;
       var value_0 = this_1.x2(it);
       var tmp_1;
       if (value_0 == null) {
         // Inline function 'it.unibo.tuprolog.collections.rete.custom.nodes.TopLevelFunctorReteNode.chooseAssertionBranch.<anonymous>.<anonymous>' call
-        var answer_0 = new FamilyArityReteNode($this.j1l(), $this.r1r_1, $this.s1r_1);
+        var answer_0 = new FamilyArityReteNode($this.f1l(), $this.n1r_1, $this.o1r_1);
         this_1.n2(it, answer_0);
         tmp_1 = answer_0;
       } else {
@@ -2829,34 +2858,34 @@
   }
   function regenerateCache_4($this) {
     var tmp;
-    if ($this.r1r_1) {
+    if ($this.n1r_1) {
       var tmp_0 = Utils_instance;
       // Inline function 'kotlin.collections.map' call
-      var this_0 = $this.t1r_1.m2();
+      var this_0 = $this.p1r_1.m2();
       // Inline function 'kotlin.collections.mapTo' call
       var destination = ArrayList_init_$Create$(collectionSizeOrDefault(this_0, 10));
       var tmp0_iterator = this_0.r();
       while (tmp0_iterator.s()) {
         var item = tmp0_iterator.u();
         // Inline function 'it.unibo.tuprolog.collections.rete.custom.nodes.TopLevelFunctorReteNode.regenerateCache.<anonymous>' call
-        var tmp$ret$0 = item.s1n();
+        var tmp$ret$0 = item.o1n();
         destination.o(tmp$ret$0);
       }
-      tmp = tmp_0.l1o(destination);
+      tmp = tmp_0.h1o(destination);
     } else {
       var tmp_1 = Utils_instance;
       // Inline function 'kotlin.collections.map' call
-      var this_1 = $this.t1r_1.m2();
+      var this_1 = $this.p1r_1.m2();
       // Inline function 'kotlin.collections.mapTo' call
       var destination_0 = ArrayList_init_$Create$(collectionSizeOrDefault(this_1, 10));
       var tmp0_iterator_0 = this_1.r();
       while (tmp0_iterator_0.s()) {
         var item_0 = tmp0_iterator_0.u();
         // Inline function 'it.unibo.tuprolog.collections.rete.custom.nodes.TopLevelFunctorReteNode.regenerateCache.<anonymous>' call
-        var tmp$ret$3 = item_0.s1n();
+        var tmp$ret$3 = item_0.o1n();
         destination_0.o(tmp$ret$3);
       }
-      tmp = tmp_1.p1o(destination_0);
+      tmp = tmp_1.l1o(destination_0);
     }
     return dequeOf_0(tmp);
   }
@@ -2872,7 +2901,7 @@
   }
   function ReteNode$assertA$ref() {
     var l = function (p0, p1) {
-      p0.q1n(p1);
+      p0.m1n(p1);
       return Unit_instance;
     };
     l.callableName = 'assertA';
@@ -2880,7 +2909,7 @@
   }
   function ReteNode$assertZ$ref() {
     var l = function (p0, p1) {
-      p0.r1n(p1);
+      p0.n1n(p1);
       return Unit_instance;
     };
     l.callableName = 'assertZ';
@@ -2888,28 +2917,28 @@
   }
   function TopLevelFunctorReteNode(unificator, ordered, nestingLevel) {
     FunctorNode.call(this, unificator);
-    this.r1r_1 = ordered;
-    this.s1r_1 = nestingLevel;
+    this.n1r_1 = ordered;
+    this.o1r_1 = nestingLevel;
     var tmp = this;
     // Inline function 'kotlin.collections.mutableMapOf' call
-    tmp.t1r_1 = LinkedHashMap_init_$Create$();
+    tmp.p1r_1 = LinkedHashMap_init_$Create$();
     var tmp_0 = this;
     var tmp_1 = Companion_instance_1;
-    tmp_0.u1r_1 = tmp_1.vq(TopLevelFunctorReteNode$regenerateCache$ref(this));
+    tmp_0.q1r_1 = tmp_1.vq(TopLevelFunctorReteNode$regenerateCache$ref(this));
   }
   protoOf(TopLevelFunctorReteNode).l = function () {
-    var tmp = asSequence(this.t1r_1.m2());
+    var tmp = asSequence(this.p1r_1.m2());
     return sum(map(tmp, TopLevelFunctorReteNode$_get_size_$lambda_6i36rr));
   };
-  protoOf(TopLevelFunctorReteNode).o1l = function () {
+  protoOf(TopLevelFunctorReteNode).k1l = function () {
     var tmp;
-    if (this.t1r_1.y()) {
+    if (this.p1r_1.y()) {
       tmp = true;
     } else {
       var tmp$ret$0;
       $l$block_0: {
         // Inline function 'kotlin.collections.all' call
-        var this_0 = this.t1r_1.m2();
+        var this_0 = this.p1r_1.m2();
         var tmp_0;
         if (isInterface(this_0, Collection)) {
           tmp_0 = this_0.y();
@@ -2924,7 +2953,7 @@
         while (tmp0_iterator.s()) {
           var element = tmp0_iterator.u();
           // Inline function 'it.unibo.tuprolog.collections.rete.custom.nodes.TopLevelFunctorReteNode.<get-isEmpty>.<anonymous>' call
-          if (!element.o1l()) {
+          if (!element.k1l()) {
             tmp$ret$0 = false;
             break $l$block_0;
           }
@@ -2935,90 +2964,90 @@
     }
     return tmp;
   };
-  protoOf(TopLevelFunctorReteNode).r1l = function (clause) {
+  protoOf(TopLevelFunctorReteNode).n1l = function (clause) {
     var tmp0_safe_receiver = selectArity(this, clause);
-    var tmp1_elvis_lhs = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.r1l(clause);
+    var tmp1_elvis_lhs = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.n1l(clause);
     return tmp1_elvis_lhs == null ? emptySequence() : tmp1_elvis_lhs;
   };
-  protoOf(TopLevelFunctorReteNode).q1n = function (clause) {
-    var tmp = clause.w1o(this);
+  protoOf(TopLevelFunctorReteNode).m1n = function (clause) {
+    var tmp = clause.s1o(this);
     chooseAssertionBranch(this, tmp, ReteNode$assertA$ref());
   };
-  protoOf(TopLevelFunctorReteNode).r1n = function (clause) {
-    var tmp = clause.w1o(this);
+  protoOf(TopLevelFunctorReteNode).n1n = function (clause) {
+    var tmp = clause.s1o(this);
     chooseAssertionBranch(this, tmp, ReteNode$assertZ$ref());
   };
-  protoOf(TopLevelFunctorReteNode).z1l = function (clause) {
+  protoOf(TopLevelFunctorReteNode).v1l = function (clause) {
     var tmp0_safe_receiver = selectArity(this, clause);
-    var tmp1_elvis_lhs = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.z1l(clause);
+    var tmp1_elvis_lhs = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.v1l(clause);
     return tmp1_elvis_lhs == null ? emptySequence() : tmp1_elvis_lhs;
   };
-  protoOf(TopLevelFunctorReteNode).b1m = function (clause) {
+  protoOf(TopLevelFunctorReteNode).x1l = function (clause) {
     var tmp0_safe_receiver = selectArity(this, clause);
-    var tmp1_elvis_lhs = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.b1m(clause);
+    var tmp1_elvis_lhs = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.x1l(clause);
     return tmp1_elvis_lhs == null ? emptySequence() : tmp1_elvis_lhs;
   };
-  protoOf(TopLevelFunctorReteNode).s1n = function () {
-    return asSequence(this.u1r_1.r2());
+  protoOf(TopLevelFunctorReteNode).o1n = function () {
+    return asSequence(this.q1r_1.r2());
   };
-  protoOf(TopLevelFunctorReteNode).t1n = function () {
-    this.u1r_1.xq();
+  protoOf(TopLevelFunctorReteNode).p1n = function () {
+    this.q1r_1.xq();
   };
   function ZeroArityReteNode$retractFirst$lambda(it) {
-    return it.o1n();
+    return it.k1n();
   }
   function ZeroArityReteNode$get$lambda(this$0, $clause) {
     return function (it) {
-      return this$0.j1l().match(it.o1n(), $clause);
+      return this$0.f1l().match(it.k1n(), $clause);
     };
   }
   function ZeroArityReteNode$get$lambda_0(it) {
-    return it.o1n();
+    return it.k1n();
   }
   function ZeroArityReteNode$retractAll$lambda(it) {
-    return it.o1n();
+    return it.k1n();
   }
   function ZeroArityReteNode(unificator, ordered) {
     ArityNode.call(this, unificator);
-    this.w1r_1 = ordered;
-    this.x1r_1 = dequeOf([]);
+    this.s1r_1 = ordered;
+    this.t1r_1 = dequeOf([]);
   }
-  protoOf(ZeroArityReteNode).z1l = function (clause) {
-    var tmp = this.p1n(this.x1r_1, clause);
+  protoOf(ZeroArityReteNode).v1l = function (clause) {
+    var tmp = this.l1n(this.t1r_1, clause);
     return buffered(take(map(tmp, ZeroArityReteNode$retractFirst$lambda), 1));
   };
   protoOf(ZeroArityReteNode).l = function () {
-    return this.x1r_1.l();
+    return this.t1r_1.l();
   };
-  protoOf(ZeroArityReteNode).o1l = function () {
-    return this.x1r_1.y();
+  protoOf(ZeroArityReteNode).k1l = function () {
+    return this.t1r_1.y();
   };
-  protoOf(ZeroArityReteNode).r1l = function (clause) {
-    var tmp = asSequence(this.x1r_1);
+  protoOf(ZeroArityReteNode).n1l = function (clause) {
+    var tmp = asSequence(this.t1r_1);
     var tmp_0 = filter(tmp, ZeroArityReteNode$get$lambda(this, clause));
     return map(tmp_0, ZeroArityReteNode$get$lambda_0);
   };
-  protoOf(ZeroArityReteNode).q1n = function (clause) {
-    if (this.w1r_1) {
-      addFirst(this.x1r_1, Companion_instance_8.e1p(clause.w1o(this), this));
+  protoOf(ZeroArityReteNode).m1n = function (clause) {
+    if (this.s1r_1) {
+      addFirst(this.t1r_1, Companion_instance_8.a1p(clause.s1o(this), this));
     } else {
-      this.r1n(clause);
+      this.n1n(clause);
     }
   };
-  protoOf(ZeroArityReteNode).r1n = function (clause) {
-    this.x1r_1.o(Companion_instance_8.e1p(clause.w1o(this), this));
+  protoOf(ZeroArityReteNode).n1n = function (clause) {
+    this.t1r_1.o(Companion_instance_8.a1p(clause.s1o(this), this));
   };
-  protoOf(ZeroArityReteNode).b1m = function (clause) {
-    var tmp = this.p1n(this.x1r_1, clause);
+  protoOf(ZeroArityReteNode).x1l = function (clause) {
+    var tmp = this.l1n(this.t1r_1, clause);
     return buffered(map(tmp, ZeroArityReteNode$retractAll$lambda));
   };
-  protoOf(ZeroArityReteNode).s1n = function () {
-    return asSequence(this.x1r_1);
+  protoOf(ZeroArityReteNode).o1n = function () {
+    return asSequence(this.t1r_1);
   };
-  protoOf(ZeroArityReteNode).t1n = function () {
+  protoOf(ZeroArityReteNode).p1n = function () {
   };
-  protoOf(ZeroArityReteNode).d1p = function (indexed) {
-    this.x1r_1.p(indexed);
+  protoOf(ZeroArityReteNode).z1o = function (indexed) {
+    this.t1r_1.p(indexed);
   };
   function AbstractTheory$get$lambda(it) {
     return it.castToRule();
@@ -3027,49 +3056,49 @@
     return it.castToRule();
   }
   function AbstractTheory(tags) {
-    this.y1r_1 = tags;
+    this.u1r_1 = tags;
   }
   protoOf(AbstractTheory).vt = function () {
-    return this.y1r_1;
+    return this.u1r_1;
   };
-  protoOf(AbstractTheory).z1r = function () {
+  protoOf(AbstractTheory).v1r = function () {
     return this;
   };
   protoOf(AbstractTheory).toImmutableTheory = function () {
-    return this.z1r();
+    return this.v1r();
   };
-  protoOf(AbstractTheory).a1s = function (clause) {
-    return plus_2.call(this, TheoryUtils_instance.f1m(clause));
+  protoOf(AbstractTheory).w1r = function (clause) {
+    return plus_2.call(this, TheoryUtils_instance.b1m(clause));
   };
   protoOf(AbstractTheory).plus = function (clause) {
-    return this.a1s(clause);
+    return this.w1r(clause);
   };
-  protoOf(AbstractTheory).q1l = function (clause) {
+  protoOf(AbstractTheory).m1l = function (clause) {
     return any(this.get(clause));
   };
   protoOf(AbstractTheory).contains = function (clause) {
-    return this.q1l(clause);
+    return this.m1l(clause);
   };
-  protoOf(AbstractTheory).b1s = function (head) {
-    return this.q1l(Companion_instance_2.of(head, [Companion_getInstance().anonymous()]));
+  protoOf(AbstractTheory).x1r = function (head) {
+    return this.m1l(Companion_instance_2.of(head, [Companion_getInstance().anonymous()]));
   };
   protoOf(AbstractTheory).containsHead = function (head) {
-    return this.b1s(head);
+    return this.x1r(head);
   };
-  protoOf(AbstractTheory).c1s = function (indicator) {
-    return any(this.d1s(indicator));
+  protoOf(AbstractTheory).y1r = function (indicator) {
+    return any(this.z1r(indicator));
   };
   protoOf(AbstractTheory).containsIndicator = function (indicator) {
-    return this.c1s(indicator);
+    return this.y1r(indicator);
   };
-  protoOf(AbstractTheory).e1s = function (head) {
+  protoOf(AbstractTheory).a1s = function (head) {
     var tmp = this.get(Companion_instance_2.of(head, [Companion_getInstance().anonymous()]));
     return map(tmp, AbstractTheory$get$lambda);
   };
   protoOf(AbstractTheory).getByHead = function (head) {
-    return this.e1s(head);
+    return this.a1s(head);
   };
-  protoOf(AbstractTheory).d1s = function (indicator) {
+  protoOf(AbstractTheory).z1r = function (indicator) {
     // Inline function 'kotlin.require' call
     // Inline function 'kotlin.contracts.contract' call
     if (!indicator.gz()) {
@@ -3095,9 +3124,9 @@
     return map(tmp_2, AbstractTheory$get$lambda_0);
   };
   protoOf(AbstractTheory).getByIndicator = function (indicator) {
-    return this.d1s(indicator);
+    return this.z1r(indicator);
   };
-  protoOf(AbstractTheory).f1s = function (indicator) {
+  protoOf(AbstractTheory).b1s = function (indicator) {
     // Inline function 'kotlin.require' call
     // Inline function 'kotlin.contracts.contract' call
     if (!indicator.gz()) {
@@ -3105,41 +3134,41 @@
       var message = 'The provided indicator is not well formed: ' + indicator;
       throw IllegalArgumentException_init_$Create$(toString(message));
     }
-    return this.retractAllByHead(Companion_getInstance_0().template(ensureNotNull(indicator.z10()), ensureNotNull(indicator.a11()))).g1s();
+    return this.retractAllByHead(Companion_getInstance_0().template(ensureNotNull(indicator.z10()), ensureNotNull(indicator.a11()))).c1s();
   };
   protoOf(AbstractTheory).abolish = function (indicator) {
-    return this.f1s(indicator);
+    return this.b1s(indicator);
   };
   protoOf(AbstractTheory).toString = function () {
-    return '' + getKClassFromExpression(this).s6() + '{ ' + joinToString(this.t1l(), '. ') + ' }';
+    return '' + getKClassFromExpression(this).s6() + '{ ' + joinToString(this.p1l(), '. ') + ' }';
   };
-  protoOf(AbstractTheory).h1s = function (asPrologText) {
+  protoOf(AbstractTheory).d1s = function (asPrologText) {
     var tmp;
     if (asPrologText) {
-      tmp = joinToString(this.t1l(), '.\n', '', '.\n');
+      tmp = joinToString(this.p1l(), '.\n', '', '.\n');
     } else {
       tmp = this.toString();
     }
     return tmp;
   };
   protoOf(AbstractTheory).toStringAsProlog = function (asPrologText) {
-    return this.h1s(asPrologText);
+    return this.d1s(asPrologText);
   };
   protoOf(AbstractTheory).r = function () {
-    return this.t1l().r();
+    return this.p1l().r();
   };
   protoOf(AbstractTheory).equals = function (other) {
     if (other == null)
       return false;
     if (!(!(other == null) ? isInterface(other, Theory) : false))
       return false;
-    return this.i1s(other, true);
+    return this.e1s(other, true);
   };
-  protoOf(AbstractTheory).i1s = function (other, useVarCompleteName) {
+  protoOf(AbstractTheory).e1s = function (other, useVarCompleteName) {
     if (this === other)
       return true;
-    var i = this.t1l().r();
-    var j = other.t1l().r();
+    var i = this.p1l().r();
+    var j = other.p1l().r();
     while (i.s() ? j.s() : false) {
       if (!i.u().equalsUsingVarCompleteNames(j.u(), useVarCompleteName)) {
         return false;
@@ -3148,7 +3177,7 @@
     return i.s() === j.s();
   };
   protoOf(AbstractTheory).equalsUsingVarCompleteNames = function (other, useVarCompleteName) {
-    return this.i1s(other, useVarCompleteName);
+    return this.e1s(other, useVarCompleteName);
   };
   protoOf(AbstractTheory).hashCode = function () {
     // Inline function 'kotlin.hashCode' call
@@ -3156,7 +3185,7 @@
     var tmp1_elvis_lhs = tmp0_safe_receiver == null ? null : hashCode(tmp0_safe_receiver);
     var base = tmp1_elvis_lhs == null ? 0 : tmp1_elvis_lhs;
     var result = base ^ (base >>> 32 | 0);
-    var tmp0_iterator = this.t1l().r();
+    var tmp0_iterator = this.p1l().r();
     while (tmp0_iterator.s()) {
       var clause = tmp0_iterator.u();
       result = imul(31, result) + clause.hashCode() | 0;
@@ -3172,88 +3201,318 @@
     }
     return i;
   };
-  protoOf(AbstractTheory).o1l = function () {
-    return !this.j1s();
+  protoOf(AbstractTheory).k1l = function () {
+    return !this.f1s();
   };
-  protoOf(AbstractTheory).j1s = function () {
+  protoOf(AbstractTheory).f1s = function () {
     return this.r().s();
   };
-  protoOf(AbstractTheory).k1s = function (unificator) {
+  protoOf(AbstractTheory).g1s = function (unificator) {
     var tmp;
-    if (!equals(unificator, this.j1l())) {
-      tmp = this.l1s(asSequence(this.t1l()), VOID, unificator);
+    if (!equals(unificator, this.f1l())) {
+      tmp = this.h1s(asSequence(this.p1l()), VOID, unificator);
     } else {
       tmp = this;
     }
     return tmp;
   };
   protoOf(AbstractTheory).setUnificator = function (unificator) {
-    return this.k1s(unificator);
+    return this.g1s(unificator);
   };
-  protoOf(AbstractTheory).m1s = function (theory) {
+  protoOf(AbstractTheory).i1s = function (theory) {
     var tmp;
-    if (theory.j1s()) {
-      tmp = this.l1s(plus_0(asSequence(this.t1l()), TheoryUtils_instance.n1s(asSequence(theory.t1l()))));
+    if (theory.f1s()) {
+      tmp = this.h1s(plus_0(asSequence(this.p1l()), TheoryUtils_instance.j1s(asSequence(theory.p1l()))));
     } else {
       tmp = this;
     }
     return tmp;
   };
   protoOf(AbstractTheory).plusTheory = function (theory) {
-    return this.m1s(theory);
+    return this.i1s(theory);
   };
-  protoOf(AbstractTheory).o1s = function (clause) {
-    return this.l1s(plus_0(TheoryUtils_instance.p1s([clause]), asSequence(this.t1l())));
+  protoOf(AbstractTheory).k1s = function (clause) {
+    return this.h1s(plus_0(TheoryUtils_instance.l1s([clause]), asSequence(this.p1l())));
   };
   protoOf(AbstractTheory).assertA = function (clause) {
-    return this.o1s(clause);
+    return this.k1s(clause);
   };
-  protoOf(AbstractTheory).q1s = function (clauses) {
-    return this.l1s(plus_0(TheoryUtils_instance.n1s(asSequence(clauses)), asSequence(this.t1l())));
+  protoOf(AbstractTheory).m1s = function (clauses) {
+    return this.h1s(plus_0(TheoryUtils_instance.j1s(asSequence(clauses)), asSequence(this.p1l())));
   };
   protoOf(AbstractTheory).assertAIterable = function (clauses) {
-    return this.q1s(clauses);
+    return this.m1s(clauses);
   };
-  protoOf(AbstractTheory).r1s = function (clauses) {
-    return this.l1s(plus_0(TheoryUtils_instance.n1s(clauses), asSequence(this.t1l())));
+  protoOf(AbstractTheory).n1s = function (clauses) {
+    return this.h1s(plus_0(TheoryUtils_instance.j1s(clauses), asSequence(this.p1l())));
   };
   protoOf(AbstractTheory).assertASequence = function (clauses) {
-    return this.r1s(clauses);
+    return this.n1s(clauses);
   };
-  protoOf(AbstractTheory).s1s = function (clause) {
-    return this.l1s(plus_0(asSequence(this.t1l()), TheoryUtils_instance.n1s(sequenceOf([clause]))));
+  protoOf(AbstractTheory).o1s = function (clause) {
+    return this.h1s(plus_0(asSequence(this.p1l()), TheoryUtils_instance.j1s(sequenceOf([clause]))));
   };
   protoOf(AbstractTheory).assertZ = function (clause) {
-    return this.s1s(clause);
+    return this.o1s(clause);
   };
-  protoOf(AbstractTheory).t1s = function (clauses) {
-    return this.l1s(plus_0(asSequence(this.t1l()), asSequence(TheoryUtils_instance.q1m(clauses))));
+  protoOf(AbstractTheory).p1s = function (clauses) {
+    return this.h1s(plus_0(asSequence(this.p1l()), asSequence(TheoryUtils_instance.m1m(clauses))));
   };
   protoOf(AbstractTheory).assertZIterable = function (clauses) {
-    return this.t1s(clauses);
+    return this.p1s(clauses);
   };
-  protoOf(AbstractTheory).u1s = function (clauses) {
-    return this.l1s(plus_0(asSequence(this.t1l()), TheoryUtils_instance.n1s(clauses)));
+  protoOf(AbstractTheory).q1s = function (clauses) {
+    return this.h1s(plus_0(asSequence(this.p1l()), TheoryUtils_instance.j1s(clauses)));
   };
   protoOf(AbstractTheory).assertZSequence = function (clauses) {
-    return this.u1s(clauses);
+    return this.q1s(clauses);
   };
-  protoOf(AbstractTheory).l1s = function (clauses, tags, unificator, $super) {
+  protoOf(AbstractTheory).h1s = function (clauses, tags, unificator, $super) {
     tags = tags === VOID ? this.vt() : tags;
-    unificator = unificator === VOID ? this.j1l() : unificator;
-    return $super === VOID ? this.v1s(clauses, tags, unificator) : $super.v1s.call(this, clauses, tags, unificator);
+    unificator = unificator === VOID ? this.f1l() : unificator;
+    return $super === VOID ? this.r1s(clauses, tags, unificator) : $super.r1s.call(this, clauses, tags, unificator);
   };
-  protoOf(AbstractTheory).w1s = function (clauses) {
-    return this.x1s(asIterable(clauses));
+  protoOf(AbstractTheory).s1s = function (clauses) {
+    return this.t1s(asIterable(clauses));
   };
   protoOf(AbstractTheory).retractSequence = function (clauses) {
-    return this.w1s(clauses);
+    return this.s1s(clauses);
   };
-  protoOf(AbstractTheory).y1s = function () {
+  protoOf(AbstractTheory).u1s = function () {
     return this;
   };
   protoOf(AbstractTheory).clone = function () {
-    return this.y1s();
+    return this.u1s();
+  };
+  function Default() {
+    Default_instance = this;
+    this.w1s_1 = new IndexedTheoryFactory(Companion_getInstance_1().c1l());
+  }
+  protoOf(Default).f1l = function () {
+    return this.w1s_1.x1s_1;
+  };
+  protoOf(Default).emptyMutableTheory = function () {
+    return this.w1s_1.emptyMutableTheory();
+  };
+  protoOf(Default).emptyMutableTheoryWithUnificator = function (unificator) {
+    return this.w1s_1.y1s(unificator);
+  };
+  protoOf(Default).emptyTheory = function () {
+    return this.w1s_1.emptyTheory();
+  };
+  protoOf(Default).emptyTheoryWithUnificator = function (unificator) {
+    return this.w1s_1.z1s(unificator);
+  };
+  protoOf(Default).mutableTheoryOfWithUnificator = function (unificator, clauses) {
+    return this.w1s_1.a1t(unificator, clauses);
+  };
+  protoOf(Default).mutableTheoryOf = function (clauses) {
+    return this.w1s_1.mutableTheoryOf(clauses);
+  };
+  protoOf(Default).mutableTheoryOfIterable = function (clauses) {
+    return this.w1s_1.mutableTheoryOfIterable(clauses);
+  };
+  protoOf(Default).mutableTheoryOfIterableWithUnificator = function (clauses, unificator) {
+    return this.w1s_1.b1t(clauses, unificator);
+  };
+  protoOf(Default).mutableTheoryOfSequence = function (clauses) {
+    return this.w1s_1.mutableTheoryOfSequence(clauses);
+  };
+  protoOf(Default).mutableTheoryOfSequenceWithUnificator = function (clauses, unificator) {
+    return this.w1s_1.c1t(clauses, unificator);
+  };
+  protoOf(Default).theoryOfWithUnificator = function (unificator, clauses) {
+    return this.w1s_1.d1t(unificator, clauses);
+  };
+  protoOf(Default).theoryOf = function (clauses) {
+    return this.w1s_1.theoryOf(clauses);
+  };
+  protoOf(Default).theoryOfIterable = function (clauses) {
+    return this.w1s_1.theoryOfIterable(clauses);
+  };
+  protoOf(Default).theoryOfIterableWithUnificator = function (clauses, unificator) {
+    return this.w1s_1.e1t(clauses, unificator);
+  };
+  protoOf(Default).theoryOfSequence = function (clauses) {
+    return this.w1s_1.theoryOfSequence(clauses);
+  };
+  protoOf(Default).theoryOfSequenceWithUnificator = function (clauses, unificator) {
+    return this.w1s_1.f1t(clauses, unificator);
+  };
+  var Default_instance;
+  function Default_getInstance() {
+    if (Default_instance == null)
+      new Default();
+    return Default_instance;
+  }
+  function IndexedTheoryFactory(unificator) {
+    this.x1s_1 = unificator;
+  }
+  protoOf(IndexedTheoryFactory).f1l = function () {
+    return this.x1s_1;
+  };
+  protoOf(IndexedTheoryFactory).z1s = function (unificator) {
+    return IndexedTheory_init_$Create$(unificator, emptyList());
+  };
+  protoOf(IndexedTheoryFactory).emptyTheoryWithUnificator = function (unificator) {
+    return this.z1s(unificator);
+  };
+  protoOf(IndexedTheoryFactory).e1t = function (clauses, unificator) {
+    return IndexedTheory_init_$Create$(unificator, clauses);
+  };
+  protoOf(IndexedTheoryFactory).theoryOfIterableWithUnificator = function (clauses, unificator) {
+    return this.e1t(clauses, unificator);
+  };
+  protoOf(IndexedTheoryFactory).d1t = function (unificator, clauses) {
+    return IndexedTheory_init_$Create$(unificator, asIterable_0(clauses));
+  };
+  protoOf(IndexedTheoryFactory).theoryOfWithUnificator = function (unificator, clauses) {
+    return this.d1t(unificator, clauses);
+  };
+  protoOf(IndexedTheoryFactory).f1t = function (clauses, unificator) {
+    return IndexedTheory_init_$Create$_0(unificator, clauses);
+  };
+  protoOf(IndexedTheoryFactory).theoryOfSequenceWithUnificator = function (clauses, unificator) {
+    return this.f1t(clauses, unificator);
+  };
+  protoOf(IndexedTheoryFactory).y1s = function (unificator) {
+    return MutableIndexedTheory_init_$Create$(unificator, emptyList());
+  };
+  protoOf(IndexedTheoryFactory).emptyMutableTheoryWithUnificator = function (unificator) {
+    return this.y1s(unificator);
+  };
+  protoOf(IndexedTheoryFactory).b1t = function (clauses, unificator) {
+    return MutableIndexedTheory_init_$Create$(unificator, clauses);
+  };
+  protoOf(IndexedTheoryFactory).mutableTheoryOfIterableWithUnificator = function (clauses, unificator) {
+    return this.b1t(clauses, unificator);
+  };
+  protoOf(IndexedTheoryFactory).a1t = function (unificator, clauses) {
+    return MutableIndexedTheory_init_$Create$(unificator, asIterable_0(clauses));
+  };
+  protoOf(IndexedTheoryFactory).mutableTheoryOfWithUnificator = function (unificator, clauses) {
+    return this.a1t(unificator, clauses);
+  };
+  protoOf(IndexedTheoryFactory).c1t = function (clauses, unificator) {
+    return MutableIndexedTheory_init_$Create$_0(unificator, clauses);
+  };
+  protoOf(IndexedTheoryFactory).mutableTheoryOfSequenceWithUnificator = function (clauses, unificator) {
+    return this.c1t(clauses, unificator);
+  };
+  function Default_0() {
+    Default_instance_0 = this;
+    this.g1t_1 = new ListedTheoryFactory(Companion_getInstance_1().c1l());
+  }
+  protoOf(Default_0).f1l = function () {
+    return this.g1t_1.h1t_1;
+  };
+  protoOf(Default_0).emptyMutableTheory = function () {
+    return this.g1t_1.emptyMutableTheory();
+  };
+  protoOf(Default_0).emptyMutableTheoryWithUnificator = function (unificator) {
+    return this.g1t_1.y1s(unificator);
+  };
+  protoOf(Default_0).emptyTheory = function () {
+    return this.g1t_1.emptyTheory();
+  };
+  protoOf(Default_0).emptyTheoryWithUnificator = function (unificator) {
+    return this.g1t_1.z1s(unificator);
+  };
+  protoOf(Default_0).mutableTheoryOfWithUnificator = function (unificator, clauses) {
+    return this.g1t_1.a1t(unificator, clauses);
+  };
+  protoOf(Default_0).mutableTheoryOf = function (clauses) {
+    return this.g1t_1.mutableTheoryOf(clauses);
+  };
+  protoOf(Default_0).mutableTheoryOfIterable = function (clauses) {
+    return this.g1t_1.mutableTheoryOfIterable(clauses);
+  };
+  protoOf(Default_0).mutableTheoryOfIterableWithUnificator = function (clauses, unificator) {
+    return this.g1t_1.b1t(clauses, unificator);
+  };
+  protoOf(Default_0).mutableTheoryOfSequence = function (clauses) {
+    return this.g1t_1.mutableTheoryOfSequence(clauses);
+  };
+  protoOf(Default_0).mutableTheoryOfSequenceWithUnificator = function (clauses, unificator) {
+    return this.g1t_1.c1t(clauses, unificator);
+  };
+  protoOf(Default_0).theoryOfWithUnificator = function (unificator, clauses) {
+    return this.g1t_1.d1t(unificator, clauses);
+  };
+  protoOf(Default_0).theoryOf = function (clauses) {
+    return this.g1t_1.theoryOf(clauses);
+  };
+  protoOf(Default_0).theoryOfIterable = function (clauses) {
+    return this.g1t_1.theoryOfIterable(clauses);
+  };
+  protoOf(Default_0).theoryOfIterableWithUnificator = function (clauses, unificator) {
+    return this.g1t_1.e1t(clauses, unificator);
+  };
+  protoOf(Default_0).theoryOfSequence = function (clauses) {
+    return this.g1t_1.theoryOfSequence(clauses);
+  };
+  protoOf(Default_0).theoryOfSequenceWithUnificator = function (clauses, unificator) {
+    return this.g1t_1.f1t(clauses, unificator);
+  };
+  var Default_instance_0;
+  function Default_getInstance_0() {
+    if (Default_instance_0 == null)
+      new Default_0();
+    return Default_instance_0;
+  }
+  function ListedTheoryFactory(unificator) {
+    this.h1t_1 = unificator;
+  }
+  protoOf(ListedTheoryFactory).f1l = function () {
+    return this.h1t_1;
+  };
+  protoOf(ListedTheoryFactory).z1s = function (unificator) {
+    return ListedTheory_init_$Create$(unificator, emptyList());
+  };
+  protoOf(ListedTheoryFactory).emptyTheoryWithUnificator = function (unificator) {
+    return this.z1s(unificator);
+  };
+  protoOf(ListedTheoryFactory).e1t = function (clauses, unificator) {
+    return ListedTheory_init_$Create$(unificator, clauses);
+  };
+  protoOf(ListedTheoryFactory).theoryOfIterableWithUnificator = function (clauses, unificator) {
+    return this.e1t(clauses, unificator);
+  };
+  protoOf(ListedTheoryFactory).d1t = function (unificator, clauses) {
+    return ListedTheory_init_$Create$(unificator, asIterable_0(clauses));
+  };
+  protoOf(ListedTheoryFactory).theoryOfWithUnificator = function (unificator, clauses) {
+    return this.d1t(unificator, clauses);
+  };
+  protoOf(ListedTheoryFactory).f1t = function (clauses, unificator) {
+    return ListedTheory_init_$Create$_0(unificator, clauses);
+  };
+  protoOf(ListedTheoryFactory).theoryOfSequenceWithUnificator = function (clauses, unificator) {
+    return this.f1t(clauses, unificator);
+  };
+  protoOf(ListedTheoryFactory).y1s = function (unificator) {
+    return MutableListedTheory_init_$Create$(unificator, emptyList());
+  };
+  protoOf(ListedTheoryFactory).emptyMutableTheoryWithUnificator = function (unificator) {
+    return this.y1s(unificator);
+  };
+  protoOf(ListedTheoryFactory).b1t = function (clauses, unificator) {
+    return MutableListedTheory_init_$Create$(unificator, clauses);
+  };
+  protoOf(ListedTheoryFactory).mutableTheoryOfIterableWithUnificator = function (clauses, unificator) {
+    return this.b1t(clauses, unificator);
+  };
+  protoOf(ListedTheoryFactory).a1t = function (unificator, clauses) {
+    return MutableListedTheory_init_$Create$(unificator, asIterable_0(clauses));
+  };
+  protoOf(ListedTheoryFactory).mutableTheoryOfWithUnificator = function (unificator, clauses) {
+    return this.a1t(unificator, clauses);
+  };
+  protoOf(ListedTheoryFactory).c1t = function (clauses, unificator) {
+    return MutableListedTheory_init_$Create$_0(unificator, clauses);
+  };
+  protoOf(ListedTheoryFactory).mutableTheoryOfSequenceWithUnificator = function (clauses, unificator) {
+    return this.c1t(clauses, unificator);
   };
   function Companion_4() {
   }
@@ -3334,24 +3593,24 @@
   }
   function Success_0(theory, clauses) {
     RetractResult.call(this);
-    this.g1t_1 = theory;
-    this.h1t_1 = clauses;
+    this.o1t_1 = theory;
+    this.p1t_1 = clauses;
   }
-  protoOf(Success_0).g1s = function () {
-    return this.g1t_1;
+  protoOf(Success_0).c1s = function () {
+    return this.o1t_1;
   };
-  protoOf(Success_0).t1l = function () {
-    return this.h1t_1;
+  protoOf(Success_0).p1l = function () {
+    return this.p1t_1;
   };
-  protoOf(Success_0).m1m = function () {
-    return first_0(this.h1t_1);
+  protoOf(Success_0).i1m = function () {
+    return first_0(this.p1t_1);
   };
   protoOf(Success_0).toString = function () {
-    return 'Success(theory=' + this.g1t_1 + ', clauses=' + this.h1t_1 + ')';
+    return 'Success(theory=' + this.o1t_1 + ', clauses=' + this.p1t_1 + ')';
   };
   protoOf(Success_0).hashCode = function () {
-    var result = hashCode(this.g1t_1);
-    result = imul(result, 31) + hashCode(this.h1t_1) | 0;
+    var result = hashCode(this.o1t_1);
+    result = imul(result, 31) + hashCode(this.p1t_1) | 0;
     return result;
   };
   protoOf(Success_0).equals = function (other) {
@@ -3360,30 +3619,30 @@
     if (!(other instanceof Success_0))
       return false;
     var tmp0_other_with_cast = other instanceof Success_0 ? other : THROW_CCE();
-    if (!equals(this.g1t_1, tmp0_other_with_cast.g1t_1))
+    if (!equals(this.o1t_1, tmp0_other_with_cast.o1t_1))
       return false;
-    if (!equals(this.h1t_1, tmp0_other_with_cast.h1t_1))
+    if (!equals(this.p1t_1, tmp0_other_with_cast.p1t_1))
       return false;
     return true;
   };
   function Failure_0(theory) {
     RetractResult.call(this);
-    this.i1t_1 = theory;
+    this.q1t_1 = theory;
   }
-  protoOf(Failure_0).g1s = function () {
-    return this.i1t_1;
+  protoOf(Failure_0).c1s = function () {
+    return this.q1t_1;
   };
-  protoOf(Failure_0).t1l = function () {
+  protoOf(Failure_0).p1l = function () {
     return null;
   };
-  protoOf(Failure_0).m1m = function () {
+  protoOf(Failure_0).i1m = function () {
     return null;
   };
   protoOf(Failure_0).toString = function () {
-    return 'Failure(theory=' + this.i1t_1 + ')';
+    return 'Failure(theory=' + this.q1t_1 + ')';
   };
   protoOf(Failure_0).hashCode = function () {
-    return hashCode(this.i1t_1);
+    return hashCode(this.q1t_1);
   };
   protoOf(Failure_0).equals = function (other) {
     if (this === other)
@@ -3391,7 +3650,7 @@
     if (!(other instanceof Failure_0))
       return false;
     var tmp0_other_with_cast = other instanceof Failure_0 ? other : THROW_CCE();
-    if (!equals(this.i1t_1, tmp0_other_with_cast.i1t_1))
+    if (!equals(this.q1t_1, tmp0_other_with_cast.q1t_1))
       return false;
     return true;
   };
@@ -3403,31 +3662,31 @@
     return this.indexedOfSequence(unificator, emptySequence());
   };
   protoOf(Companion_5).emptyWithDefaultUnificator = function () {
-    return this.empty(Companion_getInstance_1().g1l());
+    return this.empty(Companion_getInstance_1().c1l());
   };
   protoOf(Companion_5).of = function (unificator, clause) {
     return this.indexedOf(unificator, clause.slice());
   };
   protoOf(Companion_5).ofWithDefaultUnificator = function (clause) {
-    return this.indexedOf(Companion_getInstance_1().g1l(), clause.slice());
+    return this.indexedOf(Companion_getInstance_1().c1l(), clause.slice());
   };
   protoOf(Companion_5).ofIterable = function (unificator, clauses) {
     return this.indexedOfIterable(unificator, clauses);
   };
   protoOf(Companion_5).ofIterableWithDefaultUnificator = function (clauses) {
-    return this.indexedOfIterable(Companion_getInstance_1().g1l(), clauses);
+    return this.indexedOfIterable(Companion_getInstance_1().c1l(), clauses);
   };
   protoOf(Companion_5).ofSequence = function (unificator, clauses) {
     return this.indexedOfSequence(unificator, clauses);
   };
   protoOf(Companion_5).ofSequenceWithDefaultUnificator = function (clauses) {
-    return this.indexedOfSequence(Companion_getInstance_1().g1l(), clauses);
+    return this.indexedOfSequence(Companion_getInstance_1().c1l(), clauses);
   };
   protoOf(Companion_5).ofScopes = function (unificator, clauses) {
     return this.indexedOfScopes(unificator, clauses.slice());
   };
   protoOf(Companion_5).ofScopesWithDefaultUnificator = function (clauses) {
-    return this.indexedOfScopes(Companion_getInstance_1().g1l(), clauses.slice());
+    return this.indexedOfScopes(Companion_getInstance_1().c1l(), clauses.slice());
   };
   protoOf(Companion_5).emptyIndexed = function (unificator) {
     return this.indexedOfIterable(unificator, emptyList());
@@ -3454,7 +3713,7 @@
     return this.indexedOfIterable(unificator, asIterable(clauses));
   };
   protoOf(Companion_5).indexedOfIterable = function (unificator, clauses) {
-    return IndexedTheory_init_$Create$(unificator, clauses);
+    return Default_getInstance().theoryOfIterableWithUnificator(clauses, unificator);
   };
   protoOf(Companion_5).emptyListed = function (unificator) {
     return this.listedOfSequence(unificator, emptySequence());
@@ -3481,7 +3740,7 @@
     return this.listedOfIterable(unificator, asIterable(clauses));
   };
   protoOf(Companion_5).listedOfIterable = function (unificator, clauses) {
-    return ListedTheory_init_$Create$(unificator, clauses);
+    return Default_getInstance_0().theoryOfIterableWithUnificator(clauses, unificator);
   };
   var Companion_instance_10;
   function Companion_getInstance_8() {
@@ -3495,6 +3754,8 @@
   }
   function Theory() {
   }
+  function TheoryFactory() {
+  }
   function actualCheck($this, clauses) {
     // Inline function 'kotlin.require' call
     var tmp$ret$1;
@@ -3523,7 +3784,7 @@
   }
   function TheoryUtils() {
   }
-  protoOf(TheoryUtils).f1m = function (clause) {
+  protoOf(TheoryUtils).b1m = function (clause) {
     // Inline function 'kotlin.also' call
     // Inline function 'kotlin.contracts.contract' call
     // Inline function 'it.unibo.tuprolog.theory.TheoryUtils.checkClauseCorrect.<anonymous>' call
@@ -3536,7 +3797,7 @@
     }
     return clause;
   };
-  protoOf(TheoryUtils).p1s = function (clauses) {
+  protoOf(TheoryUtils).l1s = function (clauses) {
     // Inline function 'kotlin.also' call
     var this_0 = asSequence_0(clauses);
     // Inline function 'kotlin.contracts.contract' call
@@ -3544,14 +3805,14 @@
     actualCheck(TheoryUtils_instance, this_0);
     return this_0;
   };
-  protoOf(TheoryUtils).q1m = function (clauses) {
+  protoOf(TheoryUtils).m1m = function (clauses) {
     // Inline function 'kotlin.also' call
     // Inline function 'kotlin.contracts.contract' call
     // Inline function 'it.unibo.tuprolog.theory.TheoryUtils.checkClausesCorrect.<anonymous>' call
     actualCheck(TheoryUtils_instance, asSequence(clauses));
     return clauses;
   };
-  protoOf(TheoryUtils).n1s = function (clauses) {
+  protoOf(TheoryUtils).j1s = function (clauses) {
     // Inline function 'kotlin.also' call
     // Inline function 'kotlin.contracts.contract' call
     // Inline function 'it.unibo.tuprolog.theory.TheoryUtils.checkClausesCorrect.<anonymous>' call
@@ -3563,83 +3824,83 @@
     return TheoryUtils_instance;
   }
   function _no_name_provided__qut3iv(this$0) {
-    this.j1t_1 = this$0;
+    this.r1t_1 = this$0;
   }
   protoOf(_no_name_provided__qut3iv).r = function () {
     // Inline function 'it.unibo.tuprolog.theory.impl.AbstractIndexedTheory.<get-clauses>.<anonymous>' call
-    return this.j1t_1.m1t().r();
+    return this.r1t_1.u1t().r();
   };
   function AbstractIndexedTheory(queue, tags) {
     AbstractTheory.call(this, tags);
-    this.l1t_1 = queue;
+    this.t1t_1 = queue;
   }
-  protoOf(AbstractIndexedTheory).j1l = function () {
-    return this.m1t().j1l();
+  protoOf(AbstractIndexedTheory).f1l = function () {
+    return this.u1t().f1l();
   };
-  protoOf(AbstractIndexedTheory).m1t = function () {
-    return this.l1t_1;
+  protoOf(AbstractIndexedTheory).u1t = function () {
+    return this.t1t_1;
   };
-  protoOf(AbstractIndexedTheory).m1l = function () {
-    return this.m1t().l1l();
+  protoOf(AbstractIndexedTheory).i1l = function () {
+    return this.u1t().h1l();
   };
-  protoOf(AbstractIndexedTheory).n1l = function () {
-    return this.m1t().n1l();
+  protoOf(AbstractIndexedTheory).j1l = function () {
+    return this.u1t().j1l();
   };
-  protoOf(AbstractIndexedTheory).t1l = function () {
+  protoOf(AbstractIndexedTheory).p1l = function () {
     // Inline function 'kotlin.collections.Iterable' call
     return new _no_name_provided__qut3iv(this);
   };
-  protoOf(AbstractIndexedTheory).r1l = function (clause) {
-    return this.m1t().r1l(clause);
+  protoOf(AbstractIndexedTheory).n1l = function (clause) {
+    return this.u1t().n1l(clause);
   };
   protoOf(AbstractIndexedTheory).get = function (clause) {
-    return this.r1l(clause);
+    return this.n1l(clause);
   };
   protoOf(AbstractIndexedTheory).l = function () {
-    return toLong(this.m1t().l());
+    return toLong(this.u1t().l());
   };
-  protoOf(AbstractIndexedTheory).o1l = function () {
-    return this.m1t().isEmpty();
+  protoOf(AbstractIndexedTheory).k1l = function () {
+    return this.u1t().isEmpty();
   };
-  protoOf(AbstractIndexedTheory).j1s = function () {
-    return !this.o1l();
+  protoOf(AbstractIndexedTheory).f1s = function () {
+    return !this.k1l();
   };
   function AbstractListedTheory(unificator, clauses, tags) {
     AbstractTheory.call(this, tags);
-    this.o1t_1 = clauses;
-    this.p1t_1 = unificator;
+    this.w1t_1 = clauses;
+    this.x1t_1 = unificator;
   }
-  protoOf(AbstractListedTheory).t1l = function () {
-    return this.o1t_1;
+  protoOf(AbstractListedTheory).p1l = function () {
+    return this.w1t_1;
   };
-  protoOf(AbstractListedTheory).q1t = function (_set____db54di) {
-    this.p1t_1 = _set____db54di;
+  protoOf(AbstractListedTheory).y1t = function (_set____db54di) {
+    this.x1t_1 = _set____db54di;
   };
-  protoOf(AbstractListedTheory).j1l = function () {
-    return this.p1t_1;
+  protoOf(AbstractListedTheory).f1l = function () {
+    return this.x1t_1;
   };
-  protoOf(AbstractListedTheory).r1l = function (clause) {
+  protoOf(AbstractListedTheory).n1l = function (clause) {
     // Inline function 'kotlin.collections.filter' call
     // Inline function 'kotlin.collections.filterTo' call
-    var this_0 = this.t1l();
+    var this_0 = this.p1l();
     var destination = ArrayList_init_$Create$_0();
     var tmp0_iterator = this_0.r();
     while (tmp0_iterator.s()) {
       var element = tmp0_iterator.u();
       // Inline function 'it.unibo.tuprolog.theory.impl.AbstractListedTheory.get.<anonymous>' call
-      if (this.j1l().match(element, clause)) {
+      if (this.f1l().match(element, clause)) {
         destination.o(element);
       }
     }
     return asSequence(destination);
   };
   protoOf(AbstractListedTheory).get = function (clause) {
-    return this.r1l(clause);
+    return this.n1l(clause);
   };
   function IndexedTheory_init_$Init$(unificator, clauses, tags, $this) {
     tags = tags === VOID ? emptyMap() : tags;
     IndexedTheory.call($this, Companion_instance_4.ofIterable(unificator, clauses), tags);
-    TheoryUtils_instance.q1m(clauses);
+    TheoryUtils_instance.m1m(clauses);
     return $this;
   }
   function IndexedTheory_init_$Create$(unificator, clauses, tags) {
@@ -3655,13 +3916,13 @@
   }
   function _get_hashCodeCache__ny3r0q_0($this) {
     // Inline function 'kotlin.getValue' call
-    var this_0 = $this.t1t_1;
+    var this_0 = $this.b1u_1;
     hashCodeCache$factory_0();
     return this_0.r2();
   }
   function _get_sizeCache__6eswog($this) {
     // Inline function 'kotlin.getValue' call
-    var this_0 = $this.u1t_1;
+    var this_0 = $this.c1u_1;
     sizeCache$factory();
     return this_0.r2();
   }
@@ -3678,42 +3939,42 @@
   function IndexedTheory(queue, tags) {
     AbstractIndexedTheory.call(this, queue, tags);
     var tmp = this;
-    tmp.t1t_1 = lazy(IndexedTheory$hashCodeCache$delegate$lambda(this));
+    tmp.b1u_1 = lazy(IndexedTheory$hashCodeCache$delegate$lambda(this));
     var tmp_0 = this;
-    tmp_0.u1t_1 = lazy(IndexedTheory$sizeCache$delegate$lambda(this));
+    tmp_0.c1u_1 = lazy(IndexedTheory$sizeCache$delegate$lambda(this));
   }
-  protoOf(IndexedTheory).v1s = function (clauses, tags, unificator) {
+  protoOf(IndexedTheory).r1s = function (clauses, tags, unificator) {
     return IndexedTheory_init_$Create$_0(unificator, clauses, tags);
   };
-  protoOf(IndexedTheory).d1t = function (clause) {
-    var newTheory = Companion_instance_4.ofIterable(this.j1l(), this.t1l());
+  protoOf(IndexedTheory).l1t = function (clause) {
+    var newTheory = Companion_instance_4.ofIterable(this.f1l(), this.p1l());
     var retracted = newTheory.retrieveFirst(clause);
-    return retracted.n1m() ? new Failure_0(this) : new Success_0(new IndexedTheory(retracted.l1m(), this.vt()), ensureNotNull(retracted.t1l()));
+    return retracted.j1m() ? new Failure_0(this) : new Success_0(new IndexedTheory(retracted.h1m(), this.vt()), ensureNotNull(retracted.p1l()));
   };
   protoOf(IndexedTheory).retract = function (clause) {
-    return this.d1t(clause);
+    return this.l1t(clause);
   };
-  protoOf(IndexedTheory).m1s = function (theory) {
-    return this.o1l() ? theory.toImmutableTheory() : theory.o1l() ? this : protoOf(AbstractIndexedTheory).m1s.call(this, theory);
+  protoOf(IndexedTheory).i1s = function (theory) {
+    return this.k1l() ? theory.toImmutableTheory() : theory.k1l() ? this : protoOf(AbstractIndexedTheory).i1s.call(this, theory);
   };
   protoOf(IndexedTheory).plusTheory = function (theory) {
-    return this.m1s(theory);
+    return this.i1s(theory);
   };
-  protoOf(IndexedTheory).a1t = function () {
-    return Companion_instance_9.indexedOfIterable(this.j1l(), this);
+  protoOf(IndexedTheory).i1t = function () {
+    return Companion_instance_9.indexedOfIterable(this.f1l(), this);
   };
   protoOf(IndexedTheory).toMutableTheory = function () {
-    return this.a1t();
+    return this.i1t();
   };
-  protoOf(IndexedTheory).x1s = function (clauses) {
-    var newTheory = Companion_instance_5.ofIterable(this.j1l(), this.t1l());
+  protoOf(IndexedTheory).t1s = function (clauses) {
+    var newTheory = Companion_instance_5.ofIterable(this.f1l(), this.p1l());
     var removed = dequeOf([]);
     var tmp0_iterator = clauses.r();
     while (tmp0_iterator.s()) {
       var clause = tmp0_iterator.u();
-      var result = newTheory.i1m(clause);
+      var result = newTheory.e1m(clause);
       if (result.w12()) {
-        removed.v(ensureNotNull(result.t1l()));
+        removed.v(ensureNotNull(result.p1l()));
       }
     }
     var tmp;
@@ -3725,15 +3986,15 @@
     return tmp;
   };
   protoOf(IndexedTheory).retractIterable = function (clauses) {
-    return this.x1s(clauses);
+    return this.t1s(clauses);
   };
-  protoOf(IndexedTheory).b1m = function (clause) {
-    var newTheory = Companion_instance_4.ofIterable(this.j1l(), this.t1l());
-    var retracted = newTheory.a1m(clause);
-    return retracted.n1m() ? new Failure_0(this) : new Success_0(new IndexedTheory(retracted.l1m(), this.vt()), ensureNotNull(retracted.t1l()));
+  protoOf(IndexedTheory).x1l = function (clause) {
+    var newTheory = Companion_instance_4.ofIterable(this.f1l(), this.p1l());
+    var retracted = newTheory.w1l(clause);
+    return retracted.j1m() ? new Failure_0(this) : new Success_0(new IndexedTheory(retracted.h1m(), this.vt()), ensureNotNull(retracted.p1l()));
   };
   protoOf(IndexedTheory).retractAll = function (clause) {
-    return this.b1m(clause);
+    return this.x1l(clause);
   };
   protoOf(IndexedTheory).hashCode = function () {
     return _get_hashCodeCache__ny3r0q_0(this);
@@ -3746,7 +4007,7 @@
     if (tags === this.vt()) {
       tmp = this;
     } else {
-      tmp = new IndexedTheory(this.m1t(), tags);
+      tmp = new IndexedTheory(this.u1t(), tags);
     }
     return tmp;
   };
@@ -3766,7 +4027,7 @@
   function ListedTheory_init_$Init$(unificator, clauses, tags, $this) {
     tags = tags === VOID ? emptyMap() : tags;
     ListedTheory.call($this, unificator, toList_0(clauses), tags);
-    TheoryUtils_instance.q1m(clauses);
+    TheoryUtils_instance.m1m(clauses);
     return $this;
   }
   function ListedTheory_init_$Create$(unificator, clauses, tags) {
@@ -3775,7 +4036,7 @@
   function ListedTheory_init_$Init$_0(unificator, clauses, tags, $this) {
     tags = tags === VOID ? emptyMap() : tags;
     ListedTheory.call($this, unificator, toList(clauses), tags);
-    TheoryUtils_instance.n1s(clauses);
+    TheoryUtils_instance.j1s(clauses);
     return $this;
   }
   function ListedTheory_init_$Create$_0(unificator, clauses, tags) {
@@ -3783,13 +4044,13 @@
   }
   function _get_hashCodeCache__ny3r0q_1($this) {
     // Inline function 'kotlin.getValue' call
-    var this_0 = $this.y1t_1;
+    var this_0 = $this.g1u_1;
     hashCodeCache$factory_1();
     return this_0.r2();
   }
   function _get_sizeCache__6eswog_0($this) {
     // Inline function 'kotlin.getValue' call
-    var this_0 = $this.z1t_1;
+    var this_0 = $this.h1u_1;
     sizeCache$factory_0();
     return this_0.r2();
   }
@@ -3806,23 +4067,23 @@
   function ListedTheory(unificator, clauses, tags) {
     AbstractListedTheory.call(this, unificator, clauses, tags);
     var tmp = this;
-    tmp.y1t_1 = lazy(ListedTheory$hashCodeCache$delegate$lambda(this));
+    tmp.g1u_1 = lazy(ListedTheory$hashCodeCache$delegate$lambda(this));
     var tmp_0 = this;
-    tmp_0.z1t_1 = lazy(ListedTheory$sizeCache$delegate$lambda(this));
+    tmp_0.h1u_1 = lazy(ListedTheory$sizeCache$delegate$lambda(this));
   }
-  protoOf(ListedTheory).v1s = function (clauses, tags, unificator) {
+  protoOf(ListedTheory).r1s = function (clauses, tags, unificator) {
     return ListedTheory_init_$Create$_0(unificator, clauses, tags);
   };
-  protoOf(ListedTheory).d1t = function (clause) {
+  protoOf(ListedTheory).l1t = function (clause) {
     // Inline function 'kotlin.collections.filter' call
     // Inline function 'kotlin.collections.filterTo' call
-    var this_0 = this.t1l();
+    var this_0 = this.p1l();
     var destination = ArrayList_init_$Create$_0();
     var tmp0_iterator = this_0.r();
     while (tmp0_iterator.s()) {
       var element = tmp0_iterator.u();
       // Inline function 'it.unibo.tuprolog.theory.impl.ListedTheory.retract.<anonymous>' call
-      if (this.j1l().match(element, clause)) {
+      if (this.f1l().match(element, clause)) {
         destination.o(element);
       }
     }
@@ -3834,7 +4095,7 @@
       var toBeActuallyRetracted = first(retractability);
       // Inline function 'kotlin.collections.filter' call
       // Inline function 'kotlin.collections.filterTo' call
-      var this_1 = this.t1l();
+      var this_1 = this.p1l();
       var destination_0 = ArrayList_init_$Create$_0();
       var tmp0_iterator_0 = this_1.r();
       while (tmp0_iterator_0.s()) {
@@ -3845,21 +4106,21 @@
         }
       }
       var newTheory = destination_0;
-      tmp = new Success_0(new ListedTheory(this.j1l(), newTheory, this.vt()), listOf_0(toBeActuallyRetracted));
+      tmp = new Success_0(new ListedTheory(this.f1l(), newTheory, this.vt()), listOf_0(toBeActuallyRetracted));
     }
     return tmp;
   };
   protoOf(ListedTheory).retract = function (clause) {
-    return this.d1t(clause);
+    return this.l1t(clause);
   };
-  protoOf(ListedTheory).a1t = function () {
-    return Companion_instance_9.listedOfIterable(this.j1l(), this);
+  protoOf(ListedTheory).i1t = function () {
+    return Companion_instance_9.listedOfIterable(this.f1l(), this);
   };
   protoOf(ListedTheory).toMutableTheory = function () {
-    return this.a1t();
+    return this.i1t();
   };
-  protoOf(ListedTheory).x1s = function (clauses) {
-    var residual = dequeOf_1(this.t1l());
+  protoOf(ListedTheory).t1s = function (clauses) {
+    var residual = dequeOf_1(this.p1l());
     var removed = dequeOf([]);
     var i = residual.r();
     while (i.s()) {
@@ -3881,7 +4142,7 @@
         while (tmp0_iterator.s()) {
           var element = tmp0_iterator.u();
           // Inline function 'it.unibo.tuprolog.theory.impl.ListedTheory.retract.<anonymous>' call
-          if (this.j1l().match(element, current)) {
+          if (this.f1l().match(element, current)) {
             tmp$ret$0 = true;
             break $l$block_0;
           }
@@ -3897,23 +4158,23 @@
     if (removed.y()) {
       tmp_0 = new Failure_0(this);
     } else {
-      tmp_0 = new Success_0(new ListedTheory(this.j1l(), residual, this.vt()), removed);
+      tmp_0 = new Success_0(new ListedTheory(this.f1l(), residual, this.vt()), removed);
     }
     return tmp_0;
   };
   protoOf(ListedTheory).retractIterable = function (clauses) {
-    return this.x1s(clauses);
+    return this.t1s(clauses);
   };
-  protoOf(ListedTheory).b1m = function (clause) {
+  protoOf(ListedTheory).x1l = function (clause) {
     // Inline function 'kotlin.collections.filter' call
     // Inline function 'kotlin.collections.filterTo' call
-    var this_0 = this.t1l();
+    var this_0 = this.p1l();
     var destination = ArrayList_init_$Create$_0();
     var tmp0_iterator = this_0.r();
     while (tmp0_iterator.s()) {
       var element = tmp0_iterator.u();
       // Inline function 'it.unibo.tuprolog.theory.impl.ListedTheory.retractAll.<anonymous>' call
-      if (this.j1l().match(element, clause)) {
+      if (this.f1l().match(element, clause)) {
         destination.o(element);
       }
     }
@@ -3923,14 +4184,14 @@
       tmp = new Failure_0(this);
     } else {
       // Inline function 'kotlin.collections.partition' call
-      var this_1 = toList_0(this.t1l());
+      var this_1 = toList_0(this.p1l());
       var first = ArrayList_init_$Create$_0();
       var second = ArrayList_init_$Create$_0();
       var tmp0_iterator_0 = this_1.r();
       while (tmp0_iterator_0.s()) {
         var element_0 = tmp0_iterator_0.u();
         // Inline function 'it.unibo.tuprolog.theory.impl.ListedTheory.retractAll.<anonymous>' call
-        if (this.j1l().match(element_0, clause)) {
+        if (this.f1l().match(element_0, clause)) {
           first.o(element_0);
         } else {
           second.o(element_0);
@@ -3939,12 +4200,12 @@
       var partitionedClauses = new Pair(first, second);
       var newTheory = partitionedClauses.ze_1;
       var toBeActuallyRetracted = partitionedClauses.ye_1;
-      tmp = new Success_0(new ListedTheory(this.j1l(), newTheory, this.vt()), toBeActuallyRetracted);
+      tmp = new Success_0(new ListedTheory(this.f1l(), newTheory, this.vt()), toBeActuallyRetracted);
     }
     return tmp;
   };
   protoOf(ListedTheory).retractAll = function (clause) {
-    return this.b1m(clause);
+    return this.x1l(clause);
   };
   protoOf(ListedTheory).hashCode = function () {
     return _get_hashCodeCache__ny3r0q_1(this);
@@ -3953,16 +4214,16 @@
     return _get_sizeCache__6eswog_0(this);
   };
   protoOf(ListedTheory).u12 = function (tags) {
-    return tags === this.vt() ? this : new ListedTheory(this.j1l(), this.t1l(), tags);
+    return tags === this.vt() ? this : new ListedTheory(this.f1l(), this.p1l(), tags);
   };
   protoOf(ListedTheory).resetTags = function (tags) {
     return this.u12(tags);
   };
-  protoOf(ListedTheory).m1s = function (theory) {
-    return this.o1l() ? theory.toImmutableTheory() : theory.o1l() ? this : protoOf(AbstractListedTheory).m1s.call(this, theory);
+  protoOf(ListedTheory).i1s = function (theory) {
+    return this.k1l() ? theory.toImmutableTheory() : theory.k1l() ? this : protoOf(AbstractListedTheory).i1s.call(this, theory);
   };
   protoOf(ListedTheory).plusTheory = function (theory) {
-    return this.m1s(theory);
+    return this.i1s(theory);
   };
   function hashCodeCache$factory_1() {
     return getPropertyCallableRef('hashCodeCache', 1, KProperty1, function (receiver) {
@@ -3977,7 +4238,7 @@
   function MutableIndexedTheory_init_$Init$(unificator, clauses, tags, $this) {
     tags = tags === VOID ? emptyMap() : tags;
     MutableIndexedTheory.call($this, Companion_instance_5.ofIterable(unificator, clauses), tags);
-    TheoryUtils_instance.q1m(clauses);
+    TheoryUtils_instance.m1m(clauses);
     return $this;
   }
   function MutableIndexedTheory_init_$Create$(unificator, clauses, tags) {
@@ -3992,54 +4253,54 @@
     return MutableIndexedTheory_init_$Init$_0(unificator, clauses, tags, objectCreate(protoOf(MutableIndexedTheory)));
   }
   function toRetractResult(_this__u8e3s4, $this) {
-    return _this__u8e3s4.w12() ? new Success_0($this, ensureNotNull(_this__u8e3s4.t1l())) : new Failure_0($this);
+    return _this__u8e3s4.w12() ? new Success_0($this, ensureNotNull(_this__u8e3s4.p1l())) : new Failure_0($this);
   }
   function MutableIndexedTheory$retract$lambda(this$0) {
     return function (it) {
-      return this$0.c1u_1.y1l(it);
+      return this$0.k1u_1.u1l(it);
     };
   }
   function MutableIndexedTheory$retract$lambda_0(it) {
     return it.w12();
   }
   function MutableIndexedTheory$retract$lambda_1(it) {
-    return asSequence(ensureNotNull(it.t1l()));
+    return asSequence(ensureNotNull(it.p1l()));
   }
   function MutableIndexedTheory(queue, tags) {
     AbstractIndexedTheory.call(this, queue, tags);
-    this.c1u_1 = queue;
+    this.k1u_1 = queue;
   }
-  protoOf(MutableIndexedTheory).m1t = function () {
-    return this.c1u_1;
+  protoOf(MutableIndexedTheory).u1t = function () {
+    return this.k1u_1;
   };
-  protoOf(MutableIndexedTheory).k1s = function (unificator) {
-    return protoOf(AbstractIndexedTheory).k1s.call(this, unificator).toMutableTheory();
+  protoOf(MutableIndexedTheory).g1s = function (unificator) {
+    return protoOf(AbstractIndexedTheory).g1s.call(this, unificator).toMutableTheory();
   };
   protoOf(MutableIndexedTheory).setUnificator = function (unificator) {
-    return this.k1s(unificator);
+    return this.g1s(unificator);
   };
-  protoOf(MutableIndexedTheory).a1t = function () {
+  protoOf(MutableIndexedTheory).i1t = function () {
     return toMutableTheory.call(this);
   };
   protoOf(MutableIndexedTheory).toMutableTheory = function () {
-    return this.a1t();
+    return this.i1t();
   };
-  protoOf(MutableIndexedTheory).t1l = function () {
-    return toList_0(this.c1u_1);
+  protoOf(MutableIndexedTheory).p1l = function () {
+    return toList_0(this.k1u_1);
   };
   protoOf(MutableIndexedTheory).r = function () {
-    return this.c1u_1.r();
+    return this.k1u_1.r();
   };
-  protoOf(MutableIndexedTheory).v1s = function (clauses, tags, unificator) {
+  protoOf(MutableIndexedTheory).r1s = function (clauses, tags, unificator) {
     return MutableIndexedTheory_init_$Create$_0(unificator, clauses, tags);
   };
-  protoOf(MutableIndexedTheory).d1t = function (clause) {
-    return toRetractResult(this.c1u_1.y1l(clause), this);
+  protoOf(MutableIndexedTheory).l1t = function (clause) {
+    return toRetractResult(this.k1u_1.u1l(clause), this);
   };
   protoOf(MutableIndexedTheory).retract = function (clause) {
-    return this.d1t(clause);
+    return this.l1t(clause);
   };
-  protoOf(MutableIndexedTheory).x1s = function (clauses) {
+  protoOf(MutableIndexedTheory).t1s = function (clauses) {
     var tmp = asSequence(clauses);
     var tmp_0 = map(tmp, MutableIndexedTheory$retract$lambda(this));
     var tmp_1 = filter(tmp_0, MutableIndexedTheory$retract$lambda_0);
@@ -4053,134 +4314,134 @@
     return tmp_2;
   };
   protoOf(MutableIndexedTheory).retractIterable = function (clauses) {
-    return this.x1s(clauses);
+    return this.t1s(clauses);
   };
-  protoOf(MutableIndexedTheory).b1m = function (clause) {
-    return toRetractResult(this.c1u_1.a1m(clause), this);
+  protoOf(MutableIndexedTheory).x1l = function (clause) {
+    return toRetractResult(this.k1u_1.w1l(clause), this);
   };
   protoOf(MutableIndexedTheory).retractAll = function (clause) {
-    return this.b1m(clause);
+    return this.x1l(clause);
   };
-  protoOf(MutableIndexedTheory).a1s = function (clause) {
-    return this.s1s(TheoryUtils_instance.f1m(clause));
+  protoOf(MutableIndexedTheory).w1r = function (clause) {
+    return this.o1s(TheoryUtils_instance.b1m(clause));
   };
   protoOf(MutableIndexedTheory).plus = function (clause) {
-    return this.a1s(clause);
+    return this.w1r(clause);
   };
-  protoOf(MutableIndexedTheory).m1s = function (theory) {
+  protoOf(MutableIndexedTheory).i1s = function (theory) {
     var tmp;
     if (theory === this) {
-      tmp = this.t1s(toList_0(theory));
+      tmp = this.p1s(toList_0(theory));
     } else {
-      tmp = this.t1s(theory);
+      tmp = this.p1s(theory);
     }
     return tmp;
   };
   protoOf(MutableIndexedTheory).plusTheory = function (theory) {
-    return this.m1s(theory);
+    return this.i1s(theory);
   };
-  protoOf(MutableIndexedTheory).o1s = function (clause) {
+  protoOf(MutableIndexedTheory).k1s = function (clause) {
     // Inline function 'kotlin.also' call
     // Inline function 'kotlin.contracts.contract' call
     // Inline function 'it.unibo.tuprolog.theory.impl.MutableIndexedTheory.assertA.<anonymous>' call
-    this.c1u_1.g1m(TheoryUtils_instance.f1m(clause));
+    this.k1u_1.c1m(TheoryUtils_instance.b1m(clause));
     return this;
   };
   protoOf(MutableIndexedTheory).assertA = function (clause) {
-    return this.o1s(clause);
+    return this.k1s(clause);
   };
-  protoOf(MutableIndexedTheory).q1s = function (clauses) {
+  protoOf(MutableIndexedTheory).m1s = function (clauses) {
     // Inline function 'kotlin.also' call
     // Inline function 'kotlin.contracts.contract' call
     // Inline function 'it.unibo.tuprolog.theory.impl.MutableIndexedTheory.assertA.<anonymous>' call
-    var tmp0_iterator = asReversed(toList_0(TheoryUtils_instance.q1m(clauses))).r();
+    var tmp0_iterator = asReversed(toList_0(TheoryUtils_instance.m1m(clauses))).r();
     while (tmp0_iterator.s()) {
       var clause = tmp0_iterator.u();
-      this.c1u_1.g1m(clause);
+      this.k1u_1.c1m(clause);
     }
     return this;
   };
   protoOf(MutableIndexedTheory).assertAIterable = function (clauses) {
-    return this.q1s(clauses);
+    return this.m1s(clauses);
   };
-  protoOf(MutableIndexedTheory).r1s = function (clauses) {
-    return this.q1s(asIterable(clauses));
+  protoOf(MutableIndexedTheory).n1s = function (clauses) {
+    return this.m1s(asIterable(clauses));
   };
   protoOf(MutableIndexedTheory).assertASequence = function (clauses) {
-    return this.r1s(clauses);
+    return this.n1s(clauses);
   };
-  protoOf(MutableIndexedTheory).s1s = function (clause) {
+  protoOf(MutableIndexedTheory).o1s = function (clause) {
     // Inline function 'kotlin.also' call
     // Inline function 'kotlin.contracts.contract' call
     // Inline function 'it.unibo.tuprolog.theory.impl.MutableIndexedTheory.assertZ.<anonymous>' call
-    this.c1u_1.h1m(TheoryUtils_instance.f1m(clause));
+    this.k1u_1.d1m(TheoryUtils_instance.b1m(clause));
     return this;
   };
   protoOf(MutableIndexedTheory).assertZ = function (clause) {
-    return this.s1s(clause);
+    return this.o1s(clause);
   };
-  protoOf(MutableIndexedTheory).t1s = function (clauses) {
+  protoOf(MutableIndexedTheory).p1s = function (clauses) {
     // Inline function 'kotlin.also' call
     // Inline function 'kotlin.contracts.contract' call
     // Inline function 'it.unibo.tuprolog.theory.impl.MutableIndexedTheory.assertZ.<anonymous>' call
-    this.c1u_1.x1l(TheoryUtils_instance.q1m(clauses));
+    this.k1u_1.t1l(TheoryUtils_instance.m1m(clauses));
     return this;
   };
   protoOf(MutableIndexedTheory).assertZIterable = function (clauses) {
-    return this.t1s(clauses);
+    return this.p1s(clauses);
   };
-  protoOf(MutableIndexedTheory).u1s = function (clauses) {
-    return this.t1s(TheoryUtils_instance.q1m(asIterable(clauses)));
+  protoOf(MutableIndexedTheory).q1s = function (clauses) {
+    return this.p1s(TheoryUtils_instance.m1m(asIterable(clauses)));
   };
   protoOf(MutableIndexedTheory).assertZSequence = function (clauses) {
-    return this.u1s(clauses);
+    return this.q1s(clauses);
   };
-  protoOf(MutableIndexedTheory).w1s = function (clauses) {
-    return this.x1s(asIterable(clauses));
+  protoOf(MutableIndexedTheory).s1s = function (clauses) {
+    return this.t1s(asIterable(clauses));
   };
   protoOf(MutableIndexedTheory).retractSequence = function (clauses) {
-    return this.w1s(clauses);
+    return this.s1s(clauses);
   };
-  protoOf(MutableIndexedTheory).f1s = function (indicator) {
-    return protoOf(AbstractIndexedTheory).f1s.call(this, indicator).toMutableTheory();
+  protoOf(MutableIndexedTheory).b1s = function (indicator) {
+    return protoOf(AbstractIndexedTheory).b1s.call(this, indicator).toMutableTheory();
   };
   protoOf(MutableIndexedTheory).abolish = function (indicator) {
-    return this.f1s(indicator);
+    return this.b1s(indicator);
   };
-  protoOf(MutableIndexedTheory).z1r = function () {
-    return Companion_instance_10.indexedOfIterable(this.j1l(), this);
+  protoOf(MutableIndexedTheory).v1r = function () {
+    return Companion_instance_10.indexedOfIterable(this.f1l(), this);
   };
   protoOf(MutableIndexedTheory).toImmutableTheory = function () {
-    return this.z1r();
+    return this.v1r();
   };
   protoOf(MutableIndexedTheory).u12 = function (tags) {
-    return tags === this.vt() ? this : new MutableIndexedTheory(this.c1u_1, tags);
+    return tags === this.vt() ? this : new MutableIndexedTheory(this.k1u_1, tags);
   };
   protoOf(MutableIndexedTheory).resetTags = function (tags) {
     return this.u12(tags);
   };
-  protoOf(MutableIndexedTheory).y1s = function () {
-    return this.l1s(asSequence(this.t1l()));
+  protoOf(MutableIndexedTheory).u1s = function () {
+    return this.h1s(asSequence(this.p1l()));
   };
   protoOf(MutableIndexedTheory).clone = function () {
-    return this.y1s();
+    return this.u1s();
   };
   protoOf(MutableIndexedTheory).assertAFact = function (struct) {
-    return this.b1t(struct);
+    return this.j1t(struct);
   };
   protoOf(MutableIndexedTheory).assertZFact = function (struct) {
-    return this.c1t(struct);
+    return this.k1t(struct);
   };
   protoOf(MutableIndexedTheory).retractByHead = function (head) {
-    return this.e1t(head);
+    return this.m1t(head);
   };
   protoOf(MutableIndexedTheory).retractAllByHead = function (head) {
-    return this.f1t(head);
+    return this.n1t(head);
   };
   function MutableListedTheory_init_$Init$(unificator, clauses, tags, $this) {
     tags = tags === VOID ? emptyMap() : tags;
     MutableListedTheory.call($this, unificator, toMutableList(clauses), tags);
-    TheoryUtils_instance.q1m(clauses);
+    TheoryUtils_instance.m1m(clauses);
     return $this;
   }
   function MutableListedTheory_init_$Create$(unificator, clauses, tags) {
@@ -4189,7 +4450,7 @@
   function MutableListedTheory_init_$Init$_0(unificator, clauses, tags, $this) {
     tags = tags === VOID ? emptyMap() : tags;
     MutableListedTheory.call($this, unificator, toMutableList_0(clauses), tags);
-    TheoryUtils_instance.n1s(clauses);
+    TheoryUtils_instance.j1s(clauses);
     return $this;
   }
   function MutableListedTheory_init_$Create$_0(unificator, clauses, tags) {
@@ -4197,32 +4458,32 @@
   }
   function MutableListedTheory(unificator, clauses, tags) {
     AbstractListedTheory.call(this, unificator, clauses, tags);
-    this.g1u_1 = clauses;
+    this.o1u_1 = clauses;
   }
-  protoOf(MutableListedTheory).t1l = function () {
-    return this.g1u_1;
+  protoOf(MutableListedTheory).p1l = function () {
+    return this.o1u_1;
   };
-  protoOf(MutableListedTheory).k1s = function (unificator) {
-    this.q1t(unificator);
+  protoOf(MutableListedTheory).g1s = function (unificator) {
+    this.y1t(unificator);
     return this;
   };
   protoOf(MutableListedTheory).setUnificator = function (unificator) {
-    return this.k1s(unificator);
+    return this.g1s(unificator);
   };
-  protoOf(MutableListedTheory).a1t = function () {
+  protoOf(MutableListedTheory).i1t = function () {
     return toMutableTheory.call(this);
   };
   protoOf(MutableListedTheory).toMutableTheory = function () {
-    return this.a1t();
+    return this.i1t();
   };
-  protoOf(MutableListedTheory).v1s = function (clauses, tags, unificator) {
+  protoOf(MutableListedTheory).r1s = function (clauses, tags, unificator) {
     return MutableListedTheory_init_$Create$_0(unificator, clauses, tags);
   };
-  protoOf(MutableListedTheory).d1t = function (clause) {
-    var i = this.g1u_1.z1();
+  protoOf(MutableListedTheory).l1t = function (clause) {
+    var i = this.o1u_1.z1();
     while (i.s()) {
       var c = i.u();
-      if (this.j1l().match(c, clause)) {
+      if (this.f1l().match(c, clause)) {
         i.t();
         return new Success_0(this, listOf_0(c));
       }
@@ -4230,10 +4491,10 @@
     return new Failure_0(this);
   };
   protoOf(MutableListedTheory).retract = function (clause) {
-    return this.d1t(clause);
+    return this.l1t(clause);
   };
-  protoOf(MutableListedTheory).x1s = function (clauses) {
-    var i = this.g1u_1.z1();
+  protoOf(MutableListedTheory).t1s = function (clauses) {
+    var i = this.o1u_1.z1();
     // Inline function 'kotlin.collections.mutableListOf' call
     var retracted = ArrayList_init_$Create$_0();
     while (i.s()) {
@@ -4241,7 +4502,7 @@
       var tmp0_iterator = clauses.r();
       while (tmp0_iterator.s()) {
         var clause = tmp0_iterator.u();
-        if (this.j1l().match(c, clause)) {
+        if (this.f1l().match(c, clause)) {
           retracted.o(c);
           i.t();
         }
@@ -4256,15 +4517,15 @@
     return tmp;
   };
   protoOf(MutableListedTheory).retractIterable = function (clauses) {
-    return this.x1s(clauses);
+    return this.t1s(clauses);
   };
-  protoOf(MutableListedTheory).b1m = function (clause) {
-    var i = this.g1u_1.z1();
+  protoOf(MutableListedTheory).x1l = function (clause) {
+    var i = this.o1u_1.z1();
     // Inline function 'kotlin.collections.mutableListOf' call
     var retracted = ArrayList_init_$Create$_0();
     while (i.s()) {
       var c = i.u();
-      if (this.j1l().match(c, clause)) {
+      if (this.f1l().match(c, clause)) {
         retracted.o(c);
         i.t();
       }
@@ -4278,119 +4539,119 @@
     return tmp;
   };
   protoOf(MutableListedTheory).retractAll = function (clause) {
-    return this.b1m(clause);
+    return this.x1l(clause);
   };
-  protoOf(MutableListedTheory).a1s = function (clause) {
-    return this.s1s(clause);
+  protoOf(MutableListedTheory).w1r = function (clause) {
+    return this.o1s(clause);
   };
   protoOf(MutableListedTheory).plus = function (clause) {
-    return this.a1s(clause);
+    return this.w1r(clause);
   };
-  protoOf(MutableListedTheory).m1s = function (theory) {
+  protoOf(MutableListedTheory).i1s = function (theory) {
     var tmp;
     if (theory === this) {
-      tmp = this.t1s(toList_0(theory));
+      tmp = this.p1s(toList_0(theory));
     } else {
-      tmp = this.t1s(theory);
+      tmp = this.p1s(theory);
     }
     return tmp;
   };
   protoOf(MutableListedTheory).plusTheory = function (theory) {
-    return this.m1s(theory);
+    return this.i1s(theory);
   };
-  protoOf(MutableListedTheory).o1s = function (clause) {
+  protoOf(MutableListedTheory).k1s = function (clause) {
     // Inline function 'kotlin.also' call
     // Inline function 'kotlin.contracts.contract' call
     // Inline function 'it.unibo.tuprolog.theory.impl.MutableListedTheory.assertA.<anonymous>' call
-    addFirst(this.g1u_1, TheoryUtils_instance.f1m(clause));
+    addFirst(this.o1u_1, TheoryUtils_instance.b1m(clause));
     return this;
   };
   protoOf(MutableListedTheory).assertA = function (clause) {
-    return this.o1s(clause);
+    return this.k1s(clause);
   };
-  protoOf(MutableListedTheory).q1s = function (clauses) {
+  protoOf(MutableListedTheory).m1s = function (clauses) {
     // Inline function 'kotlin.also' call
     // Inline function 'kotlin.contracts.contract' call
     // Inline function 'it.unibo.tuprolog.theory.impl.MutableListedTheory.assertA.<anonymous>' call
-    addFirst_0(this.g1u_1, TheoryUtils_instance.q1m(clauses));
+    addFirst_0(this.o1u_1, TheoryUtils_instance.m1m(clauses));
     return this;
   };
   protoOf(MutableListedTheory).assertAIterable = function (clauses) {
-    return this.q1s(clauses);
+    return this.m1s(clauses);
   };
-  protoOf(MutableListedTheory).r1s = function (clauses) {
-    return this.q1s(asIterable(clauses));
+  protoOf(MutableListedTheory).n1s = function (clauses) {
+    return this.m1s(asIterable(clauses));
   };
   protoOf(MutableListedTheory).assertASequence = function (clauses) {
-    return this.r1s(clauses);
+    return this.n1s(clauses);
   };
-  protoOf(MutableListedTheory).s1s = function (clause) {
+  protoOf(MutableListedTheory).o1s = function (clause) {
     // Inline function 'kotlin.also' call
     // Inline function 'kotlin.contracts.contract' call
     // Inline function 'it.unibo.tuprolog.theory.impl.MutableListedTheory.assertZ.<anonymous>' call
-    this.g1u_1.o(TheoryUtils_instance.f1m(clause));
+    this.o1u_1.o(TheoryUtils_instance.b1m(clause));
     return this;
   };
   protoOf(MutableListedTheory).assertZ = function (clause) {
-    return this.s1s(clause);
+    return this.o1s(clause);
   };
-  protoOf(MutableListedTheory).t1s = function (clauses) {
+  protoOf(MutableListedTheory).p1s = function (clauses) {
     // Inline function 'kotlin.also' call
     // Inline function 'kotlin.contracts.contract' call
     // Inline function 'it.unibo.tuprolog.theory.impl.MutableListedTheory.assertZ.<anonymous>' call
-    addAll(this.g1u_1, TheoryUtils_instance.q1m(clauses));
+    addAll(this.o1u_1, TheoryUtils_instance.m1m(clauses));
     return this;
   };
   protoOf(MutableListedTheory).assertZIterable = function (clauses) {
-    return this.t1s(clauses);
+    return this.p1s(clauses);
   };
-  protoOf(MutableListedTheory).u1s = function (clauses) {
-    return this.t1s(asIterable(clauses));
+  protoOf(MutableListedTheory).q1s = function (clauses) {
+    return this.p1s(asIterable(clauses));
   };
   protoOf(MutableListedTheory).assertZSequence = function (clauses) {
-    return this.u1s(clauses);
+    return this.q1s(clauses);
   };
-  protoOf(MutableListedTheory).w1s = function (clauses) {
-    return this.x1s(asIterable(clauses));
+  protoOf(MutableListedTheory).s1s = function (clauses) {
+    return this.t1s(asIterable(clauses));
   };
   protoOf(MutableListedTheory).retractSequence = function (clauses) {
-    return this.w1s(clauses);
+    return this.s1s(clauses);
   };
-  protoOf(MutableListedTheory).f1s = function (indicator) {
-    return protoOf(AbstractListedTheory).f1s.call(this, indicator).toMutableTheory();
+  protoOf(MutableListedTheory).b1s = function (indicator) {
+    return protoOf(AbstractListedTheory).b1s.call(this, indicator).toMutableTheory();
   };
   protoOf(MutableListedTheory).abolish = function (indicator) {
-    return this.f1s(indicator);
+    return this.b1s(indicator);
   };
-  protoOf(MutableListedTheory).z1r = function () {
-    return Companion_instance_10.listedOfIterable(this.j1l(), this);
+  protoOf(MutableListedTheory).v1r = function () {
+    return Companion_instance_10.listedOfIterable(this.f1l(), this);
   };
   protoOf(MutableListedTheory).toImmutableTheory = function () {
-    return this.z1r();
+    return this.v1r();
   };
   protoOf(MutableListedTheory).u12 = function (tags) {
-    return tags === this.vt() ? this : new MutableListedTheory(this.j1l(), this.g1u_1, tags);
+    return tags === this.vt() ? this : new MutableListedTheory(this.f1l(), this.o1u_1, tags);
   };
   protoOf(MutableListedTheory).resetTags = function (tags) {
     return this.u12(tags);
   };
-  protoOf(MutableListedTheory).y1s = function () {
-    return this.l1s(asSequence(this.g1u_1));
+  protoOf(MutableListedTheory).u1s = function () {
+    return this.h1s(asSequence(this.o1u_1));
   };
   protoOf(MutableListedTheory).clone = function () {
-    return this.y1s();
+    return this.u1s();
   };
   protoOf(MutableListedTheory).assertAFact = function (struct) {
-    return this.b1t(struct);
+    return this.j1t(struct);
   };
   protoOf(MutableListedTheory).assertZFact = function (struct) {
-    return this.c1t(struct);
+    return this.k1t(struct);
   };
   protoOf(MutableListedTheory).retractByHead = function (head) {
-    return this.e1t(head);
+    return this.m1t(head);
   };
   protoOf(MutableListedTheory).retractAllByHead = function (head) {
-    return this.f1t(head);
+    return this.n1t(head);
   };
   function takeFirstAfterSkipping(_this__u8e3s4, n) {
     var iter = _this__u8e3s4.r();
@@ -4409,50 +4670,66 @@
   }
   //region block: post-declaration
   defineProp(protoOf(RetrieveResult), 'collection', function () {
-    return this.l1m();
+    return this.h1m();
   });
   defineProp(protoOf(RetrieveResult), 'clauses', function () {
-    return this.t1l();
+    return this.p1l();
   });
   defineProp(protoOf(RetrieveResult), 'firstClause', function () {
-    return this.m1m();
+    return this.i1m();
   });
-  protoOf(MutableReteClauseQueue).r1l = get;
-  protoOf(ReteClauseQueue).r1l = get;
-  protoOf(IndexedClause$Companion$wrap$1).o1n = get_innerClause;
-  protoOf(IndexedClause$Companion$wrap$1).w1o = plus_1;
+  protoOf(MutableReteClauseQueue).n1l = get;
+  protoOf(ReteClauseQueue).n1l = get;
+  protoOf(IndexedClause$Companion$wrap$1).k1n = get_innerClause;
+  protoOf(IndexedClause$Companion$wrap$1).s1o = plus_1;
   protoOf(IndexedClause$Companion$wrap$1).kt = compareTo;
-  protoOf(SituatedIndexedClause$Companion$of$1).o1n = get_innerClause;
-  protoOf(SituatedIndexedClause$Companion$of$1).w1o = plus_1;
+  protoOf(SituatedIndexedClause$Companion$of$1).k1n = get_innerClause;
+  protoOf(SituatedIndexedClause$Companion$of$1).s1o = plus_1;
   protoOf(SituatedIndexedClause$Companion$of$1).kt = compareTo;
-  protoOf(AbstractTheory).z1s = get_isMutable;
-  protoOf(AbstractTheory).n1l = get_rules;
-  protoOf(AbstractTheory).m1l = get_directives;
+  protoOf(AbstractTheory).v1s = get_isMutable;
+  protoOf(AbstractTheory).j1l = get_rules;
+  protoOf(AbstractTheory).i1l = get_directives;
   protoOf(AbstractTheory).assertAFact = assertAFact;
   protoOf(AbstractTheory).assertZFact = assertZFact;
   protoOf(AbstractTheory).retractByHead = retractByHead;
   protoOf(AbstractTheory).retractAllByHead = retractAllByHead;
   protoOf(AbstractTheory).getTag = getTag;
   protoOf(AbstractTheory).containsTag = containsTag;
+  protoOf(IndexedTheoryFactory).emptyTheory = emptyTheory;
+  protoOf(IndexedTheoryFactory).theoryOfIterable = theoryOfIterable;
+  protoOf(IndexedTheoryFactory).theoryOf = theoryOf;
+  protoOf(IndexedTheoryFactory).theoryOfSequence = theoryOfSequence;
+  protoOf(IndexedTheoryFactory).emptyMutableTheory = emptyMutableTheory;
+  protoOf(IndexedTheoryFactory).mutableTheoryOfIterable = mutableTheoryOfIterable;
+  protoOf(IndexedTheoryFactory).mutableTheoryOf = mutableTheoryOf;
+  protoOf(IndexedTheoryFactory).mutableTheoryOfSequence = mutableTheoryOfSequence;
+  protoOf(ListedTheoryFactory).emptyTheory = emptyTheory;
+  protoOf(ListedTheoryFactory).theoryOfIterable = theoryOfIterable;
+  protoOf(ListedTheoryFactory).theoryOf = theoryOf;
+  protoOf(ListedTheoryFactory).theoryOfSequence = theoryOfSequence;
+  protoOf(ListedTheoryFactory).emptyMutableTheory = emptyMutableTheory;
+  protoOf(ListedTheoryFactory).mutableTheoryOfIterable = mutableTheoryOfIterable;
+  protoOf(ListedTheoryFactory).mutableTheoryOf = mutableTheoryOf;
+  protoOf(ListedTheoryFactory).mutableTheoryOfSequence = mutableTheoryOfSequence;
   defineProp(protoOf(RetractResult), 'theory', function () {
-    return this.g1s();
+    return this.c1s();
   });
   defineProp(protoOf(RetractResult), 'clauses', function () {
-    return this.t1l();
+    return this.p1l();
   });
   defineProp(protoOf(RetractResult), 'firstClause', function () {
-    return this.m1m();
+    return this.i1m();
   });
-  protoOf(MutableIndexedTheory).b1t = assertAFact_0;
-  protoOf(MutableIndexedTheory).c1t = assertZFact_0;
-  protoOf(MutableIndexedTheory).e1t = retractByHead_0;
-  protoOf(MutableIndexedTheory).z1s = get_isMutable_0;
-  protoOf(MutableIndexedTheory).f1t = retractAllByHead_0;
-  protoOf(MutableListedTheory).b1t = assertAFact_0;
-  protoOf(MutableListedTheory).c1t = assertZFact_0;
-  protoOf(MutableListedTheory).e1t = retractByHead_0;
-  protoOf(MutableListedTheory).z1s = get_isMutable_0;
-  protoOf(MutableListedTheory).f1t = retractAllByHead_0;
+  protoOf(MutableIndexedTheory).j1t = assertAFact_0;
+  protoOf(MutableIndexedTheory).k1t = assertZFact_0;
+  protoOf(MutableIndexedTheory).m1t = retractByHead_0;
+  protoOf(MutableIndexedTheory).v1s = get_isMutable_0;
+  protoOf(MutableIndexedTheory).n1t = retractAllByHead_0;
+  protoOf(MutableListedTheory).j1t = assertAFact_0;
+  protoOf(MutableListedTheory).k1t = assertZFact_0;
+  protoOf(MutableListedTheory).m1t = retractByHead_0;
+  protoOf(MutableListedTheory).v1s = get_isMutable_0;
+  protoOf(MutableListedTheory).n1t = retractAllByHead_0;
   //endregion
   //region block: init
   Companion_instance_4 = new Companion();