npm - @tuprolog/arg2p-core - Versions diffs - 0.16.6 → 0.16.7 - Mend

@tuprolog/arg2p-core 0.16.6 → 0.16.7

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.

Files changed (18) hide show

package/2p-core.js +412 -405
package/2p-core.js.map +1 -1
package/{2p-solve-classic.js → 2p-solve-prolog.js} +667 -643
package/2p-solve-prolog.js.map +1 -0
package/2p-solve.js +2399 -1191
package/2p-solve.js.map +1 -1
package/2p-theory.js +81 -81
package/2p-unify.js +70 -70
package/2p-unify.js.map +1 -1
package/2p-utils.js +52 -51
package/2p-utils.js.map +1 -1
package/arg2p-core.js +7 -7
package/kotlin-kotlin-stdlib.js +818 -246
package/kotlin-kotlin-stdlib.js.map +1 -1
package/kt-math.js +165 -164
package/kt-math.js.map +1 -1
package/package.json +1 -1
package/2p-solve-classic.js.map +0 -1

package/2p-core.js CHANGED Viewed

@@ -19,170 +19,172 @@
   'use strict';
   //region block: imports
   var imul = Math.imul;
-  var protoOf = kotlin_kotlin.$_$.j6;
-  var initMetadataForInterface = kotlin_kotlin.$_$.y5;
-  var initMetadataForCompanion = kotlin_kotlin.$_$.x5;
-  var emptyList = kotlin_kotlin.$_$.k2;
-  var emptySequence = kotlin_kotlin.$_$.k7;
-  var THROW_CCE = kotlin_kotlin.$_$.ca;
-  var isInterface = kotlin_kotlin.$_$.d6;
+  var protoOf = kotlin_kotlin.$_$.o6;
+  var initMetadataForInterface = kotlin_kotlin.$_$.d6;
+  var initMetadataForCompanion = kotlin_kotlin.$_$.c6;
+  var emptyList = kotlin_kotlin.$_$.l2;
+  var emptySequence = kotlin_kotlin.$_$.p7;
+  var THROW_CCE = kotlin_kotlin.$_$.ka;
+  var isInterface = kotlin_kotlin.$_$.i6;
   var VOID = kotlin_kotlin.$_$.b;
-  var toList = kotlin_kotlin.$_$.b4;
-  var single = kotlin_kotlin.$_$.x3;
-  var toList_0 = kotlin_kotlin.$_$.a4;
-  var toList_1 = kotlin_kotlin.$_$.l8;
-  var initMetadataForClass = kotlin_kotlin.$_$.w5;
+  var toList = kotlin_kotlin.$_$.e4;
+  var single = kotlin_kotlin.$_$.y3;
+  var toList_0 = kotlin_kotlin.$_$.d4;
+  var toList_1 = kotlin_kotlin.$_$.q8;
+  var initMetadataForClass = kotlin_kotlin.$_$.b6;
   var NoSuchElementException_init_$Create$ = kotlin_kotlin.$_$.i1;
-  var map = kotlin_kotlin.$_$.y7;
+  var map = kotlin_kotlin.$_$.d8;
   var UnsupportedOperationException_init_$Create$ = kotlin_kotlin.$_$.o1;
   var KtMap = kotlin_kotlin.$_$.s1;
-  var ensureNotNull = kotlin_kotlin.$_$.ga;
-  var listOf = kotlin_kotlin.$_$.a3;
+  var ensureNotNull = kotlin_kotlin.$_$.oa;
+  var listOf = kotlin_kotlin.$_$.b3;
   var asIterable = kotlin_kotlin.$_$.x1;
   var any = kotlin_kotlin.$_$.w1;
-  var toString = kotlin_kotlin.$_$.m6;
+  var toString = kotlin_kotlin.$_$.r6;
   var IllegalArgumentException_init_$Create$ = kotlin_kotlin.$_$.c1;
   var Unit_instance = kotlin_kotlin.$_$.n;
-  var asIterable_0 = kotlin_kotlin.$_$.e7;
+  var asIterable_0 = kotlin_kotlin.$_$.j7;
   var arrayConcat = kotlin_kotlin.$_$.a;
-  var until = kotlin_kotlin.$_$.x6;
+  var until = kotlin_kotlin.$_$.c7;
   var collectionSizeOrDefault = kotlin_kotlin.$_$.d2;
   var ArrayList_init_$Create$ = kotlin_kotlin.$_$.o;
   var Companion_getInstance = kotlin_io_github_gciatto_kt_math.$_$.e;
-  var fromInt = kotlin_kotlin.$_$.v4;
+  var fromInt = kotlin_kotlin.$_$.a5;
   var Companion_getInstance_0 = kotlin_io_github_gciatto_kt_math.$_$.d;
   var cursor = kotlin_it_unibo_tuprolog_utils.$_$.s;
   var KtList = kotlin_kotlin.$_$.r1;
   var cursor_0 = kotlin_it_unibo_tuprolog_utils.$_$.t;
   var cursor_1 = kotlin_it_unibo_tuprolog_utils.$_$.u;
-  var toString_0 = kotlin_kotlin.$_$.ma;
+  var toString_0 = kotlin_kotlin.$_$.va;
   var asReversed = kotlin_kotlin.$_$.y1;
-  var last = kotlin_kotlin.$_$.w2;
-  var count = kotlin_kotlin.$_$.h7;
-  var NumberFormatException = kotlin_kotlin.$_$.z9;
-  var contains = kotlin_kotlin.$_$.u8;
+  var last = kotlin_kotlin.$_$.x2;
+  var count = kotlin_kotlin.$_$.m7;
+  var NumberFormatException = kotlin_kotlin.$_$.ha;
+  var contains = kotlin_kotlin.$_$.z8;
   var LinkedHashMap_init_$Create$ = kotlin_kotlin.$_$.r;
-  var toCharArray = kotlin_kotlin.$_$.k9;
+  var toCharArray = kotlin_kotlin.$_$.r9;
   var asSequence = kotlin_kotlin.$_$.z1;
-  var emptyMap = kotlin_kotlin.$_$.l2;
-  var first = kotlin_kotlin.$_$.o2;
-  var get_lastIndex = kotlin_kotlin.$_$.u2;
-  var slice = kotlin_kotlin.$_$.z3;
-  var listOfNotNull = kotlin_kotlin.$_$.y2;
-  var plus = kotlin_kotlin.$_$.r3;
-  var equals = kotlin_kotlin.$_$.q5;
-  var flatMap = kotlin_kotlin.$_$.q7;
+  var emptyMap = kotlin_kotlin.$_$.m2;
+  var first = kotlin_kotlin.$_$.p2;
+  var get_lastIndex = kotlin_kotlin.$_$.v2;
+  var slice = kotlin_kotlin.$_$.a4;
+  var listOfNotNull = kotlin_kotlin.$_$.z2;
+  var plus = kotlin_kotlin.$_$.s3;
+  var equals = kotlin_kotlin.$_$.v5;
+  var flatMap = kotlin_kotlin.$_$.v7;
   var asSequence_0 = kotlin_kotlin.$_$.b2;
-  var to = kotlin_kotlin.$_$.na;
-  var mapOf = kotlin_kotlin.$_$.c3;
-  var sequenceOf = kotlin_kotlin.$_$.d8;
+  var to = kotlin_kotlin.$_$.wa;
+  var mapOf = kotlin_kotlin.$_$.d3;
+  var sequenceOf = kotlin_kotlin.$_$.i8;
   var IllegalStateException_init_$Create$ = kotlin_kotlin.$_$.f1;
-  var getKClass = kotlin_kotlin.$_$.z6;
+  var getKClass = kotlin_kotlin.$_$.e7;
   var ClassCastException_init_$Create$ = kotlin_kotlin.$_$.a1;
   var Taggable = kotlin_it_unibo_tuprolog_utils.$_$.n;
   var Castable = kotlin_it_unibo_tuprolog_utils.$_$.f;
   var ArrayList_init_$Create$_0 = kotlin_kotlin.$_$.p;
-  var firstOrNull = kotlin_kotlin.$_$.n2;
-  var CoroutineImpl = kotlin_kotlin.$_$.m4;
-  var SequenceScope = kotlin_kotlin.$_$.b7;
-  var get_COROUTINE_SUSPENDED = kotlin_kotlin.$_$.l4;
-  var initMetadataForLambda = kotlin_kotlin.$_$.z5;
-  var constructCallableReference = kotlin_kotlin.$_$.o5;
-  var none = kotlin_kotlin.$_$.a8;
-  var mapCapacity = kotlin_kotlin.$_$.b3;
+  var firstOrNull = kotlin_kotlin.$_$.o2;
+  var CoroutineImpl = kotlin_kotlin.$_$.r4;
+  var SequenceScope = kotlin_kotlin.$_$.g7;
+  var get_COROUTINE_SUSPENDED = kotlin_kotlin.$_$.q4;
+  var initMetadataForLambda = kotlin_kotlin.$_$.e6;
+  var constructCallableReference = kotlin_kotlin.$_$.t5;
+  var none = kotlin_kotlin.$_$.f8;
+  var mapCapacity = kotlin_kotlin.$_$.c3;
   var LinkedHashMap_init_$Create$_0 = kotlin_kotlin.$_$.q;
-  var mutableSetOf = kotlin_kotlin.$_$.m3;
-  var getValue = kotlin_kotlin.$_$.q2;
+  var mutableSetOf = kotlin_kotlin.$_$.n3;
+  var getValue = kotlin_kotlin.$_$.r2;
   var contains_0 = kotlin_kotlin.$_$.e2;
-  var sequence = kotlin_kotlin.$_$.f8;
-  var lastOrNull = kotlin_kotlin.$_$.v7;
-  var getKClassFromExpression = kotlin_kotlin.$_$.y6;
-  var hashCode = kotlin_kotlin.$_$.v5;
-  var toMap = kotlin_kotlin.$_$.e4;
-  var plus_0 = kotlin_kotlin.$_$.o3;
-  var minus = kotlin_kotlin.$_$.g3;
-  var listOf_0 = kotlin_kotlin.$_$.z2;
+  var sequence = kotlin_kotlin.$_$.k8;
+  var lastOrNull = kotlin_kotlin.$_$.a8;
+  var getKClassFromExpression = kotlin_kotlin.$_$.d7;
+  var hashCode = kotlin_kotlin.$_$.a6;
+  var toMap = kotlin_kotlin.$_$.h4;
+  var plus_0 = kotlin_kotlin.$_$.p3;
+  var minus = kotlin_kotlin.$_$.h3;
+  var listOf_0 = kotlin_kotlin.$_$.a3;
   var getTag = kotlin_it_unibo_tuprolog_utils.$_$.m;
   var containsTag = kotlin_it_unibo_tuprolog_utils.$_$.l;
   var castTo = kotlin_it_unibo_tuprolog_utils.$_$.e;
-  var Comparator = kotlin_kotlin.$_$.s9;
-  var initMetadataForObject = kotlin_kotlin.$_$.a6;
-  var compareTo = kotlin_kotlin.$_$.n5;
-  var Enum = kotlin_kotlin.$_$.t9;
-  var joinToString = kotlin_kotlin.$_$.s2;
-  var getBooleanHashCode = kotlin_kotlin.$_$.s5;
-  var getStringHashCode = kotlin_kotlin.$_$.u5;
-  var noWhenBranchMatchedException = kotlin_kotlin.$_$.ja;
+  var Comparable = kotlin_kotlin.$_$.z9;
+  var Comparator = kotlin_kotlin.$_$.aa;
+  var initMetadataForObject = kotlin_kotlin.$_$.f6;
+  var compareTo = kotlin_kotlin.$_$.s5;
+  var Enum = kotlin_kotlin.$_$.ba;
+  var joinToString = kotlin_kotlin.$_$.t2;
+  var getBooleanHashCode = kotlin_kotlin.$_$.x5;
+  var getStringHashCode = kotlin_kotlin.$_$.z5;
+  var noWhenBranchMatchedException = kotlin_kotlin.$_$.sa;
   var Regex_init_$Create$ = kotlin_kotlin.$_$.u;
   var toString_1 = kotlin_kotlin.$_$.g;
   var _Char___init__impl__6a9atx = kotlin_kotlin.$_$.c;
-  var mutableListOf = kotlin_kotlin.$_$.k3;
-  var sequenceOf_0 = kotlin_kotlin.$_$.e8;
-  var objectCreate = kotlin_kotlin.$_$.i6;
-  var captureStack = kotlin_kotlin.$_$.h5;
+  var mutableListOf = kotlin_kotlin.$_$.l3;
+  var sequenceOf_0 = kotlin_kotlin.$_$.j8;
+  var startsWith = kotlin_kotlin.$_$.l9;
+  var objectCreate = kotlin_kotlin.$_$.n6;
+  var captureStack = kotlin_kotlin.$_$.m5;
   var RuntimeException_init_$Init$ = kotlin_kotlin.$_$.n1;
   var RuntimeException_init_$Init$_0 = kotlin_kotlin.$_$.m1;
-  var RuntimeException = kotlin_kotlin.$_$.ba;
-  var lazy = kotlin_kotlin.$_$.ia;
-  var KProperty1 = kotlin_kotlin.$_$.a7;
-  var getPropertyCallableRef = kotlin_kotlin.$_$.t5;
-  var get_lastIndex_0 = kotlin_kotlin.$_$.v2;
-  var sliceArray = kotlin_kotlin.$_$.y3;
-  var asSequence_1 = kotlin_kotlin.$_$.f7;
-  var last_0 = kotlin_kotlin.$_$.w7;
-  var take = kotlin_kotlin.$_$.i8;
-  var joinToString_0 = kotlin_kotlin.$_$.u7;
+  var RuntimeException = kotlin_kotlin.$_$.ja;
+  var lazy = kotlin_kotlin.$_$.ra;
+  var KProperty1 = kotlin_kotlin.$_$.f7;
+  var getPropertyCallableRef = kotlin_kotlin.$_$.y5;
+  var get_lastIndex_0 = kotlin_kotlin.$_$.w2;
+  var sliceArray = kotlin_kotlin.$_$.z3;
+  var asSequence_1 = kotlin_kotlin.$_$.k7;
+  var last_0 = kotlin_kotlin.$_$.b8;
+  var take = kotlin_kotlin.$_$.n8;
+  var joinToString_0 = kotlin_kotlin.$_$.z7;
   var setTags = kotlin_it_unibo_tuprolog_utils.$_$.i1;
   var forceCast = kotlin_it_unibo_tuprolog_utils.$_$.z;
   var itemWiseHashCode = kotlin_it_unibo_tuprolog_utils.$_$.d1;
-  var plus_1 = kotlin_kotlin.$_$.s3;
-  var get_indices = kotlin_kotlin.$_$.r2;
+  var plus_1 = kotlin_kotlin.$_$.t3;
+  var get_indices = kotlin_kotlin.$_$.s2;
   var IndexOutOfBoundsException_init_$Create$ = kotlin_kotlin.$_$.h1;
   var copyToArray = kotlin_kotlin.$_$.i2;
-  var numberToChar = kotlin_kotlin.$_$.g6;
-  var charSequenceLength = kotlin_kotlin.$_$.m5;
-  var mutableMapOf = kotlin_kotlin.$_$.l3;
-  var drop = kotlin_kotlin.$_$.j7;
-  var first_0 = kotlin_kotlin.$_$.p7;
+  var numberToChar = kotlin_kotlin.$_$.l6;
+  var charSequenceLength = kotlin_kotlin.$_$.r5;
+  var mutableMapOf = kotlin_kotlin.$_$.m3;
+  var drop = kotlin_kotlin.$_$.o7;
+  var first_0 = kotlin_kotlin.$_$.u7;
   var insertAt = kotlin_it_unibo_tuprolog_utils.$_$.a1;
-  var plus_2 = kotlin_kotlin.$_$.c8;
+  var plus_2 = kotlin_kotlin.$_$.h8;
   var dropLast = kotlin_it_unibo_tuprolog_utils.$_$.y;
   var Collection = kotlin_kotlin.$_$.p1;
-  var iterator = kotlin_kotlin.$_$.t7;
+  var iterator = kotlin_kotlin.$_$.y7;
   var asJsReadonlyArrayView = kotlin_kotlin.$_$.q1;
   var dequeOf = kotlin_it_unibo_tuprolog_utils.$_$.v;
   var itemWiseHashCode_0 = kotlin_it_unibo_tuprolog_utils.$_$.f1;
   var itemWiseEquals = kotlin_it_unibo_tuprolog_utils.$_$.b1;
-  var toMap_0 = kotlin_kotlin.$_$.c4;
+  var toMap_0 = kotlin_kotlin.$_$.f4;
   var synchronizedOnSelf = kotlin_it_unibo_tuprolog_utils.$_$.j1;
-  var mapOf_0 = kotlin_kotlin.$_$.d3;
-  var emptySet = kotlin_kotlin.$_$.m2;
+  var mapOf_0 = kotlin_kotlin.$_$.e3;
+  var emptySet = kotlin_kotlin.$_$.n2;
   var asSequence_2 = kotlin_kotlin.$_$.a2;
-  var filter = kotlin_kotlin.$_$.n7;
-  var firstOrNull_0 = kotlin_kotlin.$_$.o7;
-  var Pair = kotlin_kotlin.$_$.aa;
-  var setOf = kotlin_kotlin.$_$.v3;
-  var setOf_0 = kotlin_kotlin.$_$.u3;
-  var defineProp = kotlin_kotlin.$_$.p5;
+  var filter = kotlin_kotlin.$_$.s7;
+  var firstOrNull_0 = kotlin_kotlin.$_$.t7;
+  var Pair = kotlin_kotlin.$_$.ia;
+  var setOf = kotlin_kotlin.$_$.w3;
+  var setOf_0 = kotlin_kotlin.$_$.v3;
+  var defineProp = kotlin_kotlin.$_$.u5;
   var synchronizedOn = kotlin_it_unibo_tuprolog_utils.$_$.k1;
-  var add = kotlin_kotlin.$_$.q4;
-  var singleOrNull = kotlin_kotlin.$_$.w3;
+  var add = kotlin_kotlin.$_$.v4;
+  var singleOrNull = kotlin_kotlin.$_$.x3;
   var Companion_instance = kotlin_kotlin.$_$.m;
   var _Result___init__impl__xyqfz8 = kotlin_kotlin.$_$.h;
-  var createFailure = kotlin_kotlin.$_$.fa;
+  var createFailure = kotlin_kotlin.$_$.na;
   var _Result___get_value__impl__bjfvqg = kotlin_kotlin.$_$.j;
   var _Result___get_isFailure__impl__jpiriv = kotlin_kotlin.$_$.i;
   var asSequence_3 = kotlin_kotlin.$_$.c2;
-  var toSet = kotlin_kotlin.$_$.n8;
-  var toHashSet = kotlin_kotlin.$_$.k8;
-  var minus_0 = kotlin_kotlin.$_$.j3;
-  var minus_1 = kotlin_kotlin.$_$.i3;
+  var toSet = kotlin_kotlin.$_$.s8;
+  var toHashSet = kotlin_kotlin.$_$.p8;
+  var minus_0 = kotlin_kotlin.$_$.k3;
+  var minus_1 = kotlin_kotlin.$_$.j3;
   var KtSet = kotlin_kotlin.$_$.t1;
   var Companion_instance_0 = kotlin_kotlin.$_$.l;
-  var plus_3 = kotlin_kotlin.$_$.p3;
+  var plus_3 = kotlin_kotlin.$_$.q3;
   var IllegalArgumentException_init_$Create$_0 = kotlin_kotlin.$_$.d1;
-  var IllegalStateException = kotlin_kotlin.$_$.v9;
-  var THROW_IAE = kotlin_kotlin.$_$.da;
+  var IllegalStateException = kotlin_kotlin.$_$.da;
+  var THROW_IAE = kotlin_kotlin.$_$.la;
   //endregion
   //region block: pre-declaration
   function apply(substitution, substitutions) {
@@ -201,7 +203,7 @@
     return castTo.call(this);
   }
   function compareTo_0(other) {
-    return DefaultComparator_instance.compare_4lac5h_k$(this, other);
+    return DefaultComparator_instance.compare_a0c51t_k$(this, other);
   }
   function get_isVar() {
     return false;
@@ -535,7 +537,7 @@
   function asVar() {
     return null;
   }
-  initMetadataForInterface(Term, 'Term', VOID, VOID, [Taggable, Castable, Applicable, Variabled]);
+  initMetadataForInterface(Term, 'Term', VOID, VOID, [Comparable, Taggable, Castable, Applicable, Variabled]);
   function get_isStruct_0() {
     return true;
   }
@@ -629,7 +631,7 @@
     return this.castTo_8vzplt_k$();
   }
   function compareTo_1(other) {
-    return this.compareTo_etpqlr_k$((!(other == null) ? isInterface(other, Term) : false) ? other : THROW_CCE());
+    return this.compareTo_kfa5id_k$((!(other == null) ? isInterface(other, Term) : false) ? other : THROW_CCE());
   }
   initMetadataForInterface(Struct, 'Struct', VOID, VOID, [Term]);
   function get_isConstant_0() {
@@ -645,7 +647,7 @@
     return this.castTo_8vzplt_k$();
   }
   function compareTo_2(other) {
-    return this.compareTo_etpqlr_k$((!(other == null) ? isInterface(other, Term) : false) ? other : THROW_CCE());
+    return this.compareTo_kfa5id_k$((!(other == null) ? isInterface(other, Term) : false) ? other : THROW_CCE());
   }
   initMetadataForInterface(Constant, 'Constant', VOID, VOID, [Term]);
   function get_arity_0() {
@@ -688,7 +690,7 @@
     return this.castTo_8vzplt_k$();
   }
   function compareTo_3(other) {
-    return this.compareTo_etpqlr_k$((!(other == null) ? isInterface(other, Term) : false) ? other : THROW_CCE());
+    return this.compareTo_kfa5id_k$((!(other == null) ? isInterface(other, Term) : false) ? other : THROW_CCE());
   }
   function asConstant_2() {
     return this.asConstant_3hn112_k$();
@@ -711,7 +713,7 @@
     return this.castTo_8vzplt_k$();
   }
   function compareTo_4(other) {
-    return this.compareTo_etpqlr_k$((!(other == null) ? isInterface(other, Term) : false) ? other : THROW_CCE());
+    return this.compareTo_kfa5id_k$((!(other == null) ? isInterface(other, Term) : false) ? other : THROW_CCE());
   }
   initMetadataForInterface(Recursive, 'Recursive', VOID, VOID, [Struct]);
   function get_isBlock_1() {
@@ -754,7 +756,7 @@
     return this.castTo_8vzplt_k$();
   }
   function compareTo_5(other) {
-    return this.compareTo_etpqlr_k$((!(other == null) ? isInterface(other, Term) : false) ? other : THROW_CCE());
+    return this.compareTo_kfa5id_k$((!(other == null) ? isInterface(other, Term) : false) ? other : THROW_CCE());
   }
   initMetadataForInterface(Block, 'Block', VOID, VOID, [Recursive]);
   function visitTerm(term) {
@@ -861,7 +863,7 @@
     return this.castTo_8vzplt_k$();
   }
   function compareTo_6(other) {
-    return this.compareTo_etpqlr_k$((!(other == null) ? isInterface(other, Term) : false) ? other : THROW_CCE());
+    return this.compareTo_kfa5id_k$((!(other == null) ? isInterface(other, Term) : false) ? other : THROW_CCE());
   }
   initMetadataForInterface(Clause, 'Clause', VOID, VOID, [Struct]);
   initMetadataForCompanion(Companion_2);
@@ -895,7 +897,7 @@
     return this.castTo_8vzplt_k$();
   }
   function compareTo_7(other) {
-    return this.compareTo_etpqlr_k$((!(other == null) ? isInterface(other, Term) : false) ? other : THROW_CCE());
+    return this.compareTo_kfa5id_k$((!(other == null) ? isInterface(other, Term) : false) ? other : THROW_CCE());
   }
   initMetadataForInterface(List, 'List', VOID, VOID, [Recursive]);
   function get_isCons_1() {
@@ -929,7 +931,7 @@
     return this.castTo_8vzplt_k$();
   }
   function compareTo_8(other) {
-    return this.compareTo_etpqlr_k$((!(other == null) ? isInterface(other, Term) : false) ? other : THROW_CCE());
+    return this.compareTo_kfa5id_k$((!(other == null) ? isInterface(other, Term) : false) ? other : THROW_CCE());
   }
   initMetadataForInterface(Cons, 'Cons', VOID, VOID, [List]);
   initMetadataForCompanion(Companion_3);
@@ -961,7 +963,7 @@
     return this.castTo_8vzplt_k$();
   }
   function compareTo_9(other) {
-    return this.compareTo_etpqlr_k$((!(other == null) ? isInterface(other, Term) : false) ? other : THROW_CCE());
+    return this.compareTo_kfa5id_k$((!(other == null) ? isInterface(other, Term) : false) ? other : THROW_CCE());
   }
   initMetadataForInterface(Directive, 'Directive', VOID, VOID, [Clause]);
   initMetadataForCompanion(Companion_4);
@@ -985,7 +987,7 @@
     return this.castTo_8vzplt_k$();
   }
   function compareTo_10(other) {
-    return this.compareTo_etpqlr_k$((!(other == null) ? isInterface(other, Term) : false) ? other : THROW_CCE());
+    return this.compareTo_kfa5id_k$((!(other == null) ? isInterface(other, Term) : false) ? other : THROW_CCE());
   }
   function asConstant_3() {
     return this.asConstant_3hn112_k$();
@@ -1050,7 +1052,7 @@
     return this.castTo_8vzplt_k$();
   }
   function compareTo_11(other) {
-    return this.compareTo_etpqlr_k$((!(other == null) ? isInterface(other, Term) : false) ? other : THROW_CCE());
+    return this.compareTo_kfa5id_k$((!(other == null) ? isInterface(other, Term) : false) ? other : THROW_CCE());
   }
   function asConstant_4() {
     return this.asConstant_3hn112_k$();
@@ -1088,7 +1090,7 @@
     return this.castTo_8vzplt_k$();
   }
   function compareTo_12(other) {
-    return this.compareTo_etpqlr_k$((!(other == null) ? isInterface(other, Term) : false) ? other : THROW_CCE());
+    return this.compareTo_kfa5id_k$((!(other == null) ? isInterface(other, Term) : false) ? other : THROW_CCE());
   }
   initMetadataForInterface(Rule, 'Rule', VOID, VOID, [Clause]);
   function get_body() {
@@ -1116,7 +1118,7 @@
     return this.castTo_8vzplt_k$();
   }
   function compareTo_13(other) {
-    return this.compareTo_etpqlr_k$((!(other == null) ? isInterface(other, Term) : false) ? other : THROW_CCE());
+    return this.compareTo_kfa5id_k$((!(other == null) ? isInterface(other, Term) : false) ? other : THROW_CCE());
   }
   initMetadataForInterface(Fact, 'Fact', VOID, VOID, [Rule]);
   initMetadataForCompanion(Companion_8);
@@ -1182,7 +1184,7 @@
     return this.castTo_8vzplt_k$();
   }
   function compareTo_14(other) {
-    return this.compareTo_etpqlr_k$((!(other == null) ? isInterface(other, Term) : false) ? other : THROW_CCE());
+    return this.compareTo_kfa5id_k$((!(other == null) ? isInterface(other, Term) : false) ? other : THROW_CCE());
   }
   initMetadataForInterface(Indicator, 'Indicator', VOID, VOID, [Struct]);
   initMetadataForCompanion(Companion_9);
@@ -1193,7 +1195,7 @@
     return emptySequence();
   }
   function compareValueTo(other) {
-    return this.get_decimalValue_7pja3t_k$().compareTo_5oqbyo_k$(other.get_decimalValue_7pja3t_k$());
+    return this.get_decimalValue_7pja3t_k$().compareTo_dqfxu6_k$(other.get_decimalValue_7pja3t_k$());
   }
   function asNumeric_0() {
     return this;
@@ -1208,7 +1210,7 @@
     return this.castTo_8vzplt_k$();
   }
   function compareTo_15(other) {
-    return this.compareTo_etpqlr_k$((!(other == null) ? isInterface(other, Term) : false) ? other : THROW_CCE());
+    return this.compareTo_kfa5id_k$((!(other == null) ? isInterface(other, Term) : false) ? other : THROW_CCE());
   }
   initMetadataForInterface(Numeric, 'Numeric', VOID, VOID, [Constant]);
   function get_isInteger_0() {
@@ -1236,7 +1238,7 @@
     return this.castTo_8vzplt_k$();
   }
   function compareTo_16(other) {
-    return this.compareTo_etpqlr_k$((!(other == null) ? isInterface(other, Term) : false) ? other : THROW_CCE());
+    return this.compareTo_kfa5id_k$((!(other == null) ? isInterface(other, Term) : false) ? other : THROW_CCE());
   }
   initMetadataForInterface(Integer, 'Integer', VOID, VOID, [Numeric]);
   initMetadataForCompanion(Companion_10);
@@ -1272,7 +1274,7 @@
     return this.castTo_8vzplt_k$();
   }
   function compareTo_17(other) {
-    return this.compareTo_etpqlr_k$((!(other == null) ? isInterface(other, Term) : false) ? other : THROW_CCE());
+    return this.compareTo_kfa5id_k$((!(other == null) ? isInterface(other, Term) : false) ? other : THROW_CCE());
   }
   initMetadataForInterface(Real, 'Real', VOID, VOID, [Numeric]);
   initMetadataForCompanion(Companion_14);
@@ -1282,15 +1284,15 @@
   }
   function logicListFromFrom(terms, last, $super) {
     last = last === VOID ? null : last;
-    return $super === VOID ? this.logicListFrom_iecwwx_k$(terms, last) : $super.logicListFrom_iecwwx_k$.call(this, terms, last);
+    return $super === VOID ? this.logicListFrom_pxemlx_k$(terms, last) : $super.logicListFrom_pxemlx_k$.call(this, terms, last);
   }
   function logicListFromIterable(terms, last, $super) {
     last = last === VOID ? null : last;
-    return $super === VOID ? this.logicListFrom_afyyj7_k$(terms, last) : $super.logicListFrom_afyyj7_k$.call(this, terms, last);
+    return $super === VOID ? this.logicListFrom_yn067b_k$(terms, last) : $super.logicListFrom_yn067b_k$.call(this, terms, last);
   }
   function logicListFromSequence(terms, last, $super) {
     last = last === VOID ? null : last;
-    return $super === VOID ? this.logicListFrom_vtafhd_k$(terms, last) : $super.logicListFrom_vtafhd_k$.call(this, terms, last);
+    return $super === VOID ? this.logicListFrom_65oz79_k$(terms, last) : $super.logicListFrom_65oz79_k$.call(this, terms, last);
   }
   initMetadataForInterface(Scope, 'Scope');
   initMetadataForCompanion(Companion_16);
@@ -1434,7 +1436,7 @@
     return this.castTo_8vzplt_k$();
   }
   function compareTo_18(other) {
-    return this.compareTo_etpqlr_k$((!(other == null) ? isInterface(other, Term) : false) ? other : THROW_CCE());
+    return this.compareTo_kfa5id_k$((!(other == null) ? isInterface(other, Term) : false) ? other : THROW_CCE());
   }
   function asConstant_8() {
     return this.asConstant_3hn112_k$();
@@ -1481,7 +1483,7 @@
     return this.castTo_8vzplt_k$();
   }
   function compareTo_19(other) {
-    return this.compareTo_etpqlr_k$((!(other == null) ? isInterface(other, Term) : false) ? other : THROW_CCE());
+    return this.compareTo_kfa5id_k$((!(other == null) ? isInterface(other, Term) : false) ? other : THROW_CCE());
   }
   initMetadataForInterface(Tuple, 'Tuple', VOID, VOID, [Recursive]);
   initMetadataForClass(TupleIterator$tupleIteratorVisitor$1, VOID, VOID, VOID, [TermVisitor]);
@@ -1496,6 +1498,9 @@
   function get_isAnonymous() {
     return '_' === this.get_name_woqyms_k$();
   }
+  function get_isWildcard() {
+    return startsWith(this.get_name_woqyms_k$(), '_');
+  }
   function asVar_0() {
     return this;
   }
@@ -1506,7 +1511,7 @@
     return this.castTo_8vzplt_k$();
   }
   function compareTo_20(other) {
-    return this.compareTo_etpqlr_k$((!(other == null) ? isInterface(other, Term) : false) ? other : THROW_CCE());
+    return this.compareTo_kfa5id_k$((!(other == null) ? isInterface(other, Term) : false) ? other : THROW_CCE());
   }
   initMetadataForInterface(Var, 'Var', VOID, VOID, [Term]);
   initMetadataForCompanion(Companion_24);
@@ -1567,7 +1572,7 @@
   initMetadataForClass(VarImpl, 'VarImpl', VOID, TermImpl, [Var]);
   initMetadataForClass(VariablesProviderImpl, 'VariablesProviderImpl', VOID, VOID, [Scope]);
   initMetadataForCompanion(Companion_30);
-  initMetadataForClass(Operator, 'Operator');
+  initMetadataForClass(Operator, 'Operator', VOID, VOID, [Comparable]);
   initMetadataForCompanion(Companion_31);
   initMetadataForClass(OperatorSet, 'OperatorSet', VOID, VOID, [KtSet]);
   initMetadataForCompanion(Companion_32);
@@ -1644,12 +1649,12 @@
   protoOf(BlockIteratorVisitor).visitTuple = function (term) {
     return this.visitTuple_j9vfzg_k$(term);
   };
-  protoOf(BlockIteratorVisitor).defaultValue_g74ewx_k$ = function (term) {
+  protoOf(BlockIteratorVisitor).defaultValue_gnn9hx_k$ = function (term) {
     this.$this_1.current_1 = null;
     return term;
   };
   protoOf(BlockIteratorVisitor).defaultValue = function (term) {
-    return this.defaultValue_g74ewx_k$(term);
+    return this.defaultValue_gnn9hx_k$(term);
   };
   function BlockIterator$outerBlockIteratorVisitor$1(this$0) {
     this.this$0__1 = this$0;
@@ -1701,11 +1706,11 @@
   }
   function Clause$Companion$bodyWellFormedVisitor$1() {
   }
-  protoOf(Clause$Companion$bodyWellFormedVisitor$1).defaultValue_g74ewx_k$ = function (term) {
+  protoOf(Clause$Companion$bodyWellFormedVisitor$1).defaultValue_gnn9hx_k$ = function (term) {
     return true;
   };
   protoOf(Clause$Companion$bodyWellFormedVisitor$1).defaultValue = function (term) {
-    return this.defaultValue_g74ewx_k$(term);
+    return this.defaultValue_gnn9hx_k$(term);
   };
   protoOf(Clause$Companion$bodyWellFormedVisitor$1).visitNumeric_xzyddi_k$ = function (term) {
     return false;
@@ -1737,11 +1742,11 @@
   function Clause$Companion$preparationForExecutionVisitor$1($unifier) {
     this.$unifier_1 = $unifier;
   }
-  protoOf(Clause$Companion$preparationForExecutionVisitor$1).defaultValue_g74ewx_k$ = function (term) {
+  protoOf(Clause$Companion$preparationForExecutionVisitor$1).defaultValue_gnn9hx_k$ = function (term) {
     return term;
   };
   protoOf(Clause$Companion$preparationForExecutionVisitor$1).defaultValue = function (term) {
-    return this.defaultValue_g74ewx_k$(term);
+    return this.defaultValue_gnn9hx_k$(term);
   };
   protoOf(Clause$Companion$preparationForExecutionVisitor$1).visitStruct_bessvw_k$ = function (term) {
     var tmp;
@@ -2175,7 +2180,7 @@
     this.this$0__1 = this$0;
   }
   protoOf(ListIterator$listIteratorVisitor$1).visitCons_n5mza2_k$ = function (term) {
-    this.this$0__1.set_current_mlxavo_k$(term.get_tail_wousgp_k$());
+    this.this$0__1.set_current_xb575s_k$(term.get_tail_wousgp_k$());
     return term.get_head_won7e1_k$();
   };
   protoOf(ListIterator$listIteratorVisitor$1).visitCons = function (term) {
@@ -2187,19 +2192,19 @@
   protoOf(ListIterator$listIteratorVisitor$1).visitEmptyList = function (term) {
     return this.visitEmptyList_huywf4_k$(term);
   };
-  protoOf(ListIterator$listIteratorVisitor$1).defaultValue_g74ewx_k$ = function (term) {
-    this.this$0__1.set_current_mlxavo_k$(null);
+  protoOf(ListIterator$listIteratorVisitor$1).defaultValue_gnn9hx_k$ = function (term) {
+    this.this$0__1.set_current_xb575s_k$(null);
     return term;
   };
   protoOf(ListIterator$listIteratorVisitor$1).defaultValue = function (term) {
-    return this.defaultValue_g74ewx_k$(term);
+    return this.defaultValue_gnn9hx_k$(term);
   };
   function ListIterator(list) {
     this.current_1 = list;
     var tmp = this;
     tmp.listIteratorVisitor_1 = new ListIterator$listIteratorVisitor$1(this);
   }
-  protoOf(ListIterator).set_current_mlxavo_k$ = function (_set____db54di) {
+  protoOf(ListIterator).set_current_xb575s_k$ = function (_set____db54di) {
     this.current_1 = _set____db54di;
   };
   protoOf(ListIterator).get_current_jwi6j4_k$ = function () {
@@ -2220,7 +2225,7 @@
     return tmp;
   };
   protoOf(ListIterator).onEmptyList_7ebd2s_k$ = function (item) {
-    this.set_current_mlxavo_k$(null);
+    this.set_current_xb575s_k$(null);
     return item;
   };
   function Companion_12() {
@@ -2436,7 +2441,7 @@
   }
   function Struct$Companion$escapeFunctor$lambda($escapeSingleQuotes, $escapeDoubleQuotes) {
     return function (it) {
-      return Terms_getInstance().escapeChar_xzh36s_k$(it.value_1, $escapeSingleQuotes, $escapeDoubleQuotes);
+      return Terms_getInstance().escapeChar_2um7ja_k$(it.value_1, $escapeSingleQuotes, $escapeDoubleQuotes);
     };
   }
   function Companion_16() {
@@ -3081,11 +3086,11 @@
   protoOf(UnifierImpl).toString = function () {
     return toString(this.assignments_1);
   };
-  protoOf(UnifierImpl).applyTo_iv608q_k$ = function (term) {
+  protoOf(UnifierImpl).applyTo_nkt17y_k$ = function (term) {
     return term.applySubstitution(this);
   };
   protoOf(UnifierImpl).applyTo = function (term) {
-    return this.applyTo_iv608q_k$(term);
+    return this.applyTo_nkt17y_k$(term);
   };
   protoOf(UnifierImpl).resetTags_94corn_k$ = function (tags) {
     var tmp;
@@ -3196,11 +3201,11 @@
   protoOf(FailImpl).toString = function () {
     return '{Failed Substitution}';
   };
-  protoOf(FailImpl).applyTo_iv608q_k$ = function (term) {
+  protoOf(FailImpl).applyTo_nkt17y_k$ = function (term) {
     return null;
   };
   protoOf(FailImpl).applyTo = function (term) {
-    return this.applyTo_iv608q_k$(term);
+    return this.applyTo_nkt17y_k$(term);
   };
   protoOf(FailImpl).resetTags_94corn_k$ = function (tags) {
     return equals(tags, this.tags_1) ? this : new FailImpl(tags);
@@ -3446,7 +3451,7 @@
   function RealComparator() {
   }
   protoOf(RealComparator).compare_wj2zdx_k$ = function (a, b) {
-    return a.get_decimalValue_7pja3t_k$().compareTo_5oqbyo_k$(b.get_decimalValue_7pja3t_k$());
+    return a.get_decimalValue_7pja3t_k$().compareTo_dqfxu6_k$(b.get_decimalValue_7pja3t_k$());
   };
   protoOf(RealComparator).compare = function (a, b) {
     var tmp = (!(a == null) ? isInterface(a, Real) : false) ? a : THROW_CCE();
@@ -3459,7 +3464,7 @@
   function IntegerComparator() {
   }
   protoOf(IntegerComparator).compare_ukbcs3_k$ = function (a, b) {
-    return a.get_intValue_mlvnn9_k$().compareTo_cka4fx_k$(b.get_intValue_mlvnn9_k$());
+    return a.get_intValue_mlvnn9_k$().compareTo_u56mz_k$(b.get_intValue_mlvnn9_k$());
   };
   protoOf(IntegerComparator).compare = function (a, b) {
     var tmp = (!(a == null) ? isInterface(a, Integer) : false) ? a : THROW_CCE();
@@ -3471,7 +3476,7 @@
   }
   function DefaultComparator() {
   }
-  protoOf(DefaultComparator).compare_4lac5h_k$ = function (a, b) {
+  protoOf(DefaultComparator).compare_a0c51t_k$ = function (a, b) {
     var tmp;
     if (a.get_isVar_it73p0_k$()) {
       tmp = compareVarAndTerm(this, a.castToVar(), b);
@@ -3490,7 +3495,7 @@
   };
   protoOf(DefaultComparator).compare = function (a, b) {
     var tmp = (!(a == null) ? isInterface(a, Term) : false) ? a : THROW_CCE();
-    return this.compare_4lac5h_k$(tmp, (!(b == null) ? isInterface(b, Term) : false) ? b : THROW_CCE());
+    return this.compare_a0c51t_k$(tmp, (!(b == null) ? isInterface(b, Term) : false) ? b : THROW_CCE());
   };
   var DefaultComparator_instance;
   function DefaultComparator_getInstance() {
@@ -3511,7 +3516,7 @@
           do {
             var i = inductionVariable;
             inductionVariable = inductionVariable + 1 | 0;
-            var ithArgComparison = DefaultComparator_instance.compare_4lac5h_k$(a.get(i), b.get(i));
+            var ithArgComparison = DefaultComparator_instance.compare_a0c51t_k$(a.get(i), b.get(i));
             if (!(ithArgComparison === 0)) {
               return ithArgComparison;
             }
@@ -3833,7 +3838,7 @@
     this.EMPTY_BLOCK_FUNCTOR_1 = '{}';
     this.INDICATOR_FUNCTOR_1 = '/';
   }
-  protoOf(Terms).escapeChar_xzh36s_k$ = function (char, singleQuotes, doubleQuotes) {
+  protoOf(Terms).escapeChar_2um7ja_k$ = function (char, singleQuotes, doubleQuotes) {
     return char === _Char___init__impl__6a9atx(10) ? '\\n' : char === _Char___init__impl__6a9atx(9) ? '\\t' : char === _Char___init__impl__6a9atx(13) ? '\\r' : char === _Char___init__impl__6a9atx(92) ? '\\\\' : char === _Char___init__impl__6a9atx(39) ? singleQuotes ? "\\'" : "'" : char === _Char___init__impl__6a9atx(34) ? doubleQuotes ? '\\"' : '"' : toString_1(char);
   };
   var Terms_instance;
@@ -3984,12 +3989,12 @@
   protoOf(TupleIterator$tupleIteratorVisitor$1).visitTuple = function (term) {
     return this.visitTuple_j9vfzg_k$(term);
   };
-  protoOf(TupleIterator$tupleIteratorVisitor$1).defaultValue_g74ewx_k$ = function (term) {
+  protoOf(TupleIterator$tupleIteratorVisitor$1).defaultValue_gnn9hx_k$ = function (term) {
     this.this$0__1.current_1 = null;
     return term;
   };
   protoOf(TupleIterator$tupleIteratorVisitor$1).defaultValue = function (term) {
-    return this.defaultValue_g74ewx_k$(term);
+    return this.defaultValue_gnn9hx_k$(term);
   };
   function TupleIterator(tuple) {
     var tmp = this;
@@ -4247,7 +4252,7 @@
     return this.castTo_8vzplt_k$();
   };
   protoOf(AbstractCons).compareTo_hpufkf_k$ = function (other) {
-    return this.compareTo_etpqlr_k$((!(other == null) ? isInterface(other, Term) : false) ? other : THROW_CCE());
+    return this.compareTo_kfa5id_k$((!(other == null) ? isInterface(other, Term) : false) ? other : THROW_CCE());
   };
   protoOf(AbstractCons).asCons = function () {
     return this.asCons_nb98cd_k$();
@@ -4330,7 +4335,7 @@
   protoOf(AbstractStruct).freshCopyFromScope = function (scope) {
     return this.freshCopyFromScope_tnhsyi_k$(scope);
   };
-  protoOf(AbstractStruct).structurallyEquals_wi3ovu_k$ = function (other) {
+  protoOf(AbstractStruct).structurallyEquals_9blifm_k$ = function (other) {
     var tmp;
     if (other.get_isStruct_zeoyoo_k$()) {
       // Inline function 'kotlin.let' call
@@ -4342,7 +4347,7 @@
     return tmp;
   };
   protoOf(AbstractStruct).structurallyEquals = function (other) {
-    return this.structurallyEquals_wi3ovu_k$(other);
+    return this.structurallyEquals_9blifm_k$(other);
   };
   protoOf(AbstractStruct).itemsAreStructurallyEqual_v1tbki_k$ = function (other) {
     var inductionVariable = 0;
@@ -4409,7 +4414,7 @@
        while (inductionVariable < last);
     return true;
   };
-  protoOf(AbstractStruct).equalsUsingVarCompleteNames_q3oi3h_k$ = function (other, useVarCompleteName) {
+  protoOf(AbstractStruct).equalsUsingVarCompleteNames_be7foz_k$ = function (other, useVarCompleteName) {
     var tmp0_safe_receiver = other.asStruct();
     var tmp;
     if (tmp0_safe_receiver == null) {
@@ -4422,7 +4427,7 @@
     return tmp1_elvis_lhs == null ? false : tmp1_elvis_lhs;
   };
   protoOf(AbstractStruct).equalsUsingVarCompleteNames = function (other, useVarCompleteName) {
-    return this.equalsUsingVarCompleteNames_q3oi3h_k$(other, useVarCompleteName);
+    return this.equalsUsingVarCompleteNames_be7foz_k$(other, useVarCompleteName);
   };
   protoOf(AbstractStruct).get_hashCodeCache_8fx9tq_k$ = function () {
     var tmp0 = this.hashCodeCache$delegate_1;
@@ -4439,19 +4444,19 @@
     var quoted = Companion_getInstance_18().enquoteFunctorIfNecessary(escaped);
     return quoted + (this.get_arity_iosiic_k$() > 0 ? '(' + joinToString(this.get_argsList_cw1bs4_k$(), ', ') + ')' : '');
   };
-  protoOf(AbstractStruct).addLast_ve2rt4_k$ = function (argument) {
+  protoOf(AbstractStruct).addLast_8geq7w_k$ = function (argument) {
     return Companion_getInstance_18().ofList(this.get_functor_75vgt2_k$(), plus_1(this.get_argsList_cw1bs4_k$(), argument));
   };
   protoOf(AbstractStruct).addLast = function (argument) {
-    return this.addLast_ve2rt4_k$(argument);
+    return this.addLast_8geq7w_k$(argument);
   };
-  protoOf(AbstractStruct).addFirst_x2gs1s_k$ = function (argument) {
+  protoOf(AbstractStruct).addFirst_obxnv0_k$ = function (argument) {
     return Companion_getInstance_18().ofList(this.get_functor_75vgt2_k$(), plus(listOf_0(argument), this.get_argsList_cw1bs4_k$()));
   };
   protoOf(AbstractStruct).addFirst = function (argument) {
-    return this.addFirst_x2gs1s_k$(argument);
+    return this.addFirst_obxnv0_k$(argument);
   };
-  protoOf(AbstractStruct).insertAt_ix97j1_k$ = function (index, argument) {
+  protoOf(AbstractStruct).insertAt_xv0lrl_k$ = function (index, argument) {
     var tmp;
     if (0 <= index ? index < this.get_arity_iosiic_k$() : false) {
       // Inline function 'kotlin.collections.toTypedArray' call
@@ -4464,7 +4469,7 @@
     return tmp;
   };
   protoOf(AbstractStruct).insertAt = function (index, argument) {
-    return this.insertAt_ix97j1_k$(index, argument);
+    return this.insertAt_xv0lrl_k$(index, argument);
   };
   protoOf(AbstractStruct).setFunctor_56hc3t_k$ = function (functor) {
     return Companion_getInstance_18().ofList(functor, this.get_argsList_cw1bs4_k$());
@@ -4515,7 +4520,7 @@
     return this.castTo_8vzplt_k$();
   };
   protoOf(AbstractStruct).compareTo_hpufkf_k$ = function (other) {
-    return this.compareTo_etpqlr_k$((!(other == null) ? isInterface(other, Term) : false) ? other : THROW_CCE());
+    return this.compareTo_kfa5id_k$((!(other == null) ? isInterface(other, Term) : false) ? other : THROW_CCE());
   };
   protoOf(AbstractStruct).asStruct = function () {
     return this.asStruct_l3eul5_k$();
@@ -4536,7 +4541,7 @@
     if (term.get_functor_75vgt2_k$() === '$VAR' && term.get_arity_iosiic_k$() === 1) {
       // Inline function 'kotlin.let' call
       var it = term.get(0);
-      tmp = (it.get_isInteger_vb3zt7_k$() && it.castToInteger().get_value_j01efc_k$().compareTo_cka4fx_k$(Companion_getInstance().ZERO) >= 0);
+      tmp = (it.get_isInteger_vb3zt7_k$() && it.castToInteger().get_value_j01efc_k$().compareTo_u56mz_k$(Companion_getInstance().ZERO) >= 0);
     } else {
       tmp = false;
     }
@@ -4545,7 +4550,7 @@
   function numberedVar($this, integer) {
     var letterIndex = integer.get_value_j01efc_k$().rem(Companion_getInstance_29().TWENTY_SIX_1).toInt() + 65 | 0;
     var varNumber = integer.get_value_j01efc_k$().div(Companion_getInstance_29().TWENTY_SIX_1);
-    return toString_1(numberToChar(letterIndex)) + varNumber.toString();
+    return toString_1(numberToChar(letterIndex)) + toString(varNumber.signum > 0 ? varNumber : '');
   }
   function formatFunctor($this, term) {
     var tmp;
@@ -4572,7 +4577,7 @@
   }
   function AbstractTermFormatter$visitCollection$lambda(this$0, $term) {
     return function (it) {
-      return this$0.defaultValue_g74ewx_k$($term);
+      return this$0.defaultValue_gnn9hx_k$($term);
     };
   }
   function AbstractTermFormatter$visitCons$lambda$lambda(this$0) {
@@ -4595,7 +4600,7 @@
       }
       var lastString = tmp_0;
       var tmp$ret$0 = base + lastString;
-      return this$0.plusTagsOf_841onh_k$(tmp$ret$0, $term);
+      return this$0.plusTagsOf_2jpse1_k$(tmp$ret$0, $term);
     };
   }
   function AbstractTermFormatter$visitBlock$lambda$lambda(this$0) {
@@ -4606,7 +4611,7 @@
   function AbstractTermFormatter$visitBlock$lambda(this$0, $term) {
     return function (it) {
       var tmp = $term.get_unfoldedSequence_yne57n_k$();
-      return this$0.plusTagsOf_841onh_k$(joinToString_0(tmp, ', ', '{', '}', VOID, VOID, AbstractTermFormatter$visitBlock$lambda$lambda(this$0)), $term);
+      return this$0.plusTagsOf_2jpse1_k$(joinToString_0(tmp, ', ', '{', '}', VOID, VOID, AbstractTermFormatter$visitBlock$lambda$lambda(this$0)), $term);
     };
   }
   function AbstractTermFormatter$visitTuple$lambda$lambda(this$0) {
@@ -4617,7 +4622,7 @@
   function AbstractTermFormatter$visitTuple$lambda(this$0, $term) {
     return function (it) {
       var tmp = $term.get_unfoldedSequence_yne57n_k$();
-      return this$0.plusTagsOf_841onh_k$(joinToString_0(tmp, ', ', '(', ')', VOID, VOID, AbstractTermFormatter$visitTuple$lambda$lambda(this$0)), $term);
+      return this$0.plusTagsOf_2jpse1_k$(joinToString_0(tmp, ', ', '(', ')', VOID, VOID, AbstractTermFormatter$visitTuple$lambda$lambda(this$0)), $term);
     };
   }
   function AbstractTermFormatter$visitClause$lambda($term, this$0) {
@@ -4636,7 +4641,7 @@
     this.ignoreOps_1 = ignoreOps;
     this.tagsOptions_1 = tagsOptions;
   }
-  protoOf(AbstractTermFormatter).plusTagsOf_841onh_k$ = function (_this__u8e3s4, term) {
+  protoOf(AbstractTermFormatter).plusTagsOf_2jpse1_k$ = function (_this__u8e3s4, term) {
     var formattedTags = this.tagsOptions_1.formatTags_6tyvwr_k$(term.get_tags_wousf6_k$());
     var tmp;
     // Inline function 'kotlin.text.isNotEmpty' call
@@ -4647,14 +4652,14 @@
     }
     return tmp;
   };
-  protoOf(AbstractTermFormatter).defaultValue_g74ewx_k$ = function (term) {
-    return this.plusTagsOf_841onh_k$(term.toString(), term);
+  protoOf(AbstractTermFormatter).defaultValue_gnn9hx_k$ = function (term) {
+    return this.plusTagsOf_2jpse1_k$(term.toString(), term);
   };
   protoOf(AbstractTermFormatter).defaultValue = function (term) {
-    return this.defaultValue_g74ewx_k$(term);
+    return this.defaultValue_gnn9hx_k$(term);
   };
   protoOf(AbstractTermFormatter).visitAtom_ibpkj8_k$ = function (term) {
-    return this.plusTagsOf_841onh_k$(formatFunctor(this, term), term);
+    return this.plusTagsOf_2jpse1_k$(formatFunctor(this, term), term);
   };
   protoOf(AbstractTermFormatter).visitAtom = function (term) {
     return this.visitAtom_ibpkj8_k$(term);
@@ -4671,7 +4676,7 @@
       tmp = functor + args;
     }
     var tmp$ret$0 = tmp;
-    return this.plusTagsOf_841onh_k$(tmp$ret$0, term);
+    return this.plusTagsOf_2jpse1_k$(tmp$ret$0, term);
   };
   protoOf(AbstractTermFormatter).visitStruct = function (term) {
     return this.visitStruct_bessvw_k$(term);
@@ -4689,7 +4694,7 @@
     return this.visitList_5oxo7k_k$(term);
   };
   protoOf(AbstractTermFormatter).visitEmptyList_huywf4_k$ = function (term) {
-    return this.defaultValue_g74ewx_k$(term);
+    return this.defaultValue_gnn9hx_k$(term);
   };
   protoOf(AbstractTermFormatter).visitEmptyList = function (term) {
     return this.visitEmptyList_huywf4_k$(term);
@@ -4749,7 +4754,7 @@
     return this.visitIndicator_b9t5yz_k$(term);
   };
   protoOf(AbstractTermFormatter).format = function (value) {
-    return this.format_s5civs_k$((!(value == null) ? isInterface(value, Term) : false) ? value : THROW_CCE());
+    return this.format_12olus_k$((!(value == null) ? isInterface(value, Term) : false) ? value : THROW_CCE());
   };
   function AbstractTermFormatterForVariables(quoted, numberVars, ignoreOps, tagsOptions) {
     quoted = quoted === VOID ? true : quoted;
@@ -4786,13 +4791,13 @@
       tmp0.put_4fpzoq_k$(tmp2, value);
       tmp = this.formatVar_5njd8k_k$(term, '');
     }
-    return this.plusTagsOf_841onh_k$(tmp, term);
+    return this.plusTagsOf_2jpse1_k$(tmp, term);
   };
   protoOf(AbstractTermFormatterForVariables).visitVar = function (term) {
     return this.visitVar_e0euaa_k$(term);
   };
   protoOf(AbstractTermFormatterForVariables).format = function (value) {
-    return this.format_s5civs_k$((!(value == null) ? isInterface(value, Term) : false) ? value : THROW_CCE());
+    return this.format_12olus_k$((!(value == null) ? isInterface(value, Term) : false) ? value : THROW_CCE());
   };
   function AtomImpl(functor, tags) {
     tags = tags === VOID ? emptyMap() : tags;
@@ -4836,7 +4841,7 @@
     return this.castTo_8vzplt_k$();
   };
   protoOf(AtomImpl).compareTo_hpufkf_k$ = function (other) {
-    return this.compareTo_etpqlr_k$((!(other == null) ? isInterface(other, Term) : false) ? other : THROW_CCE());
+    return this.compareTo_kfa5id_k$((!(other == null) ? isInterface(other, Term) : false) ? other : THROW_CCE());
   };
   protoOf(AtomImpl).asAtom = function () {
     return this.asAtom_nbael9_k$();
@@ -4933,7 +4938,7 @@
     return this.castTo_8vzplt_k$();
   };
   protoOf(BlockImpl).compareTo_hpufkf_k$ = function (other) {
-    return this.compareTo_etpqlr_k$((!(other == null) ? isInterface(other, Term) : false) ? other : THROW_CCE());
+    return this.compareTo_kfa5id_k$((!(other == null) ? isInterface(other, Term) : false) ? other : THROW_CCE());
   };
   protoOf(BlockImpl).asBlock = function () {
     return this.asBlock_cefc05_k$();
@@ -4960,12 +4965,12 @@
   protoOf(BlockUnfolder$tupleUnfolderVisitor$1).visitTuple = function (term) {
     return this.visitTuple_j9vfzg_k$(term);
   };
-  protoOf(BlockUnfolder$tupleUnfolderVisitor$1).defaultValue_g74ewx_k$ = function (term) {
+  protoOf(BlockUnfolder$tupleUnfolderVisitor$1).defaultValue_gnn9hx_k$ = function (term) {
     this.this$0__1.current_1 = null;
     return term;
   };
   protoOf(BlockUnfolder$tupleUnfolderVisitor$1).defaultValue = function (term) {
-    return this.defaultValue_g74ewx_k$(term);
+    return this.defaultValue_gnn9hx_k$(term);
   };
   function BlockUnfolder$blockUnfolderVisitor$1(this$0) {
     this.this$0__1 = this$0;
@@ -4985,12 +4990,12 @@
   protoOf(BlockUnfolder$blockUnfolderVisitor$1).visitBlock = function (term) {
     return this.visitBlock_8q05mc_k$(term);
   };
-  protoOf(BlockUnfolder$blockUnfolderVisitor$1).defaultValue_g74ewx_k$ = function (term) {
+  protoOf(BlockUnfolder$blockUnfolderVisitor$1).defaultValue_gnn9hx_k$ = function (term) {
     this.this$0__1.current_1 = null;
     return term;
   };
   protoOf(BlockUnfolder$blockUnfolderVisitor$1).defaultValue = function (term) {
-    return this.defaultValue_g74ewx_k$(term);
+    return this.defaultValue_gnn9hx_k$(term);
   };
   function BlockUnfolder(block) {
     this.current_1 = block;
@@ -5098,11 +5103,11 @@
   protoOf(ClauseImpl).setHead = function (head) {
     return this.setHead_uwzdq_k$(head);
   };
-  protoOf(ClauseImpl).setBody_sc3dl7_k$ = function (body) {
+  protoOf(ClauseImpl).setBody_pf871z_k$ = function (body) {
     return Companion_getInstance_3().of_5sz659_k$(this.get_head_won7e1_k$(), [body]);
   };
   protoOf(ClauseImpl).setBody = function (body) {
-    return this.setBody_sc3dl7_k$(body);
+    return this.setBody_pf871z_k$(body);
   };
   protoOf(ClauseImpl).setHeadFunctor_vsb155_k$ = function (functor) {
     var tmp = Companion_getInstance_3();
@@ -5136,41 +5141,41 @@
   protoOf(ClauseImpl).setHeadArgsSequence = function (arguments_0) {
     return this.setHeadArgsSequence_5fdrv3_k$(arguments_0);
   };
-  protoOf(ClauseImpl).insertHeadArg_z4w2wk_k$ = function (index, argument) {
+  protoOf(ClauseImpl).insertHeadArg_kf8nk0_k$ = function (index, argument) {
     var tmp = Companion_getInstance_3();
     var tmp0_safe_receiver = this.get_head_won7e1_k$();
     return tmp.of_5sz659_k$(tmp0_safe_receiver == null ? null : tmp0_safe_receiver.insertAt(index, argument), [this.get_body_wojkyz_k$()]);
   };
   protoOf(ClauseImpl).insertHeadArg = function (index, argument) {
-    return this.insertHeadArg_z4w2wk_k$(index, argument);
+    return this.insertHeadArg_kf8nk0_k$(index, argument);
   };
-  protoOf(ClauseImpl).addFirstHeadArg_3q3zyg_k$ = function (argument) {
+  protoOf(ClauseImpl).addFirstHeadArg_qdnvho_k$ = function (argument) {
     var tmp = Companion_getInstance_3();
     var tmp0_safe_receiver = this.get_head_won7e1_k$();
     return tmp.of_5sz659_k$(tmp0_safe_receiver == null ? null : tmp0_safe_receiver.addFirst(argument), [this.get_body_wojkyz_k$()]);
   };
   protoOf(ClauseImpl).addFirstHeadArg = function (argument) {
-    return this.addFirstHeadArg_3q3zyg_k$(argument);
+    return this.addFirstHeadArg_qdnvho_k$(argument);
   };
-  protoOf(ClauseImpl).addLastHeadArg_dzgm4w_k$ = function (argument) {
+  protoOf(ClauseImpl).addLastHeadArg_5qtsro_k$ = function (argument) {
     var tmp = Companion_getInstance_3();
     var tmp0_safe_receiver = this.get_head_won7e1_k$();
     return tmp.of_5sz659_k$(tmp0_safe_receiver == null ? null : tmp0_safe_receiver.addLast(argument), [this.get_body_wojkyz_k$()]);
   };
   protoOf(ClauseImpl).addLastHeadArg = function (argument) {
-    return this.addLastHeadArg_dzgm4w_k$(argument);
+    return this.addLastHeadArg_5qtsro_k$(argument);
   };
-  protoOf(ClauseImpl).appendHeadArg_yndqul_k$ = function (argument) {
-    return this.addLastHeadArg_dzgm4w_k$(argument);
+  protoOf(ClauseImpl).appendHeadArg_eouadd_k$ = function (argument) {
+    return this.addLastHeadArg_5qtsro_k$(argument);
   };
   protoOf(ClauseImpl).appendHeadArg = function (argument) {
-    return this.appendHeadArg_yndqul_k$(argument);
+    return this.appendHeadArg_eouadd_k$(argument);
   };
-  protoOf(ClauseImpl).setBodyItems_n3enti_k$ = function (argument, arguments_0) {
+  protoOf(ClauseImpl).setBodyItems_x2yi10_k$ = function (argument, arguments_0) {
     return Companion_getInstance_3().of_5sz659_k$(this.get_head_won7e1_k$(), arrayConcat([[argument], arguments_0]));
   };
   protoOf(ClauseImpl).setBodyItems = function (argument, arguments_0) {
-    return this.setBodyItems_n3enti_k$(argument, arguments_0);
+    return this.setBodyItems_x2yi10_k$(argument, arguments_0);
   };
   protoOf(ClauseImpl).setBodyItemsIterable_9zl4el_k$ = function (arguments_0) {
     return Companion_getInstance_3().of_67qcex_k$(this.get_head_won7e1_k$(), arguments_0);
@@ -5184,30 +5189,30 @@
   protoOf(ClauseImpl).setBodyItemsSequence = function (arguments_0) {
     return this.setBodyItemsSequence_ujt53i_k$(arguments_0);
   };
-  protoOf(ClauseImpl).insertBodyItem_px6r9h_k$ = function (index, argument) {
+  protoOf(ClauseImpl).insertBodyItem_gskvox_k$ = function (index, argument) {
     ensureIndexIsInBodyRange(this, index);
     return Companion_getInstance_3().of_eazhrp_k$(this.get_head_won7e1_k$(), insertAt(_get_bodyItemsSequence__ip18gi(this), index, argument, []));
   };
   protoOf(ClauseImpl).insertBodyItem = function (index, argument) {
-    return this.insertBodyItem_px6r9h_k$(index, argument);
+    return this.insertBodyItem_gskvox_k$(index, argument);
   };
-  protoOf(ClauseImpl).addFirstBodyItem_s4ahg5_k$ = function (argument) {
+  protoOf(ClauseImpl).addFirstBodyItem_hfuqtz_k$ = function (argument) {
     return Companion_getInstance_3().of_eazhrp_k$(this.get_head_won7e1_k$(), plus_2(sequenceOf_0(argument), _get_bodyItemsSequence__ip18gi(this)));
   };
   protoOf(ClauseImpl).addFirstBodyItem = function (argument) {
-    return this.addFirstBodyItem_s4ahg5_k$(argument);
+    return this.addFirstBodyItem_hfuqtz_k$(argument);
   };
-  protoOf(ClauseImpl).addLastBodyItem_5t4e77_k$ = function (argument) {
+  protoOf(ClauseImpl).addLastBodyItem_htqlfz_k$ = function (argument) {
     return Companion_getInstance_3().of_eazhrp_k$(this.get_head_won7e1_k$(), plus_2(_get_bodyItemsSequence__ip18gi(this), sequenceOf_0(argument)));
   };
   protoOf(ClauseImpl).addLastBodyItem = function (argument) {
-    return this.addLastBodyItem_5t4e77_k$(argument);
+    return this.addLastBodyItem_htqlfz_k$(argument);
   };
-  protoOf(ClauseImpl).appendBodyItem_a7nmv4_k$ = function (argument) {
-    return this.addLastBodyItem_5t4e77_k$(argument);
+  protoOf(ClauseImpl).appendBodyItem_onrnnw_k$ = function (argument) {
+    return this.addLastBodyItem_htqlfz_k$(argument);
   };
   protoOf(ClauseImpl).appendBodyItem = function (argument) {
-    return this.appendBodyItem_a7nmv4_k$(argument);
+    return this.appendBodyItem_onrnnw_k$(argument);
   };
   protoOf(ClauseImpl).accept_bf9pe1_k$ = function (visitor) {
     return visitor.visitClause(this);
@@ -5219,7 +5224,7 @@
     return this.castTo_8vzplt_k$();
   };
   protoOf(ClauseImpl).compareTo_hpufkf_k$ = function (other) {
-    return this.compareTo_etpqlr_k$((!(other == null) ? isInterface(other, Term) : false) ? other : THROW_CCE());
+    return this.compareTo_kfa5id_k$((!(other == null) ? isInterface(other, Term) : false) ? other : THROW_CCE());
   };
   protoOf(ClauseImpl).asClause = function () {
     return this.asClause_ssu01r_k$();
@@ -5323,7 +5328,7 @@
     return this.castTo_8vzplt_k$();
   };
   protoOf(ConsImpl).compareTo_hpufkf_k$ = function (other) {
-    return this.compareTo_etpqlr_k$((!(other == null) ? isInterface(other, Term) : false) ? other : THROW_CCE());
+    return this.compareTo_kfa5id_k$((!(other == null) ? isInterface(other, Term) : false) ? other : THROW_CCE());
   };
   protoOf(ConsImpl).asCons = function () {
     return this.asCons_nb98cd_k$();
@@ -5374,7 +5379,7 @@
     return this.castTo_8vzplt_k$();
   };
   protoOf(DirectiveImpl).compareTo_hpufkf_k$ = function (other) {
-    return this.compareTo_etpqlr_k$((!(other == null) ? isInterface(other, Term) : false) ? other : THROW_CCE());
+    return this.compareTo_kfa5id_k$((!(other == null) ? isInterface(other, Term) : false) ? other : THROW_CCE());
   };
   protoOf(DirectiveImpl).asClause = function () {
     return this.asClause_ssu01r_k$();
@@ -5431,7 +5436,7 @@
     return this.castTo_8vzplt_k$();
   };
   protoOf(EmptyBlockImpl).compareTo_hpufkf_k$ = function (other) {
-    return this.compareTo_etpqlr_k$((!(other == null) ? isInterface(other, Term) : false) ? other : THROW_CCE());
+    return this.compareTo_kfa5id_k$((!(other == null) ? isInterface(other, Term) : false) ? other : THROW_CCE());
   };
   protoOf(EmptyBlockImpl).asAtom = function () {
     return this.asAtom_nbael9_k$();
@@ -5527,7 +5532,7 @@
     return this.castTo_8vzplt_k$();
   };
   protoOf(EmptyListImpl).compareTo_hpufkf_k$ = function (other) {
-    return this.compareTo_etpqlr_k$((!(other == null) ? isInterface(other, Term) : false) ? other : THROW_CCE());
+    return this.compareTo_kfa5id_k$((!(other == null) ? isInterface(other, Term) : false) ? other : THROW_CCE());
   };
   protoOf(EmptyListImpl).asAtom = function () {
     return this.asAtom_nbael9_k$();
@@ -5608,29 +5613,29 @@
   protoOf(FactImpl).setHeadArgsSequence = function (arguments_0) {
     return this.setHeadArgsSequence_5fdrv3_k$(arguments_0);
   };
-  protoOf(FactImpl).insertHeadArg_z4w2wk_k$ = function (index, argument) {
-    return protoOf(RuleImpl).insertHeadArg_z4w2wk_k$.call(this, index, argument).castToFact();
+  protoOf(FactImpl).insertHeadArg_kf8nk0_k$ = function (index, argument) {
+    return protoOf(RuleImpl).insertHeadArg_kf8nk0_k$.call(this, index, argument).castToFact();
   };
   protoOf(FactImpl).insertHeadArg = function (index, argument) {
-    return this.insertHeadArg_z4w2wk_k$(index, argument);
+    return this.insertHeadArg_kf8nk0_k$(index, argument);
   };
-  protoOf(FactImpl).addFirstHeadArg_3q3zyg_k$ = function (argument) {
-    return protoOf(RuleImpl).addFirstHeadArg_3q3zyg_k$.call(this, argument).castToFact();
+  protoOf(FactImpl).addFirstHeadArg_qdnvho_k$ = function (argument) {
+    return protoOf(RuleImpl).addFirstHeadArg_qdnvho_k$.call(this, argument).castToFact();
   };
   protoOf(FactImpl).addFirstHeadArg = function (argument) {
-    return this.addFirstHeadArg_3q3zyg_k$(argument);
+    return this.addFirstHeadArg_qdnvho_k$(argument);
   };
-  protoOf(FactImpl).addLastHeadArg_dzgm4w_k$ = function (argument) {
-    return protoOf(RuleImpl).addLastHeadArg_dzgm4w_k$.call(this, argument).castToFact();
+  protoOf(FactImpl).addLastHeadArg_5qtsro_k$ = function (argument) {
+    return protoOf(RuleImpl).addLastHeadArg_5qtsro_k$.call(this, argument).castToFact();
   };
   protoOf(FactImpl).addLastHeadArg = function (argument) {
-    return this.addLastHeadArg_dzgm4w_k$(argument);
+    return this.addLastHeadArg_5qtsro_k$(argument);
   };
-  protoOf(FactImpl).appendHeadArg_yndqul_k$ = function (argument) {
-    return protoOf(RuleImpl).appendHeadArg_yndqul_k$.call(this, argument).castToFact();
+  protoOf(FactImpl).appendHeadArg_eouadd_k$ = function (argument) {
+    return protoOf(RuleImpl).appendHeadArg_eouadd_k$.call(this, argument).castToFact();
   };
   protoOf(FactImpl).appendHeadArg = function (argument) {
-    return this.appendHeadArg_yndqul_k$(argument);
+    return this.appendHeadArg_eouadd_k$(argument);
   };
   protoOf(FactImpl).accept_bf9pe1_k$ = function (visitor) {
     return visitor.visitFact(this);
@@ -5642,7 +5647,7 @@
     return this.castTo_8vzplt_k$();
   };
   protoOf(FactImpl).compareTo_hpufkf_k$ = function (other) {
-    return this.compareTo_etpqlr_k$((!(other == null) ? isInterface(other, Term) : false) ? other : THROW_CCE());
+    return this.compareTo_kfa5id_k$((!(other == null) ? isInterface(other, Term) : false) ? other : THROW_CCE());
   };
   protoOf(FactImpl).asClause = function () {
     return this.asClause_ssu01r_k$();
@@ -5705,7 +5710,7 @@
     return this.castTo_8vzplt_k$();
   };
   protoOf(IndicatorImpl).compareTo_hpufkf_k$ = function (other) {
-    return this.compareTo_etpqlr_k$((!(other == null) ? isInterface(other, Term) : false) ? other : THROW_CCE());
+    return this.compareTo_kfa5id_k$((!(other == null) ? isInterface(other, Term) : false) ? other : THROW_CCE());
   };
   protoOf(IndicatorImpl).asIndicator = function () {
     return this.asIndicator_wd8265_k$();
@@ -5788,21 +5793,21 @@
     if (integer === null)
       return false;
     // Inline function 'it.unibo.tuprolog.core.impl.IntegerImpl.equalsToInteger' call
-    return this.value_1.compareTo_cka4fx_k$(integer.get_value_j01efc_k$()) === 0;
+    return this.value_1.compareTo_u56mz_k$(integer.get_value_j01efc_k$()) === 0;
   };
-  protoOf(IntegerImpl).equalsUsingVarCompleteNames_q3oi3h_k$ = function (other, useVarCompleteName) {
+  protoOf(IntegerImpl).equalsUsingVarCompleteNames_be7foz_k$ = function (other, useVarCompleteName) {
     var tmp;
     if (other.get_isInteger_vb3zt7_k$()) {
       // Inline function 'it.unibo.tuprolog.core.impl.IntegerImpl.equalsToInteger' call
       var other_0 = other.castToInteger();
-      tmp = this.value_1.compareTo_cka4fx_k$(other_0.get_value_j01efc_k$()) === 0;
+      tmp = this.value_1.compareTo_u56mz_k$(other_0.get_value_j01efc_k$()) === 0;
     } else {
       tmp = false;
     }
     return tmp;
   };
   protoOf(IntegerImpl).equalsUsingVarCompleteNames = function (other, useVarCompleteName) {
-    return this.equalsUsingVarCompleteNames_q3oi3h_k$(other, useVarCompleteName);
+    return this.equalsUsingVarCompleteNames_be7foz_k$(other, useVarCompleteName);
   };
   protoOf(IntegerImpl).get_hashCodeCache_8fx9tq_k$ = function () {
     var tmp0 = this.hashCodeCache$delegate_1;
@@ -5812,7 +5817,7 @@
     return tmp0.get_value_j01efc_k$();
   };
   protoOf(IntegerImpl).compareValueTo_92o0qj_k$ = function (other) {
-    return other.get_isInteger_vb3zt7_k$() ? this.value_1.compareTo_cka4fx_k$(other.castToInteger().get_value_j01efc_k$()) : protoOf(NumericImpl).compareValueTo.call(this, other);
+    return other.get_isInteger_vb3zt7_k$() ? this.value_1.compareTo_u56mz_k$(other.castToInteger().get_value_j01efc_k$()) : protoOf(NumericImpl).compareValueTo.call(this, other);
   };
   protoOf(IntegerImpl).compareValueTo = function (other) {
     return this.compareValueTo_92o0qj_k$(other);
@@ -5842,7 +5847,7 @@
     return this.castTo_8vzplt_k$();
   };
   protoOf(IntegerImpl).compareTo_hpufkf_k$ = function (other) {
-    return this.compareTo_etpqlr_k$((!(other == null) ? isInterface(other, Term) : false) ? other : THROW_CCE());
+    return this.compareTo_kfa5id_k$((!(other == null) ? isInterface(other, Term) : false) ? other : THROW_CCE());
   };
   protoOf(IntegerImpl).asConstant = function () {
     return this.asConstant_3hn112_k$();
@@ -5966,7 +5971,7 @@
     return this.castTo_8vzplt_k$();
   };
   protoOf(LazyConsWithExplicitLast).compareTo_hpufkf_k$ = function (other) {
-    return this.compareTo_etpqlr_k$((!(other == null) ? isInterface(other, Term) : false) ? other : THROW_CCE());
+    return this.compareTo_kfa5id_k$((!(other == null) ? isInterface(other, Term) : false) ? other : THROW_CCE());
   };
   protoOf(LazyConsWithExplicitLast).asCons = function () {
     return this.asCons_nb98cd_k$();
@@ -6090,7 +6095,7 @@
     return this.castTo_8vzplt_k$();
   };
   protoOf(LazyConsWithImplicitLast).compareTo_hpufkf_k$ = function (other) {
-    return this.compareTo_etpqlr_k$((!(other == null) ? isInterface(other, Term) : false) ? other : THROW_CCE());
+    return this.compareTo_kfa5id_k$((!(other == null) ? isInterface(other, Term) : false) ? other : THROW_CCE());
   };
   protoOf(LazyConsWithImplicitLast).asCons = function () {
     return this.asCons_nb98cd_k$();
@@ -6121,12 +6126,12 @@
   protoOf(ListUnfolder$listUnfolderVisitor$1).visitEmptyList = function (term) {
     return this.visitEmptyList_huywf4_k$(term);
   };
-  protoOf(ListUnfolder$listUnfolderVisitor$1).defaultValue_g74ewx_k$ = function (term) {
+  protoOf(ListUnfolder$listUnfolderVisitor$1).defaultValue_gnn9hx_k$ = function (term) {
     this.this$0__1.current_1 = null;
     return term;
   };
   protoOf(ListUnfolder$listUnfolderVisitor$1).defaultValue = function (term) {
-    return this.defaultValue_g74ewx_k$(term);
+    return this.defaultValue_gnn9hx_k$(term);
   };
   function ListUnfolder(list) {
     this.current_1 = list;
@@ -6150,11 +6155,11 @@
   function NumericImpl(tags) {
     TermImpl.call(this, tags);
   }
-  protoOf(NumericImpl).structurallyEquals_wi3ovu_k$ = function (other) {
-    return other.get_isNumber_x9n6xo_k$() && this.get_decimalValue_7pja3t_k$().compareTo_5oqbyo_k$(other.castToNumeric().get_decimalValue_7pja3t_k$()) === 0;
+  protoOf(NumericImpl).structurallyEquals_9blifm_k$ = function (other) {
+    return other.get_isNumber_x9n6xo_k$() && this.get_decimalValue_7pja3t_k$().compareTo_dqfxu6_k$(other.castToNumeric().get_decimalValue_7pja3t_k$()) === 0;
   };
   protoOf(NumericImpl).structurallyEquals = function (other) {
-    return this.structurallyEquals_wi3ovu_k$(other);
+    return this.structurallyEquals_9blifm_k$(other);
   };
   protoOf(NumericImpl).accept_bf9pe1_k$ = function (visitor) {
     return visitor.visitNumeric(this);
@@ -6166,7 +6171,7 @@
     return this.castTo_8vzplt_k$();
   };
   protoOf(NumericImpl).compareTo_hpufkf_k$ = function (other) {
-    return this.compareTo_etpqlr_k$((!(other == null) ? isInterface(other, Term) : false) ? other : THROW_CCE());
+    return this.compareTo_kfa5id_k$((!(other == null) ? isInterface(other, Term) : false) ? other : THROW_CCE());
   };
   protoOf(NumericImpl).asConstant = function () {
     return this.asConstant_3hn112_k$();
@@ -6248,21 +6253,21 @@
     if (real === null)
       return false;
     // Inline function 'it.unibo.tuprolog.core.impl.RealImpl.equalsToReal' call
-    return this.value_1.compareTo_5oqbyo_k$(real.get_value_j01efc_k$()) === 0;
+    return this.value_1.compareTo_dqfxu6_k$(real.get_value_j01efc_k$()) === 0;
   };
-  protoOf(RealImpl).equalsUsingVarCompleteNames_q3oi3h_k$ = function (other, useVarCompleteName) {
+  protoOf(RealImpl).equalsUsingVarCompleteNames_be7foz_k$ = function (other, useVarCompleteName) {
     var tmp;
     if (other.get_isReal_ew59f5_k$()) {
       // Inline function 'it.unibo.tuprolog.core.impl.RealImpl.equalsToReal' call
       var other_0 = other.castToReal();
-      tmp = this.value_1.compareTo_5oqbyo_k$(other_0.get_value_j01efc_k$()) === 0;
+      tmp = this.value_1.compareTo_dqfxu6_k$(other_0.get_value_j01efc_k$()) === 0;
     } else {
       tmp = false;
     }
     return tmp;
   };
   protoOf(RealImpl).equalsUsingVarCompleteNames = function (other, useVarCompleteName) {
-    return this.equalsUsingVarCompleteNames_q3oi3h_k$(other, useVarCompleteName);
+    return this.equalsUsingVarCompleteNames_be7foz_k$(other, useVarCompleteName);
   };
   protoOf(RealImpl).get_hashCodeCache_8fx9tq_k$ = function () {
     var tmp0 = this.hashCodeCache$delegate_1;
@@ -6296,7 +6301,7 @@
     return this.castTo_8vzplt_k$();
   };
   protoOf(RealImpl).compareTo_hpufkf_k$ = function (other) {
-    return this.compareTo_etpqlr_k$((!(other == null) ? isInterface(other, Term) : false) ? other : THROW_CCE());
+    return this.compareTo_kfa5id_k$((!(other == null) ? isInterface(other, Term) : false) ? other : THROW_CCE());
   };
   protoOf(RealImpl).asConstant = function () {
     return this.asConstant_3hn112_k$();
@@ -6655,7 +6660,7 @@
     return this.castTo_8vzplt_k$();
   };
   protoOf(RecursiveImpl).compareTo_hpufkf_k$ = function (other) {
-    return this.compareTo_etpqlr_k$((!(other == null) ? isInterface(other, Term) : false) ? other : THROW_CCE());
+    return this.compareTo_kfa5id_k$((!(other == null) ? isInterface(other, Term) : false) ? other : THROW_CCE());
   };
   protoOf(RecursiveImpl).asStruct = function () {
     return this.asStruct_l3eul5_k$();
@@ -6702,11 +6707,11 @@
   protoOf(RuleImpl).getHeadArg = function (index) {
     return this.getHeadArg_na4y0o_k$(index);
   };
-  protoOf(RuleImpl).setBody_sc3dl7_k$ = function (body) {
-    return protoOf(ClauseImpl).setBody_sc3dl7_k$.call(this, body).castToRule();
+  protoOf(RuleImpl).setBody_pf871z_k$ = function (body) {
+    return protoOf(ClauseImpl).setBody_pf871z_k$.call(this, body).castToRule();
   };
   protoOf(RuleImpl).setBody = function (body) {
-    return this.setBody_sc3dl7_k$(body);
+    return this.setBody_pf871z_k$(body);
   };
   protoOf(RuleImpl).setHeadFunctor_vsb155_k$ = function (functor) {
     return protoOf(ClauseImpl).setHeadFunctor_vsb155_k$.call(this, functor).castToRule();
@@ -6732,35 +6737,35 @@
   protoOf(RuleImpl).setHeadArgsSequence = function (arguments_0) {
     return this.setHeadArgsSequence_5fdrv3_k$(arguments_0);
   };
-  protoOf(RuleImpl).insertHeadArg_z4w2wk_k$ = function (index, argument) {
-    return protoOf(ClauseImpl).insertHeadArg_z4w2wk_k$.call(this, index, argument).castToRule();
+  protoOf(RuleImpl).insertHeadArg_kf8nk0_k$ = function (index, argument) {
+    return protoOf(ClauseImpl).insertHeadArg_kf8nk0_k$.call(this, index, argument).castToRule();
   };
   protoOf(RuleImpl).insertHeadArg = function (index, argument) {
-    return this.insertHeadArg_z4w2wk_k$(index, argument);
+    return this.insertHeadArg_kf8nk0_k$(index, argument);
   };
-  protoOf(RuleImpl).addFirstHeadArg_3q3zyg_k$ = function (argument) {
-    return protoOf(ClauseImpl).addFirstHeadArg_3q3zyg_k$.call(this, argument).castToRule();
+  protoOf(RuleImpl).addFirstHeadArg_qdnvho_k$ = function (argument) {
+    return protoOf(ClauseImpl).addFirstHeadArg_qdnvho_k$.call(this, argument).castToRule();
   };
   protoOf(RuleImpl).addFirstHeadArg = function (argument) {
-    return this.addFirstHeadArg_3q3zyg_k$(argument);
+    return this.addFirstHeadArg_qdnvho_k$(argument);
   };
-  protoOf(RuleImpl).addLastHeadArg_dzgm4w_k$ = function (argument) {
-    return protoOf(ClauseImpl).addLastHeadArg_dzgm4w_k$.call(this, argument).castToRule();
+  protoOf(RuleImpl).addLastHeadArg_5qtsro_k$ = function (argument) {
+    return protoOf(ClauseImpl).addLastHeadArg_5qtsro_k$.call(this, argument).castToRule();
   };
   protoOf(RuleImpl).addLastHeadArg = function (argument) {
-    return this.addLastHeadArg_dzgm4w_k$(argument);
+    return this.addLastHeadArg_5qtsro_k$(argument);
   };
-  protoOf(RuleImpl).appendHeadArg_yndqul_k$ = function (argument) {
-    return protoOf(ClauseImpl).appendHeadArg_yndqul_k$.call(this, argument).castToRule();
+  protoOf(RuleImpl).appendHeadArg_eouadd_k$ = function (argument) {
+    return protoOf(ClauseImpl).appendHeadArg_eouadd_k$.call(this, argument).castToRule();
   };
   protoOf(RuleImpl).appendHeadArg = function (argument) {
-    return this.appendHeadArg_yndqul_k$(argument);
+    return this.appendHeadArg_eouadd_k$(argument);
   };
-  protoOf(RuleImpl).setBodyItems_n3enti_k$ = function (argument, arguments_0) {
-    return protoOf(ClauseImpl).setBodyItems_n3enti_k$.call(this, argument, arguments_0.slice()).castToRule();
+  protoOf(RuleImpl).setBodyItems_x2yi10_k$ = function (argument, arguments_0) {
+    return protoOf(ClauseImpl).setBodyItems_x2yi10_k$.call(this, argument, arguments_0.slice()).castToRule();
   };
   protoOf(RuleImpl).setBodyItems = function (argument, arguments_0) {
-    return this.setBodyItems_n3enti_k$(argument, arguments_0);
+    return this.setBodyItems_x2yi10_k$(argument, arguments_0);
   };
   protoOf(RuleImpl).setBodyItemsIterable_9zl4el_k$ = function (arguments_0) {
     return protoOf(ClauseImpl).setBodyItemsIterable_9zl4el_k$.call(this, arguments_0).castToRule();
@@ -6774,29 +6779,29 @@
   protoOf(RuleImpl).setBodyItemsSequence = function (arguments_0) {
     return this.setBodyItemsSequence_ujt53i_k$(arguments_0);
   };
-  protoOf(RuleImpl).insertBodyItem_px6r9h_k$ = function (index, argument) {
-    return protoOf(ClauseImpl).insertBodyItem_px6r9h_k$.call(this, index, argument).castToRule();
+  protoOf(RuleImpl).insertBodyItem_gskvox_k$ = function (index, argument) {
+    return protoOf(ClauseImpl).insertBodyItem_gskvox_k$.call(this, index, argument).castToRule();
   };
   protoOf(RuleImpl).insertBodyItem = function (index, argument) {
-    return this.insertBodyItem_px6r9h_k$(index, argument);
+    return this.insertBodyItem_gskvox_k$(index, argument);
   };
-  protoOf(RuleImpl).addFirstBodyItem_s4ahg5_k$ = function (argument) {
-    return protoOf(ClauseImpl).addFirstBodyItem_s4ahg5_k$.call(this, argument).castToRule();
+  protoOf(RuleImpl).addFirstBodyItem_hfuqtz_k$ = function (argument) {
+    return protoOf(ClauseImpl).addFirstBodyItem_hfuqtz_k$.call(this, argument).castToRule();
   };
   protoOf(RuleImpl).addFirstBodyItem = function (argument) {
-    return this.addFirstBodyItem_s4ahg5_k$(argument);
+    return this.addFirstBodyItem_hfuqtz_k$(argument);
   };
-  protoOf(RuleImpl).addLastBodyItem_5t4e77_k$ = function (argument) {
-    return protoOf(ClauseImpl).addLastBodyItem_5t4e77_k$.call(this, argument).castToRule();
+  protoOf(RuleImpl).addLastBodyItem_htqlfz_k$ = function (argument) {
+    return protoOf(ClauseImpl).addLastBodyItem_htqlfz_k$.call(this, argument).castToRule();
   };
   protoOf(RuleImpl).addLastBodyItem = function (argument) {
-    return this.addLastBodyItem_5t4e77_k$(argument);
+    return this.addLastBodyItem_htqlfz_k$(argument);
   };
-  protoOf(RuleImpl).appendBodyItem_a7nmv4_k$ = function (argument) {
-    return protoOf(ClauseImpl).appendBodyItem_a7nmv4_k$.call(this, argument).castToRule();
+  protoOf(RuleImpl).appendBodyItem_onrnnw_k$ = function (argument) {
+    return protoOf(ClauseImpl).appendBodyItem_onrnnw_k$.call(this, argument).castToRule();
   };
   protoOf(RuleImpl).appendBodyItem = function (argument) {
-    return this.appendBodyItem_a7nmv4_k$(argument);
+    return this.appendBodyItem_onrnnw_k$(argument);
   };
   protoOf(RuleImpl).accept_bf9pe1_k$ = function (visitor) {
     return visitor.visitRule(this);
@@ -6808,7 +6813,7 @@
     return this.castTo_8vzplt_k$();
   };
   protoOf(RuleImpl).compareTo_hpufkf_k$ = function (other) {
-    return this.compareTo_etpqlr_k$((!(other == null) ? isInterface(other, Term) : false) ? other : THROW_CCE());
+    return this.compareTo_kfa5id_k$((!(other == null) ? isInterface(other, Term) : false) ? other : THROW_CCE());
   };
   protoOf(RuleImpl).asClause = function () {
     return this.asClause_ssu01r_k$();
@@ -6863,11 +6868,11 @@
   protoOf(ScopeImpl).varOf = function (name) {
     return this.varOf_qgygkc_k$(name);
   };
-  protoOf(ScopeImpl).varOfChar_ho7dif_k$ = function (name) {
+  protoOf(ScopeImpl).varOfChar_on0j7b_k$ = function (name) {
     return this.varOf_qgygkc_k$(toString_1(name));
   };
   protoOf(ScopeImpl).varOfChar = function (name) {
-    return this.varOfChar_ho7dif_k$(name);
+    return this.varOfChar_on0j7b_k$(name);
   };
   protoOf(ScopeImpl).where_57nhgz_k$ = function (lambda) {
     // Inline function 'kotlin.also' call
@@ -6946,19 +6951,19 @@
   protoOf(ScopeImpl).logicListOf = function (terms) {
     return this.logicListOf_kogscq_k$(terms);
   };
-  protoOf(ScopeImpl).logicListFrom_iecwwx_k$ = function (terms, last) {
+  protoOf(ScopeImpl).logicListFrom_pxemlx_k$ = function (terms, last) {
     return Companion_instance_12.from(terms.slice(), last);
   };
   protoOf(ScopeImpl).logicListFromFrom = function (terms, last, $super) {
     return this.logicListFromFrom(terms, last, ($super == null ? true : $super instanceof ScopeImpl) ? $super : THROW_CCE());
   };
-  protoOf(ScopeImpl).logicListFrom_vtafhd_k$ = function (terms, last) {
+  protoOf(ScopeImpl).logicListFrom_65oz79_k$ = function (terms, last) {
     return Companion_instance_12.fromSequence(terms, last);
   };
   protoOf(ScopeImpl).logicListFromSequence = function (terms, last, $super) {
     return this.logicListFromSequence(terms, last, ($super == null ? true : $super instanceof ScopeImpl) ? $super : THROW_CCE());
   };
-  protoOf(ScopeImpl).logicListFrom_afyyj7_k$ = function (terms, last) {
+  protoOf(ScopeImpl).logicListFrom_yn067b_k$ = function (terms, last) {
     return Companion_instance_12.fromIterable(terms, last);
   };
   protoOf(ScopeImpl).logicListFromIterable = function (terms, last, $super) {
@@ -6988,11 +6993,11 @@
   protoOf(ScopeImpl).atomOf = function (value) {
     return this.atomOf_6749ki_k$(value);
   };
-  protoOf(ScopeImpl).atomOfChar_ji9nyb_k$ = function (value) {
+  protoOf(ScopeImpl).atomOfChar_w0g4f3_k$ = function (value) {
     return Companion_getInstance_1().of(toString_1(value));
   };
   protoOf(ScopeImpl).atomOfChar = function (value) {
-    return this.atomOfChar_ji9nyb_k$(value);
+    return this.atomOfChar_w0g4f3_k$(value);
   };
   protoOf(ScopeImpl).structOf_m0041d_k$ = function (functor, args) {
     return Companion_getInstance_18().of(functor, args.slice());
@@ -7024,17 +7029,17 @@
   protoOf(ScopeImpl).factOf = function (head) {
     return this.factOf_g8x5i9_k$(head);
   };
-  protoOf(ScopeImpl).ruleOf_8206oz_k$ = function (head, body1, body) {
+  protoOf(ScopeImpl).ruleOf_o0v09j_k$ = function (head, body1, body) {
     return Companion_instance_16.of(head, arrayConcat([[body1], body]));
   };
   protoOf(ScopeImpl).ruleOf = function (head, body1, body) {
-    return this.ruleOf_8206oz_k$(head, body1, body);
+    return this.ruleOf_o0v09j_k$(head, body1, body);
   };
-  protoOf(ScopeImpl).directiveOf_icd10_k$ = function (body1, body) {
+  protoOf(ScopeImpl).directiveOf_iy5vny_k$ = function (body1, body) {
     return Companion_instance_5.of(body1, body.slice());
   };
   protoOf(ScopeImpl).directiveOf = function (body1, body) {
-    return this.directiveOf_icd10_k$(body1, body);
+    return this.directiveOf_iy5vny_k$(body1, body);
   };
   protoOf(ScopeImpl).clauseOf_clwadq_k$ = function (head, body) {
     return Companion_getInstance_3().of_5sz659_k$(head, body.slice());
@@ -7042,17 +7047,17 @@
   protoOf(ScopeImpl).clauseOf = function (head, body) {
     return this.clauseOf_clwadq_k$(head, body);
   };
-  protoOf(ScopeImpl).consOf_n327co_k$ = function (head, tail) {
+  protoOf(ScopeImpl).consOf_q75de6_k$ = function (head, tail) {
     return Companion_instance_4.of(head, tail);
   };
   protoOf(ScopeImpl).consOf = function (head, tail) {
-    return this.consOf_n327co_k$(head, tail);
+    return this.consOf_q75de6_k$(head, tail);
   };
-  protoOf(ScopeImpl).indicatorOf_82y40q_k$ = function (name, arity) {
+  protoOf(ScopeImpl).indicatorOf_4vhkmo_k$ = function (name, arity) {
     return Companion_instance_10.of(name, arity);
   };
   protoOf(ScopeImpl).indicatorOf = function (name, arity) {
-    return this.indicatorOf_82y40q_k$(name, arity);
+    return this.indicatorOf_4vhkmo_k$(name, arity);
   };
   protoOf(ScopeImpl).indicatorOfStringInt_di17u2_k$ = function (name, arity) {
     return Companion_instance_10.ofString(name, arity);
@@ -7072,11 +7077,11 @@
   protoOf(ScopeImpl).whatever = function () {
     return this.whatever_vzojxe_k$();
   };
-  protoOf(ScopeImpl).numOfBigDecimal_kg7yim_k$ = function (value) {
+  protoOf(ScopeImpl).numOfBigDecimal_ep4rpc_k$ = function (value) {
     return Companion_getInstance_14().ofBigDecimal(value);
   };
   protoOf(ScopeImpl).numOfBigDecimal = function (value) {
-    return this.numOfBigDecimal_kg7yim_k$(value);
+    return this.numOfBigDecimal_ep4rpc_k$(value);
   };
   protoOf(ScopeImpl).numOfDouble_yww7oo_k$ = function (value) {
     return Companion_getInstance_14().ofDouble(value);
@@ -7090,11 +7095,11 @@
   protoOf(ScopeImpl).numOfFloat = function (value) {
     return this.numOfFloat_260s3r_k$(value);
   };
-  protoOf(ScopeImpl).numOfBigInteger_gyws0y_k$ = function (value) {
+  protoOf(ScopeImpl).numOfBigInteger_y6nzvk_k$ = function (value) {
     return Companion_getInstance_14().ofBigInteger(value);
   };
   protoOf(ScopeImpl).numOfBigInteger = function (value) {
-    return this.numOfBigInteger_gyws0y_k$(value);
+    return this.numOfBigInteger_y6nzvk_k$(value);
   };
   protoOf(ScopeImpl).numOfInt_3mxjmi_k$ = function (value) {
     return Companion_getInstance_14().ofInteger(value);
@@ -7102,11 +7107,11 @@
   protoOf(ScopeImpl).numOfInt = function (value) {
     return this.numOfInt_3mxjmi_k$(value);
   };
-  protoOf(ScopeImpl).numOfLong_cpd9p3_k$ = function (value) {
+  protoOf(ScopeImpl).numOfLong_h93bpn_k$ = function (value) {
     return Companion_getInstance_14().ofLong(value);
   };
   protoOf(ScopeImpl).numOfLong = function (value) {
-    return this.numOfLong_cpd9p3_k$(value);
+    return this.numOfLong_h93bpn_k$(value);
   };
   protoOf(ScopeImpl).numOfShort_wlhnjb_k$ = function (value) {
     return Companion_getInstance_14().ofShort(value);
@@ -7132,11 +7137,11 @@
   protoOf(ScopeImpl).numOf = function (value) {
     return this.numOf_fev8r6_k$(value);
   };
-  protoOf(ScopeImpl).intOfBigInteger_k090rr_k$ = function (value) {
+  protoOf(ScopeImpl).intOfBigInteger_t8fow9_k$ = function (value) {
     return Companion_getInstance_11().ofBigInteger(value);
   };
   protoOf(ScopeImpl).intOfBigInteger = function (value) {
-    return this.intOfBigInteger_k090rr_k$(value);
+    return this.intOfBigInteger_t8fow9_k$(value);
   };
   protoOf(ScopeImpl).intOf_o10os2_k$ = function (value) {
     return Companion_getInstance_11().ofInt(value);
@@ -7144,11 +7149,11 @@
   protoOf(ScopeImpl).intOf = function (value) {
     return this.intOf_o10os2_k$(value);
   };
-  protoOf(ScopeImpl).intOfLong_49yyio_k$ = function (value) {
+  protoOf(ScopeImpl).intOfLong_dzseym_k$ = function (value) {
     return Companion_getInstance_11().ofLong(value);
   };
   protoOf(ScopeImpl).intOfLong = function (value) {
-    return this.intOfLong_49yyio_k$(value);
+    return this.intOfLong_dzseym_k$(value);
   };
   protoOf(ScopeImpl).intOfShort_van3ni_k$ = function (value) {
     return Companion_getInstance_11().ofShort(value);
@@ -7174,11 +7179,11 @@
   protoOf(ScopeImpl).parseIntRadix = function (value, radix) {
     return this.parseIntRadix_xkh8ee_k$(value, radix);
   };
-  protoOf(ScopeImpl).realOfBigDecimal_nuzt06_k$ = function (value) {
+  protoOf(ScopeImpl).realOfBigDecimal_931o7s_k$ = function (value) {
     return Companion_getInstance_15().ofBigDecimal(value);
   };
   protoOf(ScopeImpl).realOfBigDecimal = function (value) {
-    return this.realOfBigDecimal_nuzt06_k$(value);
+    return this.realOfBigDecimal_931o7s_k$(value);
   };
   protoOf(ScopeImpl).realOf_8soorz_k$ = function (value) {
     return Companion_getInstance_15().ofDouble(value);
@@ -7268,7 +7273,7 @@
     AbstractTermFormatter.call(this, quoted, numberVars, ignoreOps, tagsOptions);
   }
   protoOf(SimpleTermFormatter).format = function (value) {
-    return this.format_s5civs_k$((!(value == null) ? isInterface(value, Term) : false) ? value : THROW_CCE());
+    return this.format_12olus_k$((!(value == null) ? isInterface(value, Term) : false) ? value : THROW_CCE());
   };
   function StructImpl$isGround$delegate$lambda(this$0) {
     return function () {
@@ -7308,7 +7313,7 @@
     return this.castTo_8vzplt_k$();
   };
   protoOf(StructImpl).compareTo_hpufkf_k$ = function (other) {
-    return this.compareTo_etpqlr_k$((!(other == null) ? isInterface(other, Term) : false) ? other : THROW_CCE());
+    return this.compareTo_kfa5id_k$((!(other == null) ? isInterface(other, Term) : false) ? other : THROW_CCE());
   };
   protoOf(StructImpl).asStruct = function () {
     return this.asStruct_l3eul5_k$();
@@ -7327,7 +7332,7 @@
     return this.visitVar_e0euaa_k$(term);
   };
   protoOf(TermFormatterWithAnonymousVariables).format = function (value) {
-    return this.format_s5civs_k$((!(value == null) ? isInterface(value, Term) : false) ? value : THROW_CCE());
+    return this.format_12olus_k$((!(value == null) ? isInterface(value, Term) : false) ? value : THROW_CCE());
   };
   function OperatorDecorations(prefix, suffix) {
     this.prefix_1 = prefix;
@@ -7419,7 +7424,7 @@
     }
     var lowerPriority = isLowerPriority($this, struct);
     if (!(lowerPriority == null)) {
-      return $this.plusTagsOf_841onh_k$(wrapWithinParentheses($this, struct.accept(childFormatter($this, lowerPriority.second))), struct);
+      return $this.plusTagsOf_2jpse1_k$(wrapWithinParentheses($this, struct.accept(childFormatter($this, lowerPriority.second))), struct);
     }
     return protoOf(AbstractTermFormatter).visitStruct_bessvw_k$.call($this, struct);
   }
@@ -7649,7 +7654,7 @@
     return childFormatter(this, 2147483647, setOf_0(','));
   };
   protoOf(TermFormatterWithPrettyExpressions).format = function (value) {
-    return this.format_s5civs_k$((!(value == null) ? isInterface(value, Term) : false) ? value : THROW_CCE());
+    return this.format_12olus_k$((!(value == null) ? isInterface(value, Term) : false) ? value : THROW_CCE());
   };
   function TermFormatterWithPrettyVariables(quoted, numberVars, ignoreOps, tagsOptions) {
     quoted = quoted === VOID ? true : quoted;
@@ -7669,7 +7674,7 @@
     return tmp;
   };
   protoOf(TermFormatterWithPrettyVariables).format = function (value) {
-    return this.format_s5civs_k$((!(value == null) ? isInterface(value, Term) : false) ? value : THROW_CCE());
+    return this.format_12olus_k$((!(value == null) ? isInterface(value, Term) : false) ? value : THROW_CCE());
   };
   function TermImpl(tags) {
     tags = tags === VOID ? emptyMap() : tags;
@@ -7736,7 +7741,7 @@
     return this.castTo_8vzplt_k$();
   };
   protoOf(TermImpl).compareTo_hpufkf_k$ = function (other) {
-    return this.compareTo_etpqlr_k$((!(other == null) ? isInterface(other, Term) : false) ? other : THROW_CCE());
+    return this.compareTo_kfa5id_k$((!(other == null) ? isInterface(other, Term) : false) ? other : THROW_CCE());
   };
   function TruthImpl(value, isTrue, tags) {
     tags = tags === VOID ? emptyMap() : tags;
@@ -7774,7 +7779,7 @@
     return this.castTo_8vzplt_k$();
   };
   protoOf(TruthImpl).compareTo_hpufkf_k$ = function (other) {
-    return this.compareTo_etpqlr_k$((!(other == null) ? isInterface(other, Term) : false) ? other : THROW_CCE());
+    return this.compareTo_kfa5id_k$((!(other == null) ? isInterface(other, Term) : false) ? other : THROW_CCE());
   };
   protoOf(TruthImpl).asAtom = function () {
     return this.asAtom_nbael9_k$();
@@ -7879,7 +7884,7 @@
     return this.castTo_8vzplt_k$();
   };
   protoOf(TupleImpl).compareTo_hpufkf_k$ = function (other) {
-    return this.compareTo_etpqlr_k$((!(other == null) ? isInterface(other, Term) : false) ? other : THROW_CCE());
+    return this.compareTo_kfa5id_k$((!(other == null) ? isInterface(other, Term) : false) ? other : THROW_CCE());
   };
   protoOf(TupleImpl).asStruct = function () {
     return this.asStruct_l3eul5_k$();
@@ -7906,12 +7911,12 @@
   protoOf(TupleUnfolder$tupleUnfolderVisitor$1).visitTuple = function (term) {
     return this.visitTuple_j9vfzg_k$(term);
   };
-  protoOf(TupleUnfolder$tupleUnfolderVisitor$1).defaultValue_g74ewx_k$ = function (term) {
+  protoOf(TupleUnfolder$tupleUnfolderVisitor$1).defaultValue_gnn9hx_k$ = function (term) {
     this.this$0__1.current_1 = null;
     return term;
   };
   protoOf(TupleUnfolder$tupleUnfolderVisitor$1).defaultValue = function (term) {
-    return this.defaultValue_g74ewx_k$(term);
+    return this.defaultValue_gnn9hx_k$(term);
   };
   function TupleUnfolder(tuple) {
     this.current_1 = tuple;
@@ -8041,11 +8046,11 @@
     /* dead property reference removed */
     return tmp0.get_value_j01efc_k$();
   };
-  protoOf(VarImpl).structurallyEquals_wi3ovu_k$ = function (other) {
+  protoOf(VarImpl).structurallyEquals_9blifm_k$ = function (other) {
     return other.get_isVar_it73p0_k$();
   };
   protoOf(VarImpl).structurallyEquals = function (other) {
-    return this.structurallyEquals_wi3ovu_k$(other);
+    return this.structurallyEquals_9blifm_k$(other);
   };
   protoOf(VarImpl).copyWithTags_4mdmvl_k$ = function (tags) {
     return new VarImpl(this.name_1, this.identifier_1, tags);
@@ -8099,11 +8104,11 @@
     // Inline function 'it.unibo.tuprolog.core.impl.VarImpl.equalsByCompleteName' call
     return this.get_completeName_28np03_k$() === otherVar.get_completeName_28np03_k$();
   };
-  protoOf(VarImpl).equalsUsingVarCompleteNames_q3oi3h_k$ = function (other, useVarCompleteName) {
+  protoOf(VarImpl).equalsUsingVarCompleteNames_be7foz_k$ = function (other, useVarCompleteName) {
     return other.get_isVar_it73p0_k$() && equalsToVar(this, other.castToVar(), useVarCompleteName);
   };
   protoOf(VarImpl).equalsUsingVarCompleteNames = function (other, useVarCompleteName) {
-    return this.equalsUsingVarCompleteNames_q3oi3h_k$(other, useVarCompleteName);
+    return this.equalsUsingVarCompleteNames_be7foz_k$(other, useVarCompleteName);
   };
   protoOf(VarImpl).get_hashCodeCache_8fx9tq_k$ = function () {
     var tmp0 = this.hashCodeCache$delegate_1;
@@ -8131,7 +8136,7 @@
     return this.castTo_8vzplt_k$();
   };
   protoOf(VarImpl).compareTo_hpufkf_k$ = function (other) {
-    return this.compareTo_etpqlr_k$((!(other == null) ? isInterface(other, Term) : false) ? other : THROW_CCE());
+    return this.compareTo_kfa5id_k$((!(other == null) ? isInterface(other, Term) : false) ? other : THROW_CCE());
   };
   protoOf(VarImpl).asVar = function () {
     return this.asVar_1jfb85_k$();
@@ -8205,14 +8210,14 @@
   protoOf(VariablesProviderImpl).logicListOfSequence = function (terms) {
     return this.scope_1.logicListOfSequence(terms);
   };
-  protoOf(VariablesProviderImpl).logicListFrom_iecwwx_k$ = function (terms, last) {
-    return this.scope_1.logicListFrom_iecwwx_k$(terms, last);
+  protoOf(VariablesProviderImpl).logicListFrom_pxemlx_k$ = function (terms, last) {
+    return this.scope_1.logicListFrom_pxemlx_k$(terms, last);
   };
-  protoOf(VariablesProviderImpl).logicListFrom_afyyj7_k$ = function (terms, last) {
-    return this.scope_1.logicListFrom_afyyj7_k$(terms, last);
+  protoOf(VariablesProviderImpl).logicListFrom_yn067b_k$ = function (terms, last) {
+    return this.scope_1.logicListFrom_yn067b_k$(terms, last);
   };
-  protoOf(VariablesProviderImpl).logicListFrom_vtafhd_k$ = function (terms, last) {
-    return this.scope_1.logicListFrom_vtafhd_k$(terms, last);
+  protoOf(VariablesProviderImpl).logicListFrom_65oz79_k$ = function (terms, last) {
+    return this.scope_1.logicListFrom_65oz79_k$(terms, last);
   };
   protoOf(VariablesProviderImpl).blockOf = function (terms) {
     return this.scope_1.blockOf(terms);
@@ -8434,7 +8439,7 @@
     this.specifier_1 = specifier;
     this.priority_1 = priority;
   }
-  protoOf(Operator).compareTo_8ah0b8_k$ = function (other) {
+  protoOf(Operator).compareTo_v5u0k2_k$ = function (other) {
     var tmp;
     if (this.priority_1 > other.priority_1) {
       tmp = 1;
@@ -8448,7 +8453,7 @@
     return tmp;
   };
   protoOf(Operator).compareTo_hpufkf_k$ = function (other) {
-    return this.compareTo_8ah0b8_k$(other instanceof Operator ? other : THROW_CCE());
+    return this.compareTo_v5u0k2_k$(other instanceof Operator ? other : THROW_CCE());
   };
   protoOf(Operator).toTerm_edaxrt_k$ = function () {
     return Companion_getInstance_18().of('op', [intToTerm(this.priority_1), this.specifier_1.toTerm_edaxrt_k$(), stringToAtom(this.functor_1)]);
@@ -8672,13 +8677,13 @@
   protoOf(OperatorSet).isEmpty_y1axqb_k$ = function () {
     return this.$$delegate_0__1.isEmpty_y1axqb_k$();
   };
-  protoOf(OperatorSet).contains_t7qtir_k$ = function (element) {
+  protoOf(OperatorSet).contains_q42uj5_k$ = function (element) {
     return this.$$delegate_0__1.contains_aljjnj_k$(element);
   };
   protoOf(OperatorSet).contains_aljjnj_k$ = function (element) {
     if (!(element instanceof Operator))
       return false;
-    return this.contains_t7qtir_k$(element instanceof Operator ? element : THROW_CCE());
+    return this.contains_q42uj5_k$(element instanceof Operator ? element : THROW_CCE());
   };
   protoOf(OperatorSet).iterator_jk1svi_k$ = function () {
     return this.$$delegate_0__1.iterator_jk1svi_k$();
@@ -8973,7 +8978,7 @@
   protoOf(TupleIterator$tupleIteratorVisitor$1).visitFact = visitFact;
   protoOf(TupleIterator$tupleIteratorVisitor$1).visitDirective = visitDirective;
   protoOf(TermImpl).castTo_8vzplt_k$ = castTo_0;
-  protoOf(TermImpl).compareTo_etpqlr_k$ = compareTo_0;
+  protoOf(TermImpl).compareTo_kfa5id_k$ = compareTo_0;
   protoOf(TermImpl).get_isVar_it73p0_k$ = get_isVar;
   protoOf(TermImpl).get_isStruct_zeoyoo_k$ = get_isStruct;
   protoOf(TermImpl).get_isTruth_zhwyo8_k$ = get_isTruth;
@@ -9076,7 +9081,7 @@
   protoOf(AbstractCons).asList_nb3lsg_k$ = asList_0;
   protoOf(AbstractCons).get_arity_iosiic_k$ = get_arity_2;
   protoOf(AbstractCons).get_size_woubt6_k$ = get_size;
-  protoOf(AbstractTermFormatter).format_s5civs_k$ = format;
+  protoOf(AbstractTermFormatter).format_12olus_k$ = format;
   protoOf(AbstractTermFormatter).visitTerm = visitTerm;
   protoOf(AbstractTermFormatter).visitVar = visitVar;
   protoOf(AbstractTermFormatter).visitConstant = visitConstant;
@@ -9254,6 +9259,7 @@
   protoOf(VarImpl).get_isVar_it73p0_k$ = get_isVar_0;
   protoOf(VarImpl).asVar_1jfb85_k$ = asVar_0;
   protoOf(VarImpl).get_variables_75f0zy_k$ = get_variables_2;
+  protoOf(VarImpl).get_isWildcard_ic6nql_k$ = get_isWildcard;
   protoOf(VariablesProviderImpl).logicListFromFrom = logicListFromFrom;
   protoOf(VariablesProviderImpl).logicListFromIterable = logicListFromIterable;
   protoOf(VariablesProviderImpl).logicListFromSequence = logicListFromSequence;
@@ -9289,73 +9295,74 @@
   //endregion
   //region block: exports
   _.$_$ = _.$_$ || {};
-  _.$_$.a = Companion_getInstance_32;
-  _.$_$.b = Companion_getInstance_33;
-  _.$_$.c = Companion_getInstance_34;
-  _.$_$.d = Companion_getInstance_1;
-  _.$_$.e = Companion_getInstance_3;
-  _.$_$.f = Companion_instance_9;
-  _.$_$.g = Companion_instance_10;
-  _.$_$.h = Companion_getInstance_11;
-  _.$_$.i = Companion_instance_12;
-  _.$_$.j = Companion_getInstance_14;
-  _.$_$.k = Companion_getInstance_15;
-  _.$_$.l = Companion_instance_16;
-  _.$_$.m = Companion_instance_17;
-  _.$_$.n = Companion_getInstance_18;
-  _.$_$.o = Companion_getInstance_19;
-  _.$_$.p = Companion_instance_22;
-  _.$_$.q = Companion_getInstance_23;
-  _.$_$.r = Companion_getInstance_25;
-  _.$_$.s = Companion_instance_26;
-  _.$_$.t = TuPrologException_init_$Init$;
-  _.$_$.u = OperatorSet_init_$Create$;
-  _.$_$.v = OperatorSet_init_$Create$_0;
-  _.$_$.w = TuPrologException;
-  _.$_$.x = OperatorSet;
-  _.$_$.y = Operator;
-  _.$_$.z = Atom;
-  _.$_$.a1 = Clause;
-  _.$_$.b1 = Constant;
-  _.$_$.c1 = Directive;
-  _.$_$.d1 = Fact;
-  _.$_$.e1 = Indicator;
-  _.$_$.f1 = Integer;
-  _.$_$.g1 = List;
-  _.$_$.h1 = Numeric;
-  _.$_$.i1 = Real;
-  _.$_$.j1 = Rule;
-  _.$_$.k1 = Struct;
-  _.$_$.l1 = Unifier;
-  _.$_$.m1 = visitAtom;
-  _.$_$.n1 = visitBlock;
-  _.$_$.o1 = visitClause;
-  _.$_$.p1 = visitCollection;
-  _.$_$.q1 = visitConstant;
-  _.$_$.r1 = visitCons;
-  _.$_$.s1 = visitDirective;
-  _.$_$.t1 = visitEmptyBlock;
-  _.$_$.u1 = visitEmptyList;
-  _.$_$.v1 = visitEmpty;
-  _.$_$.w1 = visitFact;
-  _.$_$.x1 = visitIndicator;
-  _.$_$.y1 = visitInteger;
-  _.$_$.z1 = visitList;
-  _.$_$.a2 = visitNumeric;
-  _.$_$.b2 = visitReal;
-  _.$_$.c2 = visitRule;
-  _.$_$.d2 = visitTerm;
-  _.$_$.e2 = visitTruth;
-  _.$_$.f2 = visitTuple;
-  _.$_$.g2 = visitVar;
-  _.$_$.h2 = TermVisitor;
-  _.$_$.i2 = Term;
-  _.$_$.j2 = Tuple;
-  _.$_$.k2 = Var;
-  _.$_$.l2 = format_0;
-  _.$_$.m2 = prepareForExecutionWithUnifier;
-  _.$_$.n2 = prepareForExecution;
-  _.$_$.o2 = stringToAtom;
+  _.$_$.a = Specifier_XFX_getInstance;
+  _.$_$.b = Companion_getInstance_32;
+  _.$_$.c = Companion_getInstance_33;
+  _.$_$.d = Companion_getInstance_34;
+  _.$_$.e = Companion_getInstance_1;
+  _.$_$.f = Companion_getInstance_3;
+  _.$_$.g = Companion_instance_9;
+  _.$_$.h = Companion_instance_10;
+  _.$_$.i = Companion_getInstance_11;
+  _.$_$.j = Companion_instance_12;
+  _.$_$.k = Companion_getInstance_14;
+  _.$_$.l = Companion_getInstance_15;
+  _.$_$.m = Companion_instance_16;
+  _.$_$.n = Companion_instance_17;
+  _.$_$.o = Companion_getInstance_18;
+  _.$_$.p = Companion_getInstance_19;
+  _.$_$.q = Companion_instance_22;
+  _.$_$.r = Companion_getInstance_23;
+  _.$_$.s = Companion_getInstance_25;
+  _.$_$.t = Companion_instance_26;
+  _.$_$.u = TuPrologException_init_$Init$;
+  _.$_$.v = OperatorSet_init_$Create$;
+  _.$_$.w = OperatorSet_init_$Create$_0;
+  _.$_$.x = TuPrologException;
+  _.$_$.y = OperatorSet;
+  _.$_$.z = Operator;
+  _.$_$.a1 = Atom;
+  _.$_$.b1 = Clause;
+  _.$_$.c1 = Constant;
+  _.$_$.d1 = Directive;
+  _.$_$.e1 = Fact;
+  _.$_$.f1 = Indicator;
+  _.$_$.g1 = Integer;
+  _.$_$.h1 = List;
+  _.$_$.i1 = Numeric;
+  _.$_$.j1 = Real;
+  _.$_$.k1 = Rule;
+  _.$_$.l1 = Struct;
+  _.$_$.m1 = Unifier;
+  _.$_$.n1 = visitAtom;
+  _.$_$.o1 = visitBlock;
+  _.$_$.p1 = visitClause;
+  _.$_$.q1 = visitCollection;
+  _.$_$.r1 = visitConstant;
+  _.$_$.s1 = visitCons;
+  _.$_$.t1 = visitDirective;
+  _.$_$.u1 = visitEmptyBlock;
+  _.$_$.v1 = visitEmptyList;
+  _.$_$.w1 = visitEmpty;
+  _.$_$.x1 = visitFact;
+  _.$_$.y1 = visitIndicator;
+  _.$_$.z1 = visitInteger;
+  _.$_$.a2 = visitList;
+  _.$_$.b2 = visitNumeric;
+  _.$_$.c2 = visitReal;
+  _.$_$.d2 = visitRule;
+  _.$_$.e2 = visitTerm;
+  _.$_$.f2 = visitTruth;
+  _.$_$.g2 = visitTuple;
+  _.$_$.h2 = visitVar;
+  _.$_$.i2 = TermVisitor;
+  _.$_$.j2 = Term;
+  _.$_$.k2 = Tuple;
+  _.$_$.l2 = Var;
+  _.$_$.m2 = format_0;
+  _.$_$.n2 = prepareForExecutionWithUnifier;
+  _.$_$.o2 = prepareForExecution;
+  _.$_$.p2 = stringToAtom;
   //endregion
   return _;
 }));