@tuprolog/arg2p 0.16.7 → 0.16.8

package/2p-dsl-core.js

@@ -21,59 +21,59 @@
 }(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.$_$.gc;
+  var THROW_CCE = kotlin_kotlin.$_$.kc;
   var Unit_instance = kotlin_kotlin.$_$.q;
-  var constructCallableReference = kotlin_kotlin.$_$.w6;
-  var LinkedHashMap_init_$Create$ = kotlin_kotlin.$_$.v;
-  var protoOf = kotlin_kotlin.$_$.s7;
-  var toString = kotlin_kotlin.$_$.v7;
-  var IllegalArgumentException_init_$Create$ = kotlin_kotlin.$_$.i1;
+  var constructCallableReference = kotlin_kotlin.$_$.z6;
+  var LinkedHashMap_init_$Create$ = kotlin_kotlin.$_$.x;
+  var protoOf = kotlin_kotlin.$_$.v7;
+  var toString = kotlin_kotlin.$_$.y7;
+  var IllegalArgumentException_init_$Create$ = kotlin_kotlin.$_$.k1;
   var Term = kotlin_it_unibo_tuprolog_core.$_$.a3;
-  var isInterface = kotlin_kotlin.$_$.m7;
+  var isInterface = kotlin_kotlin.$_$.p7;
   var TermConvertible = kotlin_it_unibo_tuprolog_core.$_$.d2;
-  var getKClassFromExpression = kotlin_kotlin.$_$.k8;
-  var getKClass = kotlin_kotlin.$_$.l8;
+  var getKClassFromExpression = kotlin_kotlin.$_$.n8;
+  var getKClass = kotlin_kotlin.$_$.o8;
   var toString_0 = kotlin_kotlin.$_$.h;
   var Companion_getInstance = kotlin_it_unibo_tuprolog_core.$_$.b1;
-  var asIterable = kotlin_kotlin.$_$.i2;
+  var asIterable = kotlin_kotlin.$_$.k2;
   var assertItemsAreNotNull = kotlin_it_unibo_tuprolog_utils.$_$.s;
-  var collectionSizeOrDefault = kotlin_kotlin.$_$.q2;
+  var collectionSizeOrDefault = kotlin_kotlin.$_$.s2;
   var ArrayList_init_$Create$ = kotlin_kotlin.$_$.s;
   var assertItemsAreNotNull_0 = kotlin_it_unibo_tuprolog_utils.$_$.r;
-  var map = kotlin_kotlin.$_$.m9;
+  var map = kotlin_kotlin.$_$.q9;
   var assertItemsAreNotNull_1 = kotlin_it_unibo_tuprolog_utils.$_$.t;
-  var Char = kotlin_kotlin.$_$.tb;
+  var Char = kotlin_kotlin.$_$.xb;
   var PrimitiveClasses_getInstance = kotlin_kotlin.$_$.m;
   var BigInteger = kotlin_io_github_gciatto_kt_math.$_$.g;
   var BigDecimal = kotlin_io_github_gciatto_kt_math.$_$.f;
-  var Sequence = kotlin_kotlin.$_$.p8;
-  var Iterable = kotlin_kotlin.$_$.y1;
-  var KtList = kotlin_kotlin.$_$.a2;
-  var KtSet = kotlin_kotlin.$_$.d2;
-  var Pair = kotlin_kotlin.$_$.ec;
-  var Triple = kotlin_kotlin.$_$.ic;
-  var Entry = kotlin_kotlin.$_$.b2;
-  var KtMap = kotlin_kotlin.$_$.c2;
-  var initMetadataForClass = kotlin_kotlin.$_$.f7;
+  var Sequence = kotlin_kotlin.$_$.s8;
+  var Iterable = kotlin_kotlin.$_$.a2;
+  var KtList = kotlin_kotlin.$_$.c2;
+  var KtSet = kotlin_kotlin.$_$.f2;
+  var Pair = kotlin_kotlin.$_$.ic;
+  var Triple = kotlin_kotlin.$_$.mc;
+  var Entry = kotlin_kotlin.$_$.d2;
+  var KtMap = kotlin_kotlin.$_$.e2;
+  var initMetadataForClass = kotlin_kotlin.$_$.i7;
   var VOID = kotlin_kotlin.$_$.b;
   var Struct = kotlin_it_unibo_tuprolog_core.$_$.b2;
   var Scope = kotlin_it_unibo_tuprolog_core.$_$.a2;
-  var initMetadataForInterface = kotlin_kotlin.$_$.h7;
+  var initMetadataForInterface = kotlin_kotlin.$_$.k7;
   var Companion_instance = kotlin_it_unibo_tuprolog_core.$_$.t;
   var Companion_instance_0 = kotlin_it_unibo_tuprolog_core.$_$.c1;
-  var initMetadataForCompanion = kotlin_kotlin.$_$.g7;
+  var initMetadataForCompanion = kotlin_kotlin.$_$.j7;
   var logicListFromFrom = kotlin_it_unibo_tuprolog_core.$_$.g1;
   var logicListFromIterable = kotlin_it_unibo_tuprolog_core.$_$.e1;
   var logicListFromSequence = kotlin_it_unibo_tuprolog_core.$_$.f1;
-  var plus = kotlin_kotlin.$_$.p4;
+  var plus = kotlin_kotlin.$_$.r4;
   var Tuple = kotlin_it_unibo_tuprolog_core.$_$.c3;
   var Companion_instance_1 = kotlin_it_unibo_tuprolog_core.$_$.a1;
   var Companion_getInstance_0 = kotlin_it_unibo_tuprolog_core.$_$.v;
   var Var = kotlin_it_unibo_tuprolog_core.$_$.d3;
   var arrayConcat = kotlin_kotlin.$_$.a;
-  var sequenceOf = kotlin_kotlin.$_$.s9;
-  var copyToArray = kotlin_kotlin.$_$.a3;
-  var listOf = kotlin_kotlin.$_$.x3;
+  var sequenceOf = kotlin_kotlin.$_$.w9;
+  var copyToArray = kotlin_kotlin.$_$.c3;
+  var listOf = kotlin_kotlin.$_$.z3;
   var Rule = kotlin_it_unibo_tuprolog_core.$_$.z1;
   var Directive = kotlin_it_unibo_tuprolog_core.$_$.s1;
   var Fact = kotlin_it_unibo_tuprolog_core.$_$.t1;
@@ -81,18 +81,18 @@
   //endregion
   //region block: pre-declaration
   function copy(scope, $super) {
-    scope = scope === VOID ? this.get_scope_iyfcq3_k$() : scope;
-    return $super === VOID ? this.copy_g7encc_k$(scope) : $super.copy_g7encc_k$.call(this, scope);
+    scope = scope === VOID ? this.m1j() : scope;
+    return $super === VOID ? this.n1j(scope) : $super.n1j.call(this, scope);
   }
   initMetadataForInterface(Termificator, 'Termificator');
   initMetadataForClass(AbstractTermificator, 'AbstractTermificator', VOID, VOID, [Termificator]);
   function convertToTerm(_this__u8e3s4) {
-    return this.get_termificator_riizy6_k$().toTerm(_this__u8e3s4);
+    return this.p3b().toTerm(_this__u8e3s4);
   }
   function convertToSpecificSubTypeOfTerm(_this__u8e3s4, type, converter) {
     var t = this.convertToTerm(_this__u8e3s4);
     var tmp;
-    if (type.isInstance_6tn68w_k$(t)) {
+    if (type.m9(t)) {
       tmp = isInterface(t, Term) ? t : THROW_CCE();
     } else {
       if (isInterface(t, Struct)) {
@@ -105,140 +105,39 @@
   }
   initMetadataForInterface(BaseLogicProgrammingScope, 'BaseLogicProgrammingScope', VOID, VOID, [Scope]);
   initMetadataForCompanion(Companion);
-  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.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$2 = this.convertToTerm(item);
-      destination.add_utx5q5_k$(tmp$ret$2);
-    }
-    // Inline function 'kotlin.collections.toTypedArray' call
-    var tmp$ret$3 = copyToArray(destination);
-    return this.structOf(functor, tmp$ret$3.slice());
-  }
-  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$2 = this.convertToTerm(item);
-      destination.add_utx5q5_k$(tmp$ret$2);
-    }
-    // Inline function 'kotlin.collections.toTypedArray' call
-    var tmp$ret$3 = copyToArray(destination);
-    return this.tupleOf(tmp$ret$3.slice());
-  }
-  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$2 = this.convertToTerm(item);
-      destination.add_utx5q5_k$(tmp$ret$2);
-    }
-    // Inline function 'kotlin.collections.toTypedArray' call
-    var tmp$ret$3 = copyToArray(destination);
-    return this.logicListOf(tmp$ret$3.slice());
-  }
-  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$2 = this.convertToTerm(item);
-      destination.add_utx5q5_k$(tmp$ret$2);
-    }
-    // Inline function 'kotlin.collections.toTypedArray' call
-    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 varTo(_this__u8e3s4, termObject) {
+    return Companion_getInstance_0().of(_this__u8e3s4, this.convertToTerm(termObject));
   }
-  function consOfAny(head, tail) {
-    return this.consOf(this.convertToTerm(head), this.convertToTerm(tail));
+  function stringTo(_this__u8e3s4, termObject) {
+    return Companion_getInstance_0().of(this.varOf(_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$2 = this.convertToTerm(item);
-      destination.add_utx5q5_k$(tmp$ret$2);
+  function substitutionGet(_this__u8e3s4, term) {
+    var t = this.convertToTerm(term);
+    var tmp;
+    if (isInterface(t, Var)) {
+      tmp = _this__u8e3s4.l2(t);
+    } else {
+      raiseErrorConvertingTo(term, getKClass(Var));
     }
-    // Inline function 'kotlin.collections.toTypedArray' call
-    var tmp$ret$3 = copyToArray(destination);
-    return this.directiveOf(tmp, tmp$ret$3.slice());
-  }
-  function withScope(function_0) {
-    return function_0(this.newScope());
+    return tmp;
   }
-  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.iterator_jk1svi_k$();
-    while (_iterator__ex2g4s.hasNext_bitz1p_k$()) {
-      var item = _iterator__ex2g4s.next_20eer_k$();
-      var tmp$ret$2 = this.convertToTerm(item);
-      destination.add_utx5q5_k$(tmp$ret$2);
-    }
-    // Inline function 'kotlin.let' call
+  function substitutionContainsKey(_this__u8e3s4, term) {
+    var t = this.convertToTerm(term);
     var tmp;
-    if (!(tail == null)) {
-      tmp = this.logicListFrom_yn067b_k$(destination, this.convertToTerm(tail));
+    if (isInterface(t, Var)) {
+      tmp = _this__u8e3s4.j2(t);
     } else {
-      tmp = this.logicListOfIterable(destination);
+      raiseErrorConvertingTo(term, getKClass(Var));
     }
     return tmp;
   }
-  function logicList_0(items, tail, $super) {
-    tail = tail === VOID ? null : tail;
-    return $super === VOID ? this.logicList_6qlnr0_k$(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$directiveOf$ref(this));
+  function substitutionContains(_this__u8e3s4, term) {
+    return this.substitutionContainsKey(_this__u8e3s4, term);
   }
-  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));
+  function substitutionContainsValue(_this__u8e3s4, term) {
+    return _this__u8e3s4.k2(this.convertToTerm(term));
   }
-  initMetadataForInterface(MinimalLogicProgrammingScope, 'MinimalLogicProgrammingScope', VOID, VOID, [BaseLogicProgrammingScope]);
+  initMetadataForInterface(LogicProgrammingScopeWithSubstitutions, 'LogicProgrammingScopeWithSubstitutions', VOID, VOID, [BaseLogicProgrammingScope]);
   function termPlus(_this__u8e3s4, other) {
     return this.structOf('+', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(other)]);
   }
@@ -344,7 +243,7 @@
     var otherTerm = this.convertToTerm(other);
     var tmp;
     if (isInterface(it, Tuple)) {
-      tmp = this.tupleOfIterable(plus(it.get_items_it823b_k$(), otherTerm));
+      tmp = this.tupleOfIterable(plus(it.ky(), otherTerm));
     } else {
       tmp = this.tupleOf([this.convertToTerm(_this__u8e3s4), otherTerm]);
     }
@@ -389,7 +288,7 @@
       var item = other[inductionVariable];
       inductionVariable = inductionVariable + 1 | 0;
       var tmp$ret$2 = this.convertToTerm(item);
-      destination.add_utx5q5_k$(tmp$ret$2);
+      destination.l(tmp$ret$2);
     }
     return this.anyImpliedBy(_this__u8e3s4, tmp.wrapIterableIfNeeded(destination));
   }
@@ -397,39 +296,140 @@
     return this.anyImpliedByVararg(_this__u8e3s4, other.slice());
   }
   initMetadataForInterface(LogicProgrammingScopeWithOperators, 'LogicProgrammingScopeWithOperators', VOID, VOID, [BaseLogicProgrammingScope]);
-  function varTo(_this__u8e3s4, termObject) {
-    return Companion_getInstance_0().of(_this__u8e3s4, this.convertToTerm(termObject));
+  function stringInvoke(_this__u8e3s4, term, terms) {
+    var tmp = sequenceOf(arrayConcat([[term], terms]));
+    return this.structOfSequence(_this__u8e3s4, map(tmp, MinimalLogicProgrammingScope$invoke$lambda(this)));
   }
-  function stringTo(_this__u8e3s4, termObject) {
-    return Companion_getInstance_0().of(this.varOf(_this__u8e3s4), this.convertToTerm(termObject));
+  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$2 = this.convertToTerm(item);
+      destination.l(tmp$ret$2);
+    }
+    // Inline function 'kotlin.collections.toTypedArray' call
+    var tmp$ret$3 = copyToArray(destination);
+    return this.structOf(functor, tmp$ret$3.slice());
   }
-  function substitutionGet(_this__u8e3s4, term) {
-    var t = this.convertToTerm(term);
-    var tmp;
-    if (isInterface(t, Var)) {
-      tmp = _this__u8e3s4.get_wei43m_k$(t);
-    } else {
-      raiseErrorConvertingTo(term, getKClass(Var));
+  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$2 = this.convertToTerm(item);
+      destination.l(tmp$ret$2);
     }
-    return tmp;
+    // Inline function 'kotlin.collections.toTypedArray' call
+    var tmp$ret$3 = copyToArray(destination);
+    return this.tupleOf(tmp$ret$3.slice());
   }
-  function substitutionContainsKey(_this__u8e3s4, term) {
-    var t = this.convertToTerm(term);
+  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$2 = this.convertToTerm(item);
+      destination.l(tmp$ret$2);
+    }
+    // Inline function 'kotlin.collections.toTypedArray' call
+    var tmp$ret$3 = copyToArray(destination);
+    return this.logicListOf(tmp$ret$3.slice());
+  }
+  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$2 = this.convertToTerm(item);
+      destination.l(tmp$ret$2);
+    }
+    // Inline function 'kotlin.collections.toTypedArray' call
+    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.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$2 = this.convertToTerm(item);
+      destination.l(tmp$ret$2);
+    }
+    // Inline function 'kotlin.collections.toTypedArray' call
+    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.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.n();
+    while (_iterator__ex2g4s.q()) {
+      var item = _iterator__ex2g4s.r();
+      var tmp$ret$2 = this.convertToTerm(item);
+      destination.l(tmp$ret$2);
+    }
+    // Inline function 'kotlin.let' call
     var tmp;
-    if (isInterface(t, Var)) {
-      tmp = _this__u8e3s4.containsKey_aw81wo_k$(t);
+    if (!(tail == null)) {
+      tmp = this.o12(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.v3b(items, tail) : logicList(items, tail);
   }
-  function substitutionContainsValue(_this__u8e3s4, term) {
-    return _this__u8e3s4.containsValue_yf2ykl_k$(this.convertToTerm(term));
+  function rule(function_0) {
+    var tmp = this.convertToTerm(function_0(this.newScope()));
+    return isInterface(tmp, Rule) ? tmp : THROW_CCE();
   }
-  initMetadataForInterface(LogicProgrammingScopeWithSubstitutions, 'LogicProgrammingScopeWithSubstitutions', VOID, VOID, [BaseLogicProgrammingScope]);
+  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));
+  }
+  initMetadataForInterface(MinimalLogicProgrammingScope, 'MinimalLogicProgrammingScope', VOID, VOID, [BaseLogicProgrammingScope]);
   function at_end_of_stream1(alias) {
     return this.structOf('at_end_of_stream', [this.convertToTerm(alias)]);
   }
@@ -617,7 +617,7 @@
     return this.structOf('include', [this.convertToTerm(url)]);
   }
   initMetadataForInterface(LogicProgrammingScopeWithPrologStandardLibrary, 'LogicProgrammingScopeWithPrologStandardLibrary', VOID, VOID, [BaseLogicProgrammingScope]);
-  initMetadataForClass(LogicProgrammingScopeImpl, 'LogicProgrammingScopeImpl', VOID, VOID, [BaseLogicProgrammingScope, Scope, MinimalLogicProgrammingScope, LogicProgrammingScopeWithOperators, LogicProgrammingScopeWithSubstitutions, LogicProgrammingScopeWithPrologStandardLibrary]);
+  initMetadataForClass(LogicProgrammingScopeImpl, 'LogicProgrammingScopeImpl', VOID, VOID, [LogicProgrammingScopeWithSubstitutions, LogicProgrammingScopeWithOperators, MinimalLogicProgrammingScope, LogicProgrammingScopeWithPrologStandardLibrary, Scope, BaseLogicProgrammingScope]);
   initMetadataForCompanion(Companion_0);
   initMetadataForClass(DefaultTermificator, 'DefaultTermificator', VOID, AbstractTermificator);
   //endregion
@@ -628,100 +628,100 @@
   }
   function AbstractTermificator$handleSequenceAsList$lambda(this$0) {
     return function (it) {
-      return this$0.toTerm_7glyiw_k$(it);
+      return this$0.v3a(it);
     };
   }
   function AbstractTermificator$handleCharAsString$ref(p0) {
     return constructCallableReference(function (p0_0) {
-      return p0.handleCharAsString_4c4o0s_k$(p0_0.value_1);
+      return p0.w3a(p0_0.r1_1);
     }, 1, 0, 87, 'handleCharAsString', [p0]);
   }
   function AbstractTermificator$handleBooleanAsTruth$ref(p0) {
     return constructCallableReference(function (p0_0) {
-      return p0.handleBooleanAsTruth_5aozo4_k$(p0_0);
+      return p0.x3a(p0_0);
     }, 1, 0, 88, 'handleBooleanAsTruth', [p0]);
   }
   function AbstractTermificator$handleStringAsAtomOrVariable$ref(p0) {
     return constructCallableReference(function (p0_0) {
-      return p0.handleStringAsAtomOrVariable_vn22sf_k$(p0_0);
+      return p0.y3a(p0_0);
     }, 1, 0, 89, 'handleStringAsAtomOrVariable', [p0]);
   }
   function AbstractTermificator$handleBigIntegerAsInteger$ref(p0) {
     return constructCallableReference(function (p0_0) {
-      return p0.handleBigIntegerAsInteger_p5tknf_k$(p0_0);
+      return p0.z3a(p0_0);
     }, 1, 0, 90, 'handleBigIntegerAsInteger', [p0]);
   }
   function AbstractTermificator$handleBigDecimalAsReal$ref(p0) {
     return constructCallableReference(function (p0_0) {
-      return p0.handleBigDecimalAsReal_gsm0at_k$(p0_0);
+      return p0.a3b(p0_0);
     }, 1, 0, 91, 'handleBigDecimalAsReal', [p0]);
   }
   function AbstractTermificator$handleNumberAsNumeric$ref(p0) {
     return constructCallableReference(function (p0_0) {
-      return p0.handleNumberAsNumeric_mlad0f_k$(p0_0);
+      return p0.b3b(p0_0);
     }, 1, 0, 92, 'handleNumberAsNumeric', [p0]);
   }
   function AbstractTermificator$handleArrayAsList$ref(p0) {
     return constructCallableReference(function (p0_0) {
-      return p0.handleArrayAsList_ov2k4j_k$(p0_0);
+      return p0.c3b(p0_0);
     }, 1, 0, 93, 'handleArrayAsList', [p0]);
   }
   function AbstractTermificator$handleSequenceAsList$ref(p0) {
     return constructCallableReference(function (p0_0) {
-      return p0.handleSequenceAsList_xpdiuf_k$(p0_0);
+      return p0.d3b(p0_0);
     }, 1, 0, 94, 'handleSequenceAsList', [p0]);
   }
   function AbstractTermificator$handleIterableAsList$ref(p0) {
     return constructCallableReference(function (p0_0) {
-      return p0.handleIterableAsList_rtt3vc_k$(p0_0);
+      return p0.e3b(p0_0);
     }, 1, 0, 95, 'handleIterableAsList', [p0]);
   }
   function AbstractTermificator$handleKotlinListAsLogicList$ref(p0) {
     return constructCallableReference(function (p0_0) {
-      return p0.handleKotlinListAsLogicList_3lr5v1_k$(p0_0);
+      return p0.f3b(p0_0);
     }, 1, 0, 96, 'handleKotlinListAsLogicList', [p0]);
   }
   function AbstractTermificator$handleSetAsBlock$ref(p0) {
     return constructCallableReference(function (p0_0) {
-      return p0.handleSetAsBlock_umzisl_k$(p0_0);
+      return p0.g3b(p0_0);
     }, 1, 0, 97, 'handleSetAsBlock', [p0]);
   }
   function AbstractTermificator$handlePairAsTuple$ref(p0) {
     return constructCallableReference(function (p0_0) {
-      return p0.handlePairAsTuple_wk96bv_k$(p0_0);
+      return p0.h3b(p0_0);
     }, 1, 0, 98, 'handlePairAsTuple', [p0]);
   }
   function AbstractTermificator$handleTripletAsTuple$ref(p0) {
     return constructCallableReference(function (p0_0) {
-      return p0.handleTripletAsTuple_sx17bz_k$(p0_0);
+      return p0.i3b(p0_0);
     }, 1, 0, 99, 'handleTripletAsTuple', [p0]);
   }
   function AbstractTermificator$handleKeyValuePairAsStruct$ref(p0) {
     return constructCallableReference(function (p0_0) {
-      return p0.handleKeyValuePairAsStruct_mdstn7_k$(p0_0);
+      return p0.j3b(p0_0);
     }, 1, 0, 100, 'handleKeyValuePairAsStruct', [p0]);
   }
   function AbstractTermificator$handleMapAsBlock$ref(p0) {
     return constructCallableReference(function (p0_0) {
-      return p0.handleMapAsBlock_vbyuxp_k$(p0_0);
+      return p0.k3b(p0_0);
     }, 1, 0, 101, 'handleMapAsBlock', [p0]);
   }
   function AbstractTermificator(scope) {
-    this.scope_1 = scope;
+    this.t3a_1 = scope;
     var tmp = this;
     // Inline function 'kotlin.collections.linkedMapOf' call
-    tmp.converters_1 = LinkedHashMap_init_$Create$();
+    tmp.u3a_1 = LinkedHashMap_init_$Create$();
   }
-  protoOf(AbstractTermificator).get_scope_iyfcq3_k$ = function () {
-    return this.scope_1;
+  protoOf(AbstractTermificator).m1j = function () {
+    return this.t3a_1;
   };
-  protoOf(AbstractTermificator).handleType_l5sgvh_k$ = function (type, conversion) {
-    var tmp0 = this.converters_1;
+  protoOf(AbstractTermificator).l3b = function (type, conversion) {
+    var tmp0 = this.u3a_1;
     // Inline function 'kotlin.collections.set' call
     var value = AbstractTermificator$handleType$lambda(conversion);
-    tmp0.put_4fpzoq_k$(type, value);
+    tmp0.t4(type, value);
   };
-  protoOf(AbstractTermificator).toTerm_7glyiw_k$ = function (value) {
+  protoOf(AbstractTermificator).v3a = function (value) {
     $l$block: {
       // Inline function 'kotlin.requireNotNull' call
       if (value == null) {
@@ -738,190 +738,190 @@
       return value.toTerm();
     }
     var type = getKClassFromExpression(value);
-    var exactConverter = this.converters_1.get_wei43m_k$(type);
+    var exactConverter = this.u3a_1.l2(type);
     if (!(exactConverter == null)) {
       return exactConverter(value);
     }
     // Inline function 'kotlin.collections.iterator' call
-    var _iterator__ex2g4s = this.converters_1.get_entries_p20ztl_k$().iterator_jk1svi_k$();
-    while (_iterator__ex2g4s.hasNext_bitz1p_k$()) {
-      var _destruct__k2r9zo = _iterator__ex2g4s.next_20eer_k$();
+    var _iterator__ex2g4s = this.u3a_1.d1().n();
+    while (_iterator__ex2g4s.q()) {
+      var _destruct__k2r9zo = _iterator__ex2g4s.r();
       // Inline function 'kotlin.collections.component1' call
-      var superType = _destruct__k2r9zo.get_key_18j28a_k$();
+      var superType = _destruct__k2r9zo.h2();
       // Inline function 'kotlin.collections.component2' call
-      var converter = _destruct__k2r9zo.get_value_j01efc_k$();
-      if (superType.isInstance_6tn68w_k$(value)) {
+      var converter = _destruct__k2r9zo.i2();
+      if (superType.m9(value)) {
         return converter(value);
       }
     }
     raiseErrorConvertingTo(value, getKClass(Term));
   };
   protoOf(AbstractTermificator).toTerm = function (value) {
-    return this.toTerm_7glyiw_k$(value);
+    return this.v3a(value);
   };
-  protoOf(AbstractTermificator).handleBooleanAsTruth_5aozo4_k$ = function (value) {
-    return this.get_scope_iyfcq3_k$().truthOf(value);
+  protoOf(AbstractTermificator).x3a = function (value) {
+    return this.m1j().truthOf(value);
   };
-  protoOf(AbstractTermificator).handleCharAsString_4c4o0s_k$ = function (value) {
-    return this.toTerm_7glyiw_k$(toString_0(value));
+  protoOf(AbstractTermificator).w3a = function (value) {
+    return this.v3a(toString_0(value));
   };
-  protoOf(AbstractTermificator).handleStringAsAtomOrVariable_vn22sf_k$ = function (value) {
+  protoOf(AbstractTermificator).y3a = function (value) {
     var tmp;
     // Inline function 'kotlin.text.matches' call
-    if (Companion_getInstance().NAME_PATTERN_1.matches_evli6i_k$(value)) {
-      tmp = this.get_scope_iyfcq3_k$().varOf(value);
+    if (Companion_getInstance().u15_1.jb(value)) {
+      tmp = this.m1j().varOf(value);
     } else {
-      tmp = this.get_scope_iyfcq3_k$().atomOf(value);
+      tmp = this.m1j().atomOf(value);
     }
     return tmp;
   };
-  protoOf(AbstractTermificator).handleBigIntegerAsInteger_p5tknf_k$ = function (value) {
-    return this.get_scope_iyfcq3_k$().intOfBigInteger(value);
+  protoOf(AbstractTermificator).z3a = function (value) {
+    return this.m1j().intOfBigInteger(value);
   };
-  protoOf(AbstractTermificator).handleBigDecimalAsReal_gsm0at_k$ = function (value) {
-    return this.get_scope_iyfcq3_k$().realOfBigDecimal(value);
+  protoOf(AbstractTermificator).a3b = function (value) {
+    return this.m1j().realOfBigDecimal(value);
   };
-  protoOf(AbstractTermificator).handleArrayAsList_ov2k4j_k$ = function (value) {
-    var tmp = this.get_scope_iyfcq3_k$();
+  protoOf(AbstractTermificator).c3b = function (value) {
+    var tmp = this.m1j();
     // 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 _iterator__ex2g4s = this_0.iterator_jk1svi_k$();
-    while (_iterator__ex2g4s.hasNext_bitz1p_k$()) {
-      var item = _iterator__ex2g4s.next_20eer_k$();
-      var tmp$ret$2 = this.toTerm_7glyiw_k$(item);
-      destination.add_utx5q5_k$(tmp$ret$2);
+    var _iterator__ex2g4s = this_0.n();
+    while (_iterator__ex2g4s.q()) {
+      var item = _iterator__ex2g4s.r();
+      var tmp$ret$2 = this.v3a(item);
+      destination.l(tmp$ret$2);
     }
     return tmp.logicListOfIterable(destination);
   };
-  protoOf(AbstractTermificator).handleSequenceAsList_xpdiuf_k$ = function (value) {
-    var tmp = this.get_scope_iyfcq3_k$();
+  protoOf(AbstractTermificator).d3b = function (value) {
+    var tmp = this.m1j();
     var tmp_0 = assertItemsAreNotNull_0(value);
     return tmp.logicListOfSequence(map(tmp_0, AbstractTermificator$handleSequenceAsList$lambda(this)));
   };
-  protoOf(AbstractTermificator).handleIterableAsList_rtt3vc_k$ = function (value) {
-    var tmp = this.get_scope_iyfcq3_k$();
+  protoOf(AbstractTermificator).e3b = function (value) {
+    var tmp = this.m1j();
     // 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 _iterator__ex2g4s = this_0.iterator_jk1svi_k$();
-    while (_iterator__ex2g4s.hasNext_bitz1p_k$()) {
-      var item = _iterator__ex2g4s.next_20eer_k$();
-      var tmp$ret$2 = this.toTerm_7glyiw_k$(item);
-      destination.add_utx5q5_k$(tmp$ret$2);
+    var _iterator__ex2g4s = this_0.n();
+    while (_iterator__ex2g4s.q()) {
+      var item = _iterator__ex2g4s.r();
+      var tmp$ret$2 = this.v3a(item);
+      destination.l(tmp$ret$2);
     }
     return tmp.logicListOfIterable(destination);
   };
-  protoOf(AbstractTermificator).handleKotlinListAsLogicList_3lr5v1_k$ = function (value) {
-    var tmp = this.get_scope_iyfcq3_k$();
+  protoOf(AbstractTermificator).f3b = function (value) {
+    var tmp = this.m1j();
     // 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 _iterator__ex2g4s = this_0.iterator_jk1svi_k$();
-    while (_iterator__ex2g4s.hasNext_bitz1p_k$()) {
-      var item = _iterator__ex2g4s.next_20eer_k$();
-      var tmp$ret$2 = this.toTerm_7glyiw_k$(item);
-      destination.add_utx5q5_k$(tmp$ret$2);
+    var _iterator__ex2g4s = this_0.n();
+    while (_iterator__ex2g4s.q()) {
+      var item = _iterator__ex2g4s.r();
+      var tmp$ret$2 = this.v3a(item);
+      destination.l(tmp$ret$2);
     }
     return tmp.logicListOfIterable(destination);
   };
-  protoOf(AbstractTermificator).handleSetAsBlock_umzisl_k$ = function (value) {
-    var tmp = this.get_scope_iyfcq3_k$();
+  protoOf(AbstractTermificator).g3b = function (value) {
+    var tmp = this.m1j();
     // 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 _iterator__ex2g4s = this_0.iterator_jk1svi_k$();
-    while (_iterator__ex2g4s.hasNext_bitz1p_k$()) {
-      var item = _iterator__ex2g4s.next_20eer_k$();
-      var tmp$ret$2 = this.toTerm_7glyiw_k$(item);
-      destination.add_utx5q5_k$(tmp$ret$2);
+    var _iterator__ex2g4s = this_0.n();
+    while (_iterator__ex2g4s.q()) {
+      var item = _iterator__ex2g4s.r();
+      var tmp$ret$2 = this.v3a(item);
+      destination.l(tmp$ret$2);
     }
     return tmp.blockOfIterable(destination);
   };
-  protoOf(AbstractTermificator).handlePairAsTuple_wk96bv_k$ = function (value) {
-    return this.get_scope_iyfcq3_k$().tupleOf([this.toTerm_7glyiw_k$(value.first), this.toTerm_7glyiw_k$(value.second)]);
+  protoOf(AbstractTermificator).h3b = function (value) {
+    return this.m1j().tupleOf([this.v3a(value.first), this.v3a(value.second)]);
   };
-  protoOf(AbstractTermificator).handleTripletAsTuple_sx17bz_k$ = function (value) {
-    return this.get_scope_iyfcq3_k$().tupleOf([this.toTerm_7glyiw_k$(value.first_1), this.toTerm_7glyiw_k$(value.second_1), this.toTerm_7glyiw_k$(value.third_1)]);
+  protoOf(AbstractTermificator).i3b = function (value) {
+    return this.m1j().tupleOf([this.v3a(value.pj_1), this.v3a(value.qj_1), this.v3a(value.rj_1)]);
   };
-  protoOf(AbstractTermificator).handleKeyValuePairAsStruct_mdstn7_k$ = function (value) {
-    return this.get_scope_iyfcq3_k$().structOf(':', [this.toTerm_7glyiw_k$(value.get_key_18j28a_k$()), this.toTerm_7glyiw_k$(value.get_value_j01efc_k$())]);
+  protoOf(AbstractTermificator).j3b = function (value) {
+    return this.m1j().structOf(':', [this.v3a(value.h2()), this.v3a(value.i2())]);
   };
-  protoOf(AbstractTermificator).handleMapAsBlock_vbyuxp_k$ = function (value) {
-    var tmp = this.get_scope_iyfcq3_k$();
+  protoOf(AbstractTermificator).k3b = function (value) {
+    var tmp = this.m1j();
     // Inline function 'kotlin.collections.map' call
-    var this_0 = assertItemsAreNotNull(value.get_entries_p20ztl_k$());
+    var this_0 = assertItemsAreNotNull(value.d1());
     // Inline function 'kotlin.collections.mapTo' call
     var destination = ArrayList_init_$Create$(collectionSizeOrDefault(this_0, 10));
-    var _iterator__ex2g4s = this_0.iterator_jk1svi_k$();
-    while (_iterator__ex2g4s.hasNext_bitz1p_k$()) {
-      var item = _iterator__ex2g4s.next_20eer_k$();
-      var tmp$ret$2 = this.handleKeyValuePairAsStruct_mdstn7_k$(item);
-      destination.add_utx5q5_k$(tmp$ret$2);
+    var _iterator__ex2g4s = this_0.n();
+    while (_iterator__ex2g4s.q()) {
+      var item = _iterator__ex2g4s.r();
+      var tmp$ret$2 = this.j3b(item);
+      destination.l(tmp$ret$2);
     }
     return tmp.blockOfIterable(destination);
   };
-  protoOf(AbstractTermificator).legacyConfiguration_ixsowz_k$ = function () {
+  protoOf(AbstractTermificator).m3b = function () {
     var tmp = getKClass(Char);
-    this.handleType_l5sgvh_k$(tmp, AbstractTermificator$handleCharAsString$ref(this));
-    var tmp_0 = PrimitiveClasses_getInstance().get_booleanClass_d285fr_k$();
-    this.handleType_l5sgvh_k$(tmp_0, AbstractTermificator$handleBooleanAsTruth$ref(this));
-    var tmp_1 = PrimitiveClasses_getInstance().get_stringClass_bik2gy_k$();
-    this.handleType_l5sgvh_k$(tmp_1, AbstractTermificator$handleStringAsAtomOrVariable$ref(this));
+    this.l3b(tmp, AbstractTermificator$handleCharAsString$ref(this));
+    var tmp_0 = PrimitiveClasses_getInstance().x9();
+    this.l3b(tmp_0, AbstractTermificator$handleBooleanAsTruth$ref(this));
+    var tmp_1 = PrimitiveClasses_getInstance().fa();
+    this.l3b(tmp_1, AbstractTermificator$handleStringAsAtomOrVariable$ref(this));
     var tmp_2 = getKClass(BigInteger);
-    this.handleType_l5sgvh_k$(tmp_2, AbstractTermificator$handleBigIntegerAsInteger$ref(this));
+    this.l3b(tmp_2, AbstractTermificator$handleBigIntegerAsInteger$ref(this));
     var tmp_3 = getKClass(BigDecimal);
-    this.handleType_l5sgvh_k$(tmp_3, AbstractTermificator$handleBigDecimalAsReal$ref(this));
-    var tmp_4 = PrimitiveClasses_getInstance().get_numberClass_pnym9y_k$();
-    this.handleType_l5sgvh_k$(tmp_4, AbstractTermificator$handleNumberAsNumeric$ref(this));
-    var tmp_5 = PrimitiveClasses_getInstance().get_arrayClass_udg0fc_k$();
-    this.handleType_l5sgvh_k$(tmp_5, AbstractTermificator$handleArrayAsList$ref(this));
+    this.l3b(tmp_3, AbstractTermificator$handleBigDecimalAsReal$ref(this));
+    var tmp_4 = PrimitiveClasses_getInstance().v9();
+    this.l3b(tmp_4, AbstractTermificator$handleNumberAsNumeric$ref(this));
+    var tmp_5 = PrimitiveClasses_getInstance().ea();
+    this.l3b(tmp_5, AbstractTermificator$handleArrayAsList$ref(this));
     var tmp_6 = getKClass(Sequence);
-    this.handleType_l5sgvh_k$(tmp_6, AbstractTermificator$handleSequenceAsList$ref(this));
+    this.l3b(tmp_6, AbstractTermificator$handleSequenceAsList$ref(this));
     var tmp_7 = getKClass(Iterable);
-    this.handleType_l5sgvh_k$(tmp_7, AbstractTermificator$handleIterableAsList$ref(this));
+    this.l3b(tmp_7, AbstractTermificator$handleIterableAsList$ref(this));
   };
-  protoOf(AbstractTermificator).novelConfiguration_jdito6_k$ = function () {
+  protoOf(AbstractTermificator).n3b = function () {
     var tmp = getKClass(Char);
-    this.handleType_l5sgvh_k$(tmp, AbstractTermificator$handleCharAsString$ref(this));
-    var tmp_0 = PrimitiveClasses_getInstance().get_booleanClass_d285fr_k$();
-    this.handleType_l5sgvh_k$(tmp_0, AbstractTermificator$handleBooleanAsTruth$ref(this));
-    var tmp_1 = PrimitiveClasses_getInstance().get_stringClass_bik2gy_k$();
-    this.handleType_l5sgvh_k$(tmp_1, AbstractTermificator$handleStringAsAtomOrVariable$ref(this));
+    this.l3b(tmp, AbstractTermificator$handleCharAsString$ref(this));
+    var tmp_0 = PrimitiveClasses_getInstance().x9();
+    this.l3b(tmp_0, AbstractTermificator$handleBooleanAsTruth$ref(this));
+    var tmp_1 = PrimitiveClasses_getInstance().fa();
+    this.l3b(tmp_1, AbstractTermificator$handleStringAsAtomOrVariable$ref(this));
     var tmp_2 = getKClass(BigInteger);
-    this.handleType_l5sgvh_k$(tmp_2, AbstractTermificator$handleBigIntegerAsInteger$ref(this));
+    this.l3b(tmp_2, AbstractTermificator$handleBigIntegerAsInteger$ref(this));
     var tmp_3 = getKClass(BigDecimal);
-    this.handleType_l5sgvh_k$(tmp_3, AbstractTermificator$handleBigDecimalAsReal$ref(this));
-    var tmp_4 = PrimitiveClasses_getInstance().get_numberClass_pnym9y_k$();
-    this.handleType_l5sgvh_k$(tmp_4, AbstractTermificator$handleNumberAsNumeric$ref(this));
-    var tmp_5 = PrimitiveClasses_getInstance().get_arrayClass_udg0fc_k$();
-    this.handleType_l5sgvh_k$(tmp_5, AbstractTermificator$handleArrayAsList$ref(this));
+    this.l3b(tmp_3, AbstractTermificator$handleBigDecimalAsReal$ref(this));
+    var tmp_4 = PrimitiveClasses_getInstance().v9();
+    this.l3b(tmp_4, AbstractTermificator$handleNumberAsNumeric$ref(this));
+    var tmp_5 = PrimitiveClasses_getInstance().ea();
+    this.l3b(tmp_5, AbstractTermificator$handleArrayAsList$ref(this));
     var tmp_6 = getKClass(Sequence);
-    this.handleType_l5sgvh_k$(tmp_6, AbstractTermificator$handleSequenceAsList$ref(this));
+    this.l3b(tmp_6, AbstractTermificator$handleSequenceAsList$ref(this));
     var tmp_7 = getKClass(KtList);
-    this.handleType_l5sgvh_k$(tmp_7, AbstractTermificator$handleKotlinListAsLogicList$ref(this));
+    this.l3b(tmp_7, AbstractTermificator$handleKotlinListAsLogicList$ref(this));
     var tmp_8 = getKClass(KtSet);
-    this.handleType_l5sgvh_k$(tmp_8, AbstractTermificator$handleSetAsBlock$ref(this));
+    this.l3b(tmp_8, AbstractTermificator$handleSetAsBlock$ref(this));
     var tmp_9 = getKClass(Pair);
-    this.handleType_l5sgvh_k$(tmp_9, AbstractTermificator$handlePairAsTuple$ref(this));
+    this.l3b(tmp_9, AbstractTermificator$handlePairAsTuple$ref(this));
     var tmp_10 = getKClass(Triple);
-    this.handleType_l5sgvh_k$(tmp_10, AbstractTermificator$handleTripletAsTuple$ref(this));
+    this.l3b(tmp_10, AbstractTermificator$handleTripletAsTuple$ref(this));
     var tmp_11 = getKClass(Entry);
-    this.handleType_l5sgvh_k$(tmp_11, AbstractTermificator$handleKeyValuePairAsStruct$ref(this));
+    this.l3b(tmp_11, AbstractTermificator$handleKeyValuePairAsStruct$ref(this));
     var tmp_12 = getKClass(KtMap);
-    this.handleType_l5sgvh_k$(tmp_12, AbstractTermificator$handleMapAsBlock$ref(this));
+    this.l3b(tmp_12, AbstractTermificator$handleMapAsBlock$ref(this));
     var tmp_13 = getKClass(Iterable);
-    this.handleType_l5sgvh_k$(tmp_13, AbstractTermificator$handleIterableAsList$ref(this));
+    this.l3b(tmp_13, AbstractTermificator$handleIterableAsList$ref(this));
   };
-  protoOf(AbstractTermificator).defaultConfiguration_zu43k_k$ = function (novel) {
+  protoOf(AbstractTermificator).o3b = function (novel) {
     if (novel) {
-      this.novelConfiguration_jdito6_k$();
+      this.n3b();
     } else {
-      this.legacyConfiguration_ixsowz_k$();
+      this.m3b();
     }
   };
   function BaseLogicProgrammingScope() {
@@ -937,244 +937,244 @@
   protoOf(Companion).empty = function () {
     return this.of();
   };
-  protoOf(Companion).of_ppswv_k$ = function (scope, termificator, variablesProvider) {
-    return new LogicProgrammingScopeImpl(scope, termificator.get_scope_iyfcq3_k$() === scope ? termificator : termificator.copy_g7encc_k$(scope), variablesProvider.get_scope_iyfcq3_k$() === scope ? variablesProvider : variablesProvider.copy_g7encc_k$(scope));
+  protoOf(Companion).q3b = function (scope, termificator, variablesProvider) {
+    return new LogicProgrammingScopeImpl(scope, termificator.m1j() === scope ? termificator : termificator.n1j(scope), variablesProvider.m1j() === scope ? variablesProvider : variablesProvider.n1j(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.of_xzgzt6_k$(scope) : variablesProvider;
-    return $super === VOID ? this.of_ppswv_k$(scope, termificator, variablesProvider) : $super.of_ppswv_k$.call(this, scope, termificator, variablesProvider);
+    variablesProvider = variablesProvider === VOID ? Companion_instance_0.a16(scope) : variablesProvider;
+    return $super === VOID ? this.q3b(scope, termificator, variablesProvider) : $super.q3b.call(this, scope, termificator, variablesProvider);
   };
   var Companion_instance_2;
   function Companion_getInstance_1() {
     return Companion_instance_2;
   }
   function LogicProgrammingScopeImpl(scope, termificator, variablesProvider) {
-    this.scope_1 = scope;
-    this.termificator_1 = termificator;
-    this.variablesProvider_1 = variablesProvider;
+    this.r3b_1 = scope;
+    this.s3b_1 = termificator;
+    this.t3b_1 = variablesProvider;
     // Inline function 'kotlin.require' call
-    if (!(this.scope_1 === this.variablesProvider_1.get_scope_iyfcq3_k$() && this.scope_1 === this.termificator_1.get_scope_iyfcq3_k$())) {
+    if (!(this.r3b_1 === this.t3b_1.m1j() && this.r3b_1 === this.s3b_1.m1j())) {
       var message = 'The provided Scope should be the same object for both Termificator and VariablesProvider';
       throw IllegalArgumentException_init_$Create$(toString(message));
     }
   }
-  protoOf(LogicProgrammingScopeImpl).get_scope_iyfcq3_k$ = function () {
-    return this.scope_1;
+  protoOf(LogicProgrammingScopeImpl).m1j = function () {
+    return this.r3b_1;
   };
-  protoOf(LogicProgrammingScopeImpl).get_termificator_riizy6_k$ = function () {
-    return this.termificator_1;
+  protoOf(LogicProgrammingScopeImpl).p3b = function () {
+    return this.s3b_1;
   };
-  protoOf(LogicProgrammingScopeImpl).copy_g7encc_k$ = function (scope) {
-    return new LogicProgrammingScopeImpl(scope, this.termificator_1.copy_g7encc_k$(scope), this.variablesProvider_1.copy_g7encc_k$(scope));
+  protoOf(LogicProgrammingScopeImpl).n1j = function (scope) {
+    return new LogicProgrammingScopeImpl(scope, this.s3b_1.n1j(scope), this.t3b_1.n1j(scope));
   };
-  protoOf(LogicProgrammingScopeImpl).newScope_ml4psk_k$ = function () {
-    return this.copy_g7encc_k$(Companion_instance.empty());
+  protoOf(LogicProgrammingScopeImpl).u3b = function () {
+    return this.n1j(Companion_instance.empty());
   };
   protoOf(LogicProgrammingScopeImpl).newScope = function () {
-    return this.newScope_ml4psk_k$();
+    return this.u3b();
   };
   protoOf(LogicProgrammingScopeImpl).structOf = function (functor, args) {
-    return this.variablesProvider_1.structOf(functor, args);
+    return this.t3b_1.structOf(functor, args);
   };
   protoOf(LogicProgrammingScopeImpl).structOfSequence = function (functor, args) {
-    return this.variablesProvider_1.structOfSequence(functor, args);
+    return this.t3b_1.structOfSequence(functor, args);
   };
   protoOf(LogicProgrammingScopeImpl).structOfIterable = function (functor, args) {
-    return this.variablesProvider_1.structOfIterable(functor, args);
+    return this.t3b_1.structOfIterable(functor, args);
   };
   protoOf(LogicProgrammingScopeImpl).structOfList = function (functor, args) {
-    return this.variablesProvider_1.structOfList(functor, args);
+    return this.t3b_1.structOfList(functor, args);
   };
   protoOf(LogicProgrammingScopeImpl).tupleOf = function (terms) {
-    return this.variablesProvider_1.tupleOf(terms);
+    return this.t3b_1.tupleOf(terms);
   };
   protoOf(LogicProgrammingScopeImpl).tupleOfIterable = function (terms) {
-    return this.variablesProvider_1.tupleOfIterable(terms);
+    return this.t3b_1.tupleOfIterable(terms);
   };
   protoOf(LogicProgrammingScopeImpl).tupleOfSequence = function (terms) {
-    return this.variablesProvider_1.tupleOfSequence(terms);
+    return this.t3b_1.tupleOfSequence(terms);
   };
   protoOf(LogicProgrammingScopeImpl).logicListOf = function (terms) {
-    return this.variablesProvider_1.logicListOf(terms);
+    return this.t3b_1.logicListOf(terms);
   };
   protoOf(LogicProgrammingScopeImpl).logicListOfIterable = function (terms) {
-    return this.variablesProvider_1.logicListOfIterable(terms);
+    return this.t3b_1.logicListOfIterable(terms);
   };
   protoOf(LogicProgrammingScopeImpl).logicListOfSequence = function (terms) {
-    return this.variablesProvider_1.logicListOfSequence(terms);
+    return this.t3b_1.logicListOfSequence(terms);
   };
   protoOf(LogicProgrammingScopeImpl).blockOf = function (terms) {
-    return this.variablesProvider_1.blockOf(terms);
+    return this.t3b_1.blockOf(terms);
   };
   protoOf(LogicProgrammingScopeImpl).blockOfIterable = function (terms) {
-    return this.variablesProvider_1.blockOfIterable(terms);
+    return this.t3b_1.blockOfIterable(terms);
   };
   protoOf(LogicProgrammingScopeImpl).blockOfSequence = function (terms) {
-    return this.variablesProvider_1.blockOfSequence(terms);
+    return this.t3b_1.blockOfSequence(terms);
   };
   protoOf(LogicProgrammingScopeImpl).factOf = function (head) {
-    return this.variablesProvider_1.factOf(head);
+    return this.t3b_1.factOf(head);
   };
   protoOf(LogicProgrammingScopeImpl).consOf = function (head, tail) {
-    return this.variablesProvider_1.consOf(head, tail);
+    return this.t3b_1.consOf(head, tail);
   };
   protoOf(LogicProgrammingScopeImpl).directiveOf = function (body1, body) {
-    return this.variablesProvider_1.directiveOf(body1, body);
+    return this.t3b_1.directiveOf(body1, body);
   };
   protoOf(LogicProgrammingScopeImpl).containsVar = function (variable) {
-    return this.variablesProvider_1.containsVar(variable);
+    return this.t3b_1.containsVar(variable);
   };
   protoOf(LogicProgrammingScopeImpl).contains = function (variable) {
-    return this.variablesProvider_1.contains(variable);
+    return this.t3b_1.contains(variable);
   };
   protoOf(LogicProgrammingScopeImpl).get = function (variable) {
-    return this.variablesProvider_1.get(variable);
+    return this.t3b_1.get(variable);
   };
   protoOf(LogicProgrammingScopeImpl).where = function (lambda) {
-    return this.variablesProvider_1.where(lambda);
+    return this.t3b_1.where(lambda);
   };
   protoOf(LogicProgrammingScopeImpl).with = function (lambda) {
-    return this.variablesProvider_1.with(lambda);
+    return this.t3b_1.with(lambda);
   };
   protoOf(LogicProgrammingScopeImpl).varOf = function (name) {
-    return this.variablesProvider_1.varOf(name);
+    return this.t3b_1.varOf(name);
   };
   protoOf(LogicProgrammingScopeImpl).varOfChar = function (name) {
-    return this.variablesProvider_1.varOfChar(name);
+    return this.t3b_1.varOfChar(name);
   };
   protoOf(LogicProgrammingScopeImpl).atomOf = function (value) {
-    return this.variablesProvider_1.atomOf(value);
+    return this.t3b_1.atomOf(value);
   };
   protoOf(LogicProgrammingScopeImpl).atomOfChar = function (value) {
-    return this.variablesProvider_1.atomOfChar(value);
+    return this.t3b_1.atomOfChar(value);
   };
-  protoOf(LogicProgrammingScopeImpl).logicListFrom_pxemlx_k$ = function (terms, last) {
-    return this.variablesProvider_1.logicListFrom_pxemlx_k$(terms, last);
+  protoOf(LogicProgrammingScopeImpl).n12 = function (terms, last) {
+    return this.t3b_1.n12(terms, last);
   };
-  protoOf(LogicProgrammingScopeImpl).logicListFrom_yn067b_k$ = function (terms, last) {
-    return this.variablesProvider_1.logicListFrom_yn067b_k$(terms, last);
+  protoOf(LogicProgrammingScopeImpl).o12 = function (terms, last) {
+    return this.t3b_1.o12(terms, last);
   };
-  protoOf(LogicProgrammingScopeImpl).logicListFrom_65oz79_k$ = function (terms, last) {
-    return this.variablesProvider_1.logicListFrom_65oz79_k$(terms, last);
+  protoOf(LogicProgrammingScopeImpl).p12 = function (terms, last) {
+    return this.t3b_1.p12(terms, last);
   };
   protoOf(LogicProgrammingScopeImpl).ruleOf = function (head, body1, body) {
-    return this.variablesProvider_1.ruleOf(head, body1, body);
+    return this.t3b_1.ruleOf(head, body1, body);
   };
   protoOf(LogicProgrammingScopeImpl).clauseOf = function (head, body) {
-    return this.variablesProvider_1.clauseOf(head, body);
+    return this.t3b_1.clauseOf(head, body);
   };
   protoOf(LogicProgrammingScopeImpl).indicatorOf = function (name, arity) {
-    return this.variablesProvider_1.indicatorOf(name, arity);
+    return this.t3b_1.indicatorOf(name, arity);
   };
   protoOf(LogicProgrammingScopeImpl).indicatorOfStringInt = function (name, arity) {
-    return this.variablesProvider_1.indicatorOfStringInt(name, arity);
+    return this.t3b_1.indicatorOfStringInt(name, arity);
   };
   protoOf(LogicProgrammingScopeImpl).anonymous = function () {
-    return this.variablesProvider_1.anonymous();
+    return this.t3b_1.anonymous();
   };
   protoOf(LogicProgrammingScopeImpl).whatever = function () {
-    return this.variablesProvider_1.whatever();
+    return this.t3b_1.whatever();
   };
   protoOf(LogicProgrammingScopeImpl).numOfBigDecimal = function (value) {
-    return this.variablesProvider_1.numOfBigDecimal(value);
+    return this.t3b_1.numOfBigDecimal(value);
   };
   protoOf(LogicProgrammingScopeImpl).numOfDouble = function (value) {
-    return this.variablesProvider_1.numOfDouble(value);
+    return this.t3b_1.numOfDouble(value);
   };
   protoOf(LogicProgrammingScopeImpl).numOfFloat = function (value) {
-    return this.variablesProvider_1.numOfFloat(value);
+    return this.t3b_1.numOfFloat(value);
   };
   protoOf(LogicProgrammingScopeImpl).numOfBigInteger = function (value) {
-    return this.variablesProvider_1.numOfBigInteger(value);
+    return this.t3b_1.numOfBigInteger(value);
   };
   protoOf(LogicProgrammingScopeImpl).numOfInt = function (value) {
-    return this.variablesProvider_1.numOfInt(value);
+    return this.t3b_1.numOfInt(value);
   };
   protoOf(LogicProgrammingScopeImpl).numOfLong = function (value) {
-    return this.variablesProvider_1.numOfLong(value);
+    return this.t3b_1.numOfLong(value);
   };
   protoOf(LogicProgrammingScopeImpl).numOfShort = function (value) {
-    return this.variablesProvider_1.numOfShort(value);
+    return this.t3b_1.numOfShort(value);
   };
   protoOf(LogicProgrammingScopeImpl).numOfByte = function (value) {
-    return this.variablesProvider_1.numOfByte(value);
+    return this.t3b_1.numOfByte(value);
   };
   protoOf(LogicProgrammingScopeImpl).parseNum = function (value) {
-    return this.variablesProvider_1.parseNum(value);
+    return this.t3b_1.parseNum(value);
   };
   protoOf(LogicProgrammingScopeImpl).numOf = function (value) {
-    return this.variablesProvider_1.numOf(value);
+    return this.t3b_1.numOf(value);
   };
   protoOf(LogicProgrammingScopeImpl).intOfBigInteger = function (value) {
-    return this.variablesProvider_1.intOfBigInteger(value);
+    return this.t3b_1.intOfBigInteger(value);
   };
   protoOf(LogicProgrammingScopeImpl).intOf = function (value) {
-    return this.variablesProvider_1.intOf(value);
+    return this.t3b_1.intOf(value);
   };
   protoOf(LogicProgrammingScopeImpl).intOfLong = function (value) {
-    return this.variablesProvider_1.intOfLong(value);
+    return this.t3b_1.intOfLong(value);
   };
   protoOf(LogicProgrammingScopeImpl).intOfShort = function (value) {
-    return this.variablesProvider_1.intOfShort(value);
+    return this.t3b_1.intOfShort(value);
   };
   protoOf(LogicProgrammingScopeImpl).intOfByte = function (value) {
-    return this.variablesProvider_1.intOfByte(value);
+    return this.t3b_1.intOfByte(value);
   };
   protoOf(LogicProgrammingScopeImpl).parseInt = function (value) {
-    return this.variablesProvider_1.parseInt(value);
+    return this.t3b_1.parseInt(value);
   };
   protoOf(LogicProgrammingScopeImpl).parseIntRadix = function (value, radix) {
-    return this.variablesProvider_1.parseIntRadix(value, radix);
+    return this.t3b_1.parseIntRadix(value, radix);
   };
   protoOf(LogicProgrammingScopeImpl).realOfBigDecimal = function (value) {
-    return this.variablesProvider_1.realOfBigDecimal(value);
+    return this.t3b_1.realOfBigDecimal(value);
   };
   protoOf(LogicProgrammingScopeImpl).realOf = function (value) {
-    return this.variablesProvider_1.realOf(value);
+    return this.t3b_1.realOf(value);
   };
   protoOf(LogicProgrammingScopeImpl).realOfFloat = function (value) {
-    return this.variablesProvider_1.realOfFloat(value);
+    return this.t3b_1.realOfFloat(value);
   };
   protoOf(LogicProgrammingScopeImpl).parseReal = function (value) {
-    return this.variablesProvider_1.parseReal(value);
+    return this.t3b_1.parseReal(value);
   };
   protoOf(LogicProgrammingScopeImpl).truthOf = function (value) {
-    return this.variablesProvider_1.truthOf(value);
+    return this.t3b_1.truthOf(value);
   };
   protoOf(LogicProgrammingScopeImpl).unifierOf = function (assignments) {
-    return this.variablesProvider_1.unifierOf(assignments);
+    return this.t3b_1.unifierOf(assignments);
   };
   protoOf(LogicProgrammingScopeImpl).unifierOfIterable = function (assignments) {
-    return this.variablesProvider_1.unifierOfIterable(assignments);
+    return this.t3b_1.unifierOfIterable(assignments);
   };
   protoOf(LogicProgrammingScopeImpl).unifierOfSequence = function (assignments) {
-    return this.variablesProvider_1.unifierOfSequence(assignments);
+    return this.t3b_1.unifierOfSequence(assignments);
   };
   protoOf(LogicProgrammingScopeImpl).substitutionOf = function (assignments) {
-    return this.variablesProvider_1.substitutionOf(assignments);
+    return this.t3b_1.substitutionOf(assignments);
   };
   protoOf(LogicProgrammingScopeImpl).substitutionOfIterable = function (assignments) {
-    return this.variablesProvider_1.substitutionOfIterable(assignments);
+    return this.t3b_1.substitutionOfIterable(assignments);
   };
   protoOf(LogicProgrammingScopeImpl).substitutionOfSequence = function (assignments) {
-    return this.variablesProvider_1.substitutionOfSequence(assignments);
+    return this.t3b_1.substitutionOfSequence(assignments);
   };
-  protoOf(LogicProgrammingScopeImpl).get_emptyLogicList_z7wjmg_k$ = function () {
-    return this.variablesProvider_1.get_emptyLogicList_z7wjmg_k$();
+  protoOf(LogicProgrammingScopeImpl).l12 = function () {
+    return this.t3b_1.l12();
   };
-  protoOf(LogicProgrammingScopeImpl).get___1mhr5i_k$ = function () {
-    return this.variablesProvider_1.get___1mhr5i_k$();
+  protoOf(LogicProgrammingScopeImpl).m12 = function () {
+    return this.t3b_1.m12();
   };
   protoOf(LogicProgrammingScopeImpl).getValue = function (thisRef, property) {
-    return this.variablesProvider_1.getValue(thisRef, property);
+    return this.t3b_1.getValue(thisRef, property);
   };
-  protoOf(LogicProgrammingScopeImpl).get_X_1mhr5b_k$ = function () {
-    return this.variablesProvider_1.get_X_1mhr5b_k$();
+  protoOf(LogicProgrammingScopeImpl).p1j = function () {
+    return this.t3b_1.p1j();
   };
-  protoOf(LogicProgrammingScopeImpl).get_Y_1mhr5c_k$ = function () {
-    return this.variablesProvider_1.get_Y_1mhr5c_k$();
+  protoOf(LogicProgrammingScopeImpl).q1j = function () {
+    return this.t3b_1.q1j();
   };
   function LogicProgrammingScopeWithOperators() {
   }
@@ -1216,21 +1216,21 @@
   function DefaultTermificator(scope, novel) {
     novel = novel === VOID ? false : novel;
     AbstractTermificator.call(this, scope);
-    this.novel_1 = novel;
-    this.defaultConfiguration_zu43k_k$(this.novel_1);
-    this.tester_1 = new NumberTypeTester();
+    this.y3b_1 = novel;
+    this.o3b(this.y3b_1);
+    this.z3b_1 = new NumberTypeTester();
   }
-  protoOf(DefaultTermificator).handleNumberAsNumeric_mlad0f_k$ = function (value) {
+  protoOf(DefaultTermificator).b3b = function (value) {
     var tmp;
-    if (this.tester_1.numberIsInteger_kg6qm8_k$(value)) {
-      tmp = this.get_scope_iyfcq3_k$().intOfBigInteger(this.tester_1.numberToInteger_3ow227_k$(value));
+    if (this.z3b_1.ut(value)) {
+      tmp = this.m1j().intOfBigInteger(this.z3b_1.vt(value));
     } else {
-      tmp = this.get_scope_iyfcq3_k$().realOfBigDecimal(this.tester_1.numberToDecimal_a0op42_k$(value));
+      tmp = this.m1j().realOfBigDecimal(this.z3b_1.wt(value));
     }
     return tmp;
   };
-  protoOf(DefaultTermificator).copy_g7encc_k$ = function (scope) {
-    return new DefaultTermificator(scope, this.novel_1);
+  protoOf(DefaultTermificator).n1j = function (scope) {
+    return new DefaultTermificator(scope, this.y3b_1);
   };
   protoOf(DefaultTermificator).copy = function (scope, $super) {
     return this.copy(scope, ($super == null ? true : $super instanceof DefaultTermificator) ? $super : THROW_CCE());
@@ -1249,7 +1249,7 @@
   protoOf(LogicProgrammingScopeImpl).consOfAny = consOfAny;
   protoOf(LogicProgrammingScopeImpl).directiveOfAny = directiveOfAny;
   protoOf(LogicProgrammingScopeImpl).withScope = withScope;
-  protoOf(LogicProgrammingScopeImpl).logicList_6qlnr0_k$ = logicList;
+  protoOf(LogicProgrammingScopeImpl).v3b = logicList;
   protoOf(LogicProgrammingScopeImpl).logicList = logicList_0;
   protoOf(LogicProgrammingScopeImpl).rule = rule;
   protoOf(LogicProgrammingScopeImpl).clause2 = clause2;