@tuprolog/arg2p 0.10.0

package/2p-theory.js

@@ -0,0 +1,4771 @@
+(function (root, factory) {
+  if (typeof define === 'function' && define.amd)
+    define(['exports', './kotlin-kotlin-stdlib.js', './2p-core.js', './2p-utils.js', './2p-unify.js'], factory);
+  else if (typeof exports === 'object')
+    factory(module.exports, require('./kotlin-kotlin-stdlib.js'), require('./2p-core.js'), require('./2p-utils.js'), require('./2p-unify.js'));
+  else {
+    if (typeof this['kotlin-kotlin-stdlib'] === 'undefined') {
+      throw new Error("Error loading module '2p-theory'. Its dependency 'kotlin-kotlin-stdlib' was not found. Please, check whether 'kotlin-kotlin-stdlib' is loaded prior to '2p-theory'.");
+    }
+    if (typeof this['2p-core'] === 'undefined') {
+      throw new Error("Error loading module '2p-theory'. Its dependency '2p-core' was not found. Please, check whether '2p-core' is loaded prior to '2p-theory'.");
+    }
+    if (typeof this['2p-utils'] === 'undefined') {
+      throw new Error("Error loading module '2p-theory'. Its dependency '2p-utils' was not found. Please, check whether '2p-utils' is loaded prior to '2p-theory'.");
+    }
+    if (typeof this['2p-unify'] === 'undefined') {
+      throw new Error("Error loading module '2p-theory'. Its dependency '2p-unify' was not found. Please, check whether '2p-unify' is loaded prior to '2p-theory'.");
+    }
+    root['2p-theory'] = factory(typeof this['2p-theory'] === 'undefined' ? {} : this['2p-theory'], this['kotlin-kotlin-stdlib'], this['2p-core'], this['2p-utils'], this['2p-unify']);
+  }
+}(this, function (_, kotlin_kotlin, kotlin_it_unibo_tuprolog_core, kotlin_it_unibo_tuprolog_utils, kotlin_it_unibo_tuprolog_unify) {
+  'use strict';
+  //region block: imports
+  var imul = Math.imul;
+  var protoOf = kotlin_kotlin.$_$.b6;
+  var asIterable = kotlin_kotlin.$_$.a7;
+  var any = kotlin_kotlin.$_$.z6;
+  var asSequence = kotlin_kotlin.$_$.h2;
+  var getKClassFromExpression = kotlin_kotlin.$_$.b;
+  var joinToString = kotlin_kotlin.$_$.c3;
+  var Iterable = kotlin_kotlin.$_$.u1;
+  var classMeta = kotlin_kotlin.$_$.f5;
+  var setMetadataFor = kotlin_kotlin.$_$.c6;
+  var VOID = kotlin_kotlin.$_$.d;
+  var Unit_instance = kotlin_kotlin.$_$.s1;
+  var toList = kotlin_kotlin.$_$.j8;
+  var none = kotlin_kotlin.$_$.x7;
+  var emptyList = kotlin_kotlin.$_$.t2;
+  var asIterable_0 = kotlin_kotlin.$_$.c2;
+  var ArrayList_init_$Create$ = kotlin_kotlin.$_$.e;
+  var Companion_instance = kotlin_it_unibo_tuprolog_core.$_$.t;
+  var itemWiseEquals = kotlin_it_unibo_tuprolog_utils.$_$.e1;
+  var getKClass = kotlin_kotlin.$_$.c;
+  var itemWiseHashCode = kotlin_it_unibo_tuprolog_utils.$_$.f1;
+  var itemWiseHashCode_0 = kotlin_it_unibo_tuprolog_utils.$_$.g1;
+  var objectMeta = kotlin_kotlin.$_$.a6;
+  var interfaceMeta = kotlin_kotlin.$_$.o5;
+  var first = kotlin_kotlin.$_$.x2;
+  var hashCode = kotlin_kotlin.$_$.n5;
+  var THROW_CCE = kotlin_kotlin.$_$.y9;
+  var equals = kotlin_kotlin.$_$.i5;
+  var defineProp = kotlin_kotlin.$_$.h5;
+  var objectCreate = kotlin_kotlin.$_$.z5;
+  var toString = kotlin_kotlin.$_$.g6;
+  var IllegalArgumentException_init_$Create$ = kotlin_kotlin.$_$.s;
+  var asReversed = kotlin_kotlin.$_$.e2;
+  var isInterface = kotlin_kotlin.$_$.r5;
+  var lazy = kotlin_kotlin.$_$.ea;
+  var KProperty1 = kotlin_kotlin.$_$.w6;
+  var getPropertyCallableRef = kotlin_kotlin.$_$.l5;
+  var CoroutineImpl = kotlin_kotlin.$_$.x4;
+  var SequenceScope = kotlin_kotlin.$_$.x6;
+  var get_COROUTINE_SUSPENDED = kotlin_kotlin.$_$.w4;
+  var sequence = kotlin_kotlin.$_$.c8;
+  var listOf = kotlin_kotlin.$_$.k3;
+  var mergeSequences = kotlin_it_unibo_tuprolog_utils.$_$.i1;
+  var sequenceOf = kotlin_kotlin.$_$.b8;
+  var flatten = kotlin_kotlin.$_$.o7;
+  var compareTo = kotlin_it_unibo_tuprolog_utils.$_$.g;
+  var LongIndexed = kotlin_it_unibo_tuprolog_utils.$_$.h;
+  var Companion_instance_0 = kotlin_it_unibo_tuprolog_utils.$_$.d;
+  var copyToArray = kotlin_kotlin.$_$.r2;
+  var plus = kotlin_kotlin.$_$.e4;
+  var ArrayList_init_$Create$_0 = kotlin_kotlin.$_$.f;
+  var minOrNull = kotlin_kotlin.$_$.o3;
+  var ensureNotNull = kotlin_kotlin.$_$.ca;
+  var LinkedHashMap_init_$Create$ = kotlin_kotlin.$_$.h;
+  var map = kotlin_kotlin.$_$.v7;
+  var sum = kotlin_kotlin.$_$.e8;
+  var Collection = kotlin_kotlin.$_$.t1;
+  var dequeOf = kotlin_it_unibo_tuprolog_utils.$_$.z;
+  var addFirst = kotlin_it_unibo_tuprolog_utils.$_$.o;
+  var filter = kotlin_kotlin.$_$.j7;
+  var emptySequence = kotlin_kotlin.$_$.g7;
+  var buffered = kotlin_it_unibo_tuprolog_utils.$_$.s;
+  var collectionSizeOrDefault = kotlin_kotlin.$_$.j2;
+  var dequeOf_0 = kotlin_it_unibo_tuprolog_utils.$_$.x;
+  var Companion_instance_1 = kotlin_it_unibo_tuprolog_utils.$_$.b;
+  var firstOrNull = kotlin_kotlin.$_$.k7;
+  var NotImplementedError = kotlin_kotlin.$_$.t9;
+  var take = kotlin_kotlin.$_$.g8;
+  var IllegalStateException_init_$Create$ = kotlin_kotlin.$_$.v;
+  var Long = kotlin_kotlin.$_$.s9;
+  var UnsupportedOperationException_init_$Create$ = kotlin_kotlin.$_$.e1;
+  var Companion_instance_2 = kotlin_it_unibo_tuprolog_core.$_$.s;
+  var Companion_getInstance = kotlin_it_unibo_tuprolog_core.$_$.a1;
+  var Companion_getInstance_0 = kotlin_it_unibo_tuprolog_core.$_$.u;
+  var numberRangeToNumber = kotlin_kotlin.$_$.v5;
+  var plus_0 = kotlin_kotlin.$_$.z7;
+  var getTag = kotlin_it_unibo_tuprolog_utils.$_$.l;
+  var containsTag = kotlin_it_unibo_tuprolog_utils.$_$.k;
+  var Companion_getInstance_1 = kotlin_it_unibo_tuprolog_unify.$_$.b;
+  var Companion_instance_3 = kotlin_it_unibo_tuprolog_core.$_$.m;
+  var first_0 = kotlin_kotlin.$_$.y2;
+  var filterNotNull = kotlin_kotlin.$_$.h7;
+  var Taggable = kotlin_it_unibo_tuprolog_utils.$_$.m;
+  var filterNot = kotlin_kotlin.$_$.i7;
+  var asSequence_0 = kotlin_kotlin.$_$.i2;
+  var toLong = kotlin_kotlin.$_$.e6;
+  var emptyMap = kotlin_kotlin.$_$.u2;
+  var toList_0 = kotlin_kotlin.$_$.l4;
+  var listOf_0 = kotlin_kotlin.$_$.j3;
+  var none_0 = kotlin_kotlin.$_$.x3;
+  var dequeOf_1 = kotlin_it_unibo_tuprolog_utils.$_$.y;
+  var Pair = kotlin_kotlin.$_$.w9;
+  var flatMap = kotlin_kotlin.$_$.m7;
+  var toMutableList = kotlin_kotlin.$_$.r4;
+  var toMutableList_0 = kotlin_kotlin.$_$.k8;
+  var addFirst_0 = kotlin_it_unibo_tuprolog_utils.$_$.n;
+  var addAll = kotlin_kotlin.$_$.z1;
+  //endregion
+  //region block: pre-declaration
+  setMetadataFor(AbstractClauseCollection, 'AbstractClauseCollection', classMeta, VOID, [Iterable]);
+  setMetadataFor(AbstractMutableReteClauseCollection, 'AbstractMutableReteClauseCollection', classMeta, AbstractClauseCollection, [Iterable, AbstractClauseCollection]);
+  setMetadataFor(AbstractReteClauseCollection, 'AbstractReteClauseCollection', classMeta, AbstractClauseCollection);
+  setMetadataFor(Companion, 'Companion', objectMeta);
+  function get(clause) {
+    return this.getFifoOrdered(clause);
+  }
+  function add(clause) {
+    return this.addLast(clause);
+  }
+  function add_0(clause) {
+    return this.x1l(clause);
+  }
+  function retrieve(clause) {
+    return this.retrieveFirst(clause);
+  }
+  function retrieve_0(clause) {
+    return this.a1m(clause);
+  }
+  setMetadataFor(ClauseQueue, 'ClauseQueue', interfaceMeta, VOID, [Iterable]);
+  setMetadataFor(Companion_0, 'Companion', objectMeta);
+  setMetadataFor(MutableClauseQueue, 'MutableClauseQueue', interfaceMeta, VOID, [ClauseQueue]);
+  setMetadataFor(RetrieveResult, 'RetrieveResult', classMeta);
+  setMetadataFor(Success, 'Success', classMeta, RetrieveResult);
+  setMetadataFor(Failure, 'Failure', classMeta, RetrieveResult);
+  setMetadataFor(MutableReteClauseQueue, 'MutableReteClauseQueue', classMeta, AbstractMutableReteClauseCollection, [MutableClauseQueue, AbstractMutableReteClauseCollection]);
+  setMetadataFor(ReteClauseQueue, 'ReteClauseQueue', classMeta, AbstractReteClauseCollection, [ClauseQueue, AbstractReteClauseCollection]);
+  setMetadataFor(AbstractReteNode$removeAllLazily$slambda, 'AbstractReteNode$removeAllLazily$slambda', classMeta, CoroutineImpl, VOID, VOID, VOID, VOID, [1]);
+  setMetadataFor(AbstractReteNode, 'AbstractReteNode', classMeta);
+  setMetadataFor(Companion_1, 'Companion', objectMeta);
+  setMetadataFor(Utils$firstArguments$slambda, 'Utils$firstArguments$slambda', classMeta, CoroutineImpl, VOID, VOID, VOID, VOID, [1]);
+  setMetadataFor(Utils, 'Utils', objectMeta);
+  function get_innerClause() {
+    return this.r2();
+  }
+  function plus_1(traversed) {
+    return Companion_instance_7.b1p(this.hq(), this.q1n(), plus(this.x1o(), traversed));
+  }
+  setMetadataFor(IndexedClause, 'IndexedClause', interfaceMeta, VOID, [LongIndexed]);
+  setMetadataFor(IndexedClause$Companion$wrap$1, VOID, classMeta, VOID, [IndexedClause]);
+  setMetadataFor(Companion_2, 'Companion', objectMeta);
+  setMetadataFor(SituatedIndexedClause, 'SituatedIndexedClause', interfaceMeta, VOID, [IndexedClause]);
+  setMetadataFor(SituatedIndexedClause$Companion$of$1, VOID, classMeta, VOID, [SituatedIndexedClause]);
+  setMetadataFor(Companion_3, 'Companion', objectMeta);
+  setMetadataFor(AbstractIndexingLeaf, 'AbstractIndexingLeaf', classMeta, AbstractReteNode);
+  setMetadataFor(AtomIndex, 'AtomIndex', classMeta, AbstractIndexingLeaf);
+  setMetadataFor(CompoundIndex, 'CompoundIndex', classMeta, AbstractReteNode);
+  setMetadataFor(DirectiveIndex$getCache$1$1, VOID, classMeta);
+  setMetadataFor(DirectiveIndex, 'DirectiveIndex', classMeta, AbstractReteNode);
+  setMetadataFor(NumericIndex, 'NumericIndex', classMeta, AbstractIndexingLeaf);
+  setMetadataFor(VariableIndex, 'VariableIndex', classMeta, AbstractIndexingLeaf);
+  setMetadataFor(ArityNode, 'ArityNode', classMeta, AbstractReteNode);
+  setMetadataFor(FamilyArityReteNode, 'FamilyArityReteNode', classMeta, ArityNode);
+  setMetadataFor(FamilyArityIndexingNode, 'FamilyArityIndexingNode', classMeta, FamilyArityReteNode);
+  setMetadataFor(FunctorNode, 'FunctorNode', classMeta, AbstractReteNode);
+  setMetadataFor(FunctorIndexingNode, 'FunctorIndexingNode', classMeta, FunctorNode);
+  setMetadataFor(RootNode, 'RootNode', classMeta);
+  setMetadataFor(RuleNode, 'RuleNode', classMeta);
+  setMetadataFor(TopLevelFunctorReteNode, 'TopLevelFunctorReteNode', classMeta, FunctorNode);
+  setMetadataFor(ZeroArityReteNode, 'ZeroArityReteNode', classMeta, ArityNode);
+  function get_isMutable() {
+    return false;
+  }
+  function get_rules() {
+    var tmp = asSequence(this.v1l());
+    return asIterable(filterNotNull(map(tmp, Theory$_get_rules_$lambda_c39n1s)));
+  }
+  function get_directives() {
+    var tmp = asSequence(this.v1l());
+    return asIterable(filterNotNull(map(tmp, Theory$_get_directives_$lambda_zbsn17)));
+  }
+  function plus_2(clause) {
+    return this.assertZ(clause);
+  }
+  function assertAFact(struct) {
+    return this.assertA(Companion_instance_3.of(struct));
+  }
+  function assertZFact(struct) {
+    return this.assertZ(Companion_instance_3.of(struct));
+  }
+  function retractByHead(head) {
+    return this.retract(Companion_instance_2.of(head, [Companion_getInstance().anonymous()]));
+  }
+  function retractAllByHead(head) {
+    return this.retractAll(Companion_instance_2.of(head, [Companion_getInstance().anonymous()]));
+  }
+  setMetadataFor(Theory, 'Theory', interfaceMeta, VOID, [Iterable, Taggable]);
+  setMetadataFor(AbstractTheory, 'AbstractTheory', classMeta, VOID, [Theory]);
+  function emptyTheory() {
+    return this.emptyTheoryWithUnificator(this.k1l());
+  }
+  function theoryOfIterable(clauses) {
+    return this.theoryOfIterableWithUnificator(clauses, this.k1l());
+  }
+  function theoryOf(clauses) {
+    return this.theoryOfWithUnificator(this.k1l(), clauses.slice());
+  }
+  function theoryOfSequence(clauses) {
+    return this.theoryOfSequenceWithUnificator(clauses, this.k1l());
+  }
+  function emptyMutableTheory() {
+    return this.emptyMutableTheoryWithUnificator(this.k1l());
+  }
+  function mutableTheoryOfIterable(clauses) {
+    return this.mutableTheoryOfIterableWithUnificator(clauses, this.k1l());
+  }
+  function mutableTheoryOf(clauses) {
+    return this.mutableTheoryOfWithUnificator(this.k1l(), clauses.slice());
+  }
+  function mutableTheoryOfSequence(clauses) {
+    return this.mutableTheoryOfSequenceWithUnificator(clauses, this.k1l());
+  }
+  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;
+  }
+  function toMutableTheory() {
+    return this;
+  }
+  function assertAFact_0(struct) {
+    return this.q1s(Companion_instance_3.of(struct));
+  }
+  function assertZFact_0(struct) {
+    return this.u1s(Companion_instance_3.of(struct));
+  }
+  function retractByHead_0(head) {
+    return this.r1t(Companion_instance_2.of(head, [Companion_getInstance().anonymous()]));
+  }
+  function retractAllByHead_0(head) {
+    return this.d1m(Companion_instance_2.of(head, [Companion_getInstance().anonymous()]));
+  }
+  setMetadataFor(MutableTheory, 'MutableTheory', interfaceMeta, VOID, [Theory]);
+  setMetadataFor(RetractResult, 'RetractResult', classMeta);
+  setMetadataFor(Success_0, 'Success', classMeta, RetractResult);
+  setMetadataFor(Failure_0, 'Failure', classMeta, RetractResult);
+  setMetadataFor(Companion_5, 'Companion', objectMeta);
+  setMetadataFor(TheoryUtils, 'TheoryUtils', objectMeta);
+  setMetadataFor(_no_name_provided__qut3iv, VOID, classMeta, VOID, [Iterable]);
+  setMetadataFor(AbstractIndexedTheory, 'AbstractIndexedTheory', classMeta, AbstractTheory);
+  setMetadataFor(AbstractListedTheory, 'AbstractListedTheory', classMeta, AbstractTheory);
+  setMetadataFor(IndexedTheory, 'IndexedTheory', classMeta, AbstractIndexedTheory);
+  setMetadataFor(ListedTheory, 'ListedTheory', classMeta, AbstractListedTheory);
+  setMetadataFor(MutableIndexedTheory, 'MutableIndexedTheory', classMeta, AbstractIndexedTheory, [AbstractIndexedTheory, MutableTheory]);
+  setMetadataFor(MutableListedTheory, 'MutableListedTheory', classMeta, AbstractListedTheory, [AbstractListedTheory, MutableTheory]);
+  //endregion
+  function AbstractClauseCollection(rete) {
+    this.l1l_1 = rete;
+  }
+  protoOf(AbstractClauseCollection).k1l = function () {
+    return this.l1l_1.k1l();
+  };
+  protoOf(AbstractClauseCollection).l = function () {
+    return this.l1l_1.l();
+  };
+  protoOf(AbstractClauseCollection).n1l = function () {
+    return asIterable(this.l1l_1.o1l());
+  };
+  protoOf(AbstractClauseCollection).p1l = function () {
+    return asIterable(this.l1l_1.p1l());
+  };
+  protoOf(AbstractClauseCollection).z = function () {
+    return this.l1l_1.q1l();
+  };
+  protoOf(AbstractClauseCollection).isEmpty = function () {
+    return this.z();
+  };
+  protoOf(AbstractClauseCollection).r1l = function () {
+    return !this.z();
+  };
+  protoOf(AbstractClauseCollection).isNonEmpty = function () {
+    return this.r1l();
+  };
+  protoOf(AbstractClauseCollection).s1l = function (element) {
+    return any(this.l1l_1.t1l(element));
+  };
+  protoOf(AbstractClauseCollection).contains = function (element) {
+    return this.s1l(element);
+  };
+  protoOf(AbstractClauseCollection).u1l = function (elements) {
+    var tmp$ret$1;
+    $l$block: {
+      // Inline function 'kotlin.sequences.all' call
+      var tmp0_iterator = asSequence(elements).r();
+      while (tmp0_iterator.s()) {
+        var element = tmp0_iterator.u();
+        // Inline function 'it.unibo.tuprolog.collections.AbstractClauseCollection.containsAll.<anonymous>' call
+        if (!this.s1l(element)) {
+          tmp$ret$1 = false;
+          break $l$block;
+        }
+      }
+      tmp$ret$1 = true;
+    }
+    return tmp$ret$1;
+  };
+  protoOf(AbstractClauseCollection).containsAll = function (elements) {
+    return this.u1l(elements);
+  };
+  protoOf(AbstractClauseCollection).r = function () {
+    return this.l1l_1.v1l().r();
+  };
+  protoOf(AbstractClauseCollection).toString = function () {
+    return '' + getKClassFromExpression(this).o6() + '(' + joinToString(this, ', ') + ')';
+  };
+  function AbstractMutableReteClauseCollection_init_$Init$(rete, $this) {
+    AbstractClauseCollection.call($this, rete);
+    AbstractMutableReteClauseCollection.call($this);
+    return $this;
+  }
+  protoOf(AbstractMutableReteClauseCollection).x1l = function (clause) {
+    this.l1l_1.y1l(clause);
+    return this.m1l();
+  };
+  protoOf(AbstractMutableReteClauseCollection).add = function (clause) {
+    return this.x1l(clause);
+  };
+  protoOf(AbstractMutableReteClauseCollection).z1l = 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.l1l_1.y1l(element);
+    }
+    return this.m1l();
+  };
+  protoOf(AbstractMutableReteClauseCollection).addAll = function (clauses) {
+    return this.z1l(clauses);
+  };
+  protoOf(AbstractMutableReteClauseCollection).a1m = function (clause) {
+    var retracted = this.l1l_1.b1m(clause);
+    return none(retracted) ? new Failure(this.m1l()) : new Success(this.m1l(), toList(retracted));
+  };
+  protoOf(AbstractMutableReteClauseCollection).retrieve = function (clause) {
+    return this.a1m(clause);
+  };
+  protoOf(AbstractMutableReteClauseCollection).c1m = function (clause) {
+    var retracted = this.l1l_1.d1m(clause);
+    return none(retracted) ? new Failure(this.m1l()) : new Success(this.m1l(), toList(retracted));
+  };
+  protoOf(AbstractMutableReteClauseCollection).retrieveAll = function (clause) {
+    return this.c1m(clause);
+  };
+  function AbstractMutableReteClauseCollection() {
+  }
+  function AbstractReteClauseCollection(rete) {
+    AbstractClauseCollection.call(this, rete);
+  }
+  protoOf(AbstractReteClauseCollection).x1l = function (clause) {
+    // Inline function 'kotlin.apply' call
+    var this_0 = this.l1l_1.g1m();
+    // Inline function 'kotlin.contracts.contract' call
+    // Inline function 'it.unibo.tuprolog.collections.AbstractReteClauseCollection.add.<anonymous>' call
+    this_0.y1l(TheoryUtils_instance.h1m(clause));
+    return this.f1m(this_0);
+  };
+  protoOf(AbstractReteClauseCollection).add = function (clause) {
+    return this.x1l(clause);
+  };
+  protoOf(AbstractReteClauseCollection).z1l = function (clauses) {
+    // Inline function 'kotlin.apply' call
+    var this_0 = this.l1l_1.g1m();
+    // Inline function 'kotlin.contracts.contract' call
+    // Inline function 'it.unibo.tuprolog.collections.AbstractReteClauseCollection.addAll.<anonymous>' call
+    // 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.AbstractReteClauseCollection.addAll.<anonymous>.<anonymous>' call
+      this_0.y1l(TheoryUtils_instance.h1m(element));
+    }
+    return this.f1m(this_0);
+  };
+  protoOf(AbstractReteClauseCollection).addAll = function (clauses) {
+    return this.z1l(clauses);
+  };
+  protoOf(AbstractReteClauseCollection).a1m = function (clause) {
+    var newTheory = this.l1l_1.g1m();
+    var retracted = newTheory.b1m(clause);
+    return none(retracted) ? new Failure(this.m1l()) : new Success(this.f1m(newTheory), toList(retracted));
+  };
+  protoOf(AbstractReteClauseCollection).retrieve = function (clause) {
+    return this.a1m(clause);
+  };
+  protoOf(AbstractReteClauseCollection).c1m = function (clause) {
+    var newTheory = this.l1l_1.g1m();
+    var retracted = newTheory.d1m(clause);
+    return none(retracted) ? new Failure(this.m1l()) : new Success(this.f1m(newTheory), toList(retracted));
+  };
+  protoOf(AbstractReteClauseCollection).retrieveAll = function (clause) {
+    return this.c1m(clause);
+  };
+  function Companion() {
+  }
+  protoOf(Companion).empty = function (unificator) {
+    return this.ofIterable(unificator, emptyList());
+  };
+  protoOf(Companion).of = function (unificator, clause) {
+    return this.ofIterable(unificator, asIterable_0(clause));
+  };
+  protoOf(Companion).ofScopes = function (unificator, clause) {
+    // Inline function 'kotlin.collections.map' call
+    // Inline function 'kotlin.collections.mapTo' call
+    var destination = ArrayList_init_$Create$(clause.length);
+    var inductionVariable = 0;
+    var last = clause.length;
+    while (inductionVariable < last) {
+      var item = clause[inductionVariable];
+      inductionVariable = inductionVariable + 1 | 0;
+      // Inline function 'it.unibo.tuprolog.collections.Companion.of.<anonymous>' call
+      var tmp$ret$0 = Companion_instance.emptyWithFunction(item);
+      destination.o(tmp$ret$0);
+    }
+    return this.ofIterable(unificator, destination);
+  };
+  protoOf(Companion).ofSequence = function (unificator, clauses) {
+    return this.ofIterable(unificator, asIterable(clauses));
+  };
+  protoOf(Companion).ofIterable = function (unificator, clauses) {
+    return ReteClauseQueue_init_$Create$(unificator, clauses);
+  };
+  protoOf(Companion).areEquals = function (queue1, queue2) {
+    return itemWiseEquals(queue1, queue2);
+  };
+  protoOf(Companion).computeHashCode = function (queue) {
+    return itemWiseHashCode_0([getKClass(ClauseQueue), itemWiseHashCode(queue)]);
+  };
+  var Companion_instance_4;
+  function Companion_getInstance_2() {
+    return Companion_instance_4;
+  }
+  function ClauseQueue() {
+  }
+  function Companion_0() {
+  }
+  protoOf(Companion_0).empty = function (unificator) {
+    return this.ofIterable(unificator, emptyList());
+  };
+  protoOf(Companion_0).of = function (unificator, clause) {
+    return this.ofIterable(unificator, asIterable_0(clause));
+  };
+  protoOf(Companion_0).ofScopes = function (unificator, clause) {
+    // Inline function 'kotlin.collections.map' call
+    // Inline function 'kotlin.collections.mapTo' call
+    var destination = ArrayList_init_$Create$(clause.length);
+    var inductionVariable = 0;
+    var last = clause.length;
+    while (inductionVariable < last) {
+      var item = clause[inductionVariable];
+      inductionVariable = inductionVariable + 1 | 0;
+      // Inline function 'it.unibo.tuprolog.collections.Companion.of.<anonymous>' call
+      var tmp$ret$0 = Companion_instance.emptyWithFunction(item);
+      destination.o(tmp$ret$0);
+    }
+    return this.ofIterable(unificator, destination);
+  };
+  protoOf(Companion_0).ofSequence = function (unificator, clauses) {
+    return this.ofIterable(unificator, asIterable(clauses));
+  };
+  protoOf(Companion_0).ofIterable = function (unificator, clauses) {
+    return MutableReteClauseQueue_init_$Create$(unificator, clauses);
+  };
+  protoOf(Companion_0).areEquals = function (queue1, queue2) {
+    return Companion_instance_4.areEquals(queue1, queue2);
+  };
+  protoOf(Companion_0).computeHashCode = function (queue) {
+    return itemWiseHashCode_0([getKClass(MutableClauseQueue), itemWiseHashCode(queue)]);
+  };
+  var Companion_instance_5;
+  function Companion_getInstance_3() {
+    return Companion_instance_5;
+  }
+  function MutableClauseQueue() {
+  }
+  function Success(collection, clauses) {
+    RetrieveResult.call(this);
+    this.l1m_1 = collection;
+    this.m1m_1 = clauses;
+  }
+  protoOf(Success).n1m = function () {
+    return this.l1m_1;
+  };
+  protoOf(Success).v1l = function () {
+    return this.m1m_1;
+  };
+  protoOf(Success).j11 = function () {
+    return true;
+  };
+  protoOf(Success).o1m = function () {
+    return first(this.m1m_1);
+  };
+  protoOf(Success).toString = function () {
+    return 'Success(collection=' + this.l1m_1 + ', clauses=' + this.m1m_1 + ')';
+  };
+  protoOf(Success).hashCode = function () {
+    var result = hashCode(this.l1m_1);
+    result = imul(result, 31) + hashCode(this.m1m_1) | 0;
+    return result;
+  };
+  protoOf(Success).equals = function (other) {
+    if (this === other)
+      return true;
+    if (!(other instanceof Success))
+      return false;
+    var tmp0_other_with_cast = other instanceof Success ? other : THROW_CCE();
+    if (!equals(this.l1m_1, tmp0_other_with_cast.l1m_1))
+      return false;
+    if (!equals(this.m1m_1, tmp0_other_with_cast.m1m_1))
+      return false;
+    return true;
+  };
+  function Failure(collection) {
+    RetrieveResult.call(this);
+    this.q1m_1 = collection;
+  }
+  protoOf(Failure).n1m = function () {
+    return this.q1m_1;
+  };
+  protoOf(Failure).p1m = function () {
+    return true;
+  };
+  protoOf(Failure).v1l = function () {
+    return null;
+  };
+  protoOf(Failure).o1m = function () {
+    return null;
+  };
+  protoOf(Failure).toString = function () {
+    return 'Failure(collection=' + this.q1m_1 + ')';
+  };
+  protoOf(Failure).hashCode = function () {
+    return hashCode(this.q1m_1);
+  };
+  protoOf(Failure).equals = function (other) {
+    if (this === other)
+      return true;
+    if (!(other instanceof Failure))
+      return false;
+    var tmp0_other_with_cast = other instanceof Failure ? other : THROW_CCE();
+    if (!equals(this.q1m_1, tmp0_other_with_cast.q1m_1))
+      return false;
+    return true;
+  };
+  function RetrieveResult() {
+  }
+  protoOf(RetrieveResult).j11 = function () {
+    return false;
+  };
+  protoOf(RetrieveResult).p1m = function () {
+    return false;
+  };
+  function MutableReteClauseQueue_init_$Init$(unificator, clauses, $this) {
+    MutableReteClauseQueue.call($this, Companion_instance_6.r1m(unificator, clauses));
+    TheoryUtils_instance.s1m(clauses);
+    return $this;
+  }
+  function MutableReteClauseQueue_init_$Create$(unificator, clauses) {
+    return MutableReteClauseQueue_init_$Init$(unificator, clauses, objectCreate(protoOf(MutableReteClauseQueue)));
+  }
+  function MutableReteClauseQueue(rete) {
+    AbstractMutableReteClauseCollection_init_$Init$(rete, 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.t1m()) {
+      // Inline function 'kotlin.require.<anonymous>' call
+      var message = 'Failed requirement.';
+      throw IllegalArgumentException_init_$Create$(toString(message));
+    }
+  }
+  protoOf(MutableReteClauseQueue).v1m = function (clause) {
+    return this.l1l_1.t1l(clause);
+  };
+  protoOf(MutableReteClauseQueue).getFifoOrdered = function (clause) {
+    return this.v1m(clause);
+  };
+  protoOf(MutableReteClauseQueue).w1m = function (clause) {
+    return asSequence(asReversed(toList(this.v1m(clause))));
+  };
+  protoOf(MutableReteClauseQueue).getLifoOrdered = function (clause) {
+    return this.w1m(clause);
+  };
+  protoOf(MutableReteClauseQueue).i1m = function (clause) {
+    this.l1l_1.x1m(clause);
+    return this;
+  };
+  protoOf(MutableReteClauseQueue).addFirst = function (clause) {
+    return this.i1m(clause);
+  };
+  protoOf(MutableReteClauseQueue).j1m = function (clause) {
+    this.l1l_1.y1l(clause);
+    return this;
+  };
+  protoOf(MutableReteClauseQueue).addLast = function (clause) {
+    return this.j1m(clause);
+  };
+  protoOf(MutableReteClauseQueue).k1m = function (clause) {
+    var retracted = this.l1l_1.b1m(clause);
+    return none(retracted) ? new Failure(this) : new Success(this, toList(retracted));
+  };
+  protoOf(MutableReteClauseQueue).retrieveFirst = function (clause) {
+    return this.k1m(clause);
+  };
+  protoOf(MutableReteClauseQueue).equals = function (other) {
+    var tmp;
+    if (!(other == null) ? isInterface(other, MutableClauseQueue) : false) {
+      tmp = Companion_instance_5.areEquals(this, other);
+    } else {
+      tmp = false;
+    }
+    return tmp;
+  };
+  protoOf(MutableReteClauseQueue).hashCode = function () {
+    return Companion_instance_5.computeHashCode(this);
+  };
+  protoOf(MutableReteClauseQueue).m1l = function () {
+    return this;
+  };
+  function _get_hashCodeCache__ny3r0q($this) {
+    // Inline function 'kotlin.getValue' call
+    var this_0 = $this.z1m_1;
+    hashCodeCache$factory();
+    return this_0.r2();
+  }
+  function ReteClauseQueue_init_$Init$(unificator, clauses, $this) {
+    ReteClauseQueue.call($this, Companion_instance_6.r1m(unificator, clauses));
+    TheoryUtils_instance.s1m(clauses);
+    return $this;
+  }
+  function ReteClauseQueue_init_$Create$(unificator, clauses) {
+    return ReteClauseQueue_init_$Init$(unificator, clauses, objectCreate(protoOf(ReteClauseQueue)));
+  }
+  function ReteClauseQueue$hashCodeCache$delegate$lambda(this$0) {
+    return function () {
+      return Companion_instance_4.computeHashCode(this$0);
+    };
+  }
+  function ReteClauseQueue(rete) {
+    AbstractReteClauseCollection.call(this, rete);
+    var tmp = this;
+    tmp.z1m_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.t1m()) {
+      // Inline function 'kotlin.require.<anonymous>' call
+      var message = 'Failed requirement.';
+      throw IllegalArgumentException_init_$Create$(toString(message));
+    }
+  }
+  protoOf(ReteClauseQueue).i1m = function (clause) {
+    // Inline function 'kotlin.apply' call
+    var this_0 = this.l1l_1.g1m();
+    // Inline function 'kotlin.contracts.contract' call
+    // Inline function 'it.unibo.tuprolog.collections.impl.ReteClauseQueue.addFirst.<anonymous>' call
+    this_0.x1m(TheoryUtils_instance.h1m(clause));
+    return new ReteClauseQueue(this_0);
+  };
+  protoOf(ReteClauseQueue).addFirst = function (clause) {
+    return this.i1m(clause);
+  };
+  protoOf(ReteClauseQueue).j1m = function (clause) {
+    // Inline function 'kotlin.apply' call
+    var this_0 = this.l1l_1.g1m();
+    // Inline function 'kotlin.contracts.contract' call
+    // Inline function 'it.unibo.tuprolog.collections.impl.ReteClauseQueue.addLast.<anonymous>' call
+    this_0.y1l(TheoryUtils_instance.h1m(clause));
+    return new ReteClauseQueue(this_0);
+  };
+  protoOf(ReteClauseQueue).addLast = function (clause) {
+    return this.j1m(clause);
+  };
+  protoOf(ReteClauseQueue).v1m = function (clause) {
+    return this.l1l_1.t1l(clause);
+  };
+  protoOf(ReteClauseQueue).getFifoOrdered = function (clause) {
+    return this.v1m(clause);
+  };
+  protoOf(ReteClauseQueue).w1m = function (clause) {
+    return asSequence(asReversed(toList(this.v1m(clause))));
+  };
+  protoOf(ReteClauseQueue).getLifoOrdered = function (clause) {
+    return this.w1m(clause);
+  };
+  protoOf(ReteClauseQueue).x1l = function (clause) {
+    return this.j1m(clause);
+  };
+  protoOf(ReteClauseQueue).add = function (clause) {
+    return this.x1l(clause);
+  };
+  protoOf(ReteClauseQueue).a1m = function (clause) {
+    return protoOf(AbstractReteClauseCollection).a1m.call(this, clause);
+  };
+  protoOf(ReteClauseQueue).retrieve = function (clause) {
+    return this.a1m(clause);
+  };
+  protoOf(ReteClauseQueue).k1m = function (clause) {
+    return protoOf(AbstractReteClauseCollection).a1m.call(this, clause);
+  };
+  protoOf(ReteClauseQueue).retrieveFirst = function (clause) {
+    return this.k1m(clause);
+  };
+  protoOf(ReteClauseQueue).f1m = function (rete) {
+    return new ReteClauseQueue(rete);
+  };
+  protoOf(ReteClauseQueue).equals = function (other) {
+    var tmp;
+    var tmp_0;
+    if (!(other == null) ? isInterface(other, ClauseQueue) : false) {
+      tmp_0 = !(!(other == null) ? isInterface(other, MutableClauseQueue) : false);
+    } else {
+      tmp_0 = false;
+    }
+    if (tmp_0) {
+      tmp = Companion_instance_4.areEquals(this, other);
+    } else {
+      tmp = false;
+    }
+    return tmp;
+  };
+  protoOf(ReteClauseQueue).hashCode = function () {
+    return _get_hashCodeCache__ny3r0q(this);
+  };
+  protoOf(ReteClauseQueue).m1l = function () {
+    return this;
+  };
+  function hashCodeCache$factory() {
+    return getPropertyCallableRef('hashCodeCache', 1, KProperty1, function (receiver) {
+      return _get_hashCodeCache__ny3r0q(receiver);
+    }, null);
+  }
+  function AbstractReteNode$removeAllLazily$slambda($source, this$0, $clause, resultContinuation) {
+    this.i1n_1 = $source;
+    this.j1n_1 = this$0;
+    this.k1n_1 = $clause;
+    CoroutineImpl.call(this, resultContinuation);
+  }
+  protoOf(AbstractReteNode$removeAllLazily$slambda).xq = function ($this$sequence, $completion) {
+    var tmp = this.yq($this$sequence, $completion);
+    tmp.hb_1 = Unit_instance;
+    tmp.ib_1 = null;
+    return tmp.qb();
+  };
+  protoOf(AbstractReteNode$removeAllLazily$slambda).dc = function (p1, $completion) {
+    return this.xq(p1 instanceof SequenceScope ? p1 : THROW_CCE(), $completion);
+  };
+  protoOf(AbstractReteNode$removeAllLazily$slambda).qb = function () {
+    var suspendResult = this.hb_1;
+    $sm: do
+      try {
+        var tmp = this.fb_1;
+        switch (tmp) {
+          case 0:
+            this.gb_1 = 5;
+            this.m1n_1 = this.i1n_1.r();
+            this.fb_1 = 1;
+            continue $sm;
+          case 1:
+            if (!this.m1n_1.s()) {
+              this.fb_1 = 4;
+              continue $sm;
+            }
+
+            this.n1n_1 = this.m1n_1.u();
+            if (this.j1n_1.k1l().match(this.n1n_1.q1n(), this.k1n_1)) {
+              this.n1n_1.o1n();
+              this.m1n_1.t();
+              this.fb_1 = 2;
+              suspendResult = this.l1n_1.wd(this.n1n_1, this);
+              if (suspendResult === get_COROUTINE_SUSPENDED()) {
+                return suspendResult;
+              }
+              continue $sm;
+            } else {
+              this.fb_1 = 3;
+              continue $sm;
+            }
+
+          case 2:
+            this.fb_1 = 3;
+            continue $sm;
+          case 3:
+            this.fb_1 = 1;
+            continue $sm;
+          case 4:
+            return Unit_instance;
+          case 5:
+            throw this.ib_1;
+        }
+      } catch ($p) {
+        var e = $p;
+        if (this.gb_1 === 5) {
+          throw e;
+        } else {
+          this.fb_1 = this.gb_1;
+          this.ib_1 = e;
+        }
+      }
+     while (true);
+  };
+  protoOf(AbstractReteNode$removeAllLazily$slambda).yq = function ($this$sequence, completion) {
+    var i = new AbstractReteNode$removeAllLazily$slambda(this.i1n_1, this.j1n_1, this.k1n_1, completion);
+    i.l1n_1 = $this$sequence;
+    return i;
+  };
+  function AbstractReteNode$removeAllLazily$slambda_0($source, this$0, $clause, resultContinuation) {
+    var i = new AbstractReteNode$removeAllLazily$slambda($source, this$0, $clause, resultContinuation);
+    var l = function ($this$sequence, $completion) {
+      return i.xq($this$sequence, $completion);
+    };
+    l.$arity = 1;
+    return l;
+  }
+  function AbstractReteNode(unificator) {
+    this.p1n_1 = unificator;
+  }
+  protoOf(AbstractReteNode).k1l = function () {
+    return this.p1n_1;
+  };
+  protoOf(AbstractReteNode).r1n = function (source, clause) {
+    return sequence(AbstractReteNode$removeAllLazily$slambda_0(source, this, clause, null));
+  };
+  function Companion_1() {
+  }
+  protoOf(Companion_1).r1m = function (unificator, clauses) {
+    return new RootNode(unificator, clauses, true);
+  };
+  var Companion_instance_6;
+  function Companion_getInstance_4() {
+    return Companion_instance_6;
+  }
+  function firstArguments(_this__u8e3s4, $this) {
+    return sequence(Utils$firstArguments$slambda_0(_this__u8e3s4, null));
+  }
+  function Utils$firstArguments$slambda($this_firstArguments, resultContinuation) {
+    this.e1o_1 = $this_firstArguments;
+    CoroutineImpl.call(this, resultContinuation);
+  }
+  protoOf(Utils$firstArguments$slambda).h1o = function ($this$sequence, $completion) {
+    var tmp = this.i1o($this$sequence, $completion);
+    tmp.hb_1 = Unit_instance;
+    tmp.ib_1 = null;
+    return tmp.qb();
+  };
+  protoOf(Utils$firstArguments$slambda).dc = function (p1, $completion) {
+    return this.h1o(p1 instanceof SequenceScope ? p1 : THROW_CCE(), $completion);
+  };
+  protoOf(Utils$firstArguments$slambda).qb = function () {
+    var suspendResult = this.hb_1;
+    $sm: do
+      try {
+        var tmp = this.fb_1;
+        switch (tmp) {
+          case 0:
+            this.gb_1 = 5;
+            this.g1o_1 = this.e1o_1;
+            this.fb_1 = 1;
+            continue $sm;
+          case 1:
+            if (!this.g1o_1.lv()) {
+              this.fb_1 = 3;
+              continue $sm;
+            }
+
+            this.fb_1 = 2;
+            suspendResult = this.f1o_1.wd(this.g1o_1, this);
+            if (suspendResult === get_COROUTINE_SUSPENDED()) {
+              return suspendResult;
+            }
+
+            continue $sm;
+          case 2:
+            this.g1o_1 = this.g1o_1.castToStruct().getArgAt(0);
+            this.fb_1 = 1;
+            continue $sm;
+          case 3:
+            this.fb_1 = 4;
+            suspendResult = this.f1o_1.wd(this.g1o_1, this);
+            if (suspendResult === get_COROUTINE_SUSPENDED()) {
+              return suspendResult;
+            }
+
+            continue $sm;
+          case 4:
+            return Unit_instance;
+          case 5:
+            throw this.ib_1;
+        }
+      } catch ($p) {
+        var e = $p;
+        if (this.gb_1 === 5) {
+          throw e;
+        } else {
+          this.fb_1 = this.gb_1;
+          this.ib_1 = e;
+        }
+      }
+     while (true);
+  };
+  protoOf(Utils$firstArguments$slambda).i1o = function ($this$sequence, completion) {
+    var i = new Utils$firstArguments$slambda(this.e1o_1, completion);
+    i.f1o_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.h1o($this$sequence, $completion);
+    };
+    l.$arity = 1;
+    return l;
+  }
+  function SituatedIndexedClause$compareTo$ref() {
+    var l = function (p0, p1) {
+      return p0.is(p1);
+    };
+    l.callableName = 'compareTo';
+    return l;
+  }
+  function Utils() {
+  }
+  protoOf(Utils).j1o = 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().zu();
+  };
+  protoOf(Utils).k1o = 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().fv();
+  };
+  protoOf(Utils).l1o = function (_this__u8e3s4, nestingLevel) {
+    return takeFirstAfterSkipping(firstArguments(_this__u8e3s4, this), nestingLevel);
+  };
+  protoOf(Utils).m1o = function (args) {
+    return this.n1o(listOf(args.slice()));
+  };
+  protoOf(Utils).o1o = function (sequence) {
+    return this.n1o(asIterable(sequence));
+  };
+  protoOf(Utils).n1o = function (iterable) {
+    return mergeSequences(iterable, SituatedIndexedClause$compareTo$ref());
+  };
+  protoOf(Utils).p1o = function (args) {
+    return this.q1o(sequenceOf(args.slice()));
+  };
+  protoOf(Utils).q1o = function (sequence) {
+    return flatten(sequence);
+  };
+  protoOf(Utils).r1o = function (iterable) {
+    return this.q1o(asSequence(iterable));
+  };
+  protoOf(Utils).s1o = function (args) {
+    return this.t1o(sequenceOf(args.slice()));
+  };
+  protoOf(Utils).t1o = function (sequence) {
+    return flatten(sequence);
+  };
+  protoOf(Utils).u1o = function (a, b) {
+    return (a == null ? b == null : false) ? null : a == null ? b : b == null ? a : a.is(b) < 0 ? a : b;
+  };
+  var Utils_instance;
+  function Utils_getInstance() {
+    return Utils_instance;
+  }
+  function IndexedClause$Companion$wrap$1($traversed, $indexedClause) {
+    this.w1o_1 = $indexedClause;
+    this.v1o_1 = listOf($traversed.slice());
+  }
+  protoOf(IndexedClause$Companion$wrap$1).hq = function () {
+    return this.w1o_1.hq();
+  };
+  protoOf(IndexedClause$Companion$wrap$1).r2 = function () {
+    return this.w1o_1.r2();
+  };
+  protoOf(IndexedClause$Companion$wrap$1).x1o = function () {
+    return this.v1o_1;
+  };
+  protoOf(IndexedClause$Companion$wrap$1).o1n = function () {
+    // Inline function 'kotlin.collections.forEach' call
+    var tmp0_iterator = this.v1o_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.v1n();
+    }
+  };
+  protoOf(IndexedClause$Companion$wrap$1).d = function (other) {
+    return this.is((!(other == null) ? isInterface(other, LongIndexed) : false) ? other : THROW_CCE());
+  };
+  function Companion_2() {
+  }
+  protoOf(Companion_2).z1o = function (indexedClause, traversed) {
+    return new IndexedClause$Companion$wrap$1(traversed, indexedClause);
+  };
+  protoOf(Companion_2).a1p = function (index, clause, traversed) {
+    return this.z1o(Companion_instance_0.hs(index, clause), traversed.slice());
+  };
+  protoOf(Companion_2).b1p = function (index, clause, traversed) {
+    var tmp = Companion_instance_0.hs(index, clause);
+    // Inline function 'kotlin.collections.toTypedArray' call
+    var tmp$ret$0 = copyToArray(traversed);
+    return this.z1o(tmp, tmp$ret$0.slice());
+  };
+  var Companion_instance_7;
+  function Companion_getInstance_5() {
+    return Companion_instance_7;
+  }
+  function IndexedClause() {
+  }
+  function SituatedIndexedClause$Companion$of$1($indexed, $index) {
+    this.c1p_1 = $indexed;
+    this.d1p_1 = $index;
+  }
+  protoOf(SituatedIndexedClause$Companion$of$1).hq = function () {
+    return this.c1p_1.hq();
+  };
+  protoOf(SituatedIndexedClause$Companion$of$1).r2 = function () {
+    return this.c1p_1.r2();
+  };
+  protoOf(SituatedIndexedClause$Companion$of$1).e1p = function () {
+    this.d1p_1.f1p(this);
+    this.o1n();
+  };
+  protoOf(SituatedIndexedClause$Companion$of$1).x1o = function () {
+    return this.c1p_1.x1o();
+  };
+  protoOf(SituatedIndexedClause$Companion$of$1).o1n = function () {
+    this.c1p_1.o1n();
+  };
+  protoOf(SituatedIndexedClause$Companion$of$1).equals = function (other) {
+    if (this === other)
+      return true;
+    if (!(!(other == null) ? isInterface(other, SituatedIndexedClause) : false))
+      return false;
+    if (!this.hq().equals(other.hq()))
+      return false;
+    return true;
+  };
+  protoOf(SituatedIndexedClause$Companion$of$1).d = function (other) {
+    return this.is((!(other == null) ? isInterface(other, LongIndexed) : false) ? other : THROW_CCE());
+  };
+  function Companion_3() {
+  }
+  protoOf(Companion_3).g1p = function (indexed, index) {
+    return new SituatedIndexedClause$Companion$of$1(indexed, index);
+  };
+  var Companion_instance_8;
+  function Companion_getInstance_6() {
+    return Companion_instance_8;
+  }
+  function SituatedIndexedClause() {
+  }
+  function AbstractIndexingLeaf(unificator) {
+    AbstractReteNode.call(this, unificator);
+  }
+  protoOf(AbstractIndexingLeaf).v1n = function () {
+  };
+  function extractFirst($this, clause) {
+    // Inline function 'kotlin.collections.mapNotNull' call
+    // Inline function 'kotlin.collections.mapNotNullTo' call
+    var this_0 = $this.p1p_1.m2();
+    var destination = ArrayList_init_$Create$_0();
+    // Inline function 'kotlin.collections.forEach' call
+    var tmp0_iterator = this_0.r();
+    while (tmp0_iterator.s()) {
+      var element = tmp0_iterator.u();
+      // Inline function 'kotlin.collections.mapNotNullTo.<anonymous>' call
+      // Inline function 'it.unibo.tuprolog.collections.rete.custom.leaf.AtomIndex.extractFirst.<anonymous>' call
+      var tmp0_safe_receiver = extractFirst_0($this, clause, element);
+      if (tmp0_safe_receiver == null)
+        null;
+      else {
+        // Inline function 'kotlin.let' call
+        // Inline function 'kotlin.contracts.contract' call
+        destination.o(tmp0_safe_receiver);
+      }
+    }
+    return minOrNull(destination);
+  }
+  function extractFirst_0($this, clause, index) {
+    var tmp$ret$1;
+    $l$block: {
+      // Inline function 'kotlin.collections.indexOfFirst' call
+      var index_0 = 0;
+      var tmp0_iterator = index.r();
+      while (tmp0_iterator.s()) {
+        var item = tmp0_iterator.u();
+        // Inline function 'it.unibo.tuprolog.collections.rete.custom.leaf.AtomIndex.extractFirst.<anonymous>' call
+        if ($this.k1l().match(item.q1n(), clause)) {
+          tmp$ret$1 = index_0;
+          break $l$block;
+        }
+        index_0 = index_0 + 1 | 0;
+      }
+      tmp$ret$1 = -1;
+    }
+    var actualIndex = tmp$ret$1;
+    var tmp;
+    if (actualIndex === -1) {
+      tmp = null;
+    } else {
+      tmp = index.d1(actualIndex);
+    }
+    return tmp;
+  }
+  function nestedFirstArgument(_this__u8e3s4, $this) {
+    return Utils_instance.l1o(ensureNotNull(_this__u8e3s4.lx()), $this.o1p_1 + 1 | 0);
+  }
+  function asInnerAtom(_this__u8e3s4, $this) {
+    return nestedFirstArgument(_this__u8e3s4, $this).castToAtom();
+  }
+  function asInnerAtom_0(_this__u8e3s4, $this) {
+    return nestedFirstArgument(_this__u8e3s4.q1n(), $this).castToAtom();
+  }
+  function asInnerAtom_1(_this__u8e3s4, $this) {
+    return nestedFirstArgument(_this__u8e3s4.q1n(), $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.k1l().match(it.q1n(), $clause);
+    };
+  }
+  function AtomIndex$retractAllIndexed$lambda(this$0, $clause) {
+    return function (it) {
+      return this$0.r1n(it, $clause);
+    };
+  }
+  function AtomIndex$getCache$lambda(it) {
+    return asSequence(it);
+  }
+  function AtomIndex$extractGlobalIndexedSequence$lambda(this$0, $clause) {
+    return function (it) {
+      return this$0.k1l().match(it.q1n(), $clause);
+    };
+  }
+  function AtomIndex(unificator, ordered, nestingLevel) {
+    AbstractIndexingLeaf.call(this, unificator);
+    this.n1p_1 = ordered;
+    this.o1p_1 = nestingLevel;
+    var tmp = this;
+    // Inline function 'kotlin.collections.mutableMapOf' call
+    tmp.p1p_1 = LinkedHashMap_init_$Create$();
+  }
+  protoOf(AtomIndex).l = function () {
+    var tmp = asSequence(this.p1p_1.m2());
+    return sum(map(tmp, AtomIndex$_get_size_$lambda_ygjfwe));
+  };
+  protoOf(AtomIndex).q1l = function () {
+    var tmp;
+    if (this.p1p_1.z()) {
+      tmp = true;
+    } else {
+      var tmp$ret$0;
+      $l$block_0: {
+        // Inline function 'kotlin.collections.all' call
+        var this_0 = this.p1p_1.m2();
+        var tmp_0;
+        if (isInterface(this_0, Collection)) {
+          tmp_0 = this_0.z();
+        } else {
+          tmp_0 = false;
+        }
+        if (tmp_0) {
+          tmp$ret$0 = true;
+          break $l$block_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.AtomIndex.<get-isEmpty>.<anonymous>' call
+          if (!element.z()) {
+            tmp$ret$0 = false;
+            break $l$block_0;
+          }
+        }
+        tmp$ret$0 = true;
+      }
+      tmp = tmp$ret$0;
+    }
+    return tmp;
+  };
+  protoOf(AtomIndex).s1n = function (clause) {
+    if (this.n1p_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.p1p_1;
+      var value = this_0.x2(it);
+      var tmp;
+      if (value == null) {
+        // Inline function 'it.unibo.tuprolog.collections.rete.custom.leaf.AtomIndex.assertA.<anonymous>.<anonymous>' call
+        var answer = dequeOf([]);
+        this_0.o2(it, answer);
+        tmp = answer;
+      } else {
+        tmp = value;
+      }
+      var tmp$ret$1 = tmp;
+      addFirst(tmp$ret$1, Companion_instance_8.g1p(clause.y1o(this), this));
+    } else {
+      this.t1n(clause);
+    }
+  };
+  protoOf(AtomIndex).t1n = 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.p1p_1;
+    var value = this_0.x2(it);
+    var tmp;
+    if (value == null) {
+      // Inline function 'it.unibo.tuprolog.collections.rete.custom.leaf.AtomIndex.assertZ.<anonymous>.<anonymous>' call
+      var answer = dequeOf([]);
+      this_0.o2(it, answer);
+      tmp = answer;
+    } else {
+      tmp = value;
+    }
+    tmp.o(Companion_instance_8.g1p(clause.y1o(this), this));
+  };
+  protoOf(AtomIndex).i1p = function (clause) {
+    var tmp;
+    if (nestedFirstArgument(clause, this).av()) {
+      // 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.p1p_1.x2(asInnerAtom(clause, this));
+      var tmp_0;
+      if (it == null) {
+        tmp_0 = null;
+      } else {
+        tmp_0 = extractFirst_0(this, clause, it);
+      }
+      tmp = tmp_0;
+    } else {
+      tmp = extractFirst(this, clause);
+    }
+    return tmp;
+  };
+  protoOf(AtomIndex).j1p = function (clause) {
+    var tmp;
+    if (nestedFirstArgument(clause, this).av()) {
+      var tmp0_safe_receiver = this.p1p_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) {
+        tmp_0 = null;
+      } else {
+        tmp_0 = filter(tmp1_safe_receiver, AtomIndex$getIndexed$lambda(this, clause));
+      }
+      var tmp2_elvis_lhs = tmp_0;
+      tmp = tmp2_elvis_lhs == null ? emptySequence() : tmp2_elvis_lhs;
+    } else {
+      tmp = this.l1p(clause);
+    }
+    return tmp;
+  };
+  protoOf(AtomIndex).f1p = function (indexed) {
+    ensureNotNull(this.p1p_1.x2(asInnerAtom_0(indexed, this))).p(indexed);
+  };
+  protoOf(AtomIndex).k1p = function (clause) {
+    var tmp;
+    if (nestedFirstArgument(clause, this).av()) {
+      var partialIndex = this.p1p_1.x2(asInnerAtom(clause, this));
+      tmp = partialIndex == null ? emptySequence() : this.r1n(partialIndex, clause);
+    } else {
+      var tmp_0 = Utils_instance;
+      var tmp_1 = asSequence(this.p1p_1.m2());
+      tmp = tmp_0.o1o(map(tmp_1, AtomIndex$retractAllIndexed$lambda(this, clause)));
+    }
+    return buffered(tmp);
+  };
+  protoOf(AtomIndex).u1n = function () {
+    var tmp = Utils_instance;
+    var tmp_0 = asSequence(this.p1p_1.m2());
+    return tmp.o1o(map(tmp_0, AtomIndex$getCache$lambda));
+  };
+  protoOf(AtomIndex).l1p = function (clause) {
+    var tmp = this.u1n();
+    return filter(tmp, AtomIndex$extractGlobalIndexedSequence$lambda(this, clause));
+  };
+  function nestedFunctor(_this__u8e3s4, $this) {
+    return Utils_instance.k1o(ensureNotNull(_this__u8e3s4.lx()), $this.s1p_1);
+  }
+  function nestedFunctor_0(_this__u8e3s4, $this) {
+    return Utils_instance.k1o(ensureNotNull(_this__u8e3s4.q1n().lx()), $this.s1p_1);
+  }
+  function isGlobal(_this__u8e3s4, $this) {
+    return Utils_instance.l1o(ensureNotNull(_this__u8e3s4.lx()), $this.s1p_1).bw();
+  }
+  function regenerateCache($this) {
+    var tmp;
+    if ($this.r1p_1) {
+      var tmp_0 = Utils_instance;
+      // Inline function 'kotlin.collections.map' call
+      var this_0 = $this.t1p_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.u1n();
+        destination.o(tmp$ret$0);
+      }
+      tmp = tmp_0.n1o(destination);
+    } else {
+      var tmp_1 = Utils_instance;
+      // Inline function 'kotlin.collections.map' call
+      var this_1 = $this.t1p_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.u1n();
+        destination_0.o(tmp$ret$3);
+      }
+      tmp = tmp_1.r1o(destination_0);
+    }
+    return dequeOf_0(tmp);
+  }
+  function CompoundIndex$regenerateCache$ref($boundThis) {
+    var l = function () {
+      return regenerateCache($boundThis);
+    };
+    l.callableName = 'regenerateCache';
+    return l;
+  }
+  function CompoundIndex$_get_size_$lambda_91vt0k(it) {
+    return it.l();
+  }
+  function CompoundIndex(unificator, ordered, nestingLevel) {
+    AbstractReteNode.call(this, unificator);
+    this.r1p_1 = ordered;
+    this.s1p_1 = nestingLevel;
+    var tmp = this;
+    // Inline function 'kotlin.collections.mutableMapOf' call
+    tmp.t1p_1 = LinkedHashMap_init_$Create$();
+    var tmp_0 = this;
+    var tmp_1 = Companion_instance_1;
+    tmp_0.u1p_1 = tmp_1.tp(CompoundIndex$regenerateCache$ref(this));
+  }
+  protoOf(CompoundIndex).l = function () {
+    var tmp = asSequence(this.t1p_1.m2());
+    return sum(map(tmp, CompoundIndex$_get_size_$lambda_91vt0k));
+  };
+  protoOf(CompoundIndex).q1l = function () {
+    var tmp;
+    if (this.t1p_1.z()) {
+      tmp = true;
+    } else {
+      var tmp$ret$0;
+      $l$block_0: {
+        // Inline function 'kotlin.collections.all' call
+        var this_0 = this.t1p_1.m2();
+        var tmp_0;
+        if (isInterface(this_0, Collection)) {
+          tmp_0 = this_0.z();
+        } else {
+          tmp_0 = false;
+        }
+        if (tmp_0) {
+          tmp$ret$0 = true;
+          break $l$block_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.CompoundIndex.<get-isEmpty>.<anonymous>' call
+          if (!element.q1l()) {
+            tmp$ret$0 = false;
+            break $l$block_0;
+          }
+        }
+        tmp$ret$0 = true;
+      }
+      tmp = tmp$ret$0;
+    }
+    return tmp;
+  };
+  protoOf(CompoundIndex).s1n = function (clause) {
+    // Inline function 'kotlin.let' call
+    // Inline function 'kotlin.contracts.contract' call
+    var it = nestedFunctor_0(clause, this);
+    var tmp;
+    if (this.r1p_1) {
+      // Inline function 'kotlin.collections.getOrPut' call
+      var this_0 = this.t1p_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.k1l(), this.r1p_1, this.s1p_1);
+        this_0.o2(it, answer);
+        tmp_0 = answer;
+      } else {
+        tmp_0 = value;
+      }
+      tmp_0.s1n(clause.y1o(this));
+      tmp = Unit_instance;
+    } else {
+      this.t1n(clause);
+      tmp = Unit_instance;
+    }
+    return tmp;
+  };
+  protoOf(CompoundIndex).t1n = 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.t1p_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.k1l(), this.r1p_1, this.s1p_1);
+      this_0.o2(it, answer);
+      tmp = answer;
+    } else {
+      tmp = value;
+    }
+    tmp.t1n(clause.y1o(this));
+    return Unit_instance;
+  };
+  protoOf(CompoundIndex).u1n = function () {
+    return asSequence(this.u1p_1.r2());
+  };
+  protoOf(CompoundIndex).i1p = 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.t1p_1.m2();
+      var destination = ArrayList_init_$Create$_0();
+      // Inline function 'kotlin.collections.forEach' call
+      var tmp0_iterator = this_0.r();
+      while (tmp0_iterator.s()) {
+        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.i1p(clause);
+        if (tmp0_safe_receiver == null)
+          null;
+        else {
+          // Inline function 'kotlin.let' call
+          // Inline function 'kotlin.contracts.contract' call
+          destination.o(tmp0_safe_receiver);
+        }
+      }
+      tmp = firstOrNull(tmp_0.o1o(sequenceOf([asSequence(destination)])));
+    } else {
+      var tmp0_safe_receiver_0 = this.t1p_1.x2(nestedFunctor(clause, this));
+      tmp = tmp0_safe_receiver_0 == null ? null : tmp0_safe_receiver_0.i1p(clause);
+    }
+    return tmp;
+  };
+  protoOf(CompoundIndex).j1p = function (clause) {
+    var tmp;
+    if (isGlobal(clause, this)) {
+      var tmp_0 = Utils_instance;
+      // Inline function 'kotlin.collections.map' call
+      var this_0 = this.t1p_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.l1p(clause);
+        destination.o(tmp$ret$0);
+      }
+      tmp = tmp_0.n1o(destination);
+    } else {
+      var tmp0_safe_receiver = this.t1p_1.x2(nestedFunctor(clause, this));
+      var tmp1_elvis_lhs = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.j1p(clause);
+      tmp = tmp1_elvis_lhs == null ? emptySequence() : tmp1_elvis_lhs;
+    }
+    return tmp;
+  };
+  protoOf(CompoundIndex).k1p = function (clause) {
+    var tmp;
+    if (isGlobal(clause, this)) {
+      var tmp_0 = Utils_instance;
+      // Inline function 'kotlin.collections.map' call
+      var this_0 = this.t1p_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.k1p(clause);
+        destination.o(tmp$ret$0);
+      }
+      tmp = tmp_0.n1o(destination);
+    } else {
+      var tmp0_safe_receiver = this.t1p_1.x2(nestedFunctor(clause, this));
+      var tmp1_elvis_lhs = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.k1p(clause);
+      tmp = tmp1_elvis_lhs == null ? emptySequence() : tmp1_elvis_lhs;
+    }
+    return tmp;
+  };
+  protoOf(CompoundIndex).l1p = function (clause) {
+    var tmp;
+    if (this.r1p_1) {
+      var tmp_0 = Utils_instance;
+      // Inline function 'kotlin.collections.map' call
+      var this_0 = this.t1p_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.l1p(clause);
+        destination.o(tmp$ret$0);
+      }
+      tmp = tmp_0.n1o(destination);
+    } else {
+      var tmp_1 = Utils_instance;
+      // Inline function 'kotlin.collections.map' call
+      var this_1 = this.t1p_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.l1p(clause);
+        destination_0.o(tmp$ret$3);
+      }
+      tmp = tmp_1.r1o(destination_0);
+    }
+    return tmp;
+  };
+  protoOf(CompoundIndex).v1n = function () {
+    this.u1p_1.vp();
+  };
+  function DirectiveIndex$retractFirst$lambda(it) {
+    return it.q1n();
+  }
+  function DirectiveIndex$retractAll$lambda(it) {
+    return it.q1n();
+  }
+  function DirectiveIndex$getCache$lambda(it) {
+    var tmp = Companion_instance_8;
+    return tmp.g1p(it, new DirectiveIndex$getCache$1$1());
+  }
+  function DirectiveIndex$getCache$1$1() {
+  }
+  protoOf(DirectiveIndex$getCache$1$1).f1p = 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.w1p_1 = ordered;
+    this.x1p_1 = dequeOf([]);
+  }
+  protoOf(DirectiveIndex).l = function () {
+    return this.x1p_1.l();
+  };
+  protoOf(DirectiveIndex).q1l = function () {
+    return this.x1p_1.z();
+  };
+  protoOf(DirectiveIndex).t1l = function (clause) {
+    // Inline function 'kotlin.collections.map' call
+    // Inline function 'kotlin.collections.filter' call
+    // Inline function 'kotlin.collections.filterTo' call
+    var this_0 = this.x1p_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.k1l().match(element.q1n(), clause)) {
+        destination.o(element);
+      }
+    }
+    // Inline function 'kotlin.collections.mapTo' call
+    var destination_0 = ArrayList_init_$Create$(collectionSizeOrDefault(destination, 10));
+    var tmp0_iterator_0 = destination.r();
+    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.q1n();
+      destination_0.o(tmp$ret$3);
+    }
+    return asSequence(destination_0);
+  };
+  protoOf(DirectiveIndex).s1n = function (clause) {
+    if (this.w1p_1) {
+      addFirst(this.x1p_1, clause.y1o(this));
+    } else {
+      this.t1n(clause);
+    }
+  };
+  protoOf(DirectiveIndex).t1n = function (clause) {
+    this.x1p_1.o(clause.y1o(this));
+  };
+  protoOf(DirectiveIndex).b1m = function (clause) {
+    var tmp = this.r1n(this.x1p_1, clause);
+    return buffered(take(map(tmp, DirectiveIndex$retractFirst$lambda), 1));
+  };
+  protoOf(DirectiveIndex).d1m = function (clause) {
+    var tmp = this.r1n(this.x1p_1, clause);
+    return buffered(map(tmp, DirectiveIndex$retractAll$lambda));
+  };
+  protoOf(DirectiveIndex).u1n = function () {
+    var tmp = asSequence(this.x1p_1);
+    return map(tmp, DirectiveIndex$getCache$lambda);
+  };
+  protoOf(DirectiveIndex).v1n = function () {
+  };
+  function extractFirst_1($this, clause) {
+    // Inline function 'kotlin.collections.mapNotNull' call
+    // Inline function 'kotlin.collections.mapNotNullTo' call
+    var this_0 = $this.b1q_1.m2();
+    var destination = ArrayList_init_$Create$_0();
+    // Inline function 'kotlin.collections.forEach' call
+    var tmp0_iterator = this_0.r();
+    while (tmp0_iterator.s()) {
+      var element = tmp0_iterator.u();
+      // Inline function 'kotlin.collections.mapNotNullTo.<anonymous>' call
+      // Inline function 'it.unibo.tuprolog.collections.rete.custom.leaf.NumericIndex.extractFirst.<anonymous>' call
+      var tmp0_safe_receiver = extractFirst_2($this, clause, element);
+      if (tmp0_safe_receiver == null)
+        null;
+      else {
+        // Inline function 'kotlin.let' call
+        // Inline function 'kotlin.contracts.contract' call
+        destination.o(tmp0_safe_receiver);
+      }
+    }
+    return minOrNull(destination);
+  }
+  function extractFirst_2($this, clause, index) {
+    var tmp$ret$1;
+    $l$block: {
+      // Inline function 'kotlin.collections.indexOfFirst' call
+      var index_0 = 0;
+      var tmp0_iterator = index.r();
+      while (tmp0_iterator.s()) {
+        var item = tmp0_iterator.u();
+        // Inline function 'it.unibo.tuprolog.collections.rete.custom.leaf.NumericIndex.extractFirst.<anonymous>' call
+        if ($this.k1l().match(item.q1n(), clause)) {
+          tmp$ret$1 = index_0;
+          break $l$block;
+        }
+        index_0 = index_0 + 1 | 0;
+      }
+      tmp$ret$1 = -1;
+    }
+    var actualIndex = tmp$ret$1;
+    var tmp;
+    if (actualIndex === -1) {
+      tmp = null;
+    } else {
+      tmp = index.d1(actualIndex);
+    }
+    return tmp;
+  }
+  function nestedFirstArgument_0(_this__u8e3s4, $this) {
+    return Utils_instance.l1o(ensureNotNull(_this__u8e3s4.lx()), $this.a1q_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.q1n(), $this).castToNumeric();
+  }
+  function asInnerNumeric_1(_this__u8e3s4, $this) {
+    return nestedFirstArgument_0(_this__u8e3s4.q1n(), $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.k1l().match(it.q1n(), $clause);
+    };
+  }
+  function NumericIndex$retractAllIndexed$lambda(this$0, $clause) {
+    return function (it) {
+      return this$0.r1n(it, $clause);
+    };
+  }
+  function NumericIndex$getCache$lambda(it) {
+    return asSequence(it);
+  }
+  function NumericIndex$extractGlobalIndexedSequence$lambda(this$0, $clause) {
+    return function (it) {
+      return this$0.k1l().match(it.q1n(), $clause);
+    };
+  }
+  function NumericIndex(unificator, ordered, nestingLevel) {
+    AbstractIndexingLeaf.call(this, unificator);
+    this.z1p_1 = ordered;
+    this.a1q_1 = nestingLevel;
+    var tmp = this;
+    // Inline function 'kotlin.collections.mutableMapOf' call
+    tmp.b1q_1 = LinkedHashMap_init_$Create$();
+  }
+  protoOf(NumericIndex).l = function () {
+    var tmp = asSequence(this.b1q_1.m2());
+    return sum(map(tmp, NumericIndex$_get_size_$lambda_exo30i));
+  };
+  protoOf(NumericIndex).q1l = function () {
+    var tmp;
+    if (this.b1q_1.z()) {
+      tmp = true;
+    } else {
+      var tmp$ret$0;
+      $l$block_0: {
+        // Inline function 'kotlin.collections.all' call
+        var this_0 = this.b1q_1.m2();
+        var tmp_0;
+        if (isInterface(this_0, Collection)) {
+          tmp_0 = this_0.z();
+        } else {
+          tmp_0 = false;
+        }
+        if (tmp_0) {
+          tmp$ret$0 = true;
+          break $l$block_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.NumericIndex.<get-isEmpty>.<anonymous>' call
+          if (!element.z()) {
+            tmp$ret$0 = false;
+            break $l$block_0;
+          }
+        }
+        tmp$ret$0 = true;
+      }
+      tmp = tmp$ret$0;
+    }
+    return tmp;
+  };
+  protoOf(NumericIndex).s1n = function (clause) {
+    if (this.z1p_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.b1q_1;
+      var value = this_0.x2(it);
+      var tmp;
+      if (value == null) {
+        // Inline function 'it.unibo.tuprolog.collections.rete.custom.leaf.NumericIndex.assertA.<anonymous>.<anonymous>' call
+        var answer = dequeOf([]);
+        this_0.o2(it, answer);
+        tmp = answer;
+      } else {
+        tmp = value;
+      }
+      var tmp$ret$1 = tmp;
+      addFirst(tmp$ret$1, Companion_instance_8.g1p(clause.y1o(this), this));
+    } else {
+      this.t1n(clause);
+    }
+  };
+  protoOf(NumericIndex).t1n = 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.b1q_1;
+    var value = this_0.x2(it);
+    var tmp;
+    if (value == null) {
+      // Inline function 'it.unibo.tuprolog.collections.rete.custom.leaf.NumericIndex.assertZ.<anonymous>.<anonymous>' call
+      var answer = dequeOf([]);
+      this_0.o2(it, answer);
+      tmp = answer;
+    } else {
+      tmp = value;
+    }
+    tmp.o(Companion_instance_8.g1p(clause.y1o(this), this));
+  };
+  protoOf(NumericIndex).i1p = function (clause) {
+    if (nestedFirstArgument_0(clause, this).fw()) {
+      // Inline function 'kotlin.let' call
+      // Inline function 'kotlin.contracts.contract' call
+      var it = this.b1q_1.x2(asInnerNumeric(clause, this));
+      var tmp;
+      if (it == null) {
+        tmp = null;
+      } else {
+        tmp = extractFirst_2(this, clause, it);
+      }
+      return tmp;
+    } else {
+      return extractFirst_1(this, clause);
+    }
+  };
+  protoOf(NumericIndex).j1p = function (clause) {
+    var tmp;
+    if (nestedFirstArgument_0(clause, this).fw()) {
+      var tmp0_safe_receiver = this.b1q_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) {
+        tmp_0 = null;
+      } else {
+        tmp_0 = filter(tmp1_safe_receiver, NumericIndex$getIndexed$lambda(this, clause));
+      }
+      var tmp2_elvis_lhs = tmp_0;
+      tmp = tmp2_elvis_lhs == null ? emptySequence() : tmp2_elvis_lhs;
+    } else {
+      tmp = this.l1p(clause);
+    }
+    return tmp;
+  };
+  protoOf(NumericIndex).f1p = function (indexed) {
+    ensureNotNull(this.b1q_1.x2(asInnerNumeric_0(indexed, this))).p(indexed);
+  };
+  protoOf(NumericIndex).k1p = function (clause) {
+    var tmp;
+    if (nestedFirstArgument_0(clause, this).fw()) {
+      var partialIndex = this.b1q_1.x2(asInnerNumeric(clause, this));
+      tmp = partialIndex == null ? emptySequence() : buffered(this.r1n(partialIndex, clause));
+    } else {
+      var tmp_0 = Utils_instance;
+      var tmp_1 = asSequence(this.b1q_1.m2());
+      tmp = buffered(tmp_0.o1o(map(tmp_1, NumericIndex$retractAllIndexed$lambda(this, clause))));
+    }
+    return tmp;
+  };
+  protoOf(NumericIndex).u1n = function () {
+    var tmp = Utils_instance;
+    var tmp_0 = asSequence(this.b1q_1.m2());
+    return tmp.o1o(map(tmp_0, NumericIndex$getCache$lambda));
+  };
+  protoOf(NumericIndex).l1p = function (clause) {
+    var tmp = this.u1n();
+    return filter(tmp, NumericIndex$extractGlobalIndexedSequence$lambda(this, clause));
+  };
+  function extractFirst_3($this, clause, index) {
+    var tmp$ret$1;
+    $l$block: {
+      // Inline function 'kotlin.collections.indexOfFirst' call
+      var index_0 = 0;
+      var tmp0_iterator = index.r();
+      while (tmp0_iterator.s()) {
+        var item = tmp0_iterator.u();
+        // Inline function 'it.unibo.tuprolog.collections.rete.custom.leaf.VariableIndex.extractFirst.<anonymous>' call
+        if ($this.k1l().match(item.q1n(), clause)) {
+          tmp$ret$1 = index_0;
+          break $l$block;
+        }
+        index_0 = index_0 + 1 | 0;
+      }
+      tmp$ret$1 = -1;
+    }
+    var actualIndex = tmp$ret$1;
+    var tmp;
+    if (actualIndex === -1) {
+      tmp = null;
+    } else {
+      tmp = index.d1(actualIndex);
+    }
+    return tmp;
+  }
+  function VariableIndex$extractGlobalIndexedSequence$lambda(this$0, $clause) {
+    return function (it) {
+      return this$0.k1l().match(it.q1n(), $clause);
+    };
+  }
+  function VariableIndex(unificator, ordered) {
+    AbstractIndexingLeaf.call(this, unificator);
+    this.d1q_1 = ordered;
+    this.e1q_1 = dequeOf([]);
+  }
+  protoOf(VariableIndex).l = function () {
+    return this.e1q_1.l();
+  };
+  protoOf(VariableIndex).q1l = function () {
+    return this.e1q_1.z();
+  };
+  protoOf(VariableIndex).s1n = function (clause) {
+    var tmp;
+    if (this.d1q_1) {
+      addFirst(this.e1q_1, Companion_instance_8.g1p(clause.y1o(this), this));
+      tmp = Unit_instance;
+    } else {
+      this.t1n(clause);
+      tmp = Unit_instance;
+    }
+    return tmp;
+  };
+  protoOf(VariableIndex).t1n = function (clause) {
+    this.e1q_1.o(Companion_instance_8.g1p(clause.y1o(this), this));
+  };
+  protoOf(VariableIndex).u1n = function () {
+    return asSequence(this.e1q_1);
+  };
+  protoOf(VariableIndex).i1p = function (clause) {
+    return extractFirst_3(this, clause, this.e1q_1);
+  };
+  protoOf(VariableIndex).j1p = function (clause) {
+    return this.l1p(clause);
+  };
+  protoOf(VariableIndex).f1p = function (indexed) {
+    this.e1q_1.p(indexed);
+  };
+  protoOf(VariableIndex).k1p = function (clause) {
+    return buffered(this.r1n(this.e1q_1, clause));
+  };
+  protoOf(VariableIndex).l1p = function (clause) {
+    var tmp = asSequence(this.e1q_1);
+    return filter(tmp, VariableIndex$extractGlobalIndexedSequence$lambda(this, clause));
+  };
+  function ArityNode(unificator) {
+    AbstractReteNode.call(this, unificator);
+  }
+  function FamilyArityIndexingNode(unificator, ordered, nestingLevel) {
+    FamilyArityReteNode.call(this, unificator, ordered, nestingLevel);
+    this.n1q_1 = ordered;
+  }
+  protoOf(FamilyArityIndexingNode).i1p = function (clause) {
+    var tmp;
+    if (this.n1q_1) {
+      tmp = this.x1q(clause);
+    } else {
+      tmp = this.w1q(clause);
+    }
+    return tmp;
+  };
+  protoOf(FamilyArityIndexingNode).j1p = function (clause) {
+    var tmp;
+    if (this.n1q_1) {
+      tmp = this.z1q(clause);
+    } else {
+      tmp = this.y1q(clause);
+    }
+    return tmp;
+  };
+  protoOf(FamilyArityIndexingNode).k1p = function (clause) {
+    var tmp;
+    if (this.n1q_1) {
+      tmp = this.b1r(clause);
+    } else {
+      tmp = this.a1r(clause);
+    }
+    return tmp;
+  };
+  protoOf(FamilyArityIndexingNode).l1p = function (clause) {
+    var tmp;
+    if (this.n1q_1) {
+      tmp = Utils_instance.m1o([this.s1q_1.l1p(clause), this.r1q_1.l1p(clause), this.t1q_1.l1p(clause), this.u1q_1.l1p(clause)]);
+    } else {
+      tmp = Utils_instance.p1o([this.s1q_1.l1p(clause), this.r1q_1.l1p(clause), this.t1q_1.l1p(clause), this.u1q_1.l1p(clause)]);
+    }
+    return tmp;
+  };
+  function retractAllOrdered($this, clause) {
+    var tmp = $this.b1r(clause);
+    return map(tmp, FamilyArityReteNode$retractAllOrdered$lambda);
+  }
+  function getOrdered($this, clause) {
+    var tmp = $this.z1q(clause);
+    return map(tmp, FamilyArityReteNode$getOrdered$lambda);
+  }
+  function retractAllUnordered($this, clause) {
+    var tmp = $this.a1r(clause);
+    return map(tmp, FamilyArityReteNode$retractAllUnordered$lambda);
+  }
+  function getUnordered($this, clause) {
+    var tmp = $this.y1q(clause);
+    return map(tmp, FamilyArityReteNode$getUnordered$lambda);
+  }
+  function regenerateCache_0($this) {
+    var tmp;
+    if ($this.p1q_1) {
+      tmp = Utils_instance.m1o([$this.s1q_1.u1n(), $this.r1q_1.u1n(), $this.t1q_1.u1n(), $this.u1q_1.u1n()]);
+    } else {
+      tmp = Utils_instance.p1o([$this.s1q_1.u1n(), $this.r1q_1.u1n(), $this.t1q_1.u1n(), $this.u1q_1.u1n()]);
+    }
+    return dequeOf_0(tmp);
+  }
+  function nestedFirstArgument_1(_this__u8e3s4, $this) {
+    return Utils_instance.l1o(ensureNotNull(_this__u8e3s4.lx()), $this.q1q_1 + 1 | 0);
+  }
+  function assertByFirstParameter($this, clause) {
+    var innerFirst = nestedFirstArgument_1(clause.q1n(), $this);
+    return innerFirst.fw() ? $this.r1q_1 : innerFirst.av() ? $this.s1q_1 : innerFirst.bw() ? $this.t1q_1 : $this.u1q_1;
+  }
+  function isGlobal_0(_this__u8e3s4, $this) {
+    return Utils_instance.l1o(ensureNotNull(_this__u8e3s4.lx()), $this.q1q_1 + 1 | 0).bw();
+  }
+  function FamilyArityReteNode$regenerateCache$ref($boundThis) {
+    var l = function () {
+      return regenerateCache_0($boundThis);
+    };
+    l.callableName = 'regenerateCache';
+    return l;
+  }
+  function FamilyArityReteNode$_get_size_$lambda_sxz8zo(it) {
+    return it.l();
+  }
+  function FamilyArityReteNode$get$lambda(it) {
+    return it.q1n();
+  }
+  function FamilyArityReteNode$get$lambda_0(it) {
+    return it.q1n();
+  }
+  function FamilyArityReteNode$retractAllOrdered$lambda(it) {
+    return it.q1n();
+  }
+  function FamilyArityReteNode$getOrdered$lambda(it) {
+    return it.q1n();
+  }
+  function FamilyArityReteNode$retractAllUnordered$lambda(it) {
+    return it.q1n();
+  }
+  function FamilyArityReteNode$getUnordered$lambda(it) {
+    return it.q1n();
+  }
+  function FamilyArityReteNode(unificator, ordered, nestingLevel) {
+    ArityNode.call(this, unificator);
+    this.p1q_1 = ordered;
+    this.q1q_1 = nestingLevel;
+    this.r1q_1 = new NumericIndex(unificator, this.p1q_1, this.q1q_1);
+    this.s1q_1 = new AtomIndex(unificator, this.p1q_1, this.q1q_1);
+    this.t1q_1 = new VariableIndex(unificator, this.p1q_1);
+    this.u1q_1 = new CompoundIndex(unificator, this.p1q_1, this.q1q_1 + 1 | 0);
+    var tmp = this;
+    var tmp_0 = Companion_instance_1;
+    tmp.v1q_1 = tmp_0.tp(FamilyArityReteNode$regenerateCache$ref(this));
+  }
+  protoOf(FamilyArityReteNode).b1m = function (clause) {
+    var tmp;
+    if (this.p1q_1) {
+      tmp = this.x1q(clause);
+    } else {
+      tmp = this.w1q(clause);
+    }
+    var result = tmp;
+    var tmp_0;
+    if (result == null) {
+      tmp_0 = emptySequence();
+    } else {
+      result.e1p();
+      this.v1n();
+      tmp_0 = sequenceOf([result.q1n()]);
+    }
+    return tmp_0;
+  };
+  protoOf(FamilyArityReteNode).l = function () {
+    var tmp = sequenceOf([this.r1q_1, this.s1q_1, this.t1q_1, this.u1q_1]);
+    return sum(map(tmp, FamilyArityReteNode$_get_size_$lambda_sxz8zo));
+  };
+  protoOf(FamilyArityReteNode).q1l = function () {
+    var tmp$ret$1;
+    $l$block: {
+      // Inline function 'kotlin.sequences.all' call
+      var tmp0_iterator = sequenceOf([this.r1q_1, this.s1q_1, this.t1q_1, this.u1q_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.q1l()) {
+          tmp$ret$1 = false;
+          break $l$block;
+        }
+      }
+      tmp$ret$1 = true;
+    }
+    return tmp$ret$1;
+  };
+  protoOf(FamilyArityReteNode).t1l = function (clause) {
+    var tmp;
+    if (isGlobal_0(clause, this)) {
+      var tmp_0;
+      if (this.p1q_1) {
+        var tmp_1 = Utils_instance.m1o([this.s1q_1.l1p(clause), this.t1q_1.l1p(clause), this.r1q_1.l1p(clause), this.u1q_1.l1p(clause)]);
+        tmp_0 = map(tmp_1, FamilyArityReteNode$get$lambda);
+      } else {
+        var tmp_2 = Utils_instance.p1o([this.s1q_1.l1p(clause), this.t1q_1.l1p(clause), this.r1q_1.l1p(clause), this.u1q_1.l1p(clause)]);
+        tmp_0 = map(tmp_2, FamilyArityReteNode$get$lambda_0);
+      }
+      tmp = tmp_0;
+    } else {
+      var tmp_3;
+      if (this.p1q_1) {
+        tmp_3 = getOrdered(this, clause);
+      } else {
+        tmp_3 = getUnordered(this, clause);
+      }
+      tmp = tmp_3;
+    }
+    return tmp;
+  };
+  protoOf(FamilyArityReteNode).s1n = function (clause) {
+    return assertByFirstParameter(this, clause).s1n(clause.y1o(this));
+  };
+  protoOf(FamilyArityReteNode).t1n = function (clause) {
+    return assertByFirstParameter(this, clause).t1n(clause.y1o(this));
+  };
+  protoOf(FamilyArityReteNode).d1m = function (clause) {
+    var tmp;
+    if (this.p1q_1) {
+      tmp = retractAllOrdered(this, clause);
+    } else {
+      tmp = retractAllUnordered(this, clause);
+    }
+    return tmp;
+  };
+  protoOf(FamilyArityReteNode).u1n = function () {
+    return asSequence(this.v1q_1.r2());
+  };
+  protoOf(FamilyArityReteNode).b1r = function (clause) {
+    var innerFirst = nestedFirstArgument_1(clause, this);
+    var tmp;
+    if (innerFirst.fw()) {
+      tmp = Utils_instance.m1o([this.t1q_1.k1p(clause), this.r1q_1.k1p(clause)]);
+    } else if (innerFirst.av()) {
+      tmp = Utils_instance.m1o([this.t1q_1.k1p(clause), this.s1q_1.k1p(clause)]);
+    } else if (innerFirst.bw()) {
+      tmp = Utils_instance.m1o([this.t1q_1.k1p(clause), this.r1q_1.k1p(clause), this.s1q_1.k1p(clause), this.u1q_1.k1p(clause)]);
+    } else {
+      tmp = Utils_instance.m1o([this.t1q_1.k1p(clause), this.u1q_1.k1p(clause)]);
+    }
+    return tmp;
+  };
+  protoOf(FamilyArityReteNode).a1r = function (clause) {
+    var innerFirst = nestedFirstArgument_1(clause, this);
+    return innerFirst.fw() ? Utils_instance.p1o([this.t1q_1.k1p(clause), this.r1q_1.k1p(clause)]) : innerFirst.av() ? Utils_instance.p1o([this.t1q_1.k1p(clause), this.s1q_1.k1p(clause)]) : innerFirst.bw() ? Utils_instance.p1o([this.t1q_1.k1p(clause), this.r1q_1.k1p(clause), this.s1q_1.k1p(clause), this.u1q_1.k1p(clause)]) : Utils_instance.p1o([this.t1q_1.k1p(clause), this.u1q_1.k1p(clause)]);
+  };
+  protoOf(FamilyArityReteNode).z1q = function (clause) {
+    var innerFirst = nestedFirstArgument_1(clause, this);
+    return innerFirst.fw() ? Utils_instance.m1o([this.t1q_1.j1p(clause), this.r1q_1.j1p(clause)]) : innerFirst.av() ? Utils_instance.m1o([this.t1q_1.j1p(clause), this.s1q_1.j1p(clause)]) : innerFirst.bw() ? Utils_instance.m1o([this.t1q_1.j1p(clause), this.r1q_1.j1p(clause), this.s1q_1.j1p(clause), this.u1q_1.j1p(clause)]) : Utils_instance.m1o([this.t1q_1.j1p(clause), this.u1q_1.j1p(clause)]);
+  };
+  protoOf(FamilyArityReteNode).y1q = function (clause) {
+    var innerFirst = nestedFirstArgument_1(clause, this);
+    return innerFirst.fw() ? Utils_instance.p1o([this.t1q_1.j1p(clause), this.r1q_1.j1p(clause)]) : innerFirst.av() ? Utils_instance.p1o([this.t1q_1.j1p(clause), this.s1q_1.j1p(clause)]) : innerFirst.bw() ? Utils_instance.p1o([this.t1q_1.j1p(clause), this.r1q_1.j1p(clause), this.s1q_1.j1p(clause), this.u1q_1.j1p(clause)]) : Utils_instance.p1o([this.t1q_1.j1p(clause), this.u1q_1.j1p(clause)]);
+  };
+  protoOf(FamilyArityReteNode).w1q = function (clause) {
+    var innerFirst = nestedFirstArgument_1(clause, this);
+    var tmp;
+    if (innerFirst.fw()) {
+      var tmp0_elvis_lhs = this.t1q_1.i1p(clause);
+      tmp = tmp0_elvis_lhs == null ? this.r1q_1.i1p(clause) : tmp0_elvis_lhs;
+    } else if (innerFirst.av()) {
+      var tmp1_elvis_lhs = this.t1q_1.i1p(clause);
+      tmp = tmp1_elvis_lhs == null ? this.s1q_1.i1p(clause) : tmp1_elvis_lhs;
+    } else if (innerFirst.bw()) {
+      var tmp2_elvis_lhs = this.t1q_1.i1p(clause);
+      var tmp3_elvis_lhs = tmp2_elvis_lhs == null ? this.r1q_1.i1p(clause) : tmp2_elvis_lhs;
+      var tmp4_elvis_lhs = tmp3_elvis_lhs == null ? this.s1q_1.i1p(clause) : tmp3_elvis_lhs;
+      tmp = tmp4_elvis_lhs == null ? this.u1q_1.i1p(clause) : tmp4_elvis_lhs;
+    } else {
+      var tmp5_elvis_lhs = this.t1q_1.i1p(clause);
+      tmp = tmp5_elvis_lhs == null ? this.u1q_1.i1p(clause) : tmp5_elvis_lhs;
+    }
+    return tmp;
+  };
+  protoOf(FamilyArityReteNode).x1q = function (clause) {
+    var innerFirst = nestedFirstArgument_1(clause, this);
+    var tmp;
+    if (innerFirst.fw()) {
+      tmp = Utils_instance.u1o(this.r1q_1.i1p(clause), this.t1q_1.i1p(clause));
+    } else if (innerFirst.av()) {
+      tmp = Utils_instance.u1o(this.s1q_1.i1p(clause), this.t1q_1.i1p(clause));
+    } else if (innerFirst.bw()) {
+      tmp = Utils_instance.u1o(Utils_instance.u1o(this.r1q_1.i1p(clause), this.s1q_1.i1p(clause)), Utils_instance.u1o(this.t1q_1.i1p(clause), this.u1q_1.i1p(clause)));
+    } else {
+      tmp = Utils_instance.u1o(this.t1q_1.i1p(clause), this.u1q_1.i1p(clause));
+    }
+    return tmp;
+  };
+  protoOf(FamilyArityReteNode).v1n = function () {
+    this.v1q_1.vp();
+  };
+  function isGlobal_1(_this__u8e3s4, $this) {
+    return _this__u8e3s4.nv() ? Utils_instance.l1o(_this__u8e3s4.castToRule().lx(), $this.e1r_1).bw() : 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.lx();
+    var tmp2_elvis_lhs = tmp1_safe_receiver == null ? null : Utils_instance.j1o(tmp1_safe_receiver, $this.e1r_1);
+    var tmp;
+    if (tmp2_elvis_lhs == null) {
+      var message = 'The nestedArity method cannot be invoked on non-rule clauses';
+      throw IllegalStateException_init_$Create$(toString(message));
+    } else {
+      tmp = tmp2_elvis_lhs;
+    }
+    return tmp;
+  }
+  function nestedArity_0(_this__u8e3s4, $this) {
+    return Utils_instance.j1o(ensureNotNull(_this__u8e3s4.q1n().lx()), $this.e1r_1);
+  }
+  function regenerateCache_1($this) {
+    var tmp;
+    if ($this.d1r_1) {
+      var tmp_0 = Utils_instance;
+      // Inline function 'kotlin.collections.map' call
+      var this_0 = $this.f1r_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.u1n();
+        destination.o(tmp$ret$0);
+      }
+      tmp = tmp_0.n1o(destination);
+    } else {
+      var tmp_1 = Utils_instance;
+      // Inline function 'kotlin.collections.map' call
+      var this_1 = $this.f1r_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.u1n();
+        destination_0.o(tmp$ret$3);
+      }
+      tmp = tmp_1.r1o(destination_0);
+    }
+    return dequeOf_0(tmp);
+  }
+  function FunctorIndexingNode$regenerateCache$ref($boundThis) {
+    var l = function () {
+      return regenerateCache_1($boundThis);
+    };
+    l.callableName = 'regenerateCache';
+    return l;
+  }
+  function FunctorIndexingNode$_get_size_$lambda_vcufvm(it) {
+    return it.l();
+  }
+  function FunctorIndexingNode$retractAllIndexed$lambda(this$0, $clause) {
+    return function (it) {
+      return this$0.k1l().match(it.q1n(), $clause);
+    };
+  }
+  function FunctorIndexingNode(unificator, ordered, nestingLevel) {
+    FunctorNode.call(this, unificator);
+    this.d1r_1 = ordered;
+    this.e1r_1 = nestingLevel;
+    var tmp = this;
+    // Inline function 'kotlin.collections.mutableMapOf' call
+    tmp.f1r_1 = LinkedHashMap_init_$Create$();
+    var tmp_0 = this;
+    var tmp_1 = Companion_instance_1;
+    tmp_0.g1r_1 = tmp_1.tp(FunctorIndexingNode$regenerateCache$ref(this));
+  }
+  protoOf(FunctorIndexingNode).l = function () {
+    var tmp = asSequence(this.f1r_1.m2());
+    return sum(map(tmp, FunctorIndexingNode$_get_size_$lambda_vcufvm));
+  };
+  protoOf(FunctorIndexingNode).q1l = function () {
+    var tmp;
+    if (this.f1r_1.z()) {
+      tmp = true;
+    } else {
+      var tmp$ret$0;
+      $l$block_0: {
+        // Inline function 'kotlin.collections.all' call
+        var this_0 = this.f1r_1.m2();
+        var tmp_0;
+        if (isInterface(this_0, Collection)) {
+          tmp_0 = this_0.z();
+        } else {
+          tmp_0 = false;
+        }
+        if (tmp_0) {
+          tmp$ret$0 = true;
+          break $l$block_0;
+        }
+        var tmp0_iterator = this_0.r();
+        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.q1l()) {
+            tmp$ret$0 = false;
+            break $l$block_0;
+          }
+        }
+        tmp$ret$0 = true;
+      }
+      tmp = tmp$ret$0;
+    }
+    return tmp;
+  };
+  protoOf(FunctorIndexingNode).s1n = function (clause) {
+    // Inline function 'kotlin.collections.getOrPut' call
+    var this_0 = this.f1r_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.k1l(), this.d1r_1, this.e1r_1);
+      this_0.o2(key, answer);
+      tmp = answer;
+    } else {
+      tmp = value;
+    }
+    tmp.s1n(clause.y1o(this));
+  };
+  protoOf(FunctorIndexingNode).t1n = function (clause) {
+    // Inline function 'kotlin.collections.getOrPut' call
+    var this_0 = this.f1r_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.k1l(), this.d1r_1, this.e1r_1);
+      this_0.o2(key, answer);
+      tmp = answer;
+    } else {
+      tmp = value;
+    }
+    tmp.t1n(clause.y1o(this));
+  };
+  protoOf(FunctorIndexingNode).u1n = function () {
+    return asSequence(this.g1r_1.r2());
+  };
+  protoOf(FunctorIndexingNode).i1p = function (clause) {
+    var tmp;
+    if (isGlobal_1(clause, this)) {
+      var tmp$ret$4;
+      $l$block: {
+        // Inline function 'kotlin.sequences.firstOrNull' call
+        var tmp_0 = Utils_instance;
+        // Inline function 'kotlin.collections.map' call
+        var this_0 = this.f1r_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.l1p(clause);
+          destination.o(tmp$ret$0);
+        }
+        var tmp0_iterator_0 = tmp_0.n1o(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.k1l().match(element.q1n(), clause)) {
+            tmp$ret$4 = element;
+            break $l$block;
+          }
+        }
+        tmp$ret$4 = null;
+      }
+      tmp = tmp$ret$4;
+    } else {
+      var tmp0_safe_receiver = this.f1r_1.x2(nestedArity(clause, this));
+      tmp = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.i1p(clause);
+    }
+    return tmp;
+  };
+  protoOf(FunctorIndexingNode).j1p = function (clause) {
+    var tmp;
+    if (isGlobal_1(clause, this)) {
+      var tmp_0 = Utils_instance;
+      // Inline function 'kotlin.collections.map' call
+      var this_0 = this.f1r_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.l1p(clause);
+        destination.o(tmp$ret$0);
+      }
+      tmp = tmp_0.n1o(destination);
+    } else {
+      var tmp0_safe_receiver = this.f1r_1.x2(nestedArity(clause, this));
+      var tmp1_elvis_lhs = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.j1p(clause);
+      tmp = tmp1_elvis_lhs == null ? emptySequence() : tmp1_elvis_lhs;
+    }
+    return tmp;
+  };
+  protoOf(FunctorIndexingNode).k1p = function (clause) {
+    var tmp;
+    if (isGlobal_1(clause, this)) {
+      var tmp_0 = Utils_instance;
+      // Inline function 'kotlin.collections.map' call
+      var this_0 = this.f1r_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.l1p(clause);
+        destination.o(tmp$ret$0);
+      }
+      var tmp_1 = tmp_0.n1o(destination);
+      var partialResult = toList(filter(tmp_1, FunctorIndexingNode$retractAllIndexed$lambda(this, clause)));
+      // Inline function 'kotlin.collections.isNotEmpty' call
+      if (!partialResult.z()) {
+        this.v1n();
+        // 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.e1p();
+        }
+      }
+      tmp = asSequence(partialResult);
+    } else {
+      var tmp0_safe_receiver = this.f1r_1.x2(nestedArity(clause, this));
+      var tmp1_elvis_lhs = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.k1p(clause);
+      tmp = tmp1_elvis_lhs == null ? emptySequence() : tmp1_elvis_lhs;
+    }
+    return tmp;
+  };
+  protoOf(FunctorIndexingNode).l1p = function (clause) {
+    var tmp;
+    if (this.d1r_1) {
+      var tmp_0 = Utils_instance;
+      // Inline function 'kotlin.collections.map' call
+      var this_0 = this.f1r_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.l1p(clause);
+        destination.o(tmp$ret$0);
+      }
+      tmp = tmp_0.n1o(destination);
+    } else {
+      var tmp_1 = Utils_instance;
+      // Inline function 'kotlin.collections.map' call
+      var this_1 = this.f1r_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.l1p(clause);
+        destination_0.o(tmp$ret$3);
+      }
+      tmp = tmp_1.r1o(destination_0);
+    }
+    return tmp;
+  };
+  protoOf(FunctorIndexingNode).v1n = function () {
+    this.g1r_1.vp();
+  };
+  function FunctorNode(unificator) {
+    AbstractReteNode.call(this, unificator);
+  }
+  function assignHigherIndex($this, clause) {
+    var tmp = Companion_instance_7;
+    $this.n1r_1 = $this.n1r_1.qa();
+    return tmp.a1p($this.n1r_1, clause, [$this]);
+  }
+  function assignLowerIndex($this, clause) {
+    var tmp = Companion_instance_7;
+    $this.m1r_1 = $this.m1r_1.ra();
+    return tmp.a1p($this.m1r_1, clause, [$this]);
+  }
+  function regenerateCache_2($this) {
+    var tmp;
+    if ($this.i1r_1) {
+      var tmp_0 = Utils_instance.m1o([$this.l1r_1.u1n(), $this.k1r_1.u1n()]);
+      tmp = map(tmp_0, RootNode$regenerateCache$lambda);
+    } else {
+      var tmp_1 = Utils_instance;
+      var tmp_2 = $this.l1r_1.u1n();
+      var tmp_3 = map(tmp_2, RootNode$regenerateCache$lambda_0);
+      var tmp_4 = $this.k1r_1.u1n();
+      tmp = tmp_1.s1o([tmp_3, map(tmp_4, RootNode$regenerateCache$lambda_1)]);
+    }
+    return dequeOf_0(tmp);
+  }
+  function RootNode$regenerateCache$ref($boundThis) {
+    var l = function () {
+      return regenerateCache_2($boundThis);
+    };
+    l.callableName = 'regenerateCache';
+    return l;
+  }
+  function RootNode$_get_directives_$lambda_9lfp1g(it) {
+    return it.r2().castToDirective();
+  }
+  function RootNode$_get_rules_$lambda_py6utr(it) {
+    return it.r2().castToRule();
+  }
+  function RootNode$assertA$lambda($clause) {
+    return function (it) {
+      addFirst(it, $clause);
+      return Unit_instance;
+    };
+  }
+  function RootNode$assertZ$lambda($clause) {
+    return function (it) {
+      return it.o($clause);
+    };
+  }
+  function RootNode$regenerateCache$lambda(it) {
+    return it.q1n();
+  }
+  function RootNode$regenerateCache$lambda_0(it) {
+    return it.q1n();
+  }
+  function RootNode$regenerateCache$lambda_1(it) {
+    return it.q1n();
+  }
+  function RootNode(unificator, clauses, isOrdered) {
+    this.h1r_1 = unificator;
+    this.i1r_1 = isOrdered;
+    var tmp = this;
+    var tmp_0 = Companion_instance_1;
+    tmp.j1r_1 = tmp_0.tp(RootNode$regenerateCache$ref(this));
+    this.k1r_1 = new RuleNode(this.h1r_1, this.i1r_1);
+    this.l1r_1 = new DirectiveIndex(this.h1r_1, this.i1r_1);
+    this.m1r_1 = new Long(0, 0);
+    this.n1r_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.y1l(element);
+    }
+  }
+  protoOf(RootNode).k1l = function () {
+    return this.h1r_1;
+  };
+  protoOf(RootNode).t1m = function () {
+    return this.i1r_1;
+  };
+  protoOf(RootNode).l = function () {
+    return this.l1r_1.l() + this.k1r_1.l() | 0;
+  };
+  protoOf(RootNode).q1l = function () {
+    return this.l1r_1.q1l() ? this.k1r_1.q1l() : false;
+  };
+  protoOf(RootNode).v1l = function () {
+    return asSequence(this.j1r_1.r2());
+  };
+  protoOf(RootNode).o1l = function () {
+    var tmp = this.l1r_1.u1n();
+    return map(tmp, RootNode$_get_directives_$lambda_9lfp1g);
+  };
+  protoOf(RootNode).p1l = function () {
+    var tmp = this.k1r_1.u1n();
+    return map(tmp, RootNode$_get_rules_$lambda_py6utr);
+  };
+  protoOf(RootNode).t1l = function (clause) {
+    var tmp;
+    if (clause.ov()) {
+      tmp = this.l1r_1.t1l(clause);
+    } else {
+      tmp = this.k1r_1.t1l(clause);
+    }
+    return tmp;
+  };
+  protoOf(RootNode).b1m = function (clause) {
+    var tmp;
+    if (clause.ov()) {
+      tmp = this.l1r_1.b1m(clause);
+    } else {
+      tmp = this.k1r_1.b1m(clause);
+    }
+    return tmp;
+  };
+  protoOf(RootNode).d1m = function (clause) {
+    var tmp;
+    if (clause.ov()) {
+      tmp = this.l1r_1.d1m(clause);
+    } else {
+      tmp = this.k1r_1.d1m(clause);
+    }
+    return tmp;
+  };
+  protoOf(RootNode).g1m = function () {
+    return new RootNode(this.h1r_1, asIterable(this.v1l()), this.i1r_1);
+  };
+  protoOf(RootNode).x1m = function (clause) {
+    var indexed = assignLowerIndex(this, clause);
+    if (this.i1r_1) {
+      this.j1r_1.wp(RootNode$assertA$lambda(clause));
+      if (clause.ov()) {
+        this.l1r_1.s1n(indexed);
+      } else {
+        this.k1r_1.s1n(indexed);
+      }
+    } else {
+      throw UnsupportedOperationException_init_$Create$('An unordered ReteTree cannot perform the assertA operation.');
+    }
+  };
+  protoOf(RootNode).y1l = function (clause) {
+    var indexed = assignHigherIndex(this, clause);
+    this.j1r_1.wp(RootNode$assertZ$lambda(clause));
+    if (clause.ov()) {
+      this.l1r_1.t1n(indexed);
+    } else {
+      this.k1r_1.t1n(indexed);
+    }
+  };
+  protoOf(RootNode).v1n = function () {
+    this.j1r_1.vp();
+  };
+  function nestedFunctor_1(_this__u8e3s4, $this) {
+    return Utils_instance.k1o(ensureNotNull(_this__u8e3s4.lx()), 0);
+  }
+  function nestedFunctor_2(_this__u8e3s4, $this) {
+    return nestedFunctor_1(_this__u8e3s4.q1n(), $this);
+  }
+  function regenerateCache_3($this) {
+    var tmp;
+    if ($this.p1r_1) {
+      var tmp_0 = Utils_instance;
+      // Inline function 'kotlin.collections.map' call
+      var this_0 = $this.q1r_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.u1n();
+        destination.o(tmp$ret$0);
+      }
+      tmp = tmp_0.n1o(destination);
+    } else {
+      var tmp_1 = Utils_instance;
+      // Inline function 'kotlin.collections.map' call
+      var this_1 = $this.q1r_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.u1n();
+        destination_0.o(tmp$ret$3);
+      }
+      tmp = tmp_1.r1o(destination_0);
+    }
+    return dequeOf_0(tmp);
+  }
+  function RuleNode$regenerateCache$ref($boundThis) {
+    var l = function () {
+      return regenerateCache_3($boundThis);
+    };
+    l.callableName = 'regenerateCache';
+    return l;
+  }
+  function RuleNode$_get_size_$lambda_xjenvf(it) {
+    return it.l();
+  }
+  function RuleNode(unificator, ordered) {
+    this.o1r_1 = unificator;
+    this.p1r_1 = ordered;
+    var tmp = this;
+    // Inline function 'kotlin.collections.mutableMapOf' call
+    tmp.q1r_1 = LinkedHashMap_init_$Create$();
+    var tmp_0 = this;
+    var tmp_1 = Companion_instance_1;
+    tmp_0.r1r_1 = tmp_1.tp(RuleNode$regenerateCache$ref(this));
+  }
+  protoOf(RuleNode).t1l = function (clause) {
+    var tmp0_safe_receiver = this.q1r_1.x2(nestedFunctor_1(clause, this));
+    var tmp1_elvis_lhs = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.t1l(clause);
+    return tmp1_elvis_lhs == null ? emptySequence() : tmp1_elvis_lhs;
+  };
+  protoOf(RuleNode).s1n = function (clause) {
+    // Inline function 'kotlin.let' call
+    // Inline function 'kotlin.contracts.contract' call
+    var it = nestedFunctor_2(clause, this);
+    var tmp;
+    if (this.p1r_1) {
+      // Inline function 'kotlin.collections.getOrPut' call
+      var this_0 = this.q1r_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.o1r_1, this.p1r_1, 0);
+        this_0.o2(it, answer);
+        tmp_0 = answer;
+      } else {
+        tmp_0 = value;
+      }
+      tmp_0.s1n(clause.y1o(this));
+      tmp = Unit_instance;
+    } else {
+      this.t1n(clause);
+      tmp = Unit_instance;
+    }
+  };
+  protoOf(RuleNode).t1n = 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.q1r_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.o1r_1, this.p1r_1, 0);
+      this_0.o2(it, answer);
+      tmp = answer;
+    } else {
+      tmp = value;
+    }
+    tmp.t1n(clause.y1o(this));
+  };
+  protoOf(RuleNode).b1m = function (clause) {
+    var tmp0_safe_receiver = this.q1r_1.x2(nestedFunctor_1(clause, this));
+    var tmp1_elvis_lhs = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.b1m(clause);
+    return tmp1_elvis_lhs == null ? emptySequence() : tmp1_elvis_lhs;
+  };
+  protoOf(RuleNode).l = function () {
+    var tmp = asSequence(this.q1r_1.m2());
+    return sum(map(tmp, RuleNode$_get_size_$lambda_xjenvf));
+  };
+  protoOf(RuleNode).q1l = function () {
+    var tmp;
+    if (this.q1r_1.z()) {
+      tmp = true;
+    } else {
+      var tmp$ret$0;
+      $l$block_0: {
+        // Inline function 'kotlin.collections.all' call
+        var this_0 = this.q1r_1.m2();
+        var tmp_0;
+        if (isInterface(this_0, Collection)) {
+          tmp_0 = this_0.z();
+        } else {
+          tmp_0 = false;
+        }
+        if (tmp_0) {
+          tmp$ret$0 = true;
+          break $l$block_0;
+        }
+        var tmp0_iterator = this_0.r();
+        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.q1l()) {
+            tmp$ret$0 = false;
+            break $l$block_0;
+          }
+        }
+        tmp$ret$0 = true;
+      }
+      tmp = tmp$ret$0;
+    }
+    return tmp;
+  };
+  protoOf(RuleNode).d1m = function (clause) {
+    var tmp0_safe_receiver = this.q1r_1.x2(nestedFunctor_1(clause, this));
+    var tmp1_elvis_lhs = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.d1m(clause);
+    return tmp1_elvis_lhs == null ? emptySequence() : tmp1_elvis_lhs;
+  };
+  protoOf(RuleNode).u1n = function () {
+    return asSequence(this.r1r_1.r2());
+  };
+  protoOf(RuleNode).v1n = function () {
+    this.r1r_1.vp();
+  };
+  function selectArity($this, clause) {
+    return $this.v1r_1.x2(Utils_instance.j1o(ensureNotNull(clause.lx()), $this.u1r_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.j1o(ensureNotNull(clause.q1n().lx()), $this.u1r_1);
+    var tmp;
+    if (it === 0) {
+      // Inline function 'kotlin.collections.getOrPut' call
+      var this_0 = $this.v1r_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.k1l(), $this.t1r_1);
+        this_0.o2(it, answer);
+        tmp_0 = answer;
+      } else {
+        tmp_0 = value;
+      }
+      tmp = tmp_0;
+    } else {
+      // Inline function 'kotlin.collections.getOrPut' call
+      var this_1 = $this.v1r_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.k1l(), $this.t1r_1, $this.u1r_1);
+        this_1.o2(it, answer_0);
+        tmp_1 = answer_0;
+      } else {
+        tmp_1 = value_0;
+      }
+      tmp = tmp_1;
+    }
+    op(tmp, clause);
+  }
+  function regenerateCache_4($this) {
+    var tmp;
+    if ($this.t1r_1) {
+      var tmp_0 = Utils_instance;
+      // Inline function 'kotlin.collections.map' call
+      var this_0 = $this.v1r_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.u1n();
+        destination.o(tmp$ret$0);
+      }
+      tmp = tmp_0.n1o(destination);
+    } else {
+      var tmp_1 = Utils_instance;
+      // Inline function 'kotlin.collections.map' call
+      var this_1 = $this.v1r_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.u1n();
+        destination_0.o(tmp$ret$3);
+      }
+      tmp = tmp_1.r1o(destination_0);
+    }
+    return dequeOf_0(tmp);
+  }
+  function TopLevelFunctorReteNode$regenerateCache$ref($boundThis) {
+    var l = function () {
+      return regenerateCache_4($boundThis);
+    };
+    l.callableName = 'regenerateCache';
+    return l;
+  }
+  function TopLevelFunctorReteNode$_get_size_$lambda_6i36rr(it) {
+    return it.l();
+  }
+  function ReteNode$assertA$ref() {
+    var l = function (p0, p1) {
+      p0.s1n(p1);
+      return Unit_instance;
+    };
+    l.callableName = 'assertA';
+    return l;
+  }
+  function ReteNode$assertZ$ref() {
+    var l = function (p0, p1) {
+      p0.t1n(p1);
+      return Unit_instance;
+    };
+    l.callableName = 'assertZ';
+    return l;
+  }
+  function TopLevelFunctorReteNode(unificator, ordered, nestingLevel) {
+    FunctorNode.call(this, unificator);
+    this.t1r_1 = ordered;
+    this.u1r_1 = nestingLevel;
+    var tmp = this;
+    // Inline function 'kotlin.collections.mutableMapOf' call
+    tmp.v1r_1 = LinkedHashMap_init_$Create$();
+    var tmp_0 = this;
+    var tmp_1 = Companion_instance_1;
+    tmp_0.w1r_1 = tmp_1.tp(TopLevelFunctorReteNode$regenerateCache$ref(this));
+  }
+  protoOf(TopLevelFunctorReteNode).l = function () {
+    var tmp = asSequence(this.v1r_1.m2());
+    return sum(map(tmp, TopLevelFunctorReteNode$_get_size_$lambda_6i36rr));
+  };
+  protoOf(TopLevelFunctorReteNode).q1l = function () {
+    var tmp;
+    if (this.v1r_1.z()) {
+      tmp = true;
+    } else {
+      var tmp$ret$0;
+      $l$block_0: {
+        // Inline function 'kotlin.collections.all' call
+        var this_0 = this.v1r_1.m2();
+        var tmp_0;
+        if (isInterface(this_0, Collection)) {
+          tmp_0 = this_0.z();
+        } else {
+          tmp_0 = false;
+        }
+        if (tmp_0) {
+          tmp$ret$0 = true;
+          break $l$block_0;
+        }
+        var tmp0_iterator = this_0.r();
+        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.q1l()) {
+            tmp$ret$0 = false;
+            break $l$block_0;
+          }
+        }
+        tmp$ret$0 = true;
+      }
+      tmp = tmp$ret$0;
+    }
+    return tmp;
+  };
+  protoOf(TopLevelFunctorReteNode).t1l = function (clause) {
+    var tmp0_safe_receiver = selectArity(this, clause);
+    var tmp1_elvis_lhs = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.t1l(clause);
+    return tmp1_elvis_lhs == null ? emptySequence() : tmp1_elvis_lhs;
+  };
+  protoOf(TopLevelFunctorReteNode).s1n = function (clause) {
+    var tmp = clause.y1o(this);
+    chooseAssertionBranch(this, tmp, ReteNode$assertA$ref());
+  };
+  protoOf(TopLevelFunctorReteNode).t1n = function (clause) {
+    var tmp = clause.y1o(this);
+    chooseAssertionBranch(this, tmp, ReteNode$assertZ$ref());
+  };
+  protoOf(TopLevelFunctorReteNode).b1m = function (clause) {
+    var tmp0_safe_receiver = selectArity(this, clause);
+    var tmp1_elvis_lhs = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.b1m(clause);
+    return tmp1_elvis_lhs == null ? emptySequence() : tmp1_elvis_lhs;
+  };
+  protoOf(TopLevelFunctorReteNode).d1m = function (clause) {
+    var tmp0_safe_receiver = selectArity(this, clause);
+    var tmp1_elvis_lhs = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.d1m(clause);
+    return tmp1_elvis_lhs == null ? emptySequence() : tmp1_elvis_lhs;
+  };
+  protoOf(TopLevelFunctorReteNode).u1n = function () {
+    return asSequence(this.w1r_1.r2());
+  };
+  protoOf(TopLevelFunctorReteNode).v1n = function () {
+    this.w1r_1.vp();
+  };
+  function ZeroArityReteNode$retractFirst$lambda(it) {
+    return it.q1n();
+  }
+  function ZeroArityReteNode$get$lambda(this$0, $clause) {
+    return function (it) {
+      return this$0.k1l().match(it.q1n(), $clause);
+    };
+  }
+  function ZeroArityReteNode$get$lambda_0(it) {
+    return it.q1n();
+  }
+  function ZeroArityReteNode$retractAll$lambda(it) {
+    return it.q1n();
+  }
+  function ZeroArityReteNode(unificator, ordered) {
+    ArityNode.call(this, unificator);
+    this.y1r_1 = ordered;
+    this.z1r_1 = dequeOf([]);
+  }
+  protoOf(ZeroArityReteNode).b1m = function (clause) {
+    var tmp = this.r1n(this.z1r_1, clause);
+    return buffered(take(map(tmp, ZeroArityReteNode$retractFirst$lambda), 1));
+  };
+  protoOf(ZeroArityReteNode).l = function () {
+    return this.z1r_1.l();
+  };
+  protoOf(ZeroArityReteNode).q1l = function () {
+    return this.z1r_1.z();
+  };
+  protoOf(ZeroArityReteNode).t1l = function (clause) {
+    var tmp = asSequence(this.z1r_1);
+    var tmp_0 = filter(tmp, ZeroArityReteNode$get$lambda(this, clause));
+    return map(tmp_0, ZeroArityReteNode$get$lambda_0);
+  };
+  protoOf(ZeroArityReteNode).s1n = function (clause) {
+    if (this.y1r_1) {
+      addFirst(this.z1r_1, Companion_instance_8.g1p(clause.y1o(this), this));
+    } else {
+      this.t1n(clause);
+    }
+  };
+  protoOf(ZeroArityReteNode).t1n = function (clause) {
+    this.z1r_1.o(Companion_instance_8.g1p(clause.y1o(this), this));
+  };
+  protoOf(ZeroArityReteNode).d1m = function (clause) {
+    var tmp = this.r1n(this.z1r_1, clause);
+    return buffered(map(tmp, ZeroArityReteNode$retractAll$lambda));
+  };
+  protoOf(ZeroArityReteNode).u1n = function () {
+    return asSequence(this.z1r_1);
+  };
+  protoOf(ZeroArityReteNode).v1n = function () {
+  };
+  protoOf(ZeroArityReteNode).f1p = function (indexed) {
+    this.z1r_1.p(indexed);
+  };
+  function AbstractTheory$get$lambda(it) {
+    return it.castToRule();
+  }
+  function AbstractTheory$get$lambda_0(it) {
+    return it.castToRule();
+  }
+  function AbstractTheory(tags) {
+    this.a1s_1 = tags;
+  }
+  protoOf(AbstractTheory).us = function () {
+    return this.a1s_1;
+  };
+  protoOf(AbstractTheory).b1s = function () {
+    return this;
+  };
+  protoOf(AbstractTheory).toImmutableTheory = function () {
+    return this.b1s();
+  };
+  protoOf(AbstractTheory).c1s = function (clause) {
+    return plus_2.call(this, TheoryUtils_instance.h1m(clause));
+  };
+  protoOf(AbstractTheory).plus = function (clause) {
+    return this.c1s(clause);
+  };
+  protoOf(AbstractTheory).s1l = function (clause) {
+    return any(this.get(clause));
+  };
+  protoOf(AbstractTheory).contains = function (clause) {
+    return this.s1l(clause);
+  };
+  protoOf(AbstractTheory).d1s = function (head) {
+    return this.s1l(Companion_instance_2.of(head, [Companion_getInstance().anonymous()]));
+  };
+  protoOf(AbstractTheory).containsHead = function (head) {
+    return this.d1s(head);
+  };
+  protoOf(AbstractTheory).e1s = function (indicator) {
+    return any(this.f1s(indicator));
+  };
+  protoOf(AbstractTheory).containsIndicator = function (indicator) {
+    return this.e1s(indicator);
+  };
+  protoOf(AbstractTheory).g1s = 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.g1s(head);
+  };
+  protoOf(AbstractTheory).f1s = function (indicator) {
+    // Inline function 'kotlin.require' call
+    // Inline function 'kotlin.contracts.contract' call
+    if (!indicator.vx()) {
+      // Inline function 'it.unibo.tuprolog.theory.AbstractTheory.get.<anonymous>' call
+      var message = 'The provided indicator is not well formed: ' + indicator;
+      throw IllegalArgumentException_init_$Create$(toString(message));
+    }
+    var tmp = Companion_instance_2;
+    var tmp_0 = Companion_getInstance_0();
+    var tmp_1 = ensureNotNull(indicator.oz());
+    // Inline function 'kotlin.collections.map' call
+    var this_0 = numberRangeToNumber(1, ensureNotNull(indicator.pz()));
+    // 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.theory.AbstractTheory.get.<anonymous>' call
+      var tmp$ret$1 = Companion_getInstance().anonymous();
+      destination.o(tmp$ret$1);
+    }
+    var tmp_2 = this.get(tmp.of(tmp_0.ofList(tmp_1, destination), [Companion_getInstance().anonymous()]));
+    return map(tmp_2, AbstractTheory$get$lambda_0);
+  };
+  protoOf(AbstractTheory).getByIndicator = function (indicator) {
+    return this.f1s(indicator);
+  };
+  protoOf(AbstractTheory).h1s = function (indicator) {
+    // Inline function 'kotlin.require' call
+    // Inline function 'kotlin.contracts.contract' call
+    if (!indicator.vx()) {
+      // Inline function 'it.unibo.tuprolog.theory.AbstractTheory.abolish.<anonymous>' call
+      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.oz()), ensureNotNull(indicator.pz()))).i1s();
+  };
+  protoOf(AbstractTheory).abolish = function (indicator) {
+    return this.h1s(indicator);
+  };
+  protoOf(AbstractTheory).toString = function () {
+    return '' + getKClassFromExpression(this).o6() + '{ ' + joinToString(this.v1l(), '. ') + ' }';
+  };
+  protoOf(AbstractTheory).j1s = function (asPrologText) {
+    var tmp;
+    if (asPrologText) {
+      tmp = joinToString(this.v1l(), '.\n', '', '.\n');
+    } else {
+      tmp = this.toString();
+    }
+    return tmp;
+  };
+  protoOf(AbstractTheory).toStringAsProlog = function (asPrologText) {
+    return this.j1s(asPrologText);
+  };
+  protoOf(AbstractTheory).r = function () {
+    return this.v1l().r();
+  };
+  protoOf(AbstractTheory).equals = function (other) {
+    if (other == null)
+      return false;
+    if (!(!(other == null) ? isInterface(other, Theory) : false))
+      return false;
+    return this.k1s(other, true);
+  };
+  protoOf(AbstractTheory).k1s = function (other, useVarCompleteName) {
+    if (this === other)
+      return true;
+    var i = this.v1l().r();
+    var j = other.v1l().r();
+    while (i.s() ? j.s() : false) {
+      if (!i.u().equalsUsingVarCompleteNames(j.u(), useVarCompleteName)) {
+        return false;
+      }
+    }
+    return i.s() === j.s();
+  };
+  protoOf(AbstractTheory).equalsUsingVarCompleteNames = function (other, useVarCompleteName) {
+    return this.k1s(other, useVarCompleteName);
+  };
+  protoOf(AbstractTheory).hashCode = function () {
+    // Inline function 'kotlin.hashCode' call
+    var tmp0_safe_receiver = getKClass(AbstractTheory).o6();
+    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.v1l().r();
+    while (tmp0_iterator.s()) {
+      var clause = tmp0_iterator.u();
+      result = imul(31, result) + clause.hashCode() | 0;
+    }
+    return result;
+  };
+  protoOf(AbstractTheory).l = function () {
+    var i = new Long(0, 0);
+    var iter = this.r();
+    while (iter.s()) {
+      iter.u();
+      i = i.qa();
+    }
+    return i;
+  };
+  protoOf(AbstractTheory).q1l = function () {
+    return !this.l1s();
+  };
+  protoOf(AbstractTheory).l1s = function () {
+    return this.r().s();
+  };
+  protoOf(AbstractTheory).m1s = function (unificator) {
+    var tmp;
+    if (!equals(unificator, this.k1l())) {
+      tmp = this.n1s(asSequence(this.v1l()), VOID, unificator);
+    } else {
+      tmp = this;
+    }
+    return tmp;
+  };
+  protoOf(AbstractTheory).setUnificator = function (unificator) {
+    return this.m1s(unificator);
+  };
+  protoOf(AbstractTheory).o1s = function (theory) {
+    var tmp;
+    if (theory.l1s()) {
+      tmp = this.n1s(plus_0(asSequence(this.v1l()), TheoryUtils_instance.p1s(asSequence(theory.v1l()))));
+    } else {
+      tmp = this;
+    }
+    return tmp;
+  };
+  protoOf(AbstractTheory).plusTheory = function (theory) {
+    return this.o1s(theory);
+  };
+  protoOf(AbstractTheory).q1s = function (clause) {
+    return this.n1s(plus_0(TheoryUtils_instance.r1s([clause]), asSequence(this.v1l())));
+  };
+  protoOf(AbstractTheory).assertA = function (clause) {
+    return this.q1s(clause);
+  };
+  protoOf(AbstractTheory).s1s = function (clauses) {
+    return this.n1s(plus_0(TheoryUtils_instance.p1s(asSequence(clauses)), asSequence(this.v1l())));
+  };
+  protoOf(AbstractTheory).assertAIterable = function (clauses) {
+    return this.s1s(clauses);
+  };
+  protoOf(AbstractTheory).t1s = function (clauses) {
+    return this.n1s(plus_0(TheoryUtils_instance.p1s(clauses), asSequence(this.v1l())));
+  };
+  protoOf(AbstractTheory).assertASequence = function (clauses) {
+    return this.t1s(clauses);
+  };
+  protoOf(AbstractTheory).u1s = function (clause) {
+    return this.n1s(plus_0(asSequence(this.v1l()), TheoryUtils_instance.p1s(sequenceOf([clause]))));
+  };
+  protoOf(AbstractTheory).assertZ = function (clause) {
+    return this.u1s(clause);
+  };
+  protoOf(AbstractTheory).v1s = function (clauses) {
+    return this.n1s(plus_0(asSequence(this.v1l()), asSequence(TheoryUtils_instance.s1m(clauses))));
+  };
+  protoOf(AbstractTheory).assertZIterable = function (clauses) {
+    return this.v1s(clauses);
+  };
+  protoOf(AbstractTheory).w1s = function (clauses) {
+    return this.n1s(plus_0(asSequence(this.v1l()), TheoryUtils_instance.p1s(clauses)));
+  };
+  protoOf(AbstractTheory).assertZSequence = function (clauses) {
+    return this.w1s(clauses);
+  };
+  protoOf(AbstractTheory).n1s = function (clauses, tags, unificator, $super) {
+    tags = tags === VOID ? this.us() : tags;
+    unificator = unificator === VOID ? this.k1l() : unificator;
+    return $super === VOID ? this.x1s(clauses, tags, unificator) : $super.x1s.call(this, clauses, tags, unificator);
+  };
+  protoOf(AbstractTheory).y1s = function (clauses) {
+    return this.z1s(asIterable(clauses));
+  };
+  protoOf(AbstractTheory).retractSequence = function (clauses) {
+    return this.y1s(clauses);
+  };
+  protoOf(AbstractTheory).a1t = function () {
+    return this;
+  };
+  protoOf(AbstractTheory).clone = function () {
+    return this.a1t();
+  };
+  function Default() {
+    Default_instance = this;
+    this.c1t_1 = new IndexedTheoryFactory(Companion_getInstance_1().e1l());
+  }
+  protoOf(Default).k1l = function () {
+    return this.c1t_1.d1t_1;
+  };
+  protoOf(Default).j1l = function (unificator) {
+    return this.c1t_1.j1l(unificator);
+  };
+  protoOf(Default).emptyMutableTheory = function () {
+    return this.c1t_1.emptyMutableTheory();
+  };
+  protoOf(Default).emptyMutableTheoryWithUnificator = function (unificator) {
+    return this.c1t_1.e1t(unificator);
+  };
+  protoOf(Default).emptyTheory = function () {
+    return this.c1t_1.emptyTheory();
+  };
+  protoOf(Default).emptyTheoryWithUnificator = function (unificator) {
+    return this.c1t_1.f1t(unificator);
+  };
+  protoOf(Default).mutableTheoryOfWithUnificator = function (unificator, clauses) {
+    return this.c1t_1.g1t(unificator, clauses);
+  };
+  protoOf(Default).mutableTheoryOf = function (clauses) {
+    return this.c1t_1.mutableTheoryOf(clauses);
+  };
+  protoOf(Default).mutableTheoryOfIterable = function (clauses) {
+    return this.c1t_1.mutableTheoryOfIterable(clauses);
+  };
+  protoOf(Default).mutableTheoryOfIterableWithUnificator = function (clauses, unificator) {
+    return this.c1t_1.h1t(clauses, unificator);
+  };
+  protoOf(Default).mutableTheoryOfSequence = function (clauses) {
+    return this.c1t_1.mutableTheoryOfSequence(clauses);
+  };
+  protoOf(Default).mutableTheoryOfSequenceWithUnificator = function (clauses, unificator) {
+    return this.c1t_1.i1t(clauses, unificator);
+  };
+  protoOf(Default).theoryOfWithUnificator = function (unificator, clauses) {
+    return this.c1t_1.j1t(unificator, clauses);
+  };
+  protoOf(Default).theoryOf = function (clauses) {
+    return this.c1t_1.theoryOf(clauses);
+  };
+  protoOf(Default).theoryOfIterable = function (clauses) {
+    return this.c1t_1.theoryOfIterable(clauses);
+  };
+  protoOf(Default).theoryOfIterableWithUnificator = function (clauses, unificator) {
+    return this.c1t_1.k1t(clauses, unificator);
+  };
+  protoOf(Default).theoryOfSequence = function (clauses) {
+    return this.c1t_1.theoryOfSequence(clauses);
+  };
+  protoOf(Default).theoryOfSequenceWithUnificator = function (clauses, unificator) {
+    return this.c1t_1.l1t(clauses, unificator);
+  };
+  var Default_instance;
+  function Default_getInstance() {
+    if (Default_instance == null)
+      new Default();
+    return Default_instance;
+  }
+  function IndexedTheoryFactory(unificator) {
+    this.d1t_1 = unificator;
+  }
+  protoOf(IndexedTheoryFactory).k1l = function () {
+    return this.d1t_1;
+  };
+  protoOf(IndexedTheoryFactory).j1l = function (unificator) {
+    return new IndexedTheoryFactory(unificator);
+  };
+  protoOf(IndexedTheoryFactory).f1t = function (unificator) {
+    return IndexedTheory_init_$Create$(unificator, emptyList());
+  };
+  protoOf(IndexedTheoryFactory).emptyTheoryWithUnificator = function (unificator) {
+    return this.f1t(unificator);
+  };
+  protoOf(IndexedTheoryFactory).k1t = function (clauses, unificator) {
+    return IndexedTheory_init_$Create$(unificator, clauses);
+  };
+  protoOf(IndexedTheoryFactory).theoryOfIterableWithUnificator = function (clauses, unificator) {
+    return this.k1t(clauses, unificator);
+  };
+  protoOf(IndexedTheoryFactory).j1t = function (unificator, clauses) {
+    return IndexedTheory_init_$Create$(unificator, asIterable_0(clauses));
+  };
+  protoOf(IndexedTheoryFactory).theoryOfWithUnificator = function (unificator, clauses) {
+    return this.j1t(unificator, clauses);
+  };
+  protoOf(IndexedTheoryFactory).l1t = function (clauses, unificator) {
+    return IndexedTheory_init_$Create$_0(unificator, clauses);
+  };
+  protoOf(IndexedTheoryFactory).theoryOfSequenceWithUnificator = function (clauses, unificator) {
+    return this.l1t(clauses, unificator);
+  };
+  protoOf(IndexedTheoryFactory).e1t = function (unificator) {
+    return MutableIndexedTheory_init_$Create$(unificator, emptyList());
+  };
+  protoOf(IndexedTheoryFactory).emptyMutableTheoryWithUnificator = function (unificator) {
+    return this.e1t(unificator);
+  };
+  protoOf(IndexedTheoryFactory).h1t = function (clauses, unificator) {
+    return MutableIndexedTheory_init_$Create$(unificator, clauses);
+  };
+  protoOf(IndexedTheoryFactory).mutableTheoryOfIterableWithUnificator = function (clauses, unificator) {
+    return this.h1t(clauses, unificator);
+  };
+  protoOf(IndexedTheoryFactory).g1t = function (unificator, clauses) {
+    return MutableIndexedTheory_init_$Create$(unificator, asIterable_0(clauses));
+  };
+  protoOf(IndexedTheoryFactory).mutableTheoryOfWithUnificator = function (unificator, clauses) {
+    return this.g1t(unificator, clauses);
+  };
+  protoOf(IndexedTheoryFactory).i1t = function (clauses, unificator) {
+    return MutableIndexedTheory_init_$Create$_0(unificator, clauses);
+  };
+  protoOf(IndexedTheoryFactory).mutableTheoryOfSequenceWithUnificator = function (clauses, unificator) {
+    return this.i1t(clauses, unificator);
+  };
+  function Default_0() {
+    Default_instance_0 = this;
+    this.m1t_1 = new ListedTheoryFactory(Companion_getInstance_1().e1l());
+  }
+  protoOf(Default_0).k1l = function () {
+    return this.m1t_1.n1t_1;
+  };
+  protoOf(Default_0).j1l = function (unificator) {
+    return this.m1t_1.j1l(unificator);
+  };
+  protoOf(Default_0).emptyMutableTheory = function () {
+    return this.m1t_1.emptyMutableTheory();
+  };
+  protoOf(Default_0).emptyMutableTheoryWithUnificator = function (unificator) {
+    return this.m1t_1.e1t(unificator);
+  };
+  protoOf(Default_0).emptyTheory = function () {
+    return this.m1t_1.emptyTheory();
+  };
+  protoOf(Default_0).emptyTheoryWithUnificator = function (unificator) {
+    return this.m1t_1.f1t(unificator);
+  };
+  protoOf(Default_0).mutableTheoryOfWithUnificator = function (unificator, clauses) {
+    return this.m1t_1.g1t(unificator, clauses);
+  };
+  protoOf(Default_0).mutableTheoryOf = function (clauses) {
+    return this.m1t_1.mutableTheoryOf(clauses);
+  };
+  protoOf(Default_0).mutableTheoryOfIterable = function (clauses) {
+    return this.m1t_1.mutableTheoryOfIterable(clauses);
+  };
+  protoOf(Default_0).mutableTheoryOfIterableWithUnificator = function (clauses, unificator) {
+    return this.m1t_1.h1t(clauses, unificator);
+  };
+  protoOf(Default_0).mutableTheoryOfSequence = function (clauses) {
+    return this.m1t_1.mutableTheoryOfSequence(clauses);
+  };
+  protoOf(Default_0).mutableTheoryOfSequenceWithUnificator = function (clauses, unificator) {
+    return this.m1t_1.i1t(clauses, unificator);
+  };
+  protoOf(Default_0).theoryOfWithUnificator = function (unificator, clauses) {
+    return this.m1t_1.j1t(unificator, clauses);
+  };
+  protoOf(Default_0).theoryOf = function (clauses) {
+    return this.m1t_1.theoryOf(clauses);
+  };
+  protoOf(Default_0).theoryOfIterable = function (clauses) {
+    return this.m1t_1.theoryOfIterable(clauses);
+  };
+  protoOf(Default_0).theoryOfIterableWithUnificator = function (clauses, unificator) {
+    return this.m1t_1.k1t(clauses, unificator);
+  };
+  protoOf(Default_0).theoryOfSequence = function (clauses) {
+    return this.m1t_1.theoryOfSequence(clauses);
+  };
+  protoOf(Default_0).theoryOfSequenceWithUnificator = function (clauses, unificator) {
+    return this.m1t_1.l1t(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.n1t_1 = unificator;
+  }
+  protoOf(ListedTheoryFactory).k1l = function () {
+    return this.n1t_1;
+  };
+  protoOf(ListedTheoryFactory).j1l = function (unificator) {
+    return new ListedTheoryFactory(unificator);
+  };
+  protoOf(ListedTheoryFactory).f1t = function (unificator) {
+    return ListedTheory_init_$Create$(unificator, emptyList());
+  };
+  protoOf(ListedTheoryFactory).emptyTheoryWithUnificator = function (unificator) {
+    return this.f1t(unificator);
+  };
+  protoOf(ListedTheoryFactory).k1t = function (clauses, unificator) {
+    return ListedTheory_init_$Create$(unificator, clauses);
+  };
+  protoOf(ListedTheoryFactory).theoryOfIterableWithUnificator = function (clauses, unificator) {
+    return this.k1t(clauses, unificator);
+  };
+  protoOf(ListedTheoryFactory).j1t = function (unificator, clauses) {
+    return ListedTheory_init_$Create$(unificator, asIterable_0(clauses));
+  };
+  protoOf(ListedTheoryFactory).theoryOfWithUnificator = function (unificator, clauses) {
+    return this.j1t(unificator, clauses);
+  };
+  protoOf(ListedTheoryFactory).l1t = function (clauses, unificator) {
+    return ListedTheory_init_$Create$_0(unificator, clauses);
+  };
+  protoOf(ListedTheoryFactory).theoryOfSequenceWithUnificator = function (clauses, unificator) {
+    return this.l1t(clauses, unificator);
+  };
+  protoOf(ListedTheoryFactory).e1t = function (unificator) {
+    return MutableListedTheory_init_$Create$(unificator, emptyList());
+  };
+  protoOf(ListedTheoryFactory).emptyMutableTheoryWithUnificator = function (unificator) {
+    return this.e1t(unificator);
+  };
+  protoOf(ListedTheoryFactory).h1t = function (clauses, unificator) {
+    return MutableListedTheory_init_$Create$(unificator, clauses);
+  };
+  protoOf(ListedTheoryFactory).mutableTheoryOfIterableWithUnificator = function (clauses, unificator) {
+    return this.h1t(clauses, unificator);
+  };
+  protoOf(ListedTheoryFactory).g1t = function (unificator, clauses) {
+    return MutableListedTheory_init_$Create$(unificator, asIterable_0(clauses));
+  };
+  protoOf(ListedTheoryFactory).mutableTheoryOfWithUnificator = function (unificator, clauses) {
+    return this.g1t(unificator, clauses);
+  };
+  protoOf(ListedTheoryFactory).i1t = function (clauses, unificator) {
+    return MutableListedTheory_init_$Create$_0(unificator, clauses);
+  };
+  protoOf(ListedTheoryFactory).mutableTheoryOfSequenceWithUnificator = function (clauses, unificator) {
+    return this.i1t(clauses, unificator);
+  };
+  function Companion_4() {
+  }
+  protoOf(Companion_4).empty = function (unificator) {
+    return this.indexedOfIterable(unificator, emptyList());
+  };
+  protoOf(Companion_4).of = function (unificator, clause) {
+    return this.indexedOf(unificator, clause.slice());
+  };
+  protoOf(Companion_4).ofIterable = function (unificator, clauses) {
+    return this.indexedOfIterable(unificator, clauses);
+  };
+  protoOf(Companion_4).ofSequence = function (unificator, clauses) {
+    return this.indexedOfSequence(unificator, clauses);
+  };
+  protoOf(Companion_4).ofScopes = function (unificator, clauses) {
+    return this.indexedOfScopes(unificator, clauses.slice());
+  };
+  protoOf(Companion_4).emptyIndexed = function (unificator) {
+    return this.indexedOfIterable(unificator, emptyList());
+  };
+  protoOf(Companion_4).indexedOf = function (unificator, clause) {
+    return this.indexedOfIterable(unificator, asIterable_0(clause));
+  };
+  protoOf(Companion_4).indexedOfScopes = function (unificator, clauses) {
+    // Inline function 'kotlin.collections.map' call
+    // Inline function 'kotlin.collections.mapTo' call
+    var destination = ArrayList_init_$Create$(clauses.length);
+    var inductionVariable = 0;
+    var last = clauses.length;
+    while (inductionVariable < last) {
+      var item = clauses[inductionVariable];
+      inductionVariable = inductionVariable + 1 | 0;
+      // Inline function 'it.unibo.tuprolog.theory.Companion.indexedOf.<anonymous>' call
+      var tmp$ret$0 = Companion_instance.emptyWithFunction(item);
+      destination.o(tmp$ret$0);
+    }
+    return this.indexedOfIterable(unificator, destination);
+  };
+  protoOf(Companion_4).indexedOfSequence = function (unificator, clauses) {
+    return this.indexedOfIterable(unificator, asIterable(clauses));
+  };
+  protoOf(Companion_4).indexedOfIterable = function (unificator, clauses) {
+    return MutableIndexedTheory_init_$Create$(unificator, clauses);
+  };
+  protoOf(Companion_4).emptyListed = function (unificator) {
+    return this.listedOfSequence(unificator, emptySequence());
+  };
+  protoOf(Companion_4).listedOf = function (unificator, clause) {
+    return this.listedOfIterable(unificator, asIterable_0(clause));
+  };
+  protoOf(Companion_4).listedOfScopes = function (unificator, clause) {
+    // Inline function 'kotlin.collections.map' call
+    // Inline function 'kotlin.collections.mapTo' call
+    var destination = ArrayList_init_$Create$(clause.length);
+    var inductionVariable = 0;
+    var last = clause.length;
+    while (inductionVariable < last) {
+      var item = clause[inductionVariable];
+      inductionVariable = inductionVariable + 1 | 0;
+      // Inline function 'it.unibo.tuprolog.theory.Companion.listedOf.<anonymous>' call
+      var tmp$ret$0 = Companion_instance.emptyWithFunction(item);
+      destination.o(tmp$ret$0);
+    }
+    return this.listedOfIterable(unificator, destination);
+  };
+  protoOf(Companion_4).listedOfSequence = function (unificator, clauses) {
+    return this.listedOfIterable(unificator, asIterable(clauses));
+  };
+  protoOf(Companion_4).listedOfIterable = function (unificator, clauses) {
+    return MutableListedTheory_init_$Create$(unificator, clauses);
+  };
+  var Companion_instance_9;
+  function Companion_getInstance_7() {
+    return Companion_instance_9;
+  }
+  function MutableTheory() {
+  }
+  function Success_0(theory, clauses) {
+    RetractResult.call(this);
+    this.u1t_1 = theory;
+    this.v1t_1 = clauses;
+  }
+  protoOf(Success_0).i1s = function () {
+    return this.u1t_1;
+  };
+  protoOf(Success_0).v1l = function () {
+    return this.v1t_1;
+  };
+  protoOf(Success_0).o1m = function () {
+    return first_0(this.v1t_1);
+  };
+  protoOf(Success_0).toString = function () {
+    return 'Success(theory=' + this.u1t_1 + ', clauses=' + this.v1t_1 + ')';
+  };
+  protoOf(Success_0).hashCode = function () {
+    var result = hashCode(this.u1t_1);
+    result = imul(result, 31) + hashCode(this.v1t_1) | 0;
+    return result;
+  };
+  protoOf(Success_0).equals = function (other) {
+    if (this === other)
+      return true;
+    if (!(other instanceof Success_0))
+      return false;
+    var tmp0_other_with_cast = other instanceof Success_0 ? other : THROW_CCE();
+    if (!equals(this.u1t_1, tmp0_other_with_cast.u1t_1))
+      return false;
+    if (!equals(this.v1t_1, tmp0_other_with_cast.v1t_1))
+      return false;
+    return true;
+  };
+  function Failure_0(theory) {
+    RetractResult.call(this);
+    this.w1t_1 = theory;
+  }
+  protoOf(Failure_0).i1s = function () {
+    return this.w1t_1;
+  };
+  protoOf(Failure_0).v1l = function () {
+    return null;
+  };
+  protoOf(Failure_0).o1m = function () {
+    return null;
+  };
+  protoOf(Failure_0).toString = function () {
+    return 'Failure(theory=' + this.w1t_1 + ')';
+  };
+  protoOf(Failure_0).hashCode = function () {
+    return hashCode(this.w1t_1);
+  };
+  protoOf(Failure_0).equals = function (other) {
+    if (this === other)
+      return true;
+    if (!(other instanceof Failure_0))
+      return false;
+    var tmp0_other_with_cast = other instanceof Failure_0 ? other : THROW_CCE();
+    if (!equals(this.w1t_1, tmp0_other_with_cast.w1t_1))
+      return false;
+    return true;
+  };
+  function RetractResult() {
+  }
+  function Companion_5() {
+  }
+  protoOf(Companion_5).empty = function (unificator) {
+    return this.indexedOfSequence(unificator, emptySequence());
+  };
+  protoOf(Companion_5).emptyWithDefaultUnificator = function () {
+    return this.empty(Companion_getInstance_1().e1l());
+  };
+  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().e1l(), 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().e1l(), 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().e1l(), 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().e1l(), clauses.slice());
+  };
+  protoOf(Companion_5).emptyIndexed = function (unificator) {
+    return this.indexedOfIterable(unificator, emptyList());
+  };
+  protoOf(Companion_5).indexedOf = function (unificator, clause) {
+    return this.indexedOfIterable(unificator, asIterable_0(clause));
+  };
+  protoOf(Companion_5).indexedOfScopes = function (unificator, clauses) {
+    // Inline function 'kotlin.collections.map' call
+    // Inline function 'kotlin.collections.mapTo' call
+    var destination = ArrayList_init_$Create$(clauses.length);
+    var inductionVariable = 0;
+    var last = clauses.length;
+    while (inductionVariable < last) {
+      var item = clauses[inductionVariable];
+      inductionVariable = inductionVariable + 1 | 0;
+      // Inline function 'it.unibo.tuprolog.theory.Companion.indexedOf.<anonymous>' call
+      var tmp$ret$0 = Companion_instance.emptyWithFunction(item);
+      destination.o(tmp$ret$0);
+    }
+    return this.indexedOfIterable(unificator, destination);
+  };
+  protoOf(Companion_5).indexedOfSequence = function (unificator, clauses) {
+    return this.indexedOfIterable(unificator, asIterable(clauses));
+  };
+  protoOf(Companion_5).indexedOfIterable = function (unificator, clauses) {
+    return Default_getInstance().theoryOfIterableWithUnificator(clauses, unificator);
+  };
+  protoOf(Companion_5).emptyListed = function (unificator) {
+    return this.listedOfSequence(unificator, emptySequence());
+  };
+  protoOf(Companion_5).listedOf = function (unificator, clause) {
+    return this.listedOfIterable(unificator, asIterable_0(clause));
+  };
+  protoOf(Companion_5).listedOfScopes = function (unificator, clause) {
+    // Inline function 'kotlin.collections.map' call
+    // Inline function 'kotlin.collections.mapTo' call
+    var destination = ArrayList_init_$Create$(clause.length);
+    var inductionVariable = 0;
+    var last = clause.length;
+    while (inductionVariable < last) {
+      var item = clause[inductionVariable];
+      inductionVariable = inductionVariable + 1 | 0;
+      // Inline function 'it.unibo.tuprolog.theory.Companion.listedOf.<anonymous>' call
+      var tmp$ret$0 = Companion_instance.emptyWithFunction(item);
+      destination.o(tmp$ret$0);
+    }
+    return this.listedOfIterable(unificator, destination);
+  };
+  protoOf(Companion_5).listedOfSequence = function (unificator, clauses) {
+    return this.listedOfIterable(unificator, asIterable(clauses));
+  };
+  protoOf(Companion_5).listedOfIterable = function (unificator, clauses) {
+    return Default_getInstance_0().theoryOfIterableWithUnificator(clauses, unificator);
+  };
+  var Companion_instance_10;
+  function Companion_getInstance_8() {
+    return Companion_instance_10;
+  }
+  function Theory$_get_rules_$lambda_c39n1s(it) {
+    return it.asRule();
+  }
+  function Theory$_get_directives_$lambda_zbsn17(it) {
+    return it.asDirective();
+  }
+  function Theory() {
+  }
+  function TheoryFactory() {
+  }
+  function actualCheck($this, clauses) {
+    // Inline function 'kotlin.require' call
+    var tmp$ret$1;
+    $l$block: {
+      // Inline function 'kotlin.sequences.all' call
+      var tmp0_iterator = clauses.r();
+      while (tmp0_iterator.s()) {
+        var element = tmp0_iterator.u();
+        // Inline function 'it.unibo.tuprolog.theory.TheoryUtils.actualCheck.<anonymous>' call
+        if (!element.vx()) {
+          tmp$ret$1 = false;
+          break $l$block;
+        }
+      }
+      tmp$ret$1 = true;
+    }
+    // Inline function 'kotlin.contracts.contract' call
+    if (!tmp$ret$1) {
+      // Inline function 'it.unibo.tuprolog.theory.TheoryUtils.actualCheck.<anonymous>' call
+      var message = "ClauseDatabase can contain only well formed clauses: these aren't " + ('' + toList(filterNot(clauses, TheoryUtils$actualCheck$lambda)));
+      throw IllegalArgumentException_init_$Create$(toString(message));
+    }
+  }
+  function TheoryUtils$actualCheck$lambda(it) {
+    return it.vx();
+  }
+  function TheoryUtils() {
+  }
+  protoOf(TheoryUtils).h1m = function (clause) {
+    // Inline function 'kotlin.also' call
+    // Inline function 'kotlin.contracts.contract' call
+    // Inline function 'it.unibo.tuprolog.theory.TheoryUtils.checkClauseCorrect.<anonymous>' call
+    // Inline function 'kotlin.require' call
+    // Inline function 'kotlin.contracts.contract' call
+    if (!clause.vx()) {
+      // Inline function 'it.unibo.tuprolog.theory.TheoryUtils.checkClauseCorrect.<anonymous>.<anonymous>' call
+      var message = 'ClauseDatabase can contain only well formed clauses: ' + ("this isn't " + clause);
+      throw IllegalArgumentException_init_$Create$(toString(message));
+    }
+    return clause;
+  };
+  protoOf(TheoryUtils).r1s = function (clauses) {
+    // Inline function 'kotlin.also' call
+    var this_0 = asSequence_0(clauses);
+    // Inline function 'kotlin.contracts.contract' call
+    // Inline function 'it.unibo.tuprolog.theory.TheoryUtils.checkClausesCorrect.<anonymous>' call
+    actualCheck(TheoryUtils_instance, this_0);
+    return this_0;
+  };
+  protoOf(TheoryUtils).s1m = 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).p1s = 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, clauses);
+    return clauses;
+  };
+  var TheoryUtils_instance;
+  function TheoryUtils_getInstance() {
+    return TheoryUtils_instance;
+  }
+  function _no_name_provided__qut3iv(this$0) {
+    this.x1t_1 = this$0;
+  }
+  protoOf(_no_name_provided__qut3iv).r = function () {
+    // Inline function 'it.unibo.tuprolog.theory.impl.AbstractIndexedTheory.<get-clauses>.<anonymous>' call
+    return this.x1t_1.a1u().r();
+  };
+  function AbstractIndexedTheory(queue, tags) {
+    AbstractTheory.call(this, tags);
+    this.z1t_1 = queue;
+  }
+  protoOf(AbstractIndexedTheory).k1l = function () {
+    return this.a1u().k1l();
+  };
+  protoOf(AbstractIndexedTheory).a1u = function () {
+    return this.z1t_1;
+  };
+  protoOf(AbstractIndexedTheory).o1l = function () {
+    return this.a1u().n1l();
+  };
+  protoOf(AbstractIndexedTheory).p1l = function () {
+    return this.a1u().p1l();
+  };
+  protoOf(AbstractIndexedTheory).v1l = function () {
+    // Inline function 'kotlin.collections.Iterable' call
+    return new _no_name_provided__qut3iv(this);
+  };
+  protoOf(AbstractIndexedTheory).t1l = function (clause) {
+    return this.a1u().t1l(clause);
+  };
+  protoOf(AbstractIndexedTheory).get = function (clause) {
+    return this.t1l(clause);
+  };
+  protoOf(AbstractIndexedTheory).l = function () {
+    return toLong(this.a1u().l());
+  };
+  protoOf(AbstractIndexedTheory).q1l = function () {
+    return this.a1u().isEmpty();
+  };
+  protoOf(AbstractIndexedTheory).l1s = function () {
+    return !this.q1l();
+  };
+  function AbstractListedTheory(unificator, clauses, tags) {
+    AbstractTheory.call(this, tags);
+    this.c1u_1 = clauses;
+    this.d1u_1 = unificator;
+  }
+  protoOf(AbstractListedTheory).v1l = function () {
+    return this.c1u_1;
+  };
+  protoOf(AbstractListedTheory).e1u = function (_set____db54di) {
+    this.d1u_1 = _set____db54di;
+  };
+  protoOf(AbstractListedTheory).k1l = function () {
+    return this.d1u_1;
+  };
+  protoOf(AbstractListedTheory).t1l = function (clause) {
+    // Inline function 'kotlin.collections.filter' call
+    // Inline function 'kotlin.collections.filterTo' call
+    var this_0 = this.v1l();
+    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.k1l().match(element, clause)) {
+        destination.o(element);
+      }
+    }
+    return asSequence(destination);
+  };
+  protoOf(AbstractListedTheory).get = function (clause) {
+    return this.t1l(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.s1m(clauses);
+    return $this;
+  }
+  function IndexedTheory_init_$Create$(unificator, clauses, tags) {
+    return IndexedTheory_init_$Init$(unificator, clauses, tags, objectCreate(protoOf(IndexedTheory)));
+  }
+  function IndexedTheory_init_$Init$_0(unificator, clauses, tags, $this) {
+    tags = tags === VOID ? emptyMap() : tags;
+    IndexedTheory_init_$Init$(unificator, asIterable(clauses), tags, $this);
+    return $this;
+  }
+  function IndexedTheory_init_$Create$_0(unificator, clauses, tags) {
+    return IndexedTheory_init_$Init$_0(unificator, clauses, tags, objectCreate(protoOf(IndexedTheory)));
+  }
+  function _get_hashCodeCache__ny3r0q_0($this) {
+    // Inline function 'kotlin.getValue' call
+    var this_0 = $this.h1u_1;
+    hashCodeCache$factory_0();
+    return this_0.r2();
+  }
+  function _get_sizeCache__6eswog($this) {
+    // Inline function 'kotlin.getValue' call
+    var this_0 = $this.i1u_1;
+    sizeCache$factory();
+    return this_0.r2();
+  }
+  function IndexedTheory$hashCodeCache$delegate$lambda(this$0) {
+    return function () {
+      return protoOf(AbstractIndexedTheory).hashCode.call(this$0);
+    };
+  }
+  function IndexedTheory$sizeCache$delegate$lambda(this$0) {
+    return function () {
+      return protoOf(AbstractIndexedTheory).l.call(this$0);
+    };
+  }
+  function IndexedTheory(queue, tags) {
+    AbstractIndexedTheory.call(this, queue, tags);
+    var tmp = this;
+    tmp.h1u_1 = lazy(IndexedTheory$hashCodeCache$delegate$lambda(this));
+    var tmp_0 = this;
+    tmp_0.i1u_1 = lazy(IndexedTheory$sizeCache$delegate$lambda(this));
+  }
+  protoOf(IndexedTheory).x1s = function (clauses, tags, unificator) {
+    return IndexedTheory_init_$Create$_0(unificator, clauses, tags);
+  };
+  protoOf(IndexedTheory).r1t = function (clause) {
+    var newTheory = Companion_instance_4.ofIterable(this.k1l(), this.v1l());
+    var retracted = newTheory.retrieveFirst(clause);
+    return retracted.p1m() ? new Failure_0(this) : new Success_0(new IndexedTheory(retracted.n1m(), this.us()), ensureNotNull(retracted.v1l()));
+  };
+  protoOf(IndexedTheory).retract = function (clause) {
+    return this.r1t(clause);
+  };
+  protoOf(IndexedTheory).o1s = function (theory) {
+    return this.q1l() ? theory.toImmutableTheory() : theory.q1l() ? this : protoOf(AbstractIndexedTheory).o1s.call(this, theory);
+  };
+  protoOf(IndexedTheory).plusTheory = function (theory) {
+    return this.o1s(theory);
+  };
+  protoOf(IndexedTheory).o1t = function () {
+    return Companion_instance_9.indexedOfIterable(this.k1l(), this);
+  };
+  protoOf(IndexedTheory).toMutableTheory = function () {
+    return this.o1t();
+  };
+  protoOf(IndexedTheory).z1s = function (clauses) {
+    var newTheory = Companion_instance_5.ofIterable(this.k1l(), this.v1l());
+    var removed = dequeOf([]);
+    var tmp0_iterator = clauses.r();
+    while (tmp0_iterator.s()) {
+      var clause = tmp0_iterator.u();
+      var result = newTheory.k1m(clause);
+      if (result.j11()) {
+        removed.v(ensureNotNull(result.v1l()));
+      }
+    }
+    var tmp;
+    if (removed.z()) {
+      tmp = new Failure_0(this);
+    } else {
+      tmp = new Success_0(new IndexedTheory(newTheory, this.us()), removed);
+    }
+    return tmp;
+  };
+  protoOf(IndexedTheory).retractIterable = function (clauses) {
+    return this.z1s(clauses);
+  };
+  protoOf(IndexedTheory).d1m = function (clause) {
+    var newTheory = Companion_instance_4.ofIterable(this.k1l(), this.v1l());
+    var retracted = newTheory.c1m(clause);
+    return retracted.p1m() ? new Failure_0(this) : new Success_0(new IndexedTheory(retracted.n1m(), this.us()), ensureNotNull(retracted.v1l()));
+  };
+  protoOf(IndexedTheory).retractAll = function (clause) {
+    return this.d1m(clause);
+  };
+  protoOf(IndexedTheory).hashCode = function () {
+    return _get_hashCodeCache__ny3r0q_0(this);
+  };
+  protoOf(IndexedTheory).l = function () {
+    return _get_sizeCache__6eswog(this);
+  };
+  protoOf(IndexedTheory).h11 = function (tags) {
+    var tmp;
+    if (tags === this.us()) {
+      tmp = this;
+    } else {
+      tmp = new IndexedTheory(this.a1u(), tags);
+    }
+    return tmp;
+  };
+  protoOf(IndexedTheory).resetTags = function (tags) {
+    return this.h11(tags);
+  };
+  function hashCodeCache$factory_0() {
+    return getPropertyCallableRef('hashCodeCache', 1, KProperty1, function (receiver) {
+      return _get_hashCodeCache__ny3r0q_0(receiver);
+    }, null);
+  }
+  function sizeCache$factory() {
+    return getPropertyCallableRef('sizeCache', 1, KProperty1, function (receiver) {
+      return _get_sizeCache__6eswog(receiver);
+    }, null);
+  }
+  function ListedTheory_init_$Init$(unificator, clauses, tags, $this) {
+    tags = tags === VOID ? emptyMap() : tags;
+    ListedTheory.call($this, unificator, toList_0(clauses), tags);
+    TheoryUtils_instance.s1m(clauses);
+    return $this;
+  }
+  function ListedTheory_init_$Create$(unificator, clauses, tags) {
+    return ListedTheory_init_$Init$(unificator, clauses, tags, objectCreate(protoOf(ListedTheory)));
+  }
+  function ListedTheory_init_$Init$_0(unificator, clauses, tags, $this) {
+    tags = tags === VOID ? emptyMap() : tags;
+    ListedTheory.call($this, unificator, toList(clauses), tags);
+    TheoryUtils_instance.p1s(clauses);
+    return $this;
+  }
+  function ListedTheory_init_$Create$_0(unificator, clauses, tags) {
+    return ListedTheory_init_$Init$_0(unificator, clauses, tags, objectCreate(protoOf(ListedTheory)));
+  }
+  function _get_hashCodeCache__ny3r0q_1($this) {
+    // Inline function 'kotlin.getValue' call
+    var this_0 = $this.m1u_1;
+    hashCodeCache$factory_1();
+    return this_0.r2();
+  }
+  function _get_sizeCache__6eswog_0($this) {
+    // Inline function 'kotlin.getValue' call
+    var this_0 = $this.n1u_1;
+    sizeCache$factory_0();
+    return this_0.r2();
+  }
+  function ListedTheory$hashCodeCache$delegate$lambda(this$0) {
+    return function () {
+      return protoOf(AbstractListedTheory).hashCode.call(this$0);
+    };
+  }
+  function ListedTheory$sizeCache$delegate$lambda(this$0) {
+    return function () {
+      return protoOf(AbstractListedTheory).l.call(this$0);
+    };
+  }
+  function ListedTheory(unificator, clauses, tags) {
+    AbstractListedTheory.call(this, unificator, clauses, tags);
+    var tmp = this;
+    tmp.m1u_1 = lazy(ListedTheory$hashCodeCache$delegate$lambda(this));
+    var tmp_0 = this;
+    tmp_0.n1u_1 = lazy(ListedTheory$sizeCache$delegate$lambda(this));
+  }
+  protoOf(ListedTheory).x1s = function (clauses, tags, unificator) {
+    return ListedTheory_init_$Create$_0(unificator, clauses, tags);
+  };
+  protoOf(ListedTheory).r1t = function (clause) {
+    // Inline function 'kotlin.collections.filter' call
+    // Inline function 'kotlin.collections.filterTo' call
+    var this_0 = this.v1l();
+    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.k1l().match(element, clause)) {
+        destination.o(element);
+      }
+    }
+    var retractability = destination;
+    var tmp;
+    if (none_0(retractability)) {
+      tmp = new Failure_0(this);
+    } else {
+      var toBeActuallyRetracted = first(retractability);
+      // Inline function 'kotlin.collections.filter' call
+      // Inline function 'kotlin.collections.filterTo' call
+      var this_1 = this.v1l();
+      var destination_0 = 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.retract.<anonymous>' call
+        if (!element_0.equals(toBeActuallyRetracted)) {
+          destination_0.o(element_0);
+        }
+      }
+      var newTheory = destination_0;
+      tmp = new Success_0(new ListedTheory(this.k1l(), newTheory, this.us()), listOf_0(toBeActuallyRetracted));
+    }
+    return tmp;
+  };
+  protoOf(ListedTheory).retract = function (clause) {
+    return this.r1t(clause);
+  };
+  protoOf(ListedTheory).o1t = function () {
+    return Companion_instance_9.listedOfIterable(this.k1l(), this);
+  };
+  protoOf(ListedTheory).toMutableTheory = function () {
+    return this.o1t();
+  };
+  protoOf(ListedTheory).z1s = function (clauses) {
+    var residual = dequeOf_1(this.v1l());
+    var removed = dequeOf([]);
+    var i = residual.r();
+    while (i.s()) {
+      var current = i.u();
+      var tmp$ret$0;
+      $l$block_0: {
+        // Inline function 'kotlin.collections.any' call
+        var tmp;
+        if (isInterface(clauses, Collection)) {
+          tmp = clauses.z();
+        } else {
+          tmp = false;
+        }
+        if (tmp) {
+          tmp$ret$0 = false;
+          break $l$block_0;
+        }
+        var tmp0_iterator = clauses.r();
+        while (tmp0_iterator.s()) {
+          var element = tmp0_iterator.u();
+          // Inline function 'it.unibo.tuprolog.theory.impl.ListedTheory.retract.<anonymous>' call
+          if (this.k1l().match(element, current)) {
+            tmp$ret$0 = true;
+            break $l$block_0;
+          }
+        }
+        tmp$ret$0 = false;
+      }
+      if (tmp$ret$0) {
+        i.t();
+        removed.o(current);
+      }
+    }
+    var tmp_0;
+    if (removed.z()) {
+      tmp_0 = new Failure_0(this);
+    } else {
+      tmp_0 = new Success_0(new ListedTheory(this.k1l(), residual, this.us()), removed);
+    }
+    return tmp_0;
+  };
+  protoOf(ListedTheory).retractIterable = function (clauses) {
+    return this.z1s(clauses);
+  };
+  protoOf(ListedTheory).d1m = function (clause) {
+    // Inline function 'kotlin.collections.filter' call
+    // Inline function 'kotlin.collections.filterTo' call
+    var this_0 = this.v1l();
+    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.k1l().match(element, clause)) {
+        destination.o(element);
+      }
+    }
+    var retractability = destination;
+    var tmp;
+    if (none_0(retractability)) {
+      tmp = new Failure_0(this);
+    } else {
+      // Inline function 'kotlin.collections.partition' call
+      var this_1 = toList_0(this.v1l());
+      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.k1l().match(element_0, clause)) {
+          first.o(element_0);
+        } else {
+          second.o(element_0);
+        }
+      }
+      var partitionedClauses = new Pair(first, second);
+      var newTheory = partitionedClauses.rd_1;
+      var toBeActuallyRetracted = partitionedClauses.qd_1;
+      tmp = new Success_0(new ListedTheory(this.k1l(), newTheory, this.us()), toBeActuallyRetracted);
+    }
+    return tmp;
+  };
+  protoOf(ListedTheory).retractAll = function (clause) {
+    return this.d1m(clause);
+  };
+  protoOf(ListedTheory).hashCode = function () {
+    return _get_hashCodeCache__ny3r0q_1(this);
+  };
+  protoOf(ListedTheory).l = function () {
+    return _get_sizeCache__6eswog_0(this);
+  };
+  protoOf(ListedTheory).h11 = function (tags) {
+    return tags === this.us() ? this : new ListedTheory(this.k1l(), this.v1l(), tags);
+  };
+  protoOf(ListedTheory).resetTags = function (tags) {
+    return this.h11(tags);
+  };
+  protoOf(ListedTheory).o1s = function (theory) {
+    return this.q1l() ? theory.toImmutableTheory() : theory.q1l() ? this : protoOf(AbstractListedTheory).o1s.call(this, theory);
+  };
+  protoOf(ListedTheory).plusTheory = function (theory) {
+    return this.o1s(theory);
+  };
+  function hashCodeCache$factory_1() {
+    return getPropertyCallableRef('hashCodeCache', 1, KProperty1, function (receiver) {
+      return _get_hashCodeCache__ny3r0q_1(receiver);
+    }, null);
+  }
+  function sizeCache$factory_0() {
+    return getPropertyCallableRef('sizeCache', 1, KProperty1, function (receiver) {
+      return _get_sizeCache__6eswog_0(receiver);
+    }, null);
+  }
+  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.s1m(clauses);
+    return $this;
+  }
+  function MutableIndexedTheory_init_$Create$(unificator, clauses, tags) {
+    return MutableIndexedTheory_init_$Init$(unificator, clauses, tags, objectCreate(protoOf(MutableIndexedTheory)));
+  }
+  function MutableIndexedTheory_init_$Init$_0(unificator, clauses, tags, $this) {
+    tags = tags === VOID ? emptyMap() : tags;
+    MutableIndexedTheory_init_$Init$(unificator, asIterable(clauses), tags, $this);
+    return $this;
+  }
+  function MutableIndexedTheory_init_$Create$_0(unificator, clauses, tags) {
+    return MutableIndexedTheory_init_$Init$_0(unificator, clauses, tags, objectCreate(protoOf(MutableIndexedTheory)));
+  }
+  function toRetractResult(_this__u8e3s4, $this) {
+    return _this__u8e3s4.j11() ? new Success_0($this, ensureNotNull(_this__u8e3s4.v1l())) : new Failure_0($this);
+  }
+  function MutableIndexedTheory$retract$lambda(this$0) {
+    return function (it) {
+      return this$0.q1u_1.a1m(it);
+    };
+  }
+  function MutableIndexedTheory$retract$lambda_0(it) {
+    return it.j11();
+  }
+  function MutableIndexedTheory$retract$lambda_1(it) {
+    return asSequence(ensureNotNull(it.v1l()));
+  }
+  function MutableIndexedTheory(queue, tags) {
+    AbstractIndexedTheory.call(this, queue, tags);
+    this.q1u_1 = queue;
+  }
+  protoOf(MutableIndexedTheory).a1u = function () {
+    return this.q1u_1;
+  };
+  protoOf(MutableIndexedTheory).m1s = function (unificator) {
+    return protoOf(AbstractIndexedTheory).m1s.call(this, unificator).toMutableTheory();
+  };
+  protoOf(MutableIndexedTheory).setUnificator = function (unificator) {
+    return this.m1s(unificator);
+  };
+  protoOf(MutableIndexedTheory).o1t = function () {
+    return toMutableTheory.call(this);
+  };
+  protoOf(MutableIndexedTheory).toMutableTheory = function () {
+    return this.o1t();
+  };
+  protoOf(MutableIndexedTheory).v1l = function () {
+    return toList_0(this.q1u_1);
+  };
+  protoOf(MutableIndexedTheory).r = function () {
+    return this.q1u_1.r();
+  };
+  protoOf(MutableIndexedTheory).x1s = function (clauses, tags, unificator) {
+    return MutableIndexedTheory_init_$Create$_0(unificator, clauses, tags);
+  };
+  protoOf(MutableIndexedTheory).r1t = function (clause) {
+    return toRetractResult(this.q1u_1.a1m(clause), this);
+  };
+  protoOf(MutableIndexedTheory).retract = function (clause) {
+    return this.r1t(clause);
+  };
+  protoOf(MutableIndexedTheory).z1s = 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);
+    var retracted = toList(flatMap(tmp_1, MutableIndexedTheory$retract$lambda_1));
+    var tmp_2;
+    if (retracted.z()) {
+      tmp_2 = new Failure_0(this);
+    } else {
+      tmp_2 = new Success_0(this, retracted);
+    }
+    return tmp_2;
+  };
+  protoOf(MutableIndexedTheory).retractIterable = function (clauses) {
+    return this.z1s(clauses);
+  };
+  protoOf(MutableIndexedTheory).d1m = function (clause) {
+    return toRetractResult(this.q1u_1.c1m(clause), this);
+  };
+  protoOf(MutableIndexedTheory).retractAll = function (clause) {
+    return this.d1m(clause);
+  };
+  protoOf(MutableIndexedTheory).c1s = function (clause) {
+    return this.u1s(TheoryUtils_instance.h1m(clause));
+  };
+  protoOf(MutableIndexedTheory).plus = function (clause) {
+    return this.c1s(clause);
+  };
+  protoOf(MutableIndexedTheory).o1s = function (theory) {
+    var tmp;
+    if (theory === this) {
+      tmp = this.v1s(toList_0(theory));
+    } else {
+      tmp = this.v1s(theory);
+    }
+    return tmp;
+  };
+  protoOf(MutableIndexedTheory).plusTheory = function (theory) {
+    return this.o1s(theory);
+  };
+  protoOf(MutableIndexedTheory).q1s = 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.q1u_1.i1m(TheoryUtils_instance.h1m(clause));
+    return this;
+  };
+  protoOf(MutableIndexedTheory).assertA = function (clause) {
+    return this.q1s(clause);
+  };
+  protoOf(MutableIndexedTheory).s1s = 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.s1m(clauses))).r();
+    while (tmp0_iterator.s()) {
+      var clause = tmp0_iterator.u();
+      this.q1u_1.i1m(clause);
+    }
+    return this;
+  };
+  protoOf(MutableIndexedTheory).assertAIterable = function (clauses) {
+    return this.s1s(clauses);
+  };
+  protoOf(MutableIndexedTheory).t1s = function (clauses) {
+    return this.s1s(asIterable(clauses));
+  };
+  protoOf(MutableIndexedTheory).assertASequence = function (clauses) {
+    return this.t1s(clauses);
+  };
+  protoOf(MutableIndexedTheory).u1s = 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.q1u_1.j1m(TheoryUtils_instance.h1m(clause));
+    return this;
+  };
+  protoOf(MutableIndexedTheory).assertZ = function (clause) {
+    return this.u1s(clause);
+  };
+  protoOf(MutableIndexedTheory).v1s = 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.q1u_1.z1l(TheoryUtils_instance.s1m(clauses));
+    return this;
+  };
+  protoOf(MutableIndexedTheory).assertZIterable = function (clauses) {
+    return this.v1s(clauses);
+  };
+  protoOf(MutableIndexedTheory).w1s = function (clauses) {
+    return this.v1s(TheoryUtils_instance.s1m(asIterable(clauses)));
+  };
+  protoOf(MutableIndexedTheory).assertZSequence = function (clauses) {
+    return this.w1s(clauses);
+  };
+  protoOf(MutableIndexedTheory).y1s = function (clauses) {
+    return this.z1s(asIterable(clauses));
+  };
+  protoOf(MutableIndexedTheory).retractSequence = function (clauses) {
+    return this.y1s(clauses);
+  };
+  protoOf(MutableIndexedTheory).h1s = function (indicator) {
+    return protoOf(AbstractIndexedTheory).h1s.call(this, indicator).toMutableTheory();
+  };
+  protoOf(MutableIndexedTheory).abolish = function (indicator) {
+    return this.h1s(indicator);
+  };
+  protoOf(MutableIndexedTheory).b1s = function () {
+    return Companion_instance_10.indexedOfIterable(this.k1l(), this);
+  };
+  protoOf(MutableIndexedTheory).toImmutableTheory = function () {
+    return this.b1s();
+  };
+  protoOf(MutableIndexedTheory).h11 = function (tags) {
+    return tags === this.us() ? this : new MutableIndexedTheory(this.q1u_1, tags);
+  };
+  protoOf(MutableIndexedTheory).resetTags = function (tags) {
+    return this.h11(tags);
+  };
+  protoOf(MutableIndexedTheory).a1t = function () {
+    return this.n1s(asSequence(this.v1l()));
+  };
+  protoOf(MutableIndexedTheory).clone = function () {
+    return this.a1t();
+  };
+  protoOf(MutableIndexedTheory).assertAFact = function (struct) {
+    return this.p1t(struct);
+  };
+  protoOf(MutableIndexedTheory).assertZFact = function (struct) {
+    return this.q1t(struct);
+  };
+  protoOf(MutableIndexedTheory).retractByHead = function (head) {
+    return this.s1t(head);
+  };
+  protoOf(MutableIndexedTheory).retractAllByHead = function (head) {
+    return this.t1t(head);
+  };
+  function MutableListedTheory_init_$Init$(unificator, clauses, tags, $this) {
+    tags = tags === VOID ? emptyMap() : tags;
+    MutableListedTheory.call($this, unificator, toMutableList(clauses), tags);
+    TheoryUtils_instance.s1m(clauses);
+    return $this;
+  }
+  function MutableListedTheory_init_$Create$(unificator, clauses, tags) {
+    return MutableListedTheory_init_$Init$(unificator, clauses, tags, objectCreate(protoOf(MutableListedTheory)));
+  }
+  function MutableListedTheory_init_$Init$_0(unificator, clauses, tags, $this) {
+    tags = tags === VOID ? emptyMap() : tags;
+    MutableListedTheory.call($this, unificator, toMutableList_0(clauses), tags);
+    TheoryUtils_instance.p1s(clauses);
+    return $this;
+  }
+  function MutableListedTheory_init_$Create$_0(unificator, clauses, tags) {
+    return MutableListedTheory_init_$Init$_0(unificator, clauses, tags, objectCreate(protoOf(MutableListedTheory)));
+  }
+  function MutableListedTheory(unificator, clauses, tags) {
+    AbstractListedTheory.call(this, unificator, clauses, tags);
+    this.u1u_1 = clauses;
+  }
+  protoOf(MutableListedTheory).v1l = function () {
+    return this.u1u_1;
+  };
+  protoOf(MutableListedTheory).m1s = function (unificator) {
+    this.e1u(unificator);
+    return this;
+  };
+  protoOf(MutableListedTheory).setUnificator = function (unificator) {
+    return this.m1s(unificator);
+  };
+  protoOf(MutableListedTheory).o1t = function () {
+    return toMutableTheory.call(this);
+  };
+  protoOf(MutableListedTheory).toMutableTheory = function () {
+    return this.o1t();
+  };
+  protoOf(MutableListedTheory).x1s = function (clauses, tags, unificator) {
+    return MutableListedTheory_init_$Create$_0(unificator, clauses, tags);
+  };
+  protoOf(MutableListedTheory).r1t = function (clause) {
+    var i = this.u1u_1.z1();
+    while (i.s()) {
+      var c = i.u();
+      if (this.k1l().match(c, clause)) {
+        i.t();
+        return new Success_0(this, listOf_0(c));
+      }
+    }
+    return new Failure_0(this);
+  };
+  protoOf(MutableListedTheory).retract = function (clause) {
+    return this.r1t(clause);
+  };
+  protoOf(MutableListedTheory).z1s = function (clauses) {
+    var i = this.u1u_1.z1();
+    // Inline function 'kotlin.collections.mutableListOf' call
+    var retracted = ArrayList_init_$Create$_0();
+    while (i.s()) {
+      var c = i.u();
+      var tmp0_iterator = clauses.r();
+      while (tmp0_iterator.s()) {
+        var clause = tmp0_iterator.u();
+        if (this.k1l().match(c, clause)) {
+          retracted.o(c);
+          i.t();
+        }
+      }
+    }
+    var tmp;
+    if (retracted.z()) {
+      tmp = new Failure_0(this);
+    } else {
+      tmp = new Success_0(this, retracted);
+    }
+    return tmp;
+  };
+  protoOf(MutableListedTheory).retractIterable = function (clauses) {
+    return this.z1s(clauses);
+  };
+  protoOf(MutableListedTheory).d1m = function (clause) {
+    var i = this.u1u_1.z1();
+    // Inline function 'kotlin.collections.mutableListOf' call
+    var retracted = ArrayList_init_$Create$_0();
+    while (i.s()) {
+      var c = i.u();
+      if (this.k1l().match(c, clause)) {
+        retracted.o(c);
+        i.t();
+      }
+    }
+    var tmp;
+    if (retracted.z()) {
+      tmp = new Failure_0(this);
+    } else {
+      tmp = new Success_0(this, retracted);
+    }
+    return tmp;
+  };
+  protoOf(MutableListedTheory).retractAll = function (clause) {
+    return this.d1m(clause);
+  };
+  protoOf(MutableListedTheory).c1s = function (clause) {
+    return this.u1s(clause);
+  };
+  protoOf(MutableListedTheory).plus = function (clause) {
+    return this.c1s(clause);
+  };
+  protoOf(MutableListedTheory).o1s = function (theory) {
+    var tmp;
+    if (theory === this) {
+      tmp = this.v1s(toList_0(theory));
+    } else {
+      tmp = this.v1s(theory);
+    }
+    return tmp;
+  };
+  protoOf(MutableListedTheory).plusTheory = function (theory) {
+    return this.o1s(theory);
+  };
+  protoOf(MutableListedTheory).q1s = 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.u1u_1, TheoryUtils_instance.h1m(clause));
+    return this;
+  };
+  protoOf(MutableListedTheory).assertA = function (clause) {
+    return this.q1s(clause);
+  };
+  protoOf(MutableListedTheory).s1s = 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.u1u_1, TheoryUtils_instance.s1m(clauses));
+    return this;
+  };
+  protoOf(MutableListedTheory).assertAIterable = function (clauses) {
+    return this.s1s(clauses);
+  };
+  protoOf(MutableListedTheory).t1s = function (clauses) {
+    return this.s1s(asIterable(clauses));
+  };
+  protoOf(MutableListedTheory).assertASequence = function (clauses) {
+    return this.t1s(clauses);
+  };
+  protoOf(MutableListedTheory).u1s = 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.u1u_1.o(TheoryUtils_instance.h1m(clause));
+    return this;
+  };
+  protoOf(MutableListedTheory).assertZ = function (clause) {
+    return this.u1s(clause);
+  };
+  protoOf(MutableListedTheory).v1s = 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.u1u_1, TheoryUtils_instance.s1m(clauses));
+    return this;
+  };
+  protoOf(MutableListedTheory).assertZIterable = function (clauses) {
+    return this.v1s(clauses);
+  };
+  protoOf(MutableListedTheory).w1s = function (clauses) {
+    return this.v1s(asIterable(clauses));
+  };
+  protoOf(MutableListedTheory).assertZSequence = function (clauses) {
+    return this.w1s(clauses);
+  };
+  protoOf(MutableListedTheory).y1s = function (clauses) {
+    return this.z1s(asIterable(clauses));
+  };
+  protoOf(MutableListedTheory).retractSequence = function (clauses) {
+    return this.y1s(clauses);
+  };
+  protoOf(MutableListedTheory).h1s = function (indicator) {
+    return protoOf(AbstractListedTheory).h1s.call(this, indicator).toMutableTheory();
+  };
+  protoOf(MutableListedTheory).abolish = function (indicator) {
+    return this.h1s(indicator);
+  };
+  protoOf(MutableListedTheory).b1s = function () {
+    return Companion_instance_10.listedOfIterable(this.k1l(), this);
+  };
+  protoOf(MutableListedTheory).toImmutableTheory = function () {
+    return this.b1s();
+  };
+  protoOf(MutableListedTheory).h11 = function (tags) {
+    return tags === this.us() ? this : new MutableListedTheory(this.k1l(), this.u1u_1, tags);
+  };
+  protoOf(MutableListedTheory).resetTags = function (tags) {
+    return this.h11(tags);
+  };
+  protoOf(MutableListedTheory).a1t = function () {
+    return this.n1s(asSequence(this.u1u_1));
+  };
+  protoOf(MutableListedTheory).clone = function () {
+    return this.a1t();
+  };
+  protoOf(MutableListedTheory).assertAFact = function (struct) {
+    return this.p1t(struct);
+  };
+  protoOf(MutableListedTheory).assertZFact = function (struct) {
+    return this.q1t(struct);
+  };
+  protoOf(MutableListedTheory).retractByHead = function (head) {
+    return this.s1t(head);
+  };
+  protoOf(MutableListedTheory).retractAllByHead = function (head) {
+    return this.t1t(head);
+  };
+  function takeFirstAfterSkipping(_this__u8e3s4, n) {
+    var iter = _this__u8e3s4.r();
+    // Inline function 'kotlin.repeat' call
+    // Inline function 'kotlin.contracts.contract' call
+    var inductionVariable = 0;
+    if (inductionVariable < n)
+      do {
+        var index = inductionVariable;
+        inductionVariable = inductionVariable + 1 | 0;
+        // Inline function 'it.unibo.tuprolog.collections.rete.takeFirstAfterSkipping.<anonymous>' call
+        iter.u();
+      }
+       while (inductionVariable < n);
+    return iter.u();
+  }
+  //region block: post-declaration
+  defineProp(protoOf(RetrieveResult), 'collection', function () {
+    return this.n1m();
+  });
+  defineProp(protoOf(RetrieveResult), 'clauses', function () {
+    return this.v1l();
+  });
+  defineProp(protoOf(RetrieveResult), 'firstClause', function () {
+    return this.o1m();
+  });
+  protoOf(MutableReteClauseQueue).t1l = get;
+  protoOf(ReteClauseQueue).t1l = get;
+  protoOf(IndexedClause$Companion$wrap$1).q1n = get_innerClause;
+  protoOf(IndexedClause$Companion$wrap$1).y1o = plus_1;
+  protoOf(IndexedClause$Companion$wrap$1).is = compareTo;
+  protoOf(SituatedIndexedClause$Companion$of$1).q1n = get_innerClause;
+  protoOf(SituatedIndexedClause$Companion$of$1).y1o = plus_1;
+  protoOf(SituatedIndexedClause$Companion$of$1).is = compareTo;
+  protoOf(AbstractTheory).b1t = get_isMutable;
+  protoOf(AbstractTheory).p1l = get_rules;
+  protoOf(AbstractTheory).o1l = 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.i1s();
+  });
+  defineProp(protoOf(RetractResult), 'clauses', function () {
+    return this.v1l();
+  });
+  defineProp(protoOf(RetractResult), 'firstClause', function () {
+    return this.o1m();
+  });
+  protoOf(MutableIndexedTheory).p1t = assertAFact_0;
+  protoOf(MutableIndexedTheory).q1t = assertZFact_0;
+  protoOf(MutableIndexedTheory).s1t = retractByHead_0;
+  protoOf(MutableIndexedTheory).b1t = get_isMutable_0;
+  protoOf(MutableIndexedTheory).t1t = retractAllByHead_0;
+  protoOf(MutableListedTheory).p1t = assertAFact_0;
+  protoOf(MutableListedTheory).q1t = assertZFact_0;
+  protoOf(MutableListedTheory).s1t = retractByHead_0;
+  protoOf(MutableListedTheory).b1t = get_isMutable_0;
+  protoOf(MutableListedTheory).t1t = retractAllByHead_0;
+  //endregion
+  //region block: init
+  Companion_instance_4 = new Companion();
+  Companion_instance_5 = new Companion_0();
+  Companion_instance_6 = new Companion_1();
+  Utils_instance = new Utils();
+  Companion_instance_7 = new Companion_2();
+  Companion_instance_8 = new Companion_3();
+  Companion_instance_9 = new Companion_4();
+  Companion_instance_10 = new Companion_5();
+  TheoryUtils_instance = new TheoryUtils();
+  //endregion
+  //region block: exports
+  _.$_$ = _.$_$ || {};
+  _.$_$.a = Companion_instance_9;
+  _.$_$.b = Companion_instance_10;
+  _.$_$.c = IndexedTheoryFactory;
+  _.$_$.d = MutableTheory;
+  _.$_$.e = Success_0;
+  _.$_$.f = TheoryFactory;
+  _.$_$.g = Theory;
+  //endregion
+  return _;
+}));
+
+//# sourceMappingURL=2p-theory.js.map