@tuprolog/arg2p 0.10.2 → 0.11.2

package/2p-dsl-core.js

@@ -1,98 +1,97 @@
-(function (root, factory) {
+(function (factory) {
   if (typeof define === 'function' && define.amd)
     define(['exports', './kotlin-kotlin-stdlib.js', './2p-core.js', './2p-utils.js', './kt-math.js'], factory);
   else if (typeof exports === 'object')
     factory(module.exports, require('./kotlin-kotlin-stdlib.js'), require('./2p-core.js'), require('./2p-utils.js'), require('./kt-math.js'));
   else {
-    if (typeof this['kotlin-kotlin-stdlib'] === 'undefined') {
+    if (typeof globalThis['kotlin-kotlin-stdlib'] === 'undefined') {
       throw new Error("Error loading module '2p-dsl-core'. Its dependency 'kotlin-kotlin-stdlib' was not found. Please, check whether 'kotlin-kotlin-stdlib' is loaded prior to '2p-dsl-core'.");
     }
-    if (typeof this['2p-core'] === 'undefined') {
+    if (typeof globalThis['2p-core'] === 'undefined') {
       throw new Error("Error loading module '2p-dsl-core'. Its dependency '2p-core' was not found. Please, check whether '2p-core' is loaded prior to '2p-dsl-core'.");
     }
-    if (typeof this['2p-utils'] === 'undefined') {
+    if (typeof globalThis['2p-utils'] === 'undefined') {
       throw new Error("Error loading module '2p-dsl-core'. Its dependency '2p-utils' was not found. Please, check whether '2p-utils' is loaded prior to '2p-dsl-core'.");
     }
-    if (typeof this['kt-math'] === 'undefined') {
+    if (typeof globalThis['kt-math'] === 'undefined') {
       throw new Error("Error loading module '2p-dsl-core'. Its dependency 'kt-math' was not found. Please, check whether 'kt-math' is loaded prior to '2p-dsl-core'.");
     }
-    root['2p-dsl-core'] = factory(typeof this['2p-dsl-core'] === 'undefined' ? {} : this['2p-dsl-core'], this['kotlin-kotlin-stdlib'], this['2p-core'], this['2p-utils'], this['kt-math']);
+    globalThis['2p-dsl-core'] = factory(typeof globalThis['2p-dsl-core'] === 'undefined' ? {} : globalThis['2p-dsl-core'], globalThis['kotlin-kotlin-stdlib'], globalThis['2p-core'], globalThis['2p-utils'], globalThis['kt-math']);
   }
-}(this, function (_, kotlin_kotlin, kotlin_it_unibo_tuprolog_core, kotlin_it_unibo_tuprolog_utils, kotlin_io_github_gciatto_kt_math) {
+}(function (_, kotlin_kotlin, kotlin_it_unibo_tuprolog_core, kotlin_it_unibo_tuprolog_utils, kotlin_io_github_gciatto_kt_math) {
   'use strict';
   //region block: imports
-  var THROW_CCE = kotlin_kotlin.$_$.y9;
-  var LinkedHashMap_init_$Create$ = kotlin_kotlin.$_$.h;
-  var protoOf = kotlin_kotlin.$_$.b6;
-  var Unit_instance = kotlin_kotlin.$_$.s1;
-  var toString = kotlin_kotlin.$_$.g6;
-  var IllegalArgumentException_init_$Create$ = kotlin_kotlin.$_$.s;
+  var THROW_CCE = kotlin_kotlin.$_$.la;
+  var Unit_instance = kotlin_kotlin.$_$.k1;
+  var LinkedHashMap_init_$Create$ = kotlin_kotlin.$_$.f;
+  var protoOf = kotlin_kotlin.$_$.m6;
+  var toString = kotlin_kotlin.$_$.p6;
+  var IllegalArgumentException_init_$Create$ = kotlin_kotlin.$_$.q;
   var Term = kotlin_it_unibo_tuprolog_core.$_$.r2;
-  var isInterface = kotlin_kotlin.$_$.r5;
+  var isInterface = kotlin_kotlin.$_$.e6;
   var TermConvertible = kotlin_it_unibo_tuprolog_core.$_$.u1;
-  var getKClassFromExpression = kotlin_kotlin.$_$.b;
-  var getKClass = kotlin_kotlin.$_$.c;
-  var toString_0 = kotlin_kotlin.$_$.j1;
+  var getKClassFromExpression = kotlin_kotlin.$_$.d7;
+  var getKClass = kotlin_kotlin.$_$.e7;
+  var toString_0 = kotlin_kotlin.$_$.h1;
   var Companion_getInstance = kotlin_it_unibo_tuprolog_core.$_$.a1;
-  var asIterable = kotlin_kotlin.$_$.c2;
-  var assertItemsAreNotNull = kotlin_it_unibo_tuprolog_utils.$_$.q;
-  var collectionSizeOrDefault = kotlin_kotlin.$_$.j2;
-  var ArrayList_init_$Create$ = kotlin_kotlin.$_$.e;
-  var assertItemsAreNotNull_0 = kotlin_it_unibo_tuprolog_utils.$_$.p;
-  var map = kotlin_kotlin.$_$.v7;
-  var assertItemsAreNotNull_1 = kotlin_it_unibo_tuprolog_utils.$_$.r;
-  var Char = kotlin_kotlin.$_$.m9;
-  var PrimitiveClasses_getInstance = kotlin_kotlin.$_$.p1;
+  var asIterable = kotlin_kotlin.$_$.u1;
+  var assertItemsAreNotNull = kotlin_it_unibo_tuprolog_utils.$_$.s;
+  var collectionSizeOrDefault = kotlin_kotlin.$_$.b2;
+  var ArrayList_init_$Create$ = kotlin_kotlin.$_$.c;
+  var assertItemsAreNotNull_0 = kotlin_it_unibo_tuprolog_utils.$_$.r;
+  var map = kotlin_kotlin.$_$.f8;
+  var assertItemsAreNotNull_1 = kotlin_it_unibo_tuprolog_utils.$_$.t;
+  var Char = kotlin_kotlin.$_$.z9;
+  var PrimitiveClasses_getInstance = kotlin_kotlin.$_$.j1;
   var BigInteger = kotlin_io_github_gciatto_kt_math.$_$.g;
   var BigDecimal = kotlin_io_github_gciatto_kt_math.$_$.f;
-  var Sequence = kotlin_kotlin.$_$.y6;
-  var Iterable = kotlin_kotlin.$_$.u1;
-  var List = kotlin_kotlin.$_$.v1;
-  var Set = kotlin_kotlin.$_$.y1;
-  var Pair = kotlin_kotlin.$_$.w9;
-  var Triple = kotlin_kotlin.$_$.aa;
-  var Entry = kotlin_kotlin.$_$.w1;
-  var Map = kotlin_kotlin.$_$.x1;
-  var classMeta = kotlin_kotlin.$_$.f5;
-  var setMetadataFor = kotlin_kotlin.$_$.c6;
-  var VOID = kotlin_kotlin.$_$.d;
+  var Sequence = kotlin_kotlin.$_$.i7;
+  var Iterable = kotlin_kotlin.$_$.m1;
+  var KtList = kotlin_kotlin.$_$.n1;
+  var KtSet = kotlin_kotlin.$_$.q1;
+  var Pair = kotlin_kotlin.$_$.ja;
+  var Triple = kotlin_kotlin.$_$.na;
+  var Entry = kotlin_kotlin.$_$.o1;
+  var KtMap = kotlin_kotlin.$_$.p1;
+  var initMetadataForClass = kotlin_kotlin.$_$.x5;
+  var VOID = kotlin_kotlin.$_$.b;
   var Struct = kotlin_it_unibo_tuprolog_core.$_$.s1;
   var Scope = kotlin_it_unibo_tuprolog_core.$_$.r1;
-  var interfaceMeta = kotlin_kotlin.$_$.o5;
+  var initMetadataForInterface = kotlin_kotlin.$_$.z5;
   var Companion_instance = kotlin_it_unibo_tuprolog_core.$_$.t;
   var Companion_instance_0 = kotlin_it_unibo_tuprolog_core.$_$.b1;
-  var objectMeta = kotlin_kotlin.$_$.a6;
+  var initMetadataForCompanion = kotlin_kotlin.$_$.y5;
   var logicListFromFrom = kotlin_it_unibo_tuprolog_core.$_$.d;
   var logicListFromIterable = kotlin_it_unibo_tuprolog_core.$_$.b;
   var logicListFromSequence = kotlin_it_unibo_tuprolog_core.$_$.c;
-  var plus = kotlin_kotlin.$_$.b4;
+  var plus = kotlin_kotlin.$_$.t3;
   var Tuple = kotlin_it_unibo_tuprolog_core.$_$.s2;
   var Companion_instance_1 = kotlin_it_unibo_tuprolog_core.$_$.z;
   var Companion_getInstance_0 = kotlin_it_unibo_tuprolog_core.$_$.v;
   var Var = kotlin_it_unibo_tuprolog_core.$_$.t2;
   var arrayConcat = kotlin_kotlin.$_$.a;
-  var sequenceOf = kotlin_kotlin.$_$.b8;
-  var copyToArray = kotlin_kotlin.$_$.r2;
-  var listOf = kotlin_kotlin.$_$.k3;
+  var sequenceOf = kotlin_kotlin.$_$.l8;
+  var copyToArray = kotlin_kotlin.$_$.j2;
+  var listOf = kotlin_kotlin.$_$.c3;
   var Rule = kotlin_it_unibo_tuprolog_core.$_$.q1;
   var Directive = kotlin_it_unibo_tuprolog_core.$_$.j1;
   var Fact = kotlin_it_unibo_tuprolog_core.$_$.k1;
-  var NumberTypeTester = kotlin_it_unibo_tuprolog_utils.$_$.i;
+  var NumberTypeTester = kotlin_it_unibo_tuprolog_utils.$_$.k;
   //endregion
   //region block: pre-declaration
   function copy(scope, $super) {
-    scope = scope === VOID ? this.z1g() : scope;
-    return $super === VOID ? this.a1h(scope) : $super.a1h.call(this, scope);
+    scope = scope === VOID ? this.a1g() : scope;
+    return $super === VOID ? this.b1g(scope) : $super.b1g.call(this, scope);
   }
-  setMetadataFor(Termificator, 'Termificator', interfaceMeta);
-  setMetadataFor(AbstractTermificator, 'AbstractTermificator', classMeta, VOID, [Termificator]);
+  initMetadataForInterface(Termificator, 'Termificator');
+  initMetadataForClass(AbstractTermificator, 'AbstractTermificator', VOID, VOID, [Termificator]);
   function convertToTerm(_this__u8e3s4) {
-    return this.x1i().toTerm(_this__u8e3s4);
+    return this.l2x().toTerm(_this__u8e3s4);
   }
   function convertToSpecificSubTypeOfTerm(_this__u8e3s4, type, converter) {
     var t = this.convertToTerm(_this__u8e3s4);
     var tmp;
-    if (type.p6(t)) {
+    if (type.c9(t)) {
       tmp = isInterface(t, Term) ? t : THROW_CCE();
     } else {
       if (isInterface(t, Struct)) {
@@ -103,311 +102,8 @@
     }
     return tmp;
   }
-  setMetadataFor(BaseLogicProgrammingScope, 'BaseLogicProgrammingScope', interfaceMeta, VOID, [Scope]);
-  setMetadataFor(Companion, 'Companion', objectMeta);
-  function termPlus(_this__u8e3s4, other) {
-    return this.structOf('+', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(other)]);
-  }
-  function number(_this__u8e3s4, other) {
-    return this.termPlus(this.convertToTerm(_this__u8e3s4), other);
-  }
-  function booleanPlus(_this__u8e3s4, other) {
-    return this.termPlus(this.convertToTerm(_this__u8e3s4), other);
-  }
-  function charPlus(_this__u8e3s4, other) {
-    return this.termPlus(this.convertToTerm(new Char(_this__u8e3s4)), other);
-  }
-  function termMinus(_this__u8e3s4, other) {
-    return this.structOf('-', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(other)]);
-  }
-  function numberMinus(_this__u8e3s4, other) {
-    return this.termMinus(this.convertToTerm(_this__u8e3s4), other);
-  }
-  function booleanMinus(_this__u8e3s4, other) {
-    return this.termMinus(this.convertToTerm(_this__u8e3s4), other);
-  }
-  function charMinus(_this__u8e3s4, other) {
-    return this.termMinus(this.convertToTerm(new Char(_this__u8e3s4)), other);
-  }
-  function stringMinus(_this__u8e3s4, other) {
-    return this.termMinus(this.convertToTerm(_this__u8e3s4), other);
-  }
-  function termTimes(_this__u8e3s4, other) {
-    return this.structOf('*', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(other)]);
-  }
-  function numberTimes(_this__u8e3s4, other) {
-    return this.termTimes(this.convertToTerm(_this__u8e3s4), other);
-  }
-  function booleanTimes(_this__u8e3s4, other) {
-    return this.termTimes(this.convertToTerm(_this__u8e3s4), other);
-  }
-  function charTimes(_this__u8e3s4, other) {
-    return this.termTimes(this.convertToTerm(new Char(_this__u8e3s4)), other);
-  }
-  function stringTimes(_this__u8e3s4, other) {
-    return this.termTimes(this.convertToTerm(_this__u8e3s4), other);
-  }
-  function termDiv(_this__u8e3s4, other) {
-    return this.indicatorOf(this.convertToTerm(_this__u8e3s4), this.convertToTerm(other));
-  }
-  function numberDiv(_this__u8e3s4, other) {
-    return this.termDiv(this.convertToTerm(_this__u8e3s4), other);
-  }
-  function booleanDiv(_this__u8e3s4, other) {
-    return this.termDiv(this.convertToTerm(_this__u8e3s4), other);
-  }
-  function charDiv(_this__u8e3s4, other) {
-    return this.termDiv(this.convertToTerm(new Char(_this__u8e3s4)), other);
-  }
-  function stringDiv(_this__u8e3s4, other) {
-    return this.termDiv(this.convertToTerm(_this__u8e3s4), other);
-  }
-  function anyEqualsTo(_this__u8e3s4, other) {
-    return this.structOf('=', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(other)]);
-  }
-  function anyNotEqualsTo(_this__u8e3s4, other) {
-    return this.structOf('\\=', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(other)]);
-  }
-  function anyGreaterThan(_this__u8e3s4, other) {
-    return this.structOf('>', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(other)]);
-  }
-  function anyGreaterThanOrEqualsTo(_this__u8e3s4, other) {
-    return this.structOf('>=', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(other)]);
-  }
-  function anyNonLowerThan(_this__u8e3s4, other) {
-    return this.anyGreaterThanOrEqualsTo(_this__u8e3s4, other);
-  }
-  function anyLowerThan(_this__u8e3s4, other) {
-    return this.structOf('<', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(other)]);
-  }
-  function anyLowerThanOrEqualsTo(_this__u8e3s4, other) {
-    return this.structOf('=<', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(other)]);
-  }
-  function anyNonGreaterThan(_this__u8e3s4, other) {
-    return this.anyLowerThanOrEqualsTo(_this__u8e3s4, other);
-  }
-  function anyIntDiv(_this__u8e3s4, other) {
-    return this.structOf('//', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(other)]);
-  }
-  function termRem(_this__u8e3s4, other) {
-    return this.structOf('rem', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(other)]);
-  }
-  function numberRem(_this__u8e3s4, other) {
-    return this.termRem(this.convertToTerm(_this__u8e3s4), other);
-  }
-  function booleanRem(_this__u8e3s4, other) {
-    return this.termRem(this.convertToTerm(_this__u8e3s4), other);
-  }
-  function charRem(_this__u8e3s4, other) {
-    return this.termRem(this.convertToTerm(new Char(_this__u8e3s4)), other);
-  }
-  function stringRem(_this__u8e3s4, other) {
-    return this.termRem(this.convertToTerm(_this__u8e3s4), other);
-  }
-  function anyAnd(_this__u8e3s4, other) {
-    // Inline function 'kotlin.let' call
-    // Inline function 'kotlin.contracts.contract' call
-    // Inline function 'it.unibo.tuprolog.dsl.LogicProgrammingScopeWithOperators.and.<anonymous>' call
-    var it = this.convertToTerm(_this__u8e3s4);
-    var otherTerm = this.convertToTerm(other);
-    var tmp;
-    if (isInterface(it, Tuple)) {
-      tmp = this.tupleOfIterable(plus(it.sw(), otherTerm));
-    } else {
-      tmp = this.tupleOf([this.convertToTerm(_this__u8e3s4), otherTerm]);
-    }
-    return tmp;
-  }
-  function anyOr(_this__u8e3s4, other) {
-    return this.structOf(';', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(other)]);
-  }
-  function anyPow(_this__u8e3s4, other) {
-    return this.structOf('**', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(other)]);
-  }
-  function anySup(_this__u8e3s4, other) {
-    return this.structOf('^', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(other)]);
-  }
-  function anyIs(_this__u8e3s4, other) {
-    return this.structOf('is', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(other)]);
-  }
-  function anyThen(_this__u8e3s4, other) {
-    return this.structOf('->', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(other)]);
-  }
-  function anyImpliedBy(_this__u8e3s4, other) {
-    var t = this.convertToTerm(_this__u8e3s4);
-    var tmp;
-    if (isInterface(t, Struct)) {
-      tmp = this.ruleOf(t, this.convertToTerm(other), []);
-    } else {
-      raiseErrorConvertingTo(_this__u8e3s4, getKClass(Struct));
-    }
-    return tmp;
-  }
-  function anyIf(_this__u8e3s4, other) {
-    return this.anyImpliedBy(_this__u8e3s4, other);
-  }
-  function anyImpliedByVararg(_this__u8e3s4, other) {
-    var tmp = Companion_instance_1;
-    // Inline function 'kotlin.collections.map' call
-    // Inline function 'kotlin.collections.mapTo' call
-    var destination = ArrayList_init_$Create$(other.length);
-    var inductionVariable = 0;
-    var last = other.length;
-    while (inductionVariable < last) {
-      var item = other[inductionVariable];
-      inductionVariable = inductionVariable + 1 | 0;
-      // Inline function 'it.unibo.tuprolog.dsl.LogicProgrammingScopeWithOperators.impliedBy.<anonymous>' call
-      var tmp$ret$0 = this.convertToTerm(item);
-      destination.o(tmp$ret$0);
-    }
-    return this.anyImpliedBy(_this__u8e3s4, tmp.wrapIterableIfNeeded(destination));
-  }
-  function anyIfVararg(_this__u8e3s4, other) {
-    return this.anyImpliedByVararg(_this__u8e3s4, other.slice());
-  }
-  setMetadataFor(LogicProgrammingScopeWithOperators, 'LogicProgrammingScopeWithOperators', interfaceMeta, VOID, [BaseLogicProgrammingScope]);
-  function stringInvoke(_this__u8e3s4, term, terms) {
-    var tmp = sequenceOf(arrayConcat([[term], terms]));
-    return this.structOfSequence(_this__u8e3s4, map(tmp, MinimalLogicProgrammingScope$invoke$lambda(this)));
-  }
-  function structOfAny(functor, args) {
-    // Inline function 'kotlin.collections.toTypedArray' call
-    // Inline function 'kotlin.collections.map' call
-    // Inline function 'kotlin.collections.mapTo' call
-    var destination = ArrayList_init_$Create$(args.length);
-    var inductionVariable = 0;
-    var last = args.length;
-    while (inductionVariable < last) {
-      var item = args[inductionVariable];
-      inductionVariable = inductionVariable + 1 | 0;
-      // Inline function 'it.unibo.tuprolog.dsl.MinimalLogicProgrammingScope.structOf.<anonymous>' call
-      var tmp$ret$0 = this.convertToTerm(item);
-      destination.o(tmp$ret$0);
-    }
-    var tmp$ret$3 = copyToArray(destination);
-    return this.structOf(functor, tmp$ret$3.slice());
-  }
-  function tupleOfAny(terms) {
-    // Inline function 'kotlin.collections.toTypedArray' call
-    // Inline function 'kotlin.collections.map' call
-    // Inline function 'kotlin.collections.mapTo' call
-    var destination = ArrayList_init_$Create$(terms.length);
-    var inductionVariable = 0;
-    var last = terms.length;
-    while (inductionVariable < last) {
-      var item = terms[inductionVariable];
-      inductionVariable = inductionVariable + 1 | 0;
-      // Inline function 'it.unibo.tuprolog.dsl.MinimalLogicProgrammingScope.tupleOf.<anonymous>' call
-      var tmp$ret$0 = this.convertToTerm(item);
-      destination.o(tmp$ret$0);
-    }
-    var tmp$ret$3 = copyToArray(destination);
-    return this.tupleOf(tmp$ret$3.slice());
-  }
-  function logicListOfAny(terms) {
-    // Inline function 'kotlin.collections.toTypedArray' call
-    // Inline function 'kotlin.collections.map' call
-    // Inline function 'kotlin.collections.mapTo' call
-    var destination = ArrayList_init_$Create$(terms.length);
-    var inductionVariable = 0;
-    var last = terms.length;
-    while (inductionVariable < last) {
-      var item = terms[inductionVariable];
-      inductionVariable = inductionVariable + 1 | 0;
-      // Inline function 'it.unibo.tuprolog.dsl.MinimalLogicProgrammingScope.logicListOf.<anonymous>' call
-      var tmp$ret$0 = this.convertToTerm(item);
-      destination.o(tmp$ret$0);
-    }
-    var tmp$ret$3 = copyToArray(destination);
-    return this.logicListOf(tmp$ret$3.slice());
-  }
-  function blockOfAny(terms) {
-    // Inline function 'kotlin.collections.toTypedArray' call
-    // Inline function 'kotlin.collections.map' call
-    // Inline function 'kotlin.collections.mapTo' call
-    var destination = ArrayList_init_$Create$(terms.length);
-    var inductionVariable = 0;
-    var last = terms.length;
-    while (inductionVariable < last) {
-      var item = terms[inductionVariable];
-      inductionVariable = inductionVariable + 1 | 0;
-      // Inline function 'it.unibo.tuprolog.dsl.MinimalLogicProgrammingScope.blockOf.<anonymous>' call
-      var tmp$ret$0 = this.convertToTerm(item);
-      destination.o(tmp$ret$0);
-    }
-    var tmp$ret$3 = copyToArray(destination);
-    return this.blockOf(tmp$ret$3.slice());
-  }
-  function factOfAny(term) {
-    var tmp = this.convertToTerm(term);
-    return this.factOf(isInterface(tmp, Struct) ? tmp : THROW_CCE());
-  }
-  function consOfAny(head, tail) {
-    return this.consOf(this.convertToTerm(head), this.convertToTerm(tail));
-  }
-  function directiveOfAny(term, terms) {
-    var tmp = this.convertToTerm(term);
-    // Inline function 'kotlin.collections.toTypedArray' call
-    // Inline function 'kotlin.collections.map' call
-    // Inline function 'kotlin.collections.mapTo' call
-    var destination = ArrayList_init_$Create$(terms.length);
-    var inductionVariable = 0;
-    var last = terms.length;
-    while (inductionVariable < last) {
-      var item = terms[inductionVariable];
-      inductionVariable = inductionVariable + 1 | 0;
-      // Inline function 'it.unibo.tuprolog.dsl.MinimalLogicProgrammingScope.directiveOf.<anonymous>' call
-      var tmp$ret$0 = this.convertToTerm(item);
-      destination.o(tmp$ret$0);
-    }
-    var tmp$ret$3 = copyToArray(destination);
-    return this.directiveOf(tmp, tmp$ret$3.slice());
-  }
-  function withScope(function_0) {
-    return function_0(this.newScope());
-  }
-  function logicList(items, tail) {
-    // Inline function 'kotlin.let' call
-    // Inline function 'kotlin.collections.map' call
-    var this_0 = listOf(items.slice());
-    // 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.dsl.MinimalLogicProgrammingScope.logicList.<anonymous>' call
-      var tmp$ret$0 = this.convertToTerm(item);
-      destination.o(tmp$ret$0);
-    }
-    // Inline function 'kotlin.contracts.contract' call
-    // Inline function 'it.unibo.tuprolog.dsl.MinimalLogicProgrammingScope.logicList.<anonymous>' call
-    var tmp;
-    if (!(tail == null)) {
-      tmp = this.w10(destination, this.convertToTerm(tail));
-    } else {
-      tmp = this.logicListOfIterable(destination);
-    }
-    return tmp;
-  }
-  function logicList_0(items, tail, $super) {
-    tail = tail === VOID ? null : tail;
-    return $super === VOID ? this.d1j(items, tail) : logicList(items, tail);
-  }
-  function rule(function_0) {
-    var tmp = this.convertToTerm(function_0(this.newScope()));
-    return isInterface(tmp, Rule) ? tmp : THROW_CCE();
-  }
-  function directive(function_0) {
-    var tmp = function_0(this.newScope());
-    var tmp_0 = getKClass(Directive);
-    return this.convertToSpecificSubTypeOfTerm(tmp, tmp_0, MinimalLogicProgrammingScope$directive$directiveOf$ref(this));
-  }
-  function fact(function_0) {
-    var tmp = function_0(this.newScope());
-    var tmp_0 = getKClass(Fact);
-    return this.convertToSpecificSubTypeOfTerm(tmp, tmp_0, MinimalLogicProgrammingScope$factOf$ref(this));
-  }
-  setMetadataFor(MinimalLogicProgrammingScope, 'MinimalLogicProgrammingScope', interfaceMeta, VOID, [BaseLogicProgrammingScope]);
+  initMetadataForInterface(BaseLogicProgrammingScope, 'BaseLogicProgrammingScope', VOID, VOID, [Scope]);
+  initMetadataForCompanion(Companion);
   function at_end_of_stream1(alias) {
     return this.structOf('at_end_of_stream', [this.convertToTerm(alias)]);
   }
@@ -570,67 +266,359 @@
   function consult1(url) {
     return this.structOf('consult', [this.convertToTerm(url)]);
   }
-  function set_flag2(name, value) {
-    return this.structOf('set_flag', [this.convertToTerm(name), this.convertToTerm(value)]);
+  function set_flag2(name, value) {
+    return this.structOf('set_flag', [this.convertToTerm(name), this.convertToTerm(value)]);
+  }
+  function set_prolog_flag2(name, value) {
+    return this.structOf('set_prolog_flag', [this.convertToTerm(name), this.convertToTerm(value)]);
+  }
+  function dynamic1(indicator) {
+    return this.structOf('dynamic', [this.convertToTerm(indicator)]);
+  }
+  function static1(indicator) {
+    return this.structOf('static', [this.convertToTerm(indicator)]);
+  }
+  function solve1(goal) {
+    return this.structOf('solve', [this.convertToTerm(goal)]);
+  }
+  function initialization1(goal) {
+    return this.structOf('initialization', [this.convertToTerm(goal)]);
+  }
+  function load1(url) {
+    return this.structOf('load', [this.convertToTerm(url)]);
+  }
+  function include1(url) {
+    return this.structOf('include', [this.convertToTerm(url)]);
+  }
+  initMetadataForInterface(LogicProgrammingScopeWithPrologStandardLibrary, 'LogicProgrammingScopeWithPrologStandardLibrary', VOID, VOID, [BaseLogicProgrammingScope]);
+  function varTo(_this__u8e3s4, termObject) {
+    return Companion_getInstance_0().of(_this__u8e3s4, this.convertToTerm(termObject));
+  }
+  function stringTo(_this__u8e3s4, termObject) {
+    return Companion_getInstance_0().of(this.varOf(_this__u8e3s4), this.convertToTerm(termObject));
+  }
+  function substitutionGet(_this__u8e3s4, term) {
+    var t = this.convertToTerm(term);
+    var tmp;
+    if (isInterface(t, Var)) {
+      tmp = _this__u8e3s4.h2(t);
+    } else {
+      raiseErrorConvertingTo(term, getKClass(Var));
+    }
+    return tmp;
+  }
+  function substitutionContainsKey(_this__u8e3s4, term) {
+    var t = this.convertToTerm(term);
+    var tmp;
+    if (isInterface(t, Var)) {
+      tmp = _this__u8e3s4.f2(t);
+    } else {
+      raiseErrorConvertingTo(term, getKClass(Var));
+    }
+    return tmp;
+  }
+  function substitutionContains(_this__u8e3s4, term) {
+    return this.substitutionContainsKey(_this__u8e3s4, term);
+  }
+  function substitutionContainsValue(_this__u8e3s4, term) {
+    return _this__u8e3s4.g2(this.convertToTerm(term));
+  }
+  initMetadataForInterface(LogicProgrammingScopeWithSubstitutions, 'LogicProgrammingScopeWithSubstitutions', VOID, VOID, [BaseLogicProgrammingScope]);
+  function termPlus(_this__u8e3s4, other) {
+    return this.structOf('+', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(other)]);
+  }
+  function number(_this__u8e3s4, other) {
+    return this.termPlus(this.convertToTerm(_this__u8e3s4), other);
+  }
+  function booleanPlus(_this__u8e3s4, other) {
+    return this.termPlus(this.convertToTerm(_this__u8e3s4), other);
+  }
+  function charPlus(_this__u8e3s4, other) {
+    return this.termPlus(this.convertToTerm(new Char(_this__u8e3s4)), other);
+  }
+  function termMinus(_this__u8e3s4, other) {
+    return this.structOf('-', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(other)]);
+  }
+  function numberMinus(_this__u8e3s4, other) {
+    return this.termMinus(this.convertToTerm(_this__u8e3s4), other);
+  }
+  function booleanMinus(_this__u8e3s4, other) {
+    return this.termMinus(this.convertToTerm(_this__u8e3s4), other);
+  }
+  function charMinus(_this__u8e3s4, other) {
+    return this.termMinus(this.convertToTerm(new Char(_this__u8e3s4)), other);
+  }
+  function stringMinus(_this__u8e3s4, other) {
+    return this.termMinus(this.convertToTerm(_this__u8e3s4), other);
+  }
+  function termTimes(_this__u8e3s4, other) {
+    return this.structOf('*', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(other)]);
+  }
+  function numberTimes(_this__u8e3s4, other) {
+    return this.termTimes(this.convertToTerm(_this__u8e3s4), other);
+  }
+  function booleanTimes(_this__u8e3s4, other) {
+    return this.termTimes(this.convertToTerm(_this__u8e3s4), other);
+  }
+  function charTimes(_this__u8e3s4, other) {
+    return this.termTimes(this.convertToTerm(new Char(_this__u8e3s4)), other);
+  }
+  function stringTimes(_this__u8e3s4, other) {
+    return this.termTimes(this.convertToTerm(_this__u8e3s4), other);
+  }
+  function termDiv(_this__u8e3s4, other) {
+    return this.indicatorOf(this.convertToTerm(_this__u8e3s4), this.convertToTerm(other));
+  }
+  function numberDiv(_this__u8e3s4, other) {
+    return this.termDiv(this.convertToTerm(_this__u8e3s4), other);
+  }
+  function booleanDiv(_this__u8e3s4, other) {
+    return this.termDiv(this.convertToTerm(_this__u8e3s4), other);
+  }
+  function charDiv(_this__u8e3s4, other) {
+    return this.termDiv(this.convertToTerm(new Char(_this__u8e3s4)), other);
+  }
+  function stringDiv(_this__u8e3s4, other) {
+    return this.termDiv(this.convertToTerm(_this__u8e3s4), other);
+  }
+  function anyEqualsTo(_this__u8e3s4, other) {
+    return this.structOf('=', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(other)]);
+  }
+  function anyNotEqualsTo(_this__u8e3s4, other) {
+    return this.structOf('\\=', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(other)]);
+  }
+  function anyGreaterThan(_this__u8e3s4, other) {
+    return this.structOf('>', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(other)]);
+  }
+  function anyGreaterThanOrEqualsTo(_this__u8e3s4, other) {
+    return this.structOf('>=', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(other)]);
+  }
+  function anyNonLowerThan(_this__u8e3s4, other) {
+    return this.anyGreaterThanOrEqualsTo(_this__u8e3s4, other);
+  }
+  function anyLowerThan(_this__u8e3s4, other) {
+    return this.structOf('<', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(other)]);
+  }
+  function anyLowerThanOrEqualsTo(_this__u8e3s4, other) {
+    return this.structOf('=<', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(other)]);
+  }
+  function anyNonGreaterThan(_this__u8e3s4, other) {
+    return this.anyLowerThanOrEqualsTo(_this__u8e3s4, other);
+  }
+  function anyIntDiv(_this__u8e3s4, other) {
+    return this.structOf('//', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(other)]);
+  }
+  function termRem(_this__u8e3s4, other) {
+    return this.structOf('rem', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(other)]);
+  }
+  function numberRem(_this__u8e3s4, other) {
+    return this.termRem(this.convertToTerm(_this__u8e3s4), other);
+  }
+  function booleanRem(_this__u8e3s4, other) {
+    return this.termRem(this.convertToTerm(_this__u8e3s4), other);
+  }
+  function charRem(_this__u8e3s4, other) {
+    return this.termRem(this.convertToTerm(new Char(_this__u8e3s4)), other);
+  }
+  function stringRem(_this__u8e3s4, other) {
+    return this.termRem(this.convertToTerm(_this__u8e3s4), other);
+  }
+  function anyAnd(_this__u8e3s4, other) {
+    // Inline function 'kotlin.let' call
+    var it = this.convertToTerm(_this__u8e3s4);
+    var otherTerm = this.convertToTerm(other);
+    var tmp;
+    if (isInterface(it, Tuple)) {
+      tmp = this.tupleOfIterable(plus(it.uv(), otherTerm));
+    } else {
+      tmp = this.tupleOf([this.convertToTerm(_this__u8e3s4), otherTerm]);
+    }
+    return tmp;
+  }
+  function anyOr(_this__u8e3s4, other) {
+    return this.structOf(';', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(other)]);
+  }
+  function anyPow(_this__u8e3s4, other) {
+    return this.structOf('**', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(other)]);
+  }
+  function anySup(_this__u8e3s4, other) {
+    return this.structOf('^', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(other)]);
+  }
+  function anyIs(_this__u8e3s4, other) {
+    return this.structOf('is', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(other)]);
+  }
+  function anyThen(_this__u8e3s4, other) {
+    return this.structOf('->', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(other)]);
+  }
+  function anyImpliedBy(_this__u8e3s4, other) {
+    var t = this.convertToTerm(_this__u8e3s4);
+    var tmp;
+    if (isInterface(t, Struct)) {
+      tmp = this.ruleOf(t, this.convertToTerm(other), []);
+    } else {
+      raiseErrorConvertingTo(_this__u8e3s4, getKClass(Struct));
+    }
+    return tmp;
+  }
+  function anyIf(_this__u8e3s4, other) {
+    return this.anyImpliedBy(_this__u8e3s4, other);
+  }
+  function anyImpliedByVararg(_this__u8e3s4, other) {
+    var tmp = Companion_instance_1;
+    // Inline function 'kotlin.collections.map' call
+    // Inline function 'kotlin.collections.mapTo' call
+    var destination = ArrayList_init_$Create$(other.length);
+    var inductionVariable = 0;
+    var last = other.length;
+    while (inductionVariable < last) {
+      var item = other[inductionVariable];
+      inductionVariable = inductionVariable + 1 | 0;
+      var tmp$ret$0 = this.convertToTerm(item);
+      destination.m(tmp$ret$0);
+    }
+    return this.anyImpliedBy(_this__u8e3s4, tmp.wrapIterableIfNeeded(destination));
+  }
+  function anyIfVararg(_this__u8e3s4, other) {
+    return this.anyImpliedByVararg(_this__u8e3s4, other.slice());
   }
-  function set_prolog_flag2(name, value) {
-    return this.structOf('set_prolog_flag', [this.convertToTerm(name), this.convertToTerm(value)]);
+  initMetadataForInterface(LogicProgrammingScopeWithOperators, 'LogicProgrammingScopeWithOperators', VOID, VOID, [BaseLogicProgrammingScope]);
+  function stringInvoke(_this__u8e3s4, term, terms) {
+    var tmp = sequenceOf(arrayConcat([[term], terms]));
+    return this.structOfSequence(_this__u8e3s4, map(tmp, MinimalLogicProgrammingScope$invoke$lambda(this)));
   }
-  function dynamic1(indicator) {
-    return this.structOf('dynamic', [this.convertToTerm(indicator)]);
+  function structOfAny(functor, args) {
+    // Inline function 'kotlin.collections.map' call
+    // Inline function 'kotlin.collections.mapTo' call
+    var destination = ArrayList_init_$Create$(args.length);
+    var inductionVariable = 0;
+    var last = args.length;
+    while (inductionVariable < last) {
+      var item = args[inductionVariable];
+      inductionVariable = inductionVariable + 1 | 0;
+      var tmp$ret$0 = this.convertToTerm(item);
+      destination.m(tmp$ret$0);
+    }
+    // Inline function 'kotlin.collections.toTypedArray' call
+    var tmp$ret$3 = copyToArray(destination);
+    return this.structOf(functor, tmp$ret$3.slice());
   }
-  function static1(indicator) {
-    return this.structOf('static', [this.convertToTerm(indicator)]);
+  function tupleOfAny(terms) {
+    // Inline function 'kotlin.collections.map' call
+    // Inline function 'kotlin.collections.mapTo' call
+    var destination = ArrayList_init_$Create$(terms.length);
+    var inductionVariable = 0;
+    var last = terms.length;
+    while (inductionVariable < last) {
+      var item = terms[inductionVariable];
+      inductionVariable = inductionVariable + 1 | 0;
+      var tmp$ret$0 = this.convertToTerm(item);
+      destination.m(tmp$ret$0);
+    }
+    // Inline function 'kotlin.collections.toTypedArray' call
+    var tmp$ret$3 = copyToArray(destination);
+    return this.tupleOf(tmp$ret$3.slice());
   }
-  function solve1(goal) {
-    return this.structOf('solve', [this.convertToTerm(goal)]);
+  function logicListOfAny(terms) {
+    // Inline function 'kotlin.collections.map' call
+    // Inline function 'kotlin.collections.mapTo' call
+    var destination = ArrayList_init_$Create$(terms.length);
+    var inductionVariable = 0;
+    var last = terms.length;
+    while (inductionVariable < last) {
+      var item = terms[inductionVariable];
+      inductionVariable = inductionVariable + 1 | 0;
+      var tmp$ret$0 = this.convertToTerm(item);
+      destination.m(tmp$ret$0);
+    }
+    // Inline function 'kotlin.collections.toTypedArray' call
+    var tmp$ret$3 = copyToArray(destination);
+    return this.logicListOf(tmp$ret$3.slice());
   }
-  function initialization1(goal) {
-    return this.structOf('initialization', [this.convertToTerm(goal)]);
+  function blockOfAny(terms) {
+    // Inline function 'kotlin.collections.map' call
+    // Inline function 'kotlin.collections.mapTo' call
+    var destination = ArrayList_init_$Create$(terms.length);
+    var inductionVariable = 0;
+    var last = terms.length;
+    while (inductionVariable < last) {
+      var item = terms[inductionVariable];
+      inductionVariable = inductionVariable + 1 | 0;
+      var tmp$ret$0 = this.convertToTerm(item);
+      destination.m(tmp$ret$0);
+    }
+    // Inline function 'kotlin.collections.toTypedArray' call
+    var tmp$ret$3 = copyToArray(destination);
+    return this.blockOf(tmp$ret$3.slice());
   }
-  function load1(url) {
-    return this.structOf('load', [this.convertToTerm(url)]);
+  function factOfAny(term) {
+    var tmp = this.convertToTerm(term);
+    return this.factOf(isInterface(tmp, Struct) ? tmp : THROW_CCE());
   }
-  function include1(url) {
-    return this.structOf('include', [this.convertToTerm(url)]);
+  function consOfAny(head, tail) {
+    return this.consOf(this.convertToTerm(head), this.convertToTerm(tail));
   }
-  setMetadataFor(LogicProgrammingScopeWithPrologStandardLibrary, 'LogicProgrammingScopeWithPrologStandardLibrary', interfaceMeta, VOID, [BaseLogicProgrammingScope]);
-  function varTo(_this__u8e3s4, termObject) {
-    return Companion_getInstance_0().of(_this__u8e3s4, this.convertToTerm(termObject));
+  function directiveOfAny(term, terms) {
+    var tmp = this.convertToTerm(term);
+    // Inline function 'kotlin.collections.map' call
+    // Inline function 'kotlin.collections.mapTo' call
+    var destination = ArrayList_init_$Create$(terms.length);
+    var inductionVariable = 0;
+    var last = terms.length;
+    while (inductionVariable < last) {
+      var item = terms[inductionVariable];
+      inductionVariable = inductionVariable + 1 | 0;
+      var tmp$ret$0 = this.convertToTerm(item);
+      destination.m(tmp$ret$0);
+    }
+    // Inline function 'kotlin.collections.toTypedArray' call
+    var tmp$ret$3 = copyToArray(destination);
+    return this.directiveOf(tmp, tmp$ret$3.slice());
   }
-  function stringTo(_this__u8e3s4, termObject) {
-    return Companion_getInstance_0().of(this.varOf(_this__u8e3s4), this.convertToTerm(termObject));
+  function withScope(function_0) {
+    return function_0(this.newScope());
   }
-  function substitutionGet(_this__u8e3s4, term) {
-    var t = this.convertToTerm(term);
-    var tmp;
-    if (isInterface(t, Var)) {
-      tmp = _this__u8e3s4.x2(t);
-    } else {
-      raiseErrorConvertingTo(term, getKClass(Var));
+  function logicList(items, tail) {
+    // Inline function 'kotlin.collections.map' call
+    var this_0 = listOf(items.slice());
+    // Inline function 'kotlin.collections.mapTo' call
+    var destination = ArrayList_init_$Create$(collectionSizeOrDefault(this_0, 10));
+    var _iterator__ex2g4s = this_0.p();
+    while (_iterator__ex2g4s.s()) {
+      var item = _iterator__ex2g4s.t();
+      var tmp$ret$0 = this.convertToTerm(item);
+      destination.m(tmp$ret$0);
     }
-    return tmp;
-  }
-  function substitutionContainsKey(_this__u8e3s4, term) {
-    var t = this.convertToTerm(term);
+    // Inline function 'kotlin.let' call
     var tmp;
-    if (isInterface(t, Var)) {
-      tmp = _this__u8e3s4.u2(t);
+    if (!(tail == null)) {
+      tmp = this.yz(destination, this.convertToTerm(tail));
     } else {
-      raiseErrorConvertingTo(term, getKClass(Var));
+      tmp = this.logicListOfIterable(destination);
     }
     return tmp;
   }
-  function substitutionContains(_this__u8e3s4, term) {
-    return this.substitutionContainsKey(_this__u8e3s4, term);
+  function logicList_0(items, tail, $super) {
+    tail = tail === VOID ? null : tail;
+    return $super === VOID ? this.r2x(items, tail) : logicList(items, tail);
   }
-  function substitutionContainsValue(_this__u8e3s4, term) {
-    return _this__u8e3s4.v2(this.convertToTerm(term));
+  function rule(function_0) {
+    var tmp = this.convertToTerm(function_0(this.newScope()));
+    return isInterface(tmp, Rule) ? tmp : THROW_CCE();
+  }
+  function directive(function_0) {
+    var tmp = function_0(this.newScope());
+    var tmp_0 = getKClass(Directive);
+    return this.convertToSpecificSubTypeOfTerm(tmp, tmp_0, MinimalLogicProgrammingScope$directiveOf$ref(this));
+  }
+  function fact(function_0) {
+    var tmp = function_0(this.newScope());
+    var tmp_0 = getKClass(Fact);
+    return this.convertToSpecificSubTypeOfTerm(tmp, tmp_0, MinimalLogicProgrammingScope$factOf$ref(this));
   }
-  setMetadataFor(LogicProgrammingScopeWithSubstitutions, 'LogicProgrammingScopeWithSubstitutions', interfaceMeta, VOID, [BaseLogicProgrammingScope]);
-  setMetadataFor(LogicProgrammingScopeImpl, 'LogicProgrammingScopeImpl', classMeta, VOID, [LogicProgrammingScopeWithOperators, MinimalLogicProgrammingScope, Scope, LogicProgrammingScopeWithPrologStandardLibrary, BaseLogicProgrammingScope, LogicProgrammingScopeWithSubstitutions]);
-  setMetadataFor(Companion_0, 'Companion', objectMeta);
-  setMetadataFor(DefaultTermificator, 'DefaultTermificator', classMeta, AbstractTermificator);
+  initMetadataForInterface(MinimalLogicProgrammingScope, 'MinimalLogicProgrammingScope', VOID, VOID, [BaseLogicProgrammingScope]);
+  initMetadataForClass(LogicProgrammingScopeImpl, 'LogicProgrammingScopeImpl', VOID, VOID, [LogicProgrammingScopeWithPrologStandardLibrary, LogicProgrammingScopeWithSubstitutions, BaseLogicProgrammingScope, LogicProgrammingScopeWithOperators, Scope, MinimalLogicProgrammingScope]);
+  initMetadataForCompanion(Companion_0);
+  initMetadataForClass(DefaultTermificator, 'DefaultTermificator', VOID, AbstractTermificator);
   //endregion
   function AbstractTermificator$handleType$lambda($conversion) {
     return function (it) {
@@ -639,400 +627,393 @@
   }
   function AbstractTermificator$handleSequenceAsList$lambda(this$0) {
     return function (it) {
-      return this$0.d1i(it);
+      return this$0.r2w(it);
     };
   }
-  function AbstractTermificator$handleCharAsString$ref($boundThis) {
-    var l = function (p0) {
-      return $boundThis.e1i(p0.j9_1);
+  function AbstractTermificator$handleCharAsString$ref(p0) {
+    var l = function (_this__u8e3s4) {
+      return p0.s2w(_this__u8e3s4.p1_1);
     };
     l.callableName = 'handleCharAsString';
     return l;
   }
-  function AbstractTermificator$handleBooleanAsTruth$ref($boundThis) {
-    var l = function (p0) {
-      return $boundThis.f1i(p0);
+  function AbstractTermificator$handleBooleanAsTruth$ref(p0) {
+    var l = function (_this__u8e3s4) {
+      return p0.t2w(_this__u8e3s4);
     };
     l.callableName = 'handleBooleanAsTruth';
     return l;
   }
-  function AbstractTermificator$handleStringAsAtomOrVariable$ref($boundThis) {
-    var l = function (p0) {
-      return $boundThis.g1i(p0);
+  function AbstractTermificator$handleStringAsAtomOrVariable$ref(p0) {
+    var l = function (_this__u8e3s4) {
+      return p0.u2w(_this__u8e3s4);
     };
     l.callableName = 'handleStringAsAtomOrVariable';
     return l;
   }
-  function AbstractTermificator$handleBigIntegerAsInteger$ref($boundThis) {
-    var l = function (p0) {
-      return $boundThis.h1i(p0);
+  function AbstractTermificator$handleBigIntegerAsInteger$ref(p0) {
+    var l = function (_this__u8e3s4) {
+      return p0.v2w(_this__u8e3s4);
     };
     l.callableName = 'handleBigIntegerAsInteger';
     return l;
   }
-  function AbstractTermificator$handleBigDecimalAsReal$ref($boundThis) {
-    var l = function (p0) {
-      return $boundThis.i1i(p0);
+  function AbstractTermificator$handleBigDecimalAsReal$ref(p0) {
+    var l = function (_this__u8e3s4) {
+      return p0.w2w(_this__u8e3s4);
     };
     l.callableName = 'handleBigDecimalAsReal';
     return l;
   }
-  function AbstractTermificator$handleNumberAsNumeric$ref($boundThis) {
-    var l = function (p0) {
-      return $boundThis.j1i(p0);
+  function AbstractTermificator$handleNumberAsNumeric$ref(p0) {
+    var l = function (_this__u8e3s4) {
+      return p0.x2w(_this__u8e3s4);
     };
     l.callableName = 'handleNumberAsNumeric';
     return l;
   }
-  function AbstractTermificator$handleArrayAsList$ref($boundThis) {
-    var l = function (p0) {
-      return $boundThis.k1i(p0);
+  function AbstractTermificator$handleArrayAsList$ref(p0) {
+    var l = function (_this__u8e3s4) {
+      return p0.y2w(_this__u8e3s4);
     };
     l.callableName = 'handleArrayAsList';
     return l;
   }
-  function AbstractTermificator$handleSequenceAsList$ref($boundThis) {
-    var l = function (p0) {
-      return $boundThis.l1i(p0);
+  function AbstractTermificator$handleSequenceAsList$ref(p0) {
+    var l = function (_this__u8e3s4) {
+      return p0.z2w(_this__u8e3s4);
     };
     l.callableName = 'handleSequenceAsList';
     return l;
   }
-  function AbstractTermificator$handleIterableAsList$ref($boundThis) {
-    var l = function (p0) {
-      return $boundThis.m1i(p0);
+  function AbstractTermificator$handleIterableAsList$ref(p0) {
+    var l = function (_this__u8e3s4) {
+      return p0.a2x(_this__u8e3s4);
     };
     l.callableName = 'handleIterableAsList';
     return l;
   }
-  function AbstractTermificator$handleCharAsString$ref_0($boundThis) {
-    var l = function (p0) {
-      return $boundThis.e1i(p0.j9_1);
+  function AbstractTermificator$handleCharAsString$ref_0(p0) {
+    var l = function (_this__u8e3s4) {
+      return p0.s2w(_this__u8e3s4.p1_1);
     };
     l.callableName = 'handleCharAsString';
     return l;
   }
-  function AbstractTermificator$handleBooleanAsTruth$ref_0($boundThis) {
-    var l = function (p0) {
-      return $boundThis.f1i(p0);
+  function AbstractTermificator$handleBooleanAsTruth$ref_0(p0) {
+    var l = function (_this__u8e3s4) {
+      return p0.t2w(_this__u8e3s4);
     };
     l.callableName = 'handleBooleanAsTruth';
     return l;
   }
-  function AbstractTermificator$handleStringAsAtomOrVariable$ref_0($boundThis) {
-    var l = function (p0) {
-      return $boundThis.g1i(p0);
+  function AbstractTermificator$handleStringAsAtomOrVariable$ref_0(p0) {
+    var l = function (_this__u8e3s4) {
+      return p0.u2w(_this__u8e3s4);
     };
     l.callableName = 'handleStringAsAtomOrVariable';
     return l;
   }
-  function AbstractTermificator$handleBigIntegerAsInteger$ref_0($boundThis) {
-    var l = function (p0) {
-      return $boundThis.h1i(p0);
+  function AbstractTermificator$handleBigIntegerAsInteger$ref_0(p0) {
+    var l = function (_this__u8e3s4) {
+      return p0.v2w(_this__u8e3s4);
     };
     l.callableName = 'handleBigIntegerAsInteger';
     return l;
   }
-  function AbstractTermificator$handleBigDecimalAsReal$ref_0($boundThis) {
-    var l = function (p0) {
-      return $boundThis.i1i(p0);
+  function AbstractTermificator$handleBigDecimalAsReal$ref_0(p0) {
+    var l = function (_this__u8e3s4) {
+      return p0.w2w(_this__u8e3s4);
     };
     l.callableName = 'handleBigDecimalAsReal';
     return l;
   }
-  function AbstractTermificator$handleNumberAsNumeric$ref_0($boundThis) {
-    var l = function (p0) {
-      return $boundThis.j1i(p0);
+  function AbstractTermificator$handleNumberAsNumeric$ref_0(p0) {
+    var l = function (_this__u8e3s4) {
+      return p0.x2w(_this__u8e3s4);
     };
     l.callableName = 'handleNumberAsNumeric';
     return l;
   }
-  function AbstractTermificator$handleArrayAsList$ref_0($boundThis) {
-    var l = function (p0) {
-      return $boundThis.k1i(p0);
+  function AbstractTermificator$handleArrayAsList$ref_0(p0) {
+    var l = function (_this__u8e3s4) {
+      return p0.y2w(_this__u8e3s4);
     };
     l.callableName = 'handleArrayAsList';
     return l;
   }
-  function AbstractTermificator$handleSequenceAsList$ref_0($boundThis) {
-    var l = function (p0) {
-      return $boundThis.l1i(p0);
+  function AbstractTermificator$handleSequenceAsList$ref_0(p0) {
+    var l = function (_this__u8e3s4) {
+      return p0.z2w(_this__u8e3s4);
     };
     l.callableName = 'handleSequenceAsList';
     return l;
   }
-  function AbstractTermificator$handleKotlinListAsLogicList$ref($boundThis) {
-    var l = function (p0) {
-      return $boundThis.n1i(p0);
+  function AbstractTermificator$handleKotlinListAsLogicList$ref(p0) {
+    var l = function (_this__u8e3s4) {
+      return p0.b2x(_this__u8e3s4);
     };
     l.callableName = 'handleKotlinListAsLogicList';
     return l;
   }
-  function AbstractTermificator$handleSetAsBlock$ref($boundThis) {
-    var l = function (p0) {
-      return $boundThis.o1i(p0);
+  function AbstractTermificator$handleSetAsBlock$ref(p0) {
+    var l = function (_this__u8e3s4) {
+      return p0.c2x(_this__u8e3s4);
     };
     l.callableName = 'handleSetAsBlock';
     return l;
   }
-  function AbstractTermificator$handlePairAsTuple$ref($boundThis) {
-    var l = function (p0) {
-      return $boundThis.p1i(p0);
+  function AbstractTermificator$handlePairAsTuple$ref(p0) {
+    var l = function (_this__u8e3s4) {
+      return p0.d2x(_this__u8e3s4);
     };
     l.callableName = 'handlePairAsTuple';
     return l;
   }
-  function AbstractTermificator$handleTripletAsTuple$ref($boundThis) {
-    var l = function (p0) {
-      return $boundThis.q1i(p0);
+  function AbstractTermificator$handleTripletAsTuple$ref(p0) {
+    var l = function (_this__u8e3s4) {
+      return p0.e2x(_this__u8e3s4);
     };
     l.callableName = 'handleTripletAsTuple';
     return l;
   }
-  function AbstractTermificator$handleKeyValuePairAsStruct$ref($boundThis) {
-    var l = function (p0) {
-      return $boundThis.r1i(p0);
+  function AbstractTermificator$handleKeyValuePairAsStruct$ref(p0) {
+    var l = function (_this__u8e3s4) {
+      return p0.f2x(_this__u8e3s4);
     };
     l.callableName = 'handleKeyValuePairAsStruct';
     return l;
   }
-  function AbstractTermificator$handleMapAsBlock$ref($boundThis) {
-    var l = function (p0) {
-      return $boundThis.s1i(p0);
+  function AbstractTermificator$handleMapAsBlock$ref(p0) {
+    var l = function (_this__u8e3s4) {
+      return p0.g2x(_this__u8e3s4);
     };
     l.callableName = 'handleMapAsBlock';
     return l;
   }
-  function AbstractTermificator$handleIterableAsList$ref_0($boundThis) {
-    var l = function (p0) {
-      return $boundThis.m1i(p0);
+  function AbstractTermificator$handleIterableAsList$ref_0(p0) {
+    var l = function (_this__u8e3s4) {
+      return p0.a2x(_this__u8e3s4);
     };
     l.callableName = 'handleIterableAsList';
     return l;
   }
   function AbstractTermificator(scope) {
-    this.b1i_1 = scope;
+    this.p2w_1 = scope;
     var tmp = this;
     // Inline function 'kotlin.collections.linkedMapOf' call
-    tmp.c1i_1 = LinkedHashMap_init_$Create$();
+    tmp.q2w_1 = LinkedHashMap_init_$Create$();
   }
-  protoOf(AbstractTermificator).z1g = function () {
-    return this.b1i_1;
+  protoOf(AbstractTermificator).a1g = function () {
+    return this.p2w_1;
   };
-  protoOf(AbstractTermificator).t1i = function (type, conversion) {
+  protoOf(AbstractTermificator).h2x = function (type, conversion) {
+    var tmp0 = this.q2w_1;
     // Inline function 'kotlin.collections.set' call
-    var this_0 = this.c1i_1;
     var value = AbstractTermificator$handleType$lambda(conversion);
-    this_0.o2(type, value);
+    tmp0.k4(type, value);
   };
-  protoOf(AbstractTermificator).d1i = function (value) {
+  protoOf(AbstractTermificator).r2w = function (value) {
     $l$block: {
       // Inline function 'kotlin.requireNotNull' call
-      // Inline function 'kotlin.contracts.contract' call
       if (value == null) {
-        // Inline function 'it.unibo.tuprolog.dsl.AbstractTermificator.termify.<anonymous>' call
         var message = 'Cannot termify null';
         throw IllegalArgumentException_init_$Create$(toString(message));
       } else {
         break $l$block;
       }
     }
-    if (!(value == null) ? isInterface(value, Term) : false) {
+    if (isInterface(value, Term)) {
       return value;
     }
-    if (!(value == null) ? isInterface(value, TermConvertible) : false) {
+    if (isInterface(value, TermConvertible)) {
       return value.toTerm();
     }
     var type = getKClassFromExpression(value);
-    var exactConverter = this.c1i_1.x2(type);
+    var exactConverter = this.q2w_1.h2(type);
     if (!(exactConverter == null)) {
       return exactConverter(value);
     }
     // Inline function 'kotlin.collections.iterator' call
-    var tmp0_iterator = this.c1i_1.n2().r();
-    while (tmp0_iterator.s()) {
-      var tmp1_loop_parameter = tmp0_iterator.u();
+    var _iterator__ex2g4s = this.q2w_1.e1().p();
+    while (_iterator__ex2g4s.s()) {
+      var _destruct__k2r9zo = _iterator__ex2g4s.t();
       // Inline function 'kotlin.collections.component1' call
-      var superType = tmp1_loop_parameter.q2();
+      var superType = _destruct__k2r9zo.d2();
       // Inline function 'kotlin.collections.component2' call
-      var converter = tmp1_loop_parameter.r2();
-      if (superType.p6(value)) {
+      var converter = _destruct__k2r9zo.e2();
+      if (superType.c9(value)) {
         return converter(value);
       }
     }
     raiseErrorConvertingTo(value, getKClass(Term));
   };
   protoOf(AbstractTermificator).toTerm = function (value) {
-    return this.d1i(value);
+    return this.r2w(value);
   };
-  protoOf(AbstractTermificator).f1i = function (value) {
-    return this.z1g().truthOf(value);
+  protoOf(AbstractTermificator).t2w = function (value) {
+    return this.a1g().truthOf(value);
   };
-  protoOf(AbstractTermificator).e1i = function (value) {
-    return this.d1i(toString_0(value));
+  protoOf(AbstractTermificator).s2w = function (value) {
+    return this.r2w(toString_0(value));
   };
-  protoOf(AbstractTermificator).g1i = function (value) {
+  protoOf(AbstractTermificator).u2w = function (value) {
     var tmp;
     // Inline function 'kotlin.text.matches' call
-    if (Companion_getInstance().q13_1.i8(value)) {
-      tmp = this.z1g().varOf(value);
+    if (Companion_getInstance().r12_1.ta(value)) {
+      tmp = this.a1g().varOf(value);
     } else {
-      tmp = this.z1g().atomOf(value);
+      tmp = this.a1g().atomOf(value);
     }
     return tmp;
   };
-  protoOf(AbstractTermificator).h1i = function (value) {
-    return this.z1g().intOfBigInteger(value);
+  protoOf(AbstractTermificator).v2w = function (value) {
+    return this.a1g().intOfBigInteger(value);
   };
-  protoOf(AbstractTermificator).i1i = function (value) {
-    return this.z1g().realOfBigDecimal(value);
+  protoOf(AbstractTermificator).w2w = function (value) {
+    return this.a1g().realOfBigDecimal(value);
   };
-  protoOf(AbstractTermificator).k1i = function (value) {
-    var tmp = this.z1g();
+  protoOf(AbstractTermificator).y2w = function (value) {
+    var tmp = this.a1g();
     // Inline function 'kotlin.collections.map' call
     var this_0 = assertItemsAreNotNull(asIterable(value));
     // 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.dsl.AbstractTermificator.handleArrayAsList.<anonymous>' call
-      var tmp$ret$0 = this.d1i(item);
-      destination.o(tmp$ret$0);
+    var _iterator__ex2g4s = this_0.p();
+    while (_iterator__ex2g4s.s()) {
+      var item = _iterator__ex2g4s.t();
+      var tmp$ret$0 = this.r2w(item);
+      destination.m(tmp$ret$0);
     }
     return tmp.logicListOfIterable(destination);
   };
-  protoOf(AbstractTermificator).l1i = function (value) {
-    var tmp = this.z1g();
+  protoOf(AbstractTermificator).z2w = function (value) {
+    var tmp = this.a1g();
     var tmp_0 = assertItemsAreNotNull_0(value);
     return tmp.logicListOfSequence(map(tmp_0, AbstractTermificator$handleSequenceAsList$lambda(this)));
   };
-  protoOf(AbstractTermificator).m1i = function (value) {
-    var tmp = this.z1g();
+  protoOf(AbstractTermificator).a2x = function (value) {
+    var tmp = this.a1g();
     // Inline function 'kotlin.collections.map' call
     var this_0 = assertItemsAreNotNull(value);
     // 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.dsl.AbstractTermificator.handleIterableAsList.<anonymous>' call
-      var tmp$ret$0 = this.d1i(item);
-      destination.o(tmp$ret$0);
+    var _iterator__ex2g4s = this_0.p();
+    while (_iterator__ex2g4s.s()) {
+      var item = _iterator__ex2g4s.t();
+      var tmp$ret$0 = this.r2w(item);
+      destination.m(tmp$ret$0);
     }
     return tmp.logicListOfIterable(destination);
   };
-  protoOf(AbstractTermificator).n1i = function (value) {
-    var tmp = this.z1g();
+  protoOf(AbstractTermificator).b2x = function (value) {
+    var tmp = this.a1g();
     // Inline function 'kotlin.collections.map' call
     var this_0 = assertItemsAreNotNull_1(value);
     // 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.dsl.AbstractTermificator.handleKotlinListAsLogicList.<anonymous>' call
-      var tmp$ret$0 = this.d1i(item);
-      destination.o(tmp$ret$0);
+    var _iterator__ex2g4s = this_0.p();
+    while (_iterator__ex2g4s.s()) {
+      var item = _iterator__ex2g4s.t();
+      var tmp$ret$0 = this.r2w(item);
+      destination.m(tmp$ret$0);
     }
     return tmp.logicListOfIterable(destination);
   };
-  protoOf(AbstractTermificator).o1i = function (value) {
-    var tmp = this.z1g();
+  protoOf(AbstractTermificator).c2x = function (value) {
+    var tmp = this.a1g();
     // Inline function 'kotlin.collections.map' call
     var this_0 = assertItemsAreNotNull(value);
     // 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.dsl.AbstractTermificator.handleSetAsBlock.<anonymous>' call
-      var tmp$ret$0 = this.d1i(item);
-      destination.o(tmp$ret$0);
+    var _iterator__ex2g4s = this_0.p();
+    while (_iterator__ex2g4s.s()) {
+      var item = _iterator__ex2g4s.t();
+      var tmp$ret$0 = this.r2w(item);
+      destination.m(tmp$ret$0);
     }
     return tmp.blockOfIterable(destination);
   };
-  protoOf(AbstractTermificator).p1i = function (value) {
-    return this.z1g().tupleOf([this.d1i(value.qd_1), this.d1i(value.rd_1)]);
+  protoOf(AbstractTermificator).d2x = function (value) {
+    return this.a1g().tupleOf([this.r2w(value.fc_1), this.r2w(value.gc_1)]);
   };
-  protoOf(AbstractTermificator).q1i = function (value) {
-    return this.z1g().tupleOf([this.d1i(value.ei_1), this.d1i(value.fi_1), this.d1i(value.gi_1)]);
+  protoOf(AbstractTermificator).e2x = function (value) {
+    return this.a1g().tupleOf([this.r2w(value.lh_1), this.r2w(value.mh_1), this.r2w(value.nh_1)]);
   };
-  protoOf(AbstractTermificator).r1i = function (value) {
-    return this.z1g().structOf(':', [this.d1i(value.q2()), this.d1i(value.r2())]);
+  protoOf(AbstractTermificator).f2x = function (value) {
+    return this.a1g().structOf(':', [this.r2w(value.d2()), this.r2w(value.e2())]);
   };
-  protoOf(AbstractTermificator).s1i = function (value) {
-    var tmp = this.z1g();
+  protoOf(AbstractTermificator).g2x = function (value) {
+    var tmp = this.a1g();
     // Inline function 'kotlin.collections.map' call
-    var this_0 = assertItemsAreNotNull(value.n2());
+    var this_0 = assertItemsAreNotNull(value.e1());
     // 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.dsl.AbstractTermificator.handleMapAsBlock.<anonymous>' call
-      var tmp$ret$0 = this.r1i(item);
-      destination.o(tmp$ret$0);
+    var _iterator__ex2g4s = this_0.p();
+    while (_iterator__ex2g4s.s()) {
+      var item = _iterator__ex2g4s.t();
+      var tmp$ret$0 = this.f2x(item);
+      destination.m(tmp$ret$0);
     }
     return tmp.blockOfIterable(destination);
   };
-  protoOf(AbstractTermificator).u1i = function () {
+  protoOf(AbstractTermificator).i2x = function () {
     var tmp = getKClass(Char);
-    this.t1i(tmp, AbstractTermificator$handleCharAsString$ref(this));
-    var tmp_0 = PrimitiveClasses_getInstance().c7();
-    this.t1i(tmp_0, AbstractTermificator$handleBooleanAsTruth$ref(this));
-    var tmp_1 = PrimitiveClasses_getInstance().j7();
-    this.t1i(tmp_1, AbstractTermificator$handleStringAsAtomOrVariable$ref(this));
+    this.h2x(tmp, AbstractTermificator$handleCharAsString$ref(this));
+    var tmp_0 = PrimitiveClasses_getInstance().n9();
+    this.h2x(tmp_0, AbstractTermificator$handleBooleanAsTruth$ref(this));
+    var tmp_1 = PrimitiveClasses_getInstance().v9();
+    this.h2x(tmp_1, AbstractTermificator$handleStringAsAtomOrVariable$ref(this));
     var tmp_2 = getKClass(BigInteger);
-    this.t1i(tmp_2, AbstractTermificator$handleBigIntegerAsInteger$ref(this));
+    this.h2x(tmp_2, AbstractTermificator$handleBigIntegerAsInteger$ref(this));
     var tmp_3 = getKClass(BigDecimal);
-    this.t1i(tmp_3, AbstractTermificator$handleBigDecimalAsReal$ref(this));
-    var tmp_4 = PrimitiveClasses_getInstance().a7();
-    this.t1i(tmp_4, AbstractTermificator$handleNumberAsNumeric$ref(this));
-    var tmp_5 = PrimitiveClasses_getInstance().i7();
-    this.t1i(tmp_5, AbstractTermificator$handleArrayAsList$ref(this));
+    this.h2x(tmp_3, AbstractTermificator$handleBigDecimalAsReal$ref(this));
+    var tmp_4 = PrimitiveClasses_getInstance().l9();
+    this.h2x(tmp_4, AbstractTermificator$handleNumberAsNumeric$ref(this));
+    var tmp_5 = PrimitiveClasses_getInstance().u9();
+    this.h2x(tmp_5, AbstractTermificator$handleArrayAsList$ref(this));
     var tmp_6 = getKClass(Sequence);
-    this.t1i(tmp_6, AbstractTermificator$handleSequenceAsList$ref(this));
+    this.h2x(tmp_6, AbstractTermificator$handleSequenceAsList$ref(this));
     var tmp_7 = getKClass(Iterable);
-    this.t1i(tmp_7, AbstractTermificator$handleIterableAsList$ref(this));
+    this.h2x(tmp_7, AbstractTermificator$handleIterableAsList$ref(this));
   };
-  protoOf(AbstractTermificator).v1i = function () {
+  protoOf(AbstractTermificator).j2x = function () {
     var tmp = getKClass(Char);
-    this.t1i(tmp, AbstractTermificator$handleCharAsString$ref_0(this));
-    var tmp_0 = PrimitiveClasses_getInstance().c7();
-    this.t1i(tmp_0, AbstractTermificator$handleBooleanAsTruth$ref_0(this));
-    var tmp_1 = PrimitiveClasses_getInstance().j7();
-    this.t1i(tmp_1, AbstractTermificator$handleStringAsAtomOrVariable$ref_0(this));
+    this.h2x(tmp, AbstractTermificator$handleCharAsString$ref_0(this));
+    var tmp_0 = PrimitiveClasses_getInstance().n9();
+    this.h2x(tmp_0, AbstractTermificator$handleBooleanAsTruth$ref_0(this));
+    var tmp_1 = PrimitiveClasses_getInstance().v9();
+    this.h2x(tmp_1, AbstractTermificator$handleStringAsAtomOrVariable$ref_0(this));
     var tmp_2 = getKClass(BigInteger);
-    this.t1i(tmp_2, AbstractTermificator$handleBigIntegerAsInteger$ref_0(this));
+    this.h2x(tmp_2, AbstractTermificator$handleBigIntegerAsInteger$ref_0(this));
     var tmp_3 = getKClass(BigDecimal);
-    this.t1i(tmp_3, AbstractTermificator$handleBigDecimalAsReal$ref_0(this));
-    var tmp_4 = PrimitiveClasses_getInstance().a7();
-    this.t1i(tmp_4, AbstractTermificator$handleNumberAsNumeric$ref_0(this));
-    var tmp_5 = PrimitiveClasses_getInstance().i7();
-    this.t1i(tmp_5, AbstractTermificator$handleArrayAsList$ref_0(this));
+    this.h2x(tmp_3, AbstractTermificator$handleBigDecimalAsReal$ref_0(this));
+    var tmp_4 = PrimitiveClasses_getInstance().l9();
+    this.h2x(tmp_4, AbstractTermificator$handleNumberAsNumeric$ref_0(this));
+    var tmp_5 = PrimitiveClasses_getInstance().u9();
+    this.h2x(tmp_5, AbstractTermificator$handleArrayAsList$ref_0(this));
     var tmp_6 = getKClass(Sequence);
-    this.t1i(tmp_6, AbstractTermificator$handleSequenceAsList$ref_0(this));
-    var tmp_7 = getKClass(List);
-    this.t1i(tmp_7, AbstractTermificator$handleKotlinListAsLogicList$ref(this));
-    var tmp_8 = getKClass(Set);
-    this.t1i(tmp_8, AbstractTermificator$handleSetAsBlock$ref(this));
+    this.h2x(tmp_6, AbstractTermificator$handleSequenceAsList$ref_0(this));
+    var tmp_7 = getKClass(KtList);
+    this.h2x(tmp_7, AbstractTermificator$handleKotlinListAsLogicList$ref(this));
+    var tmp_8 = getKClass(KtSet);
+    this.h2x(tmp_8, AbstractTermificator$handleSetAsBlock$ref(this));
     var tmp_9 = getKClass(Pair);
-    this.t1i(tmp_9, AbstractTermificator$handlePairAsTuple$ref(this));
+    this.h2x(tmp_9, AbstractTermificator$handlePairAsTuple$ref(this));
     var tmp_10 = getKClass(Triple);
-    this.t1i(tmp_10, AbstractTermificator$handleTripletAsTuple$ref(this));
+    this.h2x(tmp_10, AbstractTermificator$handleTripletAsTuple$ref(this));
     var tmp_11 = getKClass(Entry);
-    this.t1i(tmp_11, AbstractTermificator$handleKeyValuePairAsStruct$ref(this));
-    var tmp_12 = getKClass(Map);
-    this.t1i(tmp_12, AbstractTermificator$handleMapAsBlock$ref(this));
+    this.h2x(tmp_11, AbstractTermificator$handleKeyValuePairAsStruct$ref(this));
+    var tmp_12 = getKClass(KtMap);
+    this.h2x(tmp_12, AbstractTermificator$handleMapAsBlock$ref(this));
     var tmp_13 = getKClass(Iterable);
-    this.t1i(tmp_13, AbstractTermificator$handleIterableAsList$ref_0(this));
+    this.h2x(tmp_13, AbstractTermificator$handleIterableAsList$ref_0(this));
   };
-  protoOf(AbstractTermificator).w1i = function (novel) {
+  protoOf(AbstractTermificator).k2x = function (novel) {
     if (novel) {
-      this.v1i();
+      this.j2x();
     } else {
-      this.u1i();
+      this.i2x();
     }
   };
   function BaseLogicProgrammingScope() {
@@ -1041,253 +1022,251 @@
     return function_0(Companion_instance_2.empty());
   }
   function raiseErrorConvertingTo(_this__u8e3s4, class_0) {
-    throw IllegalArgumentException_init_$Create$('Cannot convert ' + getKClassFromExpression(_this__u8e3s4) + ' into ' + class_0);
+    throw IllegalArgumentException_init_$Create$('Cannot convert ' + toString(getKClassFromExpression(_this__u8e3s4)) + ' into ' + toString(class_0));
   }
   function Companion() {
   }
   protoOf(Companion).empty = function () {
     return this.of();
   };
-  protoOf(Companion).y1i = function (scope, termificator, variablesProvider) {
-    return new LogicProgrammingScopeImpl(scope, termificator.z1g() === scope ? termificator : termificator.a1h(scope), variablesProvider.z1g() === scope ? variablesProvider : variablesProvider.a1h(scope));
+  protoOf(Companion).m2x = function (scope, termificator, variablesProvider) {
+    return new LogicProgrammingScopeImpl(scope, termificator.a1g() === scope ? termificator : termificator.b1g(scope), variablesProvider.a1g() === scope ? variablesProvider : variablesProvider.b1g(scope));
   };
   protoOf(Companion).of = function (scope, termificator, variablesProvider, $super) {
     scope = scope === VOID ? Companion_instance.empty() : scope;
     termificator = termificator === VOID ? Companion_instance_3.default(scope) : termificator;
-    variablesProvider = variablesProvider === VOID ? Companion_instance_0.v13(scope) : variablesProvider;
-    return $super === VOID ? this.y1i(scope, termificator, variablesProvider) : $super.y1i.call(this, scope, termificator, variablesProvider);
+    variablesProvider = variablesProvider === VOID ? Companion_instance_0.w12(scope) : variablesProvider;
+    return $super === VOID ? this.m2x(scope, termificator, variablesProvider) : $super.m2x.call(this, scope, termificator, variablesProvider);
   };
   var Companion_instance_2;
   function Companion_getInstance_1() {
     return Companion_instance_2;
   }
   function LogicProgrammingScopeImpl(scope, termificator, variablesProvider) {
-    this.z1i_1 = scope;
-    this.a1j_1 = termificator;
-    this.b1j_1 = variablesProvider;
+    this.n2x_1 = scope;
+    this.o2x_1 = termificator;
+    this.p2x_1 = variablesProvider;
     // Inline function 'kotlin.require' call
-    // Inline function 'kotlin.contracts.contract' call
-    if (!(this.z1i_1 === this.b1j_1.z1g() ? this.z1i_1 === this.a1j_1.z1g() : false)) {
-      // Inline function 'it.unibo.tuprolog.dsl.LogicProgrammingScopeImpl.<anonymous>' call
+    if (!(this.n2x_1 === this.p2x_1.a1g() && this.n2x_1 === this.o2x_1.a1g())) {
       var message = 'The provided Scope should be the same object for both Termificator and VariablesProvider';
       throw IllegalArgumentException_init_$Create$(toString(message));
     }
   }
-  protoOf(LogicProgrammingScopeImpl).z1g = function () {
-    return this.z1i_1;
+  protoOf(LogicProgrammingScopeImpl).a1g = function () {
+    return this.n2x_1;
   };
-  protoOf(LogicProgrammingScopeImpl).x1i = function () {
-    return this.a1j_1;
+  protoOf(LogicProgrammingScopeImpl).l2x = function () {
+    return this.o2x_1;
   };
-  protoOf(LogicProgrammingScopeImpl).c1h = function () {
-    return this.b1j_1.c1h();
+  protoOf(LogicProgrammingScopeImpl).b1g = function (scope) {
+    return new LogicProgrammingScopeImpl(scope, this.o2x_1.b1g(scope), this.p2x_1.b1g(scope));
   };
-  protoOf(LogicProgrammingScopeImpl).d1h = function () {
-    return this.b1j_1.d1h();
+  protoOf(LogicProgrammingScopeImpl).q2x = function () {
+    return this.b1g(Companion_instance.empty());
   };
-  protoOf(LogicProgrammingScopeImpl).u10 = function () {
-    return this.b1j_1.u10();
+  protoOf(LogicProgrammingScopeImpl).newScope = function () {
+    return this.q2x();
   };
-  protoOf(LogicProgrammingScopeImpl).t10 = function () {
-    return this.b1j_1.t10();
+  protoOf(LogicProgrammingScopeImpl).structOf = function (functor, args) {
+    return this.p2x_1.structOf(functor, args);
   };
-  protoOf(LogicProgrammingScopeImpl).anonymous = function () {
-    return this.b1j_1.anonymous();
+  protoOf(LogicProgrammingScopeImpl).structOfSequence = function (functor, args) {
+    return this.p2x_1.structOfSequence(functor, args);
   };
-  protoOf(LogicProgrammingScopeImpl).atomOfChar = function (value) {
-    return this.b1j_1.atomOfChar(value);
+  protoOf(LogicProgrammingScopeImpl).structOfIterable = function (functor, args) {
+    return this.p2x_1.structOfIterable(functor, args);
   };
-  protoOf(LogicProgrammingScopeImpl).atomOf = function (value) {
-    return this.b1j_1.atomOf(value);
+  protoOf(LogicProgrammingScopeImpl).structOfList = function (functor, args) {
+    return this.p2x_1.structOfList(functor, args);
+  };
+  protoOf(LogicProgrammingScopeImpl).tupleOf = function (terms) {
+    return this.p2x_1.tupleOf(terms);
+  };
+  protoOf(LogicProgrammingScopeImpl).tupleOfIterable = function (terms) {
+    return this.p2x_1.tupleOfIterable(terms);
+  };
+  protoOf(LogicProgrammingScopeImpl).tupleOfSequence = function (terms) {
+    return this.p2x_1.tupleOfSequence(terms);
+  };
+  protoOf(LogicProgrammingScopeImpl).logicListOf = function (terms) {
+    return this.p2x_1.logicListOf(terms);
+  };
+  protoOf(LogicProgrammingScopeImpl).logicListOfIterable = function (terms) {
+    return this.p2x_1.logicListOfIterable(terms);
+  };
+  protoOf(LogicProgrammingScopeImpl).logicListOfSequence = function (terms) {
+    return this.p2x_1.logicListOfSequence(terms);
   };
   protoOf(LogicProgrammingScopeImpl).blockOf = function (terms) {
-    return this.b1j_1.blockOf(terms);
+    return this.p2x_1.blockOf(terms);
   };
   protoOf(LogicProgrammingScopeImpl).blockOfIterable = function (terms) {
-    return this.b1j_1.blockOfIterable(terms);
+    return this.p2x_1.blockOfIterable(terms);
   };
   protoOf(LogicProgrammingScopeImpl).blockOfSequence = function (terms) {
-    return this.b1j_1.blockOfSequence(terms);
+    return this.p2x_1.blockOfSequence(terms);
   };
-  protoOf(LogicProgrammingScopeImpl).clauseOf = function (head, body) {
-    return this.b1j_1.clauseOf(head, body);
+  protoOf(LogicProgrammingScopeImpl).factOf = function (head) {
+    return this.p2x_1.factOf(head);
   };
   protoOf(LogicProgrammingScopeImpl).consOf = function (head, tail) {
-    return this.b1j_1.consOf(head, tail);
+    return this.p2x_1.consOf(head, tail);
+  };
+  protoOf(LogicProgrammingScopeImpl).directiveOf = function (body1, body) {
+    return this.p2x_1.directiveOf(body1, body);
   };
   protoOf(LogicProgrammingScopeImpl).containsVar = function (variable) {
-    return this.b1j_1.containsVar(variable);
+    return this.p2x_1.containsVar(variable);
   };
   protoOf(LogicProgrammingScopeImpl).contains = function (variable) {
-    return this.b1j_1.contains(variable);
-  };
-  protoOf(LogicProgrammingScopeImpl).directiveOf = function (body1, body) {
-    return this.b1j_1.directiveOf(body1, body);
-  };
-  protoOf(LogicProgrammingScopeImpl).factOf = function (head) {
-    return this.b1j_1.factOf(head);
+    return this.p2x_1.contains(variable);
   };
   protoOf(LogicProgrammingScopeImpl).get = function (variable) {
-    return this.b1j_1.get(variable);
+    return this.p2x_1.get(variable);
   };
-  protoOf(LogicProgrammingScopeImpl).getValue = function (thisRef, property) {
-    return this.b1j_1.getValue(thisRef, property);
-  };
-  protoOf(LogicProgrammingScopeImpl).indicatorOf = function (name, arity) {
-    return this.b1j_1.indicatorOf(name, arity);
+  protoOf(LogicProgrammingScopeImpl).where = function (lambda) {
+    return this.p2x_1.where(lambda);
   };
-  protoOf(LogicProgrammingScopeImpl).indicatorOfStringInt = function (name, arity) {
-    return this.b1j_1.indicatorOfStringInt(name, arity);
+  protoOf(LogicProgrammingScopeImpl).with = function (lambda) {
+    return this.p2x_1.with(lambda);
   };
-  protoOf(LogicProgrammingScopeImpl).intOfByte = function (value) {
-    return this.b1j_1.intOfByte(value);
+  protoOf(LogicProgrammingScopeImpl).varOf = function (name) {
+    return this.p2x_1.varOf(name);
   };
-  protoOf(LogicProgrammingScopeImpl).intOf = function (value) {
-    return this.b1j_1.intOf(value);
+  protoOf(LogicProgrammingScopeImpl).varOfChar = function (name) {
+    return this.p2x_1.varOfChar(name);
   };
-  protoOf(LogicProgrammingScopeImpl).intOfLong = function (value) {
-    return this.b1j_1.intOfLong(value);
+  protoOf(LogicProgrammingScopeImpl).atomOf = function (value) {
+    return this.p2x_1.atomOf(value);
   };
-  protoOf(LogicProgrammingScopeImpl).intOfShort = function (value) {
-    return this.b1j_1.intOfShort(value);
+  protoOf(LogicProgrammingScopeImpl).atomOfChar = function (value) {
+    return this.p2x_1.atomOfChar(value);
   };
-  protoOf(LogicProgrammingScopeImpl).parseInt = function (value) {
-    return this.b1j_1.parseInt(value);
+  protoOf(LogicProgrammingScopeImpl).xz = function (terms, last) {
+    return this.p2x_1.xz(terms, last);
   };
-  protoOf(LogicProgrammingScopeImpl).parseIntRadix = function (value, radix) {
-    return this.b1j_1.parseIntRadix(value, radix);
+  protoOf(LogicProgrammingScopeImpl).yz = function (terms, last) {
+    return this.p2x_1.yz(terms, last);
   };
-  protoOf(LogicProgrammingScopeImpl).intOfBigInteger = function (value) {
-    return this.b1j_1.intOfBigInteger(value);
+  protoOf(LogicProgrammingScopeImpl).zz = function (terms, last) {
+    return this.p2x_1.zz(terms, last);
   };
-  protoOf(LogicProgrammingScopeImpl).v10 = function (terms, last) {
-    return this.b1j_1.v10(terms, last);
+  protoOf(LogicProgrammingScopeImpl).ruleOf = function (head, body1, body) {
+    return this.p2x_1.ruleOf(head, body1, body);
   };
-  protoOf(LogicProgrammingScopeImpl).w10 = function (terms, last) {
-    return this.b1j_1.w10(terms, last);
+  protoOf(LogicProgrammingScopeImpl).clauseOf = function (head, body) {
+    return this.p2x_1.clauseOf(head, body);
   };
-  protoOf(LogicProgrammingScopeImpl).x10 = function (terms, last) {
-    return this.b1j_1.x10(terms, last);
+  protoOf(LogicProgrammingScopeImpl).indicatorOf = function (name, arity) {
+    return this.p2x_1.indicatorOf(name, arity);
   };
-  protoOf(LogicProgrammingScopeImpl).logicListOf = function (terms) {
-    return this.b1j_1.logicListOf(terms);
+  protoOf(LogicProgrammingScopeImpl).indicatorOfStringInt = function (name, arity) {
+    return this.p2x_1.indicatorOfStringInt(name, arity);
   };
-  protoOf(LogicProgrammingScopeImpl).logicListOfIterable = function (terms) {
-    return this.b1j_1.logicListOfIterable(terms);
+  protoOf(LogicProgrammingScopeImpl).anonymous = function () {
+    return this.p2x_1.anonymous();
   };
-  protoOf(LogicProgrammingScopeImpl).logicListOfSequence = function (terms) {
-    return this.b1j_1.logicListOfSequence(terms);
+  protoOf(LogicProgrammingScopeImpl).whatever = function () {
+    return this.p2x_1.whatever();
   };
-  protoOf(LogicProgrammingScopeImpl).numOfByte = function (value) {
-    return this.b1j_1.numOfByte(value);
+  protoOf(LogicProgrammingScopeImpl).numOfBigDecimal = function (value) {
+    return this.p2x_1.numOfBigDecimal(value);
   };
   protoOf(LogicProgrammingScopeImpl).numOfDouble = function (value) {
-    return this.b1j_1.numOfDouble(value);
+    return this.p2x_1.numOfDouble(value);
   };
   protoOf(LogicProgrammingScopeImpl).numOfFloat = function (value) {
-    return this.b1j_1.numOfFloat(value);
+    return this.p2x_1.numOfFloat(value);
+  };
+  protoOf(LogicProgrammingScopeImpl).numOfBigInteger = function (value) {
+    return this.p2x_1.numOfBigInteger(value);
   };
   protoOf(LogicProgrammingScopeImpl).numOfInt = function (value) {
-    return this.b1j_1.numOfInt(value);
+    return this.p2x_1.numOfInt(value);
   };
   protoOf(LogicProgrammingScopeImpl).numOfLong = function (value) {
-    return this.b1j_1.numOfLong(value);
-  };
-  protoOf(LogicProgrammingScopeImpl).numOf = function (value) {
-    return this.b1j_1.numOf(value);
+    return this.p2x_1.numOfLong(value);
   };
   protoOf(LogicProgrammingScopeImpl).numOfShort = function (value) {
-    return this.b1j_1.numOfShort(value);
+    return this.p2x_1.numOfShort(value);
   };
-  protoOf(LogicProgrammingScopeImpl).parseNum = function (value) {
-    return this.b1j_1.parseNum(value);
-  };
-  protoOf(LogicProgrammingScopeImpl).numOfBigDecimal = function (value) {
-    return this.b1j_1.numOfBigDecimal(value);
+  protoOf(LogicProgrammingScopeImpl).numOfByte = function (value) {
+    return this.p2x_1.numOfByte(value);
   };
-  protoOf(LogicProgrammingScopeImpl).numOfBigInteger = function (value) {
-    return this.b1j_1.numOfBigInteger(value);
+  protoOf(LogicProgrammingScopeImpl).parseNum = function (value) {
+    return this.p2x_1.parseNum(value);
   };
-  protoOf(LogicProgrammingScopeImpl).realOf = function (value) {
-    return this.b1j_1.realOf(value);
+  protoOf(LogicProgrammingScopeImpl).numOf = function (value) {
+    return this.p2x_1.numOf(value);
   };
-  protoOf(LogicProgrammingScopeImpl).realOfFloat = function (value) {
-    return this.b1j_1.realOfFloat(value);
+  protoOf(LogicProgrammingScopeImpl).intOfBigInteger = function (value) {
+    return this.p2x_1.intOfBigInteger(value);
   };
-  protoOf(LogicProgrammingScopeImpl).parseReal = function (value) {
-    return this.b1j_1.parseReal(value);
+  protoOf(LogicProgrammingScopeImpl).intOf = function (value) {
+    return this.p2x_1.intOf(value);
   };
-  protoOf(LogicProgrammingScopeImpl).realOfBigDecimal = function (value) {
-    return this.b1j_1.realOfBigDecimal(value);
+  protoOf(LogicProgrammingScopeImpl).intOfLong = function (value) {
+    return this.p2x_1.intOfLong(value);
   };
-  protoOf(LogicProgrammingScopeImpl).ruleOf = function (head, body1, body) {
-    return this.b1j_1.ruleOf(head, body1, body);
+  protoOf(LogicProgrammingScopeImpl).intOfShort = function (value) {
+    return this.p2x_1.intOfShort(value);
   };
-  protoOf(LogicProgrammingScopeImpl).structOf = function (functor, args) {
-    return this.b1j_1.structOf(functor, args);
+  protoOf(LogicProgrammingScopeImpl).intOfByte = function (value) {
+    return this.p2x_1.intOfByte(value);
   };
-  protoOf(LogicProgrammingScopeImpl).structOfIterable = function (functor, args) {
-    return this.b1j_1.structOfIterable(functor, args);
+  protoOf(LogicProgrammingScopeImpl).parseInt = function (value) {
+    return this.p2x_1.parseInt(value);
   };
-  protoOf(LogicProgrammingScopeImpl).structOfList = function (functor, args) {
-    return this.b1j_1.structOfList(functor, args);
+  protoOf(LogicProgrammingScopeImpl).parseIntRadix = function (value, radix) {
+    return this.p2x_1.parseIntRadix(value, radix);
   };
-  protoOf(LogicProgrammingScopeImpl).structOfSequence = function (functor, args) {
-    return this.b1j_1.structOfSequence(functor, args);
+  protoOf(LogicProgrammingScopeImpl).realOfBigDecimal = function (value) {
+    return this.p2x_1.realOfBigDecimal(value);
   };
-  protoOf(LogicProgrammingScopeImpl).substitutionOf = function (assignments) {
-    return this.b1j_1.substitutionOf(assignments);
+  protoOf(LogicProgrammingScopeImpl).realOf = function (value) {
+    return this.p2x_1.realOf(value);
   };
-  protoOf(LogicProgrammingScopeImpl).substitutionOfIterable = function (assignments) {
-    return this.b1j_1.substitutionOfIterable(assignments);
+  protoOf(LogicProgrammingScopeImpl).realOfFloat = function (value) {
+    return this.p2x_1.realOfFloat(value);
   };
-  protoOf(LogicProgrammingScopeImpl).substitutionOfSequence = function (assignments) {
-    return this.b1j_1.substitutionOfSequence(assignments);
+  protoOf(LogicProgrammingScopeImpl).parseReal = function (value) {
+    return this.p2x_1.parseReal(value);
   };
   protoOf(LogicProgrammingScopeImpl).truthOf = function (value) {
-    return this.b1j_1.truthOf(value);
-  };
-  protoOf(LogicProgrammingScopeImpl).tupleOf = function (terms) {
-    return this.b1j_1.tupleOf(terms);
-  };
-  protoOf(LogicProgrammingScopeImpl).tupleOfIterable = function (terms) {
-    return this.b1j_1.tupleOfIterable(terms);
-  };
-  protoOf(LogicProgrammingScopeImpl).tupleOfSequence = function (terms) {
-    return this.b1j_1.tupleOfSequence(terms);
+    return this.p2x_1.truthOf(value);
   };
   protoOf(LogicProgrammingScopeImpl).unifierOf = function (assignments) {
-    return this.b1j_1.unifierOf(assignments);
+    return this.p2x_1.unifierOf(assignments);
   };
   protoOf(LogicProgrammingScopeImpl).unifierOfIterable = function (assignments) {
-    return this.b1j_1.unifierOfIterable(assignments);
+    return this.p2x_1.unifierOfIterable(assignments);
   };
   protoOf(LogicProgrammingScopeImpl).unifierOfSequence = function (assignments) {
-    return this.b1j_1.unifierOfSequence(assignments);
+    return this.p2x_1.unifierOfSequence(assignments);
   };
-  protoOf(LogicProgrammingScopeImpl).varOfChar = function (name) {
-    return this.b1j_1.varOfChar(name);
+  protoOf(LogicProgrammingScopeImpl).substitutionOf = function (assignments) {
+    return this.p2x_1.substitutionOf(assignments);
   };
-  protoOf(LogicProgrammingScopeImpl).varOf = function (name) {
-    return this.b1j_1.varOf(name);
+  protoOf(LogicProgrammingScopeImpl).substitutionOfIterable = function (assignments) {
+    return this.p2x_1.substitutionOfIterable(assignments);
   };
-  protoOf(LogicProgrammingScopeImpl).whatever = function () {
-    return this.b1j_1.whatever();
+  protoOf(LogicProgrammingScopeImpl).substitutionOfSequence = function (assignments) {
+    return this.p2x_1.substitutionOfSequence(assignments);
   };
-  protoOf(LogicProgrammingScopeImpl).where = function (lambda) {
-    return this.b1j_1.where(lambda);
+  protoOf(LogicProgrammingScopeImpl).vz = function () {
+    return this.p2x_1.vz();
   };
-  protoOf(LogicProgrammingScopeImpl).with = function (lambda) {
-    return this.b1j_1.with(lambda);
+  protoOf(LogicProgrammingScopeImpl).wz = function () {
+    return this.p2x_1.wz();
   };
-  protoOf(LogicProgrammingScopeImpl).a1h = function (scope) {
-    return new LogicProgrammingScopeImpl(scope, this.a1j_1.a1h(scope), this.b1j_1.a1h(scope));
+  protoOf(LogicProgrammingScopeImpl).getValue = function (thisRef, property) {
+    return this.p2x_1.getValue(thisRef, property);
   };
-  protoOf(LogicProgrammingScopeImpl).c1j = function () {
-    return this.a1h(Companion_instance.empty());
+  protoOf(LogicProgrammingScopeImpl).d1g = function () {
+    return this.p2x_1.d1g();
   };
-  protoOf(LogicProgrammingScopeImpl).newScope = function () {
-    return this.c1j();
+  protoOf(LogicProgrammingScopeImpl).e1g = function () {
+    return this.p2x_1.e1g();
   };
   function LogicProgrammingScopeWithOperators() {
   }
@@ -1295,22 +1274,19 @@
   }
   function LogicProgrammingScopeWithSubstitutions() {
   }
-  function directive$directiveOf(receiver, p0) {
-    return receiver.directiveOf(p0, []);
-  }
   function MinimalLogicProgrammingScope$invoke$lambda(this$0) {
     return function (it) {
       return this$0.convertToTerm(it);
     };
   }
-  function MinimalLogicProgrammingScope$directive$directiveOf$ref($boundThis) {
-    return function (p0) {
-      return directive$directiveOf($boundThis, p0);
+  function MinimalLogicProgrammingScope$directiveOf$ref(p0) {
+    return function (receiver) {
+      return p0.directiveOf(receiver, []);
     };
   }
-  function MinimalLogicProgrammingScope$factOf$ref($boundThis) {
-    var l = function (p0) {
-      return $boundThis.factOf(p0);
+  function MinimalLogicProgrammingScope$factOf$ref(p0) {
+    var l = function (_this__u8e3s4) {
+      return p0.factOf(_this__u8e3s4);
     };
     l.callableName = 'factOf';
     return l;
@@ -1334,21 +1310,24 @@
   function DefaultTermificator(scope, novel) {
     novel = novel === VOID ? false : novel;
     AbstractTermificator.call(this, scope);
-    this.g1j_1 = novel;
-    this.w1i(this.g1j_1);
-    this.h1j_1 = new NumberTypeTester();
+    this.u2x_1 = novel;
+    this.k2x(this.u2x_1);
+    this.v2x_1 = new NumberTypeTester();
   }
-  protoOf(DefaultTermificator).j1i = function (value) {
+  protoOf(DefaultTermificator).x2w = function (value) {
     var tmp;
-    if (this.h1j_1.os(value)) {
-      tmp = this.z1g().intOfBigInteger(this.h1j_1.ps(value));
+    if (this.v2x_1.qr(value)) {
+      tmp = this.a1g().intOfBigInteger(this.v2x_1.rr(value));
     } else {
-      tmp = this.z1g().realOfBigDecimal(this.h1j_1.qs(value));
+      tmp = this.a1g().realOfBigDecimal(this.v2x_1.sr(value));
     }
     return tmp;
   };
-  protoOf(DefaultTermificator).a1h = function (scope) {
-    return new DefaultTermificator(scope, this.g1j_1);
+  protoOf(DefaultTermificator).b1g = function (scope) {
+    return new DefaultTermificator(scope, this.u2x_1);
+  };
+  protoOf(DefaultTermificator).copy = function (scope, $super) {
+    return this.copy(scope, ($super == null ? true : $super instanceof DefaultTermificator) ? $super : THROW_CCE());
   };
   //region block: post-declaration
   protoOf(AbstractTermificator).copy = copy;
@@ -1364,7 +1343,7 @@
   protoOf(LogicProgrammingScopeImpl).consOfAny = consOfAny;
   protoOf(LogicProgrammingScopeImpl).directiveOfAny = directiveOfAny;
   protoOf(LogicProgrammingScopeImpl).withScope = withScope;
-  protoOf(LogicProgrammingScopeImpl).d1j = logicList;
+  protoOf(LogicProgrammingScopeImpl).r2x = logicList;
   protoOf(LogicProgrammingScopeImpl).logicList = logicList_0;
   protoOf(LogicProgrammingScopeImpl).rule = rule;
   protoOf(LogicProgrammingScopeImpl).clause2 = clause2;