@jakta/jakta-prolog-incarnation 1.1.6 → 1.1.8

package/2p-core.js

@@ -110,6 +110,9 @@
   var initMetadataForObject = kotlin_kotlin.$_$.c6;
   var compareTo = kotlin_kotlin.$_$.q5;
   var Enum = kotlin_kotlin.$_$.x9;
+  var joinToString = kotlin_kotlin.$_$.q2;
+  var getBooleanHashCode = kotlin_kotlin.$_$.u5;
+  var getStringHashCode = kotlin_kotlin.$_$.w5;
   var noWhenBranchMatchedException = kotlin_kotlin.$_$.oa;
   var Regex_init_$Create$ = kotlin_kotlin.$_$.t;
   var toString_1 = kotlin_kotlin.$_$.g;
@@ -129,17 +132,16 @@
   var asSequence_1 = kotlin_kotlin.$_$.k7;
   var last_0 = kotlin_kotlin.$_$.b8;
   var take = kotlin_kotlin.$_$.n8;
-  var joinToString = kotlin_kotlin.$_$.z7;
+  var joinToString_0 = kotlin_kotlin.$_$.z7;
   var setTags = kotlin_it_unibo_tuprolog_utils.$_$.i1;
-  var getStringHashCode = kotlin_kotlin.$_$.w5;
   var forceCast = kotlin_it_unibo_tuprolog_utils.$_$.z;
   var itemWiseHashCode = kotlin_it_unibo_tuprolog_utils.$_$.d1;
-  var joinToString_0 = kotlin_kotlin.$_$.q2;
   var plus_1 = kotlin_kotlin.$_$.q3;
   var get_indices = kotlin_kotlin.$_$.p2;
   var IndexOutOfBoundsException_init_$Create$ = kotlin_kotlin.$_$.g1;
   var copyToArray = kotlin_kotlin.$_$.g2;
   var numberToChar = kotlin_kotlin.$_$.k6;
+  var charSequenceLength = kotlin_kotlin.$_$.p5;
   var mutableMapOf = kotlin_kotlin.$_$.j3;
   var drop = kotlin_kotlin.$_$.o7;
   var first_0 = kotlin_kotlin.$_$.u7;
@@ -1401,6 +1403,7 @@
   initMetadataForClass(VarFormat, 'VarFormat', VOID, Enum);
   initMetadataForClass(OpFormat, 'OpFormat', VOID, Enum);
   initMetadataForClass(FuncFormat, 'FuncFormat', VOID, Enum);
+  initMetadataForClass(TagsFormattingOptions, 'TagsFormattingOptions', TagsFormattingOptions);
   initMetadataForCompanion(Companion_20);
   function format(value) {
     return value.accept(this);
@@ -1418,7 +1421,7 @@
     return this;
   }
   function asTruth_1() {
-    return this.g11();
+    return this.t11();
   }
   function asAtom_4() {
     return this.mt();
@@ -1450,7 +1453,7 @@
     return this;
   }
   function asTuple_1() {
-    return this.l11();
+    return this.y11();
   }
   function toArray_4() {
     return this.ou();
@@ -1496,7 +1499,7 @@
     return this;
   }
   function asVar_1() {
-    return this.u11();
+    return this.h12();
   }
   function castTo_20() {
     return this.bu();
@@ -3565,6 +3568,21 @@
     FuncFormat_QUOTED_IF_NECESSARY_instance = new FuncFormat('QUOTED_IF_NECESSARY', 0);
     FuncFormat_LITERAL_instance = new FuncFormat('LITERAL', 1);
   }
+  function TermFormatter$TagsFormattingOptions$_init_$lambda_rws01d(it) {
+    return true;
+  }
+  function TermFormatter$TagsFormattingOptions$formatTags$lambda(this$0) {
+    return function (_destruct__k2r9zo) {
+      // Inline function 'kotlin.collections.component1' call
+      var key = _destruct__k2r9zo.b2();
+      // Inline function 'kotlin.collections.component2' call
+      var value = _destruct__k2r9zo.c2();
+      var tmp0_safe_receiver = this$0.i11_1;
+      var tmp1_elvis_lhs = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.format(value);
+      var formattedValue = tmp1_elvis_lhs == null ? toString(value) : tmp1_elvis_lhs;
+      return this$0.f11_1 ? key + '=' + formattedValue : formattedValue;
+    };
+  }
   function VarFormat(name, ordinal) {
     Enum.call(this, name, ordinal);
   }
@@ -3574,66 +3592,167 @@
   function FuncFormat(name, ordinal) {
     Enum.call(this, name, ordinal);
   }
+  function TagsFormattingOptions(showTags, delimiters, separator, showKeys, showDelimitersIfEmpty, keyFilter, tagFormatter) {
+    showTags = showTags === VOID ? false : showTags;
+    delimiters = delimiters === VOID ? to('<', '>') : delimiters;
+    separator = separator === VOID ? ', ' : separator;
+    showKeys = showKeys === VOID ? true : showKeys;
+    showDelimitersIfEmpty = showDelimitersIfEmpty === VOID ? false : showDelimitersIfEmpty;
+    var tmp;
+    if (keyFilter === VOID) {
+      tmp = TermFormatter$TagsFormattingOptions$_init_$lambda_rws01d;
+    } else {
+      tmp = keyFilter;
+    }
+    keyFilter = tmp;
+    tagFormatter = tagFormatter === VOID ? null : tagFormatter;
+    this.c11_1 = showTags;
+    this.d11_1 = delimiters;
+    this.e11_1 = separator;
+    this.f11_1 = showKeys;
+    this.g11_1 = showDelimitersIfEmpty;
+    this.h11_1 = keyFilter;
+    this.i11_1 = tagFormatter;
+  }
+  protoOf(TagsFormattingOptions).j11 = function (tags) {
+    if (!this.c11_1)
+      return '';
+    // Inline function 'kotlin.collections.filterKeys' call
+    var predicate = this.h11_1;
+    var result = LinkedHashMap_init_$Create$();
+    // Inline function 'kotlin.collections.iterator' call
+    var _iterator__ex2g4s = tags.b1().m();
+    while (_iterator__ex2g4s.p()) {
+      var entry = _iterator__ex2g4s.q();
+      if (predicate(entry.b2())) {
+        result.p4(entry.b2(), entry.c2());
+      }
+    }
+    var filteredTags = result;
+    if (filteredTags.g()) {
+      return this.g11_1 ? this.d11_1.first + this.d11_1.second : '';
+    }
+    var tmp = filteredTags.b1();
+    var formattedTags = joinToString(tmp, this.e11_1, VOID, VOID, VOID, VOID, TermFormatter$TagsFormattingOptions$formatTags$lambda(this));
+    return this.d11_1.first + formattedTags + this.d11_1.second;
+  };
+  protoOf(TagsFormattingOptions).toString = function () {
+    return 'TagsFormattingOptions(showTags=' + this.c11_1 + ', delimiters=' + this.d11_1.toString() + ', separator=' + this.e11_1 + ', showKeys=' + this.f11_1 + ', showDelimitersIfEmpty=' + this.g11_1 + ', keyFilter=' + toString(this.h11_1) + ', tagFormatter=' + toString_0(this.i11_1) + ')';
+  };
+  protoOf(TagsFormattingOptions).hashCode = function () {
+    var result = getBooleanHashCode(this.c11_1);
+    result = imul(result, 31) + this.d11_1.hashCode() | 0;
+    result = imul(result, 31) + getStringHashCode(this.e11_1) | 0;
+    result = imul(result, 31) + getBooleanHashCode(this.f11_1) | 0;
+    result = imul(result, 31) + getBooleanHashCode(this.g11_1) | 0;
+    result = imul(result, 31) + hashCode(this.h11_1) | 0;
+    result = imul(result, 31) + (this.i11_1 == null ? 0 : hashCode(this.i11_1)) | 0;
+    return result;
+  };
+  protoOf(TagsFormattingOptions).equals = function (other) {
+    if (this === other)
+      return true;
+    if (!(other instanceof TagsFormattingOptions))
+      return false;
+    if (!(this.c11_1 === other.c11_1))
+      return false;
+    if (!this.d11_1.equals(other.d11_1))
+      return false;
+    if (!(this.e11_1 === other.e11_1))
+      return false;
+    if (!(this.f11_1 === other.f11_1))
+      return false;
+    if (!(this.g11_1 === other.g11_1))
+      return false;
+    if (!equals(this.h11_1, other.h11_1))
+      return false;
+    if (!equals(this.i11_1, other.i11_1))
+      return false;
+    return true;
+  };
   function Companion_20() {
   }
-  protoOf(Companion_20).c11 = function (varFormat, opFormat, funcFormat, numberVars, operators) {
+  protoOf(Companion_20).k11 = function (varFormat, opFormat, funcFormat, numberVars, operators, tagsOptions) {
     var quoted = funcFormat.equals(FuncFormat_QUOTED_IF_NECESSARY_getInstance());
     var ignoreOps = opFormat.equals(OpFormat_IGNORE_OPERATORS_getInstance());
     var tmp;
     switch (varFormat.j2_1) {
       case 0:
-        tmp = new SimpleTermFormatter(quoted, numberVars, ignoreOps);
+        tmp = new SimpleTermFormatter(quoted, numberVars, ignoreOps, tagsOptions);
         break;
       case 1:
-        tmp = new TermFormatterWithAnonymousVariables(quoted, numberVars, ignoreOps);
+        tmp = new TermFormatterWithAnonymousVariables(quoted, numberVars, ignoreOps, tagsOptions);
         break;
       case 2:
-        tmp = new TermFormatterWithPrettyVariables(quoted, numberVars, ignoreOps);
+        tmp = new TermFormatterWithPrettyVariables(quoted, numberVars, ignoreOps, tagsOptions);
         break;
       default:
         noWhenBranchMatchedException();
         break;
     }
     var inner = tmp;
-    return opFormat.j2_1 === 2 ? TermFormatterWithPrettyExpressions_init_$Create$(inner, operators, quoted, numberVars, ignoreOps) : inner;
+    return opFormat.j2_1 === 2 ? TermFormatterWithPrettyExpressions_init_$Create$(inner, operators, quoted, numberVars, ignoreOps, tagsOptions) : inner;
   };
-  protoOf(Companion_20).of = function (varFormat, opFormat, funcFormat, numberVars, operators, $super) {
+  protoOf(Companion_20).of = function (varFormat, opFormat, funcFormat, numberVars, operators, tagsOptions, $super) {
     funcFormat = funcFormat === VOID ? FuncFormat_QUOTED_IF_NECESSARY_getInstance() : funcFormat;
     numberVars = numberVars === VOID ? false : numberVars;
     operators = operators === VOID ? Companion_getInstance_33().DEFAULT : operators;
-    return $super === VOID ? this.c11(varFormat, opFormat, funcFormat, numberVars, operators) : $super.c11.call(this, varFormat, opFormat, funcFormat, numberVars, operators);
+    tagsOptions = tagsOptions === VOID ? new TagsFormattingOptions() : tagsOptions;
+    return $super === VOID ? this.k11(varFormat, opFormat, funcFormat, numberVars, operators, tagsOptions) : $super.k11.call(this, varFormat, opFormat, funcFormat, numberVars, operators, tagsOptions);
   };
-  protoOf(Companion_20).d11 = function (operators) {
-    return this.c11(VarFormat_UNDERSCORE_getInstance(), OpFormat_EXPRESSIONS_getInstance(), FuncFormat_LITERAL_getInstance(), true, operators);
+  protoOf(Companion_20).l11 = function (operators, tagsOptions) {
+    return this.k11(VarFormat_UNDERSCORE_getInstance(), OpFormat_EXPRESSIONS_getInstance(), FuncFormat_LITERAL_getInstance(), true, operators, tagsOptions);
   };
-  protoOf(Companion_20).default = function (operators, $super) {
+  protoOf(Companion_20).default = function (operators, tagsOptions, $super) {
     operators = operators === VOID ? Companion_getInstance_33().DEFAULT : operators;
-    return $super === VOID ? this.d11(operators) : $super.d11.call(this, operators);
+    tagsOptions = tagsOptions === VOID ? new TagsFormattingOptions(true) : tagsOptions;
+    return $super === VOID ? this.l11(operators, tagsOptions) : $super.l11.call(this, operators, tagsOptions);
   };
   protoOf(Companion_20).canonical = function () {
     return this.of(VarFormat_UNDERSCORE_getInstance(), OpFormat_IGNORE_OPERATORS_getInstance(), FuncFormat_QUOTED_IF_NECESSARY_getInstance(), false);
   };
-  protoOf(Companion_20).e11 = function (operators) {
-    return this.c11(VarFormat_PRETTY_getInstance(), OpFormat_EXPRESSIONS_getInstance(), FuncFormat_QUOTED_IF_NECESSARY_getInstance(), true, operators);
+  protoOf(Companion_20).m11 = function (operators, tagsOptions) {
+    return this.k11(VarFormat_PRETTY_getInstance(), OpFormat_EXPRESSIONS_getInstance(), FuncFormat_QUOTED_IF_NECESSARY_getInstance(), true, operators, tagsOptions);
   };
-  protoOf(Companion_20).readable = function (operators, $super) {
+  protoOf(Companion_20).readable = function (operators, tagsOptions, $super) {
     operators = operators === VOID ? Companion_getInstance_33().DEFAULT : operators;
-    return $super === VOID ? this.e11(operators) : $super.e11.call(this, operators);
+    tagsOptions = tagsOptions === VOID ? new TagsFormattingOptions() : tagsOptions;
+    return $super === VOID ? this.m11(operators, tagsOptions) : $super.m11.call(this, operators, tagsOptions);
+  };
+  protoOf(Companion_20).n11 = function (tagsOptions) {
+    return this.of(VarFormat_PRETTY_getInstance(), OpFormat_COLLECTIONS_getInstance(), VOID, VOID, VOID, tagsOptions);
+  };
+  protoOf(Companion_20).prettyVariables = function (tagsOptions, $super) {
+    tagsOptions = tagsOptions === VOID ? new TagsFormattingOptions() : tagsOptions;
+    return $super === VOID ? this.n11(tagsOptions) : $super.n11.call(this, tagsOptions);
+  };
+  protoOf(Companion_20).o11 = function (prettyVariables, operatorSet, tagsOptions) {
+    return this.of(prettyVariables ? VarFormat_PRETTY_getInstance() : VarFormat_COMPLETE_NAME_getInstance(), OpFormat_EXPRESSIONS_getInstance(), VOID, VOID, operatorSet, tagsOptions);
+  };
+  protoOf(Companion_20).prettyExpressions = function (prettyVariables, operatorSet, tagsOptions, $super) {
+    tagsOptions = tagsOptions === VOID ? new TagsFormattingOptions() : tagsOptions;
+    return $super === VOID ? this.o11(prettyVariables, operatorSet, tagsOptions) : $super.o11.call(this, prettyVariables, operatorSet, tagsOptions);
   };
-  protoOf(Companion_20).prettyVariables = function () {
-    return this.of(VarFormat_PRETTY_getInstance(), OpFormat_COLLECTIONS_getInstance());
+  protoOf(Companion_20).p11 = function (operatorSet, tagsOptions) {
+    return this.o11(true, operatorSet, tagsOptions);
   };
-  protoOf(Companion_20).prettyExpressions = function (prettyVariables, operatorSet) {
-    return this.of(prettyVariables ? VarFormat_PRETTY_getInstance() : VarFormat_COMPLETE_NAME_getInstance(), OpFormat_EXPRESSIONS_getInstance(), VOID, VOID, operatorSet);
+  protoOf(Companion_20).prettyExpressionsPrettyVariables = function (operatorSet, tagsOptions, $super) {
+    tagsOptions = tagsOptions === VOID ? new TagsFormattingOptions() : tagsOptions;
+    return $super === VOID ? this.p11(operatorSet, tagsOptions) : $super.p11.call(this, operatorSet, tagsOptions);
   };
-  protoOf(Companion_20).prettyExpressionsPrettyVariables = function (operatorSet) {
-    return this.prettyExpressions(true, operatorSet);
+  protoOf(Companion_20).q11 = function (prettyVariables, tagsOptions) {
+    return this.o11(prettyVariables, Companion_getInstance_33().DEFAULT, tagsOptions);
   };
-  protoOf(Companion_20).prettyExpressionsDefaultOperators = function (prettyVariables) {
-    return this.prettyExpressions(prettyVariables, Companion_getInstance_33().DEFAULT);
+  protoOf(Companion_20).prettyExpressionsDefaultOperators = function (prettyVariables, tagsOptions, $super) {
+    tagsOptions = tagsOptions === VOID ? new TagsFormattingOptions() : tagsOptions;
+    return $super === VOID ? this.q11(prettyVariables, tagsOptions) : $super.q11.call(this, prettyVariables, tagsOptions);
   };
-  protoOf(Companion_20).prettyExpressionsPrettyVariablesDefaultOperators = function () {
-    return this.prettyExpressions(true, Companion_getInstance_33().DEFAULT);
+  protoOf(Companion_20).r11 = function (tagsOptions) {
+    return this.o11(true, Companion_getInstance_33().DEFAULT, tagsOptions);
+  };
+  protoOf(Companion_20).prettyExpressionsPrettyVariablesDefaultOperators = function (tagsOptions, $super) {
+    tagsOptions = tagsOptions === VOID ? new TagsFormattingOptions() : tagsOptions;
+    return $super === VOID ? this.r11(tagsOptions) : $super.r11.call(this, tagsOptions);
   };
   var Companion_instance_21;
   function Companion_getInstance_22() {
@@ -3769,10 +3888,10 @@
     return Companion_getInstance_23().ys_1;
   }
   function Companion_22() {
-    this.h11_1 = ',';
+    this.u11_1 = ',';
   }
-  protoOf(Companion_22).i11 = function (terms, ifEmpty) {
-    return this.j11(asIterable(terms), ifEmpty);
+  protoOf(Companion_22).v11 = function (terms, ifEmpty) {
+    return this.w11(asIterable(terms), ifEmpty);
   };
   protoOf(Companion_22).wrapIfNeeded = function (terms, ifEmpty, $super) {
     var tmp;
@@ -3782,9 +3901,9 @@
       tmp = ifEmpty;
     }
     ifEmpty = tmp;
-    return $super === VOID ? this.i11(terms, ifEmpty) : $super.i11.call(this, terms, ifEmpty);
+    return $super === VOID ? this.v11(terms, ifEmpty) : $super.v11.call(this, terms, ifEmpty);
   };
-  protoOf(Companion_22).j11 = function (terms, ifEmpty) {
+  protoOf(Companion_22).w11 = function (terms, ifEmpty) {
     var i = terms.m();
     if (!i.p())
       return ifEmpty();
@@ -3805,10 +3924,10 @@
       tmp = ifEmpty;
     }
     ifEmpty = tmp;
-    return $super === VOID ? this.j11(terms, ifEmpty) : $super.j11.call(this, terms, ifEmpty);
+    return $super === VOID ? this.w11(terms, ifEmpty) : $super.w11.call(this, terms, ifEmpty);
   };
-  protoOf(Companion_22).k11 = function (terms, ifEmpty) {
-    return this.j11(asIterable_0(terms), ifEmpty);
+  protoOf(Companion_22).x11 = function (terms, ifEmpty) {
+    return this.w11(asIterable_0(terms), ifEmpty);
   };
   protoOf(Companion_22).wrapSequenceIfNeeded = function (terms, ifEmpty, $super) {
     var tmp;
@@ -3818,7 +3937,7 @@
       tmp = ifEmpty;
     }
     ifEmpty = tmp;
-    return $super === VOID ? this.k11(terms, ifEmpty) : $super.k11.call(this, terms, ifEmpty);
+    return $super === VOID ? this.x11(terms, ifEmpty) : $super.x11.call(this, terms, ifEmpty);
   };
   protoOf(Companion_22).of = function (left, right) {
     return new TupleImpl(left, right);
@@ -3855,17 +3974,17 @@
   function Tuple() {
   }
   function TupleIterator$tupleIteratorVisitor$1(this$0) {
-    this.m11_1 = this$0;
+    this.z11_1 = this$0;
   }
   protoOf(TupleIterator$tupleIteratorVisitor$1).wu = function (term) {
-    this.m11_1.o11_1 = term.av();
+    this.z11_1.b12_1 = term.av();
     return term.bv();
   };
   protoOf(TupleIterator$tupleIteratorVisitor$1).visitTuple = function (term) {
     return this.wu(term);
   };
   protoOf(TupleIterator$tupleIteratorVisitor$1).cv = function (term) {
-    this.m11_1.o11_1 = null;
+    this.z11_1.b12_1 = null;
     return term;
   };
   protoOf(TupleIterator$tupleIteratorVisitor$1).defaultValue = function (term) {
@@ -3873,15 +3992,15 @@
   };
   function TupleIterator(tuple) {
     var tmp = this;
-    tmp.n11_1 = new TupleIterator$tupleIteratorVisitor$1(this);
-    this.o11_1 = tuple;
+    tmp.a12_1 = new TupleIterator$tupleIteratorVisitor$1(this);
+    this.b12_1 = tuple;
   }
   protoOf(TupleIterator).p = function () {
-    return !(this.o11_1 == null);
+    return !(this.b12_1 == null);
   };
   protoOf(TupleIterator).q = function () {
-    var tmp0_safe_receiver = this.o11_1;
-    var tmp1_elvis_lhs = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.accept(this.n11_1);
+    var tmp0_safe_receiver = this.b12_1;
+    var tmp1_elvis_lhs = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.accept(this.a12_1);
     var tmp;
     if (tmp1_elvis_lhs == null) {
       throw NoSuchElementException_init_$Create$();
@@ -3892,8 +4011,8 @@
   };
   function Companion_23() {
     Companion_instance_24 = this;
-    this.p11_1 = '_';
-    this.q11_1 = Terms_getInstance().es_1;
+    this.c12_1 = '_';
+    this.d12_1 = Terms_getInstance().es_1;
   }
   protoOf(Companion_23).of = function (name) {
     return new VarImpl(name);
@@ -3925,12 +4044,12 @@
   }
   function Companion_24() {
   }
-  protoOf(Companion_24).v11 = function (scope) {
+  protoOf(Companion_24).i12 = function (scope) {
     return new VariablesProviderImpl(scope);
   };
   protoOf(Companion_24).of = function (scope, $super) {
     scope = scope === VOID ? Companion_instance_16.empty() : scope;
-    return $super === VOID ? this.v11(scope) : $super.v11.call(this, scope);
+    return $super === VOID ? this.i12(scope) : $super.i12.call(this, scope);
   };
   var Companion_instance_25;
   function Companion_getInstance_26() {
@@ -3940,7 +4059,7 @@
     cause = cause === VOID ? null : cause;
     SubstitutionException_init_$Init$(substitution, message, cause, $this);
     SubstitutionApplicationException.call($this);
-    $this.x11_1 = term;
+    $this.k12_1 = term;
     return $this;
   }
   function SubstitutionApplicationException_init_$Init$_0(term, substitution, cause, $this) {
@@ -3963,7 +4082,7 @@
     cause = cause === VOID ? null : cause;
     TuPrologException_init_$Init$(message, cause, $this);
     SubstitutionException.call($this);
-    $this.y11_1 = substitution;
+    $this.l12_1 = substitution;
     return $this;
   }
   function SubstitutionException_init_$Init$_0(substitution, cause, $this) {
@@ -4014,17 +4133,17 @@
     captureStack(this, TuPrologException);
   }
   function Companion_26() {
-    this.z11_1 = 100;
+    this.m12_1 = 100;
   }
   var Companion_instance_27;
   function Companion_getInstance_28() {
     return Companion_instance_27;
   }
   function AbstractCons$unfoldedSequence$$inlined$Iterable$1(this$0) {
-    this.a12_1 = this$0;
+    this.n12_1 = this$0;
   }
   protoOf(AbstractCons$unfoldedSequence$$inlined$Iterable$1).m = function () {
-    return new All(this.a12_1);
+    return new All(this.n12_1);
   };
   function AbstractCons$isWellFormed$delegate$lambda(this$0) {
     return function () {
@@ -4037,17 +4156,17 @@
     }, 1, 0, 5);
   }
   function AbstractCons$unfold$$inlined$Iterable$1(this$0) {
-    this.i12_1 = this$0;
+    this.v12_1 = this$0;
   }
   protoOf(AbstractCons$unfold$$inlined$Iterable$1).m = function () {
-    return new ListUnfolder(this.i12_1);
+    return new ListUnfolder(this.v12_1);
   };
   function AbstractCons(args, tags) {
     tags = tags === VOID ? emptyMap() : tags;
     RecursiveImpl.call(this, '.', args, tags);
-    this.g12_1 = '.';
+    this.t12_1 = '.';
     var tmp = this;
-    tmp.h12_1 = lazy(AbstractCons$isWellFormed$delegate$lambda(this));
+    tmp.u12_1 = lazy(AbstractCons$isWellFormed$delegate$lambda(this));
   }
   protoOf(AbstractCons).gw = function () {
     return 1;
@@ -4058,22 +4177,22 @@
     return asSequence_0(tmp$ret$0);
   };
   protoOf(AbstractCons).ht = function () {
-    return this.g12_1;
+    return this.t12_1;
   };
   protoOf(AbstractCons).xv = function () {
-    var tmp0 = this.h12_1;
+    var tmp0 = this.u12_1;
     var tmp = KProperty1;
     // Inline function 'kotlin.getValue' call
     getPropertyCallableRef('isWellFormed', 1, tmp, AbstractCons$_get_isWellFormed_$ref_h49uq8(), null);
     return tmp0.c2();
   };
-  protoOf(AbstractCons).j12 = function () {
+  protoOf(AbstractCons).w12 = function () {
     // Inline function 'kotlin.collections.Iterable' call
     var tmp$ret$0 = new AbstractCons$unfold$$inlined$Iterable$1(this);
     return asSequence_0(tmp$ret$0);
   };
   protoOf(AbstractCons).unfold = function () {
-    return this.j12();
+    return this.w12();
   };
   protoOf(AbstractCons).y4 = function () {
     return this.xv() ? sliceArray(this.ou(), until(0, get_lastIndex_0(this.ou()))) : this.ou();
@@ -4103,7 +4222,7 @@
     var _destruct__k2r9zo = tmp;
     var ending = _destruct__k2r9zo.ac();
     var take_0 = _destruct__k2r9zo.bc();
-    return joinToString(take(this.ru(), take_0), ', ', '[', ending);
+    return joinToString_0(take(this.ru(), take_0), ', ', '[', ending);
   };
   protoOf(AbstractCons).kt = function () {
     return protoOf(RecursiveImpl).kt.call(this).castToCons();
@@ -4117,11 +4236,11 @@
   protoOf(AbstractCons).freshCopyFromScope = function (scope) {
     return this.lt(scope);
   };
-  protoOf(AbstractCons).s12 = function (visitor) {
+  protoOf(AbstractCons).f13 = function (visitor) {
     return visitor.visitCons(this);
   };
   protoOf(AbstractCons).accept = function (visitor) {
-    return this.s12(visitor);
+    return this.f13(visitor);
   };
   protoOf(AbstractCons).oo = function () {
     return this.bu();
@@ -4148,7 +4267,7 @@
       return false;
     if (!($this.bt() === other.bt()))
       return false;
-    if (!$this.w12(other, useVarCompleteName))
+    if (!$this.j13(other, useVarCompleteName))
       return false;
     return true;
   }
@@ -4161,33 +4280,33 @@
     return function () {
       var result = getStringHashCode(this$0.ht());
       result = imul(31, result) + this$0.bt() | 0;
-      result = imul(31, result) + this$0.u12() | 0;
+      result = imul(31, result) + this$0.h13() | 0;
       return result;
     };
   }
   function AbstractStruct$_get_hashCodeCache_$ref_897o98() {
     return constructCallableReference(function (p0) {
-      return p0.d13();
+      return p0.q13();
     }, 1, 0, 6);
   }
   function AbstractStruct(functor, args, tags) {
     tags = tags === VOID ? emptyMap() : tags;
     TermImpl.call(this, tags);
-    this.y12_1 = functor;
-    this.z12_1 = args;
+    this.l13_1 = functor;
+    this.m13_1 = args;
     var tmp = this;
-    tmp.a13_1 = lazy(AbstractStruct$hashCodeCache$delegate$lambda(this));
+    tmp.n13_1 = lazy(AbstractStruct$hashCodeCache$delegate$lambda(this));
   }
   protoOf(AbstractStruct).ht = function () {
-    return this.y12_1;
+    return this.l13_1;
   };
   protoOf(AbstractStruct).it = function () {
-    return this.z12_1;
+    return this.m13_1;
   };
   protoOf(AbstractStruct).lu = function () {
-    return this.t12();
+    return this.g13();
   };
-  protoOf(AbstractStruct).t12 = function () {
+  protoOf(AbstractStruct).g13 = function () {
     return none(this.jt());
   };
   protoOf(AbstractStruct).kt = function () {
@@ -4210,21 +4329,21 @@
   protoOf(AbstractStruct).freshCopyFromScope = function (scope) {
     return this.lt(scope);
   };
-  protoOf(AbstractStruct).b13 = function (other) {
+  protoOf(AbstractStruct).o13 = function (other) {
     var tmp;
     if (other.nt()) {
       // Inline function 'kotlin.let' call
       var it = other.castToStruct();
-      tmp = (this.ht() === it.ht() && this.bt() === it.bt() && this.v12(it));
+      tmp = (this.ht() === it.ht() && this.bt() === it.bt() && this.i13(it));
     } else {
       tmp = false;
     }
     return tmp;
   };
   protoOf(AbstractStruct).structurallyEquals = function (other) {
-    return this.b13(other);
+    return this.o13(other);
   };
-  protoOf(AbstractStruct).v12 = function (other) {
+  protoOf(AbstractStruct).i13 = function (other) {
     var inductionVariable = 0;
     var last = this.bt();
     if (inductionVariable < last)
@@ -4275,7 +4394,7 @@
     var tmp2_elvis_lhs = tmp_2;
     return tmp2_elvis_lhs == null ? false : tmp2_elvis_lhs;
   };
-  protoOf(AbstractStruct).w12 = function (other, useVarCompleteName) {
+  protoOf(AbstractStruct).j13 = function (other, useVarCompleteName) {
     var inductionVariable = 0;
     var last = this.bt();
     if (inductionVariable < last)
@@ -4289,7 +4408,7 @@
        while (inductionVariable < last);
     return true;
   };
-  protoOf(AbstractStruct).c13 = function (other, useVarCompleteName) {
+  protoOf(AbstractStruct).p13 = function (other, useVarCompleteName) {
     var tmp0_safe_receiver = other.asStruct();
     var tmp;
     if (tmp0_safe_receiver == null) {
@@ -4302,36 +4421,36 @@
     return tmp1_elvis_lhs == null ? false : tmp1_elvis_lhs;
   };
   protoOf(AbstractStruct).equalsUsingVarCompleteNames = function (other, useVarCompleteName) {
-    return this.c13(other, useVarCompleteName);
+    return this.p13(other, useVarCompleteName);
   };
-  protoOf(AbstractStruct).d13 = function () {
-    var tmp0 = this.a13_1;
+  protoOf(AbstractStruct).q13 = function () {
+    var tmp0 = this.n13_1;
     var tmp = KProperty1;
     // Inline function 'kotlin.getValue' call
     getPropertyCallableRef('hashCodeCache', 1, tmp, AbstractStruct$_get_hashCodeCache_$ref_897o98(), null);
     return tmp0.c2();
   };
-  protoOf(AbstractStruct).u12 = function () {
+  protoOf(AbstractStruct).h13 = function () {
     return itemWiseHashCode(this.it());
   };
   protoOf(AbstractStruct).toString = function () {
     var escaped = Companion_getInstance_18().escapeFunctorIfNeeded(this.ht());
     var quoted = Companion_getInstance_18().enquoteFunctorIfNecessary(escaped);
-    return quoted + (this.bt() > 0 ? '(' + joinToString_0(this.it(), ', ') + ')' : '');
+    return quoted + (this.bt() > 0 ? '(' + joinToString(this.it(), ', ') + ')' : '');
   };
-  protoOf(AbstractStruct).e13 = function (argument) {
+  protoOf(AbstractStruct).r13 = function (argument) {
     return Companion_getInstance_18().ofList(this.ht(), plus_1(this.it(), argument));
   };
   protoOf(AbstractStruct).addLast = function (argument) {
-    return this.e13(argument);
+    return this.r13(argument);
   };
-  protoOf(AbstractStruct).f13 = function (argument) {
+  protoOf(AbstractStruct).s13 = function (argument) {
     return Companion_getInstance_18().ofList(this.ht(), plus(listOf_0(argument), this.it()));
   };
   protoOf(AbstractStruct).addFirst = function (argument) {
-    return this.f13(argument);
+    return this.s13(argument);
   };
-  protoOf(AbstractStruct).g13 = function (index, argument) {
+  protoOf(AbstractStruct).t13 = function (index, argument) {
     var tmp;
     if (0 <= index ? index < this.bt() : false) {
       // Inline function 'kotlin.collections.toTypedArray' call
@@ -4344,33 +4463,33 @@
     return tmp;
   };
   protoOf(AbstractStruct).insertAt = function (index, argument) {
-    return this.g13(index, argument);
+    return this.t13(index, argument);
   };
-  protoOf(AbstractStruct).h13 = function (functor) {
+  protoOf(AbstractStruct).u13 = function (functor) {
     return Companion_getInstance_18().ofList(functor, this.it());
   };
   protoOf(AbstractStruct).setFunctor = function (functor) {
-    return this.h13(functor);
+    return this.u13(functor);
   };
-  protoOf(AbstractStruct).i13 = function (args) {
+  protoOf(AbstractStruct).v13 = function (args) {
     return Companion_getInstance_18().of(this.ht(), args.slice());
   };
   protoOf(AbstractStruct).setArgs = function (args) {
-    return this.i13(args);
+    return this.v13(args);
   };
-  protoOf(AbstractStruct).j13 = function (args) {
+  protoOf(AbstractStruct).w13 = function (args) {
     return Companion_getInstance_18().ofIterable(this.ht(), args);
   };
   protoOf(AbstractStruct).setArgsIterable = function (args) {
-    return this.j13(args);
+    return this.w13(args);
   };
-  protoOf(AbstractStruct).k13 = function (args) {
+  protoOf(AbstractStruct).x13 = function (args) {
     return Companion_getInstance_18().ofSequence(this.ht(), args);
   };
   protoOf(AbstractStruct).setArgsSequence = function (args) {
-    return this.k13(args);
+    return this.x13(args);
   };
-  protoOf(AbstractStruct).p12 = function (unifier) {
+  protoOf(AbstractStruct).c13 = function (unifier) {
     var tmp = Companion_getInstance_18();
     var tmp_0 = this.ht();
     // Inline function 'kotlin.collections.map' call
@@ -4385,11 +4504,11 @@
     }
     return setTags(tmp.ofList(tmp_0, destination), this.vq());
   };
-  protoOf(AbstractStruct).s12 = function (visitor) {
+  protoOf(AbstractStruct).f13 = function (visitor) {
     return visitor.visitStruct(this);
   };
   protoOf(AbstractStruct).accept = function (visitor) {
-    return this.s12(visitor);
+    return this.f13(visitor);
   };
   protoOf(AbstractStruct).oo = function () {
     return this.bu();
@@ -4402,8 +4521,8 @@
   };
   function Companion_27() {
     Companion_instance_28 = this;
-    this.o13_1 = Companion_getInstance().of(26);
-    this.p13_1 = 65;
+    this.b14_1 = Companion_getInstance().of(26);
+    this.c14_1 = 65;
   }
   var Companion_instance_28;
   function Companion_getInstance_29() {
@@ -4423,13 +4542,13 @@
     return tmp;
   }
   function numberedVar($this, integer) {
-    var letterIndex = integer.c2().rem(Companion_getInstance_29().o13_1).toInt() + 65 | 0;
-    var varNumber = integer.c2().div(Companion_getInstance_29().o13_1);
+    var letterIndex = integer.c2().rem(Companion_getInstance_29().b14_1).toInt() + 65 | 0;
+    var varNumber = integer.c2().div(Companion_getInstance_29().b14_1);
     return toString_1(numberToChar(letterIndex)) + varNumber.toString();
   }
   function formatFunctor($this, term) {
     var tmp;
-    if ($this.q13_1) {
+    if ($this.d14_1) {
       tmp = Companion_getInstance_18().enquoteFunctorIfNecessary(Companion_getInstance_18().escapeFunctorIfNeeded(term.ht()));
     } else {
       tmp = term.ht();
@@ -4438,7 +4557,7 @@
   }
   function visitStructImpl($this, term, actualVisit) {
     var tmp;
-    if ($this.s13_1) {
+    if ($this.f14_1) {
       tmp = $this.iv(term);
     } else {
       tmp = actualVisit(term);
@@ -4447,7 +4566,7 @@
   }
   function AbstractTermFormatter$visitStruct$lambda(this$0) {
     return function (it) {
-      return it.accept(this$0.t13());
+      return it.accept(this$0.h14());
     };
   }
   function AbstractTermFormatter$visitCollection$lambda(this$0, $term) {
@@ -4457,46 +4576,47 @@
   }
   function AbstractTermFormatter$visitCons$lambda$lambda(this$0) {
     return function (it) {
-      return it.accept(this$0.u13());
+      return it.accept(this$0.i14());
     };
   }
-  function AbstractTermFormatter$visitCons$lambda($term, this$0) {
+  function AbstractTermFormatter$visitCons$lambda(this$0, $term) {
     return function (it) {
       // Inline function 'kotlin.with' call
       var $this$with = $term.qu();
       var last_0 = last($this$with);
       var tmp = $this$with.u(0, get_lastIndex($this$with));
-      var base = joinToString_0(tmp, ', ', '[', '', VOID, VOID, AbstractTermFormatter$visitCons$lambda$lambda(this$0));
+      var base = joinToString(tmp, ', ', '[', '', VOID, VOID, AbstractTermFormatter$visitCons$lambda$lambda(this$0));
       var tmp_0;
       if (last_0.et()) {
         tmp_0 = ']';
       } else {
-        tmp_0 = ' | ' + last_0.accept(this$0.u13()) + ']';
+        tmp_0 = ' | ' + last_0.accept(this$0.i14()) + ']';
       }
       var lastString = tmp_0;
-      return base + lastString;
+      var tmp$ret$0 = base + lastString;
+      return this$0.j14(tmp$ret$0, $term);
     };
   }
   function AbstractTermFormatter$visitBlock$lambda$lambda(this$0) {
     return function (it) {
-      return it.accept(this$0.t13());
+      return it.accept(this$0.h14());
     };
   }
-  function AbstractTermFormatter$visitBlock$lambda($term, this$0) {
+  function AbstractTermFormatter$visitBlock$lambda(this$0, $term) {
     return function (it) {
       var tmp = $term.ru();
-      return joinToString(tmp, ', ', '{', '}', VOID, VOID, AbstractTermFormatter$visitBlock$lambda$lambda(this$0));
+      return this$0.j14(joinToString_0(tmp, ', ', '{', '}', VOID, VOID, AbstractTermFormatter$visitBlock$lambda$lambda(this$0)), $term);
     };
   }
   function AbstractTermFormatter$visitTuple$lambda$lambda(this$0) {
     return function (it) {
-      return it.accept(this$0.t13());
+      return it.accept(this$0.h14());
     };
   }
-  function AbstractTermFormatter$visitTuple$lambda($term, this$0) {
+  function AbstractTermFormatter$visitTuple$lambda(this$0, $term) {
     return function (it) {
       var tmp = $term.ru();
-      return joinToString(tmp, ', ', '(', ')', VOID, VOID, AbstractTermFormatter$visitTuple$lambda$lambda(this$0));
+      return this$0.j14(joinToString_0(tmp, ', ', '(', ')', VOID, VOID, AbstractTermFormatter$visitTuple$lambda$lambda(this$0)), $term);
     };
   }
   function AbstractTermFormatter$visitClause$lambda($term, this$0) {
@@ -4504,50 +4624,68 @@
       return $term.accept(this$0);
     };
   }
-  function AbstractTermFormatter(quoted, numberVars, ignoreOps) {
+  function AbstractTermFormatter(quoted, numberVars, ignoreOps, tagsOptions) {
     Companion_getInstance_29();
     quoted = quoted === VOID ? true : quoted;
     numberVars = numberVars === VOID ? false : numberVars;
     ignoreOps = ignoreOps === VOID ? false : ignoreOps;
-    this.q13_1 = quoted;
-    this.r13_1 = numberVars;
-    this.s13_1 = ignoreOps;
-  }
+    tagsOptions = tagsOptions === VOID ? new TagsFormattingOptions() : tagsOptions;
+    this.d14_1 = quoted;
+    this.e14_1 = numberVars;
+    this.f14_1 = ignoreOps;
+    this.g14_1 = tagsOptions;
+  }
+  protoOf(AbstractTermFormatter).j14 = function (_this__u8e3s4, term) {
+    var formattedTags = this.g14_1.j11(term.vq());
+    var tmp;
+    // Inline function 'kotlin.text.isNotEmpty' call
+    if (charSequenceLength(formattedTags) > 0) {
+      tmp = _this__u8e3s4 + formattedTags;
+    } else {
+      tmp = _this__u8e3s4;
+    }
+    return tmp;
+  };
   protoOf(AbstractTermFormatter).cv = function (term) {
-    return term.toString();
+    return this.j14(term.toString(), term);
   };
   protoOf(AbstractTermFormatter).defaultValue = function (term) {
     return this.cv(term);
   };
-  protoOf(AbstractTermFormatter).v13 = function (term) {
-    return formatFunctor(this, term);
+  protoOf(AbstractTermFormatter).k14 = function (term) {
+    return this.j14(formatFunctor(this, term), term);
   };
   protoOf(AbstractTermFormatter).visitAtom = function (term) {
-    return this.v13(term);
+    return this.k14(term);
   };
   protoOf(AbstractTermFormatter).iv = function (term) {
-    if (this.r13_1 && isNumberedVar(this, term)) {
-      return numberedVar(this, term.get(0).castToInteger());
+    // Inline function 'kotlin.let' call
+    var tmp;
+    if (this.e14_1 && isNumberedVar(this, term)) {
+      tmp = numberedVar(this, term.get(0).castToInteger());
+    } else {
+      var functor = formatFunctor(this, term);
+      var tmp_0 = term.au();
+      var args = joinToString_0(tmp_0, ', ', '(', ')', VOID, VOID, AbstractTermFormatter$visitStruct$lambda(this));
+      tmp = functor + args;
     }
-    var functor = formatFunctor(this, term);
-    var tmp = term.au();
-    var args = joinToString(map(tmp, AbstractTermFormatter$visitStruct$lambda(this)), ', ', '(', ')');
-    return functor + args;
+    var tmp$ret$0 = tmp;
+    return this.j14(tmp$ret$0, term);
   };
   protoOf(AbstractTermFormatter).visitStruct = function (term) {
     return this.iv(term);
   };
-  protoOf(AbstractTermFormatter).w13 = function (term) {
+  protoOf(AbstractTermFormatter).l14 = function (term) {
     return visitStructImpl(this, term, AbstractTermFormatter$visitCollection$lambda(this, term));
   };
   protoOf(AbstractTermFormatter).visitCollection = function (term) {
-    return this.w13(term);
+    return this.l14(term);
   };
-  protoOf(AbstractTermFormatter).x13 = function (term) {
-    return this.w13(term);
+  protoOf(AbstractTermFormatter).m14 = function (term) {
+    return this.l14(term);
   };
   protoOf(AbstractTermFormatter).visitList = function (term) {
-    return this.x13(term);
+    return this.m14(term);
   };
   protoOf(AbstractTermFormatter).ky = function (term) {
     return this.cv(term);
@@ -4556,19 +4694,19 @@
     return this.ky(term);
   };
   protoOf(AbstractTermFormatter).jy = function (term) {
-    return visitStructImpl(this, term, AbstractTermFormatter$visitCons$lambda(term, this));
+    return visitStructImpl(this, term, AbstractTermFormatter$visitCons$lambda(this, term));
   };
   protoOf(AbstractTermFormatter).visitCons = function (term) {
     return this.jy(term);
   };
   protoOf(AbstractTermFormatter).fv = function (term) {
-    return visitStructImpl(this, term, AbstractTermFormatter$visitBlock$lambda(term, this));
+    return visitStructImpl(this, term, AbstractTermFormatter$visitBlock$lambda(this, term));
   };
   protoOf(AbstractTermFormatter).visitBlock = function (term) {
     return this.fv(term);
   };
   protoOf(AbstractTermFormatter).wu = function (term) {
-    return visitStructImpl(this, term, AbstractTermFormatter$visitTuple$lambda(term, this));
+    return visitStructImpl(this, term, AbstractTermFormatter$visitTuple$lambda(this, term));
   };
   protoOf(AbstractTermFormatter).visitTuple = function (term) {
     return this.wu(term);
@@ -4579,88 +4717,89 @@
   protoOf(AbstractTermFormatter).visitClause = function (term) {
     return this.mv(term);
   };
-  protoOf(AbstractTermFormatter).y13 = function (term) {
+  protoOf(AbstractTermFormatter).n14 = function (term) {
     return this.iv(term);
   };
   protoOf(AbstractTermFormatter).visitRule = function (term) {
-    return this.y13(term);
+    return this.n14(term);
   };
-  protoOf(AbstractTermFormatter).z13 = function (term) {
-    return this.y13(term);
+  protoOf(AbstractTermFormatter).o14 = function (term) {
+    return this.n14(term);
   };
   protoOf(AbstractTermFormatter).visitFact = function (term) {
-    return this.z13(term);
+    return this.o14(term);
   };
-  protoOf(AbstractTermFormatter).a14 = function (term) {
+  protoOf(AbstractTermFormatter).p14 = function (term) {
     return this.iv(term);
   };
   protoOf(AbstractTermFormatter).visitDirective = function (term) {
-    return this.a14(term);
+    return this.p14(term);
   };
-  protoOf(AbstractTermFormatter).u13 = function () {
+  protoOf(AbstractTermFormatter).i14 = function () {
     return this;
   };
-  protoOf(AbstractTermFormatter).t13 = function () {
+  protoOf(AbstractTermFormatter).h14 = function () {
     return this;
   };
-  protoOf(AbstractTermFormatter).b14 = function (term) {
+  protoOf(AbstractTermFormatter).q14 = function (term) {
     return this.iv(term);
   };
   protoOf(AbstractTermFormatter).visitIndicator = function (term) {
-    return this.b14(term);
+    return this.q14(term);
   };
   protoOf(AbstractTermFormatter).format = function (value) {
-    return this.f11((!(value == null) ? isInterface(value, Term) : false) ? value : THROW_CCE());
+    return this.s11((!(value == null) ? isInterface(value, Term) : false) ? value : THROW_CCE());
   };
-  function AbstractTermFormatterForVariables(quoted, numberVars, ignoreOps) {
+  function AbstractTermFormatterForVariables(quoted, numberVars, ignoreOps, tagsOptions) {
     quoted = quoted === VOID ? true : quoted;
     numberVars = numberVars === VOID ? false : numberVars;
     ignoreOps = ignoreOps === VOID ? false : ignoreOps;
-    AbstractTermFormatter.call(this, quoted, numberVars, ignoreOps);
+    tagsOptions = tagsOptions === VOID ? new TagsFormattingOptions() : tagsOptions;
+    AbstractTermFormatter.call(this, quoted, numberVars, ignoreOps, tagsOptions);
     var tmp = this;
     // Inline function 'kotlin.collections.mutableMapOf' call
-    tmp.f14_1 = LinkedHashMap_init_$Create$();
+    tmp.v14_1 = LinkedHashMap_init_$Create$();
   }
   protoOf(AbstractTermFormatterForVariables).qv = function (term) {
     var tmp;
-    if (term.r11()) {
+    if (term.e12()) {
       tmp = '_';
-    } else if (this.f14_1.d2(term.k2())) {
-      var homonymous = ensureNotNull(this.f14_1.f2(term.k2()));
+    } else if (this.v14_1.d2(term.k2())) {
+      var homonymous = ensureNotNull(this.v14_1.f2(term.k2()));
       var tmp_0;
       if (homonymous.d2(term)) {
-        tmp_0 = this.g14(term, ensureNotNull(homonymous.f2(term)));
+        tmp_0 = this.w14(term, ensureNotNull(homonymous.f2(term)));
       } else {
         var homonymousCount = homonymous.s();
         var suffix = homonymousCount.toString();
         // Inline function 'kotlin.collections.set' call
         homonymous.p4(term, suffix);
-        tmp_0 = this.g14(term, suffix);
+        tmp_0 = this.w14(term, suffix);
       }
       tmp = tmp_0;
     } else {
-      var tmp0 = this.f14_1;
+      var tmp0 = this.v14_1;
       var tmp2 = term.k2();
       // Inline function 'kotlin.collections.set' call
       var value = mutableMapOf([to(term, '')]);
       tmp0.p4(tmp2, value);
-      tmp = this.g14(term, '');
+      tmp = this.w14(term, '');
     }
-    return tmp;
+    return this.j14(tmp, term);
   };
   protoOf(AbstractTermFormatterForVariables).visitVar = function (term) {
     return this.qv(term);
   };
   protoOf(AbstractTermFormatterForVariables).format = function (value) {
-    return this.f11((!(value == null) ? isInterface(value, Term) : false) ? value : THROW_CCE());
+    return this.s11((!(value == null) ? isInterface(value, Term) : false) ? value : THROW_CCE());
   };
   function AtomImpl(functor, tags) {
     tags = tags === VOID ? emptyMap() : tags;
     AbstractStruct.call(this, functor, emptyList(), tags);
-    this.l14_1 = functor;
+    this.b15_1 = functor;
   }
   protoOf(AtomImpl).ht = function () {
-    return this.l14_1;
+    return this.b15_1;
   };
   protoOf(AtomImpl).it = function () {
     return emptyList();
@@ -4671,7 +4810,7 @@
   protoOf(AtomImpl).jt = function () {
     return emptySequence();
   };
-  protoOf(AtomImpl).q12 = function (tags) {
+  protoOf(AtomImpl).d13 = function (tags) {
     return new AtomImpl(this.ht(), tags);
   };
   protoOf(AtomImpl).kt = function () {
@@ -4686,11 +4825,11 @@
   protoOf(AtomImpl).freshCopyFromScope = function (scope) {
     return this.lt(scope);
   };
-  protoOf(AtomImpl).s12 = function (visitor) {
+  protoOf(AtomImpl).f13 = function (visitor) {
     return visitor.visitAtom(this);
   };
   protoOf(AtomImpl).accept = function (visitor) {
-    return this.s12(visitor);
+    return this.f13(visitor);
   };
   protoOf(AtomImpl).oo = function () {
     return this.bu();
@@ -4708,16 +4847,16 @@
     return this.xt();
   };
   function BlockImpl$unfoldedSequence$$inlined$Iterable$1(this$0) {
-    this.m14_1 = this$0;
+    this.c15_1 = this$0;
   }
   protoOf(BlockImpl$unfoldedSequence$$inlined$Iterable$1).m = function () {
-    return new BlockIterator(this.m14_1);
+    return new BlockIterator(this.c15_1);
   };
   function BlockImpl$unfold$$inlined$Iterable$1(this$0) {
-    this.n14_1 = this$0;
+    this.d15_1 = this$0;
   }
   protoOf(BlockImpl$unfold$$inlined$Iterable$1).m = function () {
-    return new BlockUnfolder(this.n14_1);
+    return new BlockUnfolder(this.d15_1);
   };
   function BlockImpl$freshCopy$lambda($scope) {
     return function (it) {
@@ -4727,20 +4866,20 @@
   function BlockImpl(item, tags) {
     tags = tags === VOID ? emptyMap() : tags;
     RecursiveImpl.call(this, '{}', listOfNotNull(item), tags);
-    this.t14_1 = item;
-    this.u14_1 = this.t12();
-    this.v14_1 = get_functor.call(this);
+    this.j15_1 = item;
+    this.k15_1 = this.g13();
+    this.l15_1 = get_functor.call(this);
   }
   protoOf(BlockImpl).lu = function () {
-    return this.u14_1;
+    return this.k15_1;
   };
-  protoOf(BlockImpl).t12 = function () {
-    var tmp0_safe_receiver = this.t14_1;
+  protoOf(BlockImpl).g13 = function () {
+    var tmp0_safe_receiver = this.j15_1;
     var tmp1_elvis_lhs = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.lu();
     return tmp1_elvis_lhs == null ? true : tmp1_elvis_lhs;
   };
   protoOf(BlockImpl).ht = function () {
-    return this.v14_1;
+    return this.l15_1;
   };
   protoOf(BlockImpl).ru = function () {
     // Inline function 'kotlin.collections.Iterable' call
@@ -4750,19 +4889,19 @@
   protoOf(BlockImpl).s = function () {
     return this.qu().s();
   };
-  protoOf(BlockImpl).j12 = function () {
+  protoOf(BlockImpl).w12 = function () {
     // Inline function 'kotlin.collections.Iterable' call
     var tmp$ret$0 = new BlockImpl$unfold$$inlined$Iterable$1(this);
     return asSequence_0(tmp$ret$0);
   };
   protoOf(BlockImpl).unfold = function () {
-    return this.j12();
+    return this.w12();
   };
   protoOf(BlockImpl).toString = function () {
-    return joinToString(this.ru(), ', ', '{', '}');
+    return joinToString_0(this.ru(), ', ', '{', '}');
   };
-  protoOf(BlockImpl).q12 = function (tags) {
-    return new BlockImpl(this.t14_1, tags);
+  protoOf(BlockImpl).d13 = function (tags) {
+    return new BlockImpl(this.j15_1, tags);
   };
   protoOf(BlockImpl).kt = function () {
     return protoOf(RecursiveImpl).kt.call(this).castToBlock();
@@ -4783,11 +4922,11 @@
   protoOf(BlockImpl).freshCopyFromScope = function (scope) {
     return this.lt(scope);
   };
-  protoOf(BlockImpl).s12 = function (visitor) {
+  protoOf(BlockImpl).f13 = function (visitor) {
     return visitor.visitBlock(this);
   };
   protoOf(BlockImpl).accept = function (visitor) {
-    return this.s12(visitor);
+    return this.f13(visitor);
   };
   protoOf(BlockImpl).oo = function () {
     return this.bu();
@@ -4811,61 +4950,61 @@
     return this.pu();
   };
   function BlockUnfolder$tupleUnfolderVisitor$1(this$0) {
-    this.w14_1 = this$0;
+    this.m15_1 = this$0;
   }
   protoOf(BlockUnfolder$tupleUnfolderVisitor$1).wu = function (term) {
-    this.w14_1.x14_1 = term.av();
+    this.m15_1.n15_1 = term.av();
     return term;
   };
   protoOf(BlockUnfolder$tupleUnfolderVisitor$1).visitTuple = function (term) {
     return this.wu(term);
   };
   protoOf(BlockUnfolder$tupleUnfolderVisitor$1).cv = function (term) {
-    this.w14_1.x14_1 = null;
+    this.m15_1.n15_1 = null;
     return term;
   };
   protoOf(BlockUnfolder$tupleUnfolderVisitor$1).defaultValue = function (term) {
     return this.cv(term);
   };
   function BlockUnfolder$blockUnfolderVisitor$1(this$0) {
-    this.b15_1 = this$0;
+    this.r15_1 = this$0;
   }
   protoOf(BlockUnfolder$blockUnfolderVisitor$1).gv = function (term) {
-    this.b15_1.x14_1 = null;
+    this.r15_1.n15_1 = null;
     return term;
   };
   protoOf(BlockUnfolder$blockUnfolderVisitor$1).visitEmptyBlock = function (term) {
     return this.gv(term);
   };
   protoOf(BlockUnfolder$blockUnfolderVisitor$1).fv = function (term) {
-    this.b15_1.x14_1 = term.get(0);
-    this.b15_1.y14_1 = true;
+    this.r15_1.n15_1 = term.get(0);
+    this.r15_1.o15_1 = true;
     return term;
   };
   protoOf(BlockUnfolder$blockUnfolderVisitor$1).visitBlock = function (term) {
     return this.fv(term);
   };
   protoOf(BlockUnfolder$blockUnfolderVisitor$1).cv = function (term) {
-    this.b15_1.x14_1 = null;
+    this.r15_1.n15_1 = null;
     return term;
   };
   protoOf(BlockUnfolder$blockUnfolderVisitor$1).defaultValue = function (term) {
     return this.cv(term);
   };
   function BlockUnfolder(block) {
-    this.x14_1 = block;
-    this.y14_1 = false;
+    this.n15_1 = block;
+    this.o15_1 = false;
     var tmp = this;
-    tmp.z14_1 = new BlockUnfolder$tupleUnfolderVisitor$1(this);
+    tmp.p15_1 = new BlockUnfolder$tupleUnfolderVisitor$1(this);
     var tmp_0 = this;
-    tmp_0.a15_1 = new BlockUnfolder$blockUnfolderVisitor$1(this);
+    tmp_0.q15_1 = new BlockUnfolder$blockUnfolderVisitor$1(this);
   }
   protoOf(BlockUnfolder).p = function () {
-    return !(this.x14_1 == null);
+    return !(this.n15_1 == null);
   };
   protoOf(BlockUnfolder).q = function () {
-    var tmp0_safe_receiver = this.x14_1;
-    var tmp1_elvis_lhs = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.accept(this.y14_1 ? this.z14_1 : this.a15_1);
+    var tmp0_safe_receiver = this.n15_1;
+    var tmp1_elvis_lhs = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.accept(this.o15_1 ? this.p15_1 : this.q15_1);
     var tmp;
     if (tmp1_elvis_lhs == null) {
       throw NoSuchElementException_init_$Create$();
@@ -4897,27 +5036,27 @@
   }
   function ClauseImpl(head, body, tags) {
     AbstractStruct.call(this, ':-', head === null ? listOf_0(body) : listOf([head, body]), tags);
-    this.g15_1 = head;
-    this.h15_1 = body;
+    this.w15_1 = head;
+    this.x15_1 = body;
     var tmp = this;
-    tmp.i15_1 = lazy(ClauseImpl$isWellFormed$delegate$lambda(this));
-    this.j15_1 = get_functor_0.call(this);
+    tmp.y15_1 = lazy(ClauseImpl$isWellFormed$delegate$lambda(this));
+    this.z15_1 = get_functor_0.call(this);
   }
   protoOf(ClauseImpl).nv = function () {
-    return this.g15_1;
+    return this.w15_1;
   };
   protoOf(ClauseImpl).ov = function () {
-    return this.h15_1;
+    return this.x15_1;
   };
   protoOf(ClauseImpl).xv = function () {
-    var tmp0 = this.i15_1;
+    var tmp0 = this.y15_1;
     var tmp = KProperty1;
     // Inline function 'kotlin.getValue' call
     getPropertyCallableRef('isWellFormed', 1, tmp, ClauseImpl$_get_isWellFormed_$ref_4n3sk(), null);
     return tmp0.c2();
   };
   protoOf(ClauseImpl).ht = function () {
-    return this.j15_1;
+    return this.z15_1;
   };
   protoOf(ClauseImpl).toString = function () {
     return this.nv() == null ? this.ht() + ' ' + this.ov().toString() : toString_0(this.nv()) + ' ' + this.ht() + ' ' + this.ov().toString();
@@ -4945,18 +5084,18 @@
   protoOf(ClauseImpl).bw = function () {
     return this.ov().asTuple();
   };
-  protoOf(ClauseImpl).k15 = function (index) {
+  protoOf(ClauseImpl).a16 = function (index) {
     ensureIndexIsInBodyRange(this, index);
     return first_0(drop(_get_bodyItemsSequence__ip18gi(this), index));
   };
   protoOf(ClauseImpl).getBodyItem = function (index) {
-    return this.k15(index);
+    return this.a16(index);
   };
-  protoOf(ClauseImpl).l15 = function (head) {
+  protoOf(ClauseImpl).b16 = function (head) {
     return Companion_instance_15.of(head, [this.ov()]);
   };
   protoOf(ClauseImpl).setHead = function (head) {
-    return this.l15(head);
+    return this.b16(head);
   };
   protoOf(ClauseImpl).ex = function (body) {
     return Companion_getInstance_3().pv(this.nv(), [body]);
@@ -5069,11 +5208,11 @@
   protoOf(ClauseImpl).appendBodyItem = function (argument) {
     return this.lx(argument);
   };
-  protoOf(ClauseImpl).s12 = function (visitor) {
+  protoOf(ClauseImpl).f13 = function (visitor) {
     return visitor.visitClause(this);
   };
   protoOf(ClauseImpl).accept = function (visitor) {
-    return this.s12(visitor);
+    return this.f13(visitor);
   };
   protoOf(ClauseImpl).oo = function () {
     return this.bu();
@@ -5095,61 +5234,61 @@
   function ConsImpl(head, tail, tags) {
     tags = tags === VOID ? emptyMap() : tags;
     AbstractCons.call(this, listOf([head, tail]), tags);
-    this.t15_1 = head;
-    this.u15_1 = tail;
-    this.v15_1 = this.t12();
-    this.w15_1 = this.u15_1.tt() ? this.u15_1.castToList().fw() : this.u15_1;
-    this.x15_1 = this.u15_1.tt() ? 1 + this.u15_1.castToList().s() | 0 : 2;
-    this.y15_1 = this.u15_1.tt() ? this.u15_1.castToList().xv() : false;
+    this.j16_1 = head;
+    this.k16_1 = tail;
+    this.l16_1 = this.g13();
+    this.m16_1 = this.k16_1.tt() ? this.k16_1.castToList().fw() : this.k16_1;
+    this.n16_1 = this.k16_1.tt() ? 1 + this.k16_1.castToList().s() | 0 : 2;
+    this.o16_1 = this.k16_1.tt() ? this.k16_1.castToList().xv() : false;
   }
   protoOf(ConsImpl).nv = function () {
-    return this.t15_1;
+    return this.j16_1;
   };
   protoOf(ConsImpl).dw = function () {
-    return this.u15_1;
+    return this.k16_1;
   };
   protoOf(ConsImpl).lu = function () {
-    return this.v15_1;
+    return this.l16_1;
   };
   protoOf(ConsImpl).fw = function () {
-    return this.w15_1;
+    return this.m16_1;
   };
   protoOf(ConsImpl).s = function () {
-    return this.x15_1;
+    return this.n16_1;
   };
   protoOf(ConsImpl).xv = function () {
-    return this.y15_1;
+    return this.o16_1;
   };
-  protoOf(ConsImpl).t12 = function () {
-    return this.t15_1.lu() && this.u15_1.lu();
+  protoOf(ConsImpl).g13 = function () {
+    return this.j16_1.lu() && this.k16_1.lu();
   };
   protoOf(ConsImpl).gw = function () {
-    return this.x15_1;
+    return this.n16_1;
   };
-  protoOf(ConsImpl).p12 = function (unifier) {
+  protoOf(ConsImpl).c13 = function (unifier) {
     var tmp;
     if (this.gw() >= 100) {
       var tmp_0 = cursor_0(this.ru());
       tmp = new LazyConsWithImplicitLast(tmp_0.map(ConsImpl$applyNonEmptyUnifier$lambda(unifier)), this.vq());
     } else {
-      tmp = new ConsImpl(this.t15_1.applySubstitution(unifier), this.u15_1.applySubstitution(unifier), this.vq());
+      tmp = new ConsImpl(this.j16_1.applySubstitution(unifier), this.k16_1.applySubstitution(unifier), this.vq());
     }
     return tmp;
   };
-  protoOf(ConsImpl).q12 = function (tags) {
+  protoOf(ConsImpl).d13 = function (tags) {
     var tmp;
     if (this.vq() === tags) {
       tmp = this;
     } else {
-      tmp = new ConsImpl(this.t15_1, this.u15_1, tags);
+      tmp = new ConsImpl(this.j16_1, this.k16_1, tags);
     }
     return tmp;
   };
   protoOf(ConsImpl).lt = function (scope) {
     var tmp;
-    if (this.v15_1) {
+    if (this.l16_1) {
       tmp = this;
-    } else if (this.y15_1) {
+    } else if (this.o16_1) {
       // Inline function 'kotlin.collections.map' call
       var this_0 = this.pu();
       // Inline function 'kotlin.collections.mapTo' call
@@ -5200,17 +5339,17 @@
   function DirectiveImpl(body, tags) {
     tags = tags === VOID ? emptyMap() : tags;
     ClauseImpl.call(this, null, body, tags);
-    this.h16_1 = body;
-    this.i16_1 = get_head.call(this);
+    this.x16_1 = body;
+    this.y16_1 = get_head.call(this);
   }
   protoOf(DirectiveImpl).ov = function () {
-    return this.h16_1;
+    return this.x16_1;
   };
   protoOf(DirectiveImpl).nv = function () {
-    return this.i16_1;
+    return this.y16_1;
   };
-  protoOf(DirectiveImpl).q12 = function (tags) {
-    return new DirectiveImpl(this.h16_1, tags);
+  protoOf(DirectiveImpl).d13 = function (tags) {
+    return new DirectiveImpl(this.x16_1, tags);
   };
   protoOf(DirectiveImpl).kt = function () {
     return protoOf(ClauseImpl).kt.call(this).castToDirective();
@@ -5224,11 +5363,11 @@
   protoOf(DirectiveImpl).freshCopyFromScope = function (scope) {
     return this.lt(scope);
   };
-  protoOf(DirectiveImpl).s12 = function (visitor) {
+  protoOf(DirectiveImpl).f13 = function (visitor) {
     return visitor.visitDirective(this);
   };
   protoOf(DirectiveImpl).accept = function (visitor) {
-    return this.s12(visitor);
+    return this.f13(visitor);
   };
   protoOf(DirectiveImpl).oo = function () {
     return this.bu();
@@ -5248,14 +5387,14 @@
   function EmptyBlockImpl(tags) {
     tags = tags === VOID ? emptyMap() : tags;
     BlockImpl.call(this, null, tags);
-    this.r16_1 = get_functor.call(this);
-    this.s16_1 = emptySequence();
+    this.h17_1 = get_functor.call(this);
+    this.i17_1 = emptySequence();
   }
   protoOf(EmptyBlockImpl).it = function () {
     return emptyList();
   };
   protoOf(EmptyBlockImpl).ht = function () {
-    return this.r16_1;
+    return this.h17_1;
   };
   protoOf(EmptyBlockImpl).lu = function () {
     return true;
@@ -5264,9 +5403,9 @@
     return 0;
   };
   protoOf(EmptyBlockImpl).jt = function () {
-    return this.s16_1;
+    return this.i17_1;
   };
-  protoOf(EmptyBlockImpl).q12 = function (tags) {
+  protoOf(EmptyBlockImpl).d13 = function (tags) {
     return new EmptyBlockImpl(tags);
   };
   protoOf(EmptyBlockImpl).kt = function () {
@@ -5281,11 +5420,11 @@
   protoOf(EmptyBlockImpl).freshCopyFromScope = function (scope) {
     return this.lt(scope);
   };
-  protoOf(EmptyBlockImpl).s12 = function (visitor) {
+  protoOf(EmptyBlockImpl).f13 = function (visitor) {
     return visitor.visitEmptyBlock(this);
   };
   protoOf(EmptyBlockImpl).accept = function (visitor) {
-    return this.s12(visitor);
+    return this.f13(visitor);
   };
   protoOf(EmptyBlockImpl).oo = function () {
     return this.bu();
@@ -5320,32 +5459,32 @@
   function EmptyListImpl(tags) {
     tags = tags === VOID ? emptyMap() : tags;
     AtomImpl.call(this, '[]', tags);
-    this.y16_1 = listOf_0(this);
-    this.z16_1 = sequenceOf_0(this);
+    this.o17_1 = listOf_0(this);
+    this.p17_1 = sequenceOf_0(this);
     var tmp = this;
     // Inline function 'kotlin.arrayOf' call
     // Inline function 'kotlin.js.unsafeCast' call
     // Inline function 'kotlin.js.asDynamic' call
-    tmp.a17_1 = [this];
-    this.b17_1 = emptyList();
+    tmp.q17_1 = [this];
+    this.r17_1 = emptyList();
   }
   protoOf(EmptyListImpl).qu = function () {
-    return this.y16_1;
+    return this.o17_1;
   };
   protoOf(EmptyListImpl).ru = function () {
-    return this.z16_1;
+    return this.p17_1;
   };
   protoOf(EmptyListImpl).ou = function () {
-    return this.a17_1;
+    return this.q17_1;
   };
   protoOf(EmptyListImpl).uu = function () {
-    return this.b17_1;
+    return this.r17_1;
   };
-  protoOf(EmptyListImpl).j12 = function () {
+  protoOf(EmptyListImpl).w12 = function () {
     return sequenceOf_0(this);
   };
   protoOf(EmptyListImpl).unfold = function () {
-    return this.j12();
+    return this.w12();
   };
   protoOf(EmptyListImpl).toString = function () {
     return this.c2();
@@ -5362,7 +5501,7 @@
   protoOf(EmptyListImpl).xv = function () {
     return true;
   };
-  protoOf(EmptyListImpl).q12 = function (tags) {
+  protoOf(EmptyListImpl).d13 = function (tags) {
     return new EmptyListImpl(tags);
   };
   protoOf(EmptyListImpl).kt = function () {
@@ -5377,11 +5516,11 @@
   protoOf(EmptyListImpl).freshCopyFromScope = function (scope) {
     return this.lt(scope);
   };
-  protoOf(EmptyListImpl).s12 = function (visitor) {
+  protoOf(EmptyListImpl).f13 = function (visitor) {
     return visitor.visitEmptyList(this);
   };
   protoOf(EmptyListImpl).accept = function (visitor) {
-    return this.s12(visitor);
+    return this.f13(visitor);
   };
   protoOf(EmptyListImpl).oo = function () {
     return this.bu();
@@ -5416,21 +5555,21 @@
   function FactImpl(head, tags) {
     tags = tags === VOID ? emptyMap() : tags;
     RuleImpl.call(this, head, Companion_getInstance_23().ys_1, tags);
-    this.m17_1 = head;
-    this.n17_1 = true;
-    this.o17_1 = protoOf(RuleImpl).ov.call(this);
+    this.c18_1 = head;
+    this.d18_1 = true;
+    this.e18_1 = protoOf(RuleImpl).ov.call(this);
   }
   protoOf(FactImpl).nv = function () {
-    return this.m17_1;
+    return this.c18_1;
   };
   protoOf(FactImpl).xv = function () {
-    return this.n17_1;
+    return this.d18_1;
   };
   protoOf(FactImpl).ov = function () {
-    return this.o17_1;
+    return this.e18_1;
   };
-  protoOf(FactImpl).q12 = function (tags) {
-    return new FactImpl(this.m17_1, tags);
+  protoOf(FactImpl).d13 = function (tags) {
+    return new FactImpl(this.c18_1, tags);
   };
   protoOf(FactImpl).kt = function () {
     return protoOf(RuleImpl).kt.call(this).castToFact();
@@ -5492,11 +5631,11 @@
   protoOf(FactImpl).appendHeadArg = function (argument) {
     return this.ax(argument);
   };
-  protoOf(FactImpl).s12 = function (visitor) {
+  protoOf(FactImpl).f13 = function (visitor) {
     return visitor.visitFact(this);
   };
   protoOf(FactImpl).accept = function (visitor) {
-    return this.s12(visitor);
+    return this.f13(visitor);
   };
   protoOf(FactImpl).oo = function () {
     return this.bu();
@@ -5519,14 +5658,14 @@
   function IndicatorImpl(nameTerm, arityTerm, tags) {
     tags = tags === VOID ? emptyMap() : tags;
     AbstractStruct.call(this, '/', listOf([nameTerm, arityTerm]), tags);
-    this.e18_1 = nameTerm;
-    this.f18_1 = arityTerm;
+    this.u18_1 = nameTerm;
+    this.v18_1 = arityTerm;
   }
   protoOf(IndicatorImpl).nx = function () {
-    return this.e18_1;
+    return this.u18_1;
   };
   protoOf(IndicatorImpl).ox = function () {
-    return this.f18_1;
+    return this.v18_1;
   };
   protoOf(IndicatorImpl).ht = function () {
     return '/';
@@ -5538,10 +5677,10 @@
     return get_indicatedArity.call(this);
   };
   protoOf(IndicatorImpl).toString = function () {
-    return this.e18_1.toString() + '/' + this.f18_1.toString();
+    return this.u18_1.toString() + '/' + this.v18_1.toString();
   };
-  protoOf(IndicatorImpl).q12 = function (tags) {
-    return new IndicatorImpl(this.e18_1, this.f18_1, tags);
+  protoOf(IndicatorImpl).d13 = function (tags) {
+    return new IndicatorImpl(this.u18_1, this.v18_1, tags);
   };
   protoOf(IndicatorImpl).kt = function () {
     return protoOf(AbstractStruct).kt.call(this).castToIndicator();
@@ -5555,11 +5694,11 @@
   protoOf(IndicatorImpl).freshCopyFromScope = function (scope) {
     return this.lt(scope);
   };
-  protoOf(IndicatorImpl).s12 = function (visitor) {
+  protoOf(IndicatorImpl).f13 = function (visitor) {
     return visitor.visitIndicator(this);
   };
   protoOf(IndicatorImpl).accept = function (visitor) {
-    return this.s12(visitor);
+    return this.f13(visitor);
   };
   protoOf(IndicatorImpl).oo = function () {
     return this.bu();
@@ -5575,7 +5714,7 @@
   };
   function IntegerImpl$decimalValue$delegate$lambda(this$0) {
     return function () {
-      return Companion_getInstance_0().ofBigInteger(this$0.j18_1);
+      return Companion_getInstance_0().ofBigInteger(this$0.z18_1);
     };
   }
   function IntegerImpl$_get_decimalValue_$ref_cmliow() {
@@ -5585,39 +5724,39 @@
   }
   function IntegerImpl$hashCodeCache$delegate$lambda(this$0) {
     return function () {
-      return this$0.h18_1.hashCode();
+      return this$0.x18_1.hashCode();
     };
   }
   function IntegerImpl$_get_hashCodeCache_$ref_760h0z() {
     return constructCallableReference(function (p0) {
-      return p0.d13();
+      return p0.q13();
     }, 1, 0, 9);
   }
   function IntegerImpl(value, tags) {
     tags = tags === VOID ? emptyMap() : tags;
     NumericImpl.call(this, tags);
-    this.h18_1 = value;
+    this.x18_1 = value;
     var tmp = this;
-    tmp.i18_1 = lazy(IntegerImpl$decimalValue$delegate$lambda(this));
-    this.j18_1 = this.h18_1;
+    tmp.y18_1 = lazy(IntegerImpl$decimalValue$delegate$lambda(this));
+    this.z18_1 = this.x18_1;
     var tmp_0 = this;
-    tmp_0.k18_1 = lazy(IntegerImpl$hashCodeCache$delegate$lambda(this));
+    tmp_0.a19_1 = lazy(IntegerImpl$hashCodeCache$delegate$lambda(this));
   }
   protoOf(IntegerImpl).c2 = function () {
-    return this.h18_1;
+    return this.x18_1;
   };
   protoOf(IntegerImpl).xx = function () {
-    var tmp0 = this.i18_1;
+    var tmp0 = this.y18_1;
     var tmp = KProperty1;
     // Inline function 'kotlin.getValue' call
     getPropertyCallableRef('decimalValue', 1, tmp, IntegerImpl$_get_decimalValue_$ref_cmliow(), null);
     return tmp0.c2();
   };
   protoOf(IntegerImpl).px = function () {
-    return this.j18_1;
+    return this.z18_1;
   };
   protoOf(IntegerImpl).toString = function () {
-    return this.h18_1.toString();
+    return this.x18_1.toString();
   };
   protoOf(IntegerImpl).equals = function (other) {
     if (this === other)
@@ -5648,37 +5787,37 @@
     if (integer === null)
       return false;
     // Inline function 'it.unibo.tuprolog.core.impl.IntegerImpl.equalsToInteger' call
-    return this.h18_1.li(integer.c2()) === 0;
+    return this.x18_1.li(integer.c2()) === 0;
   };
-  protoOf(IntegerImpl).c13 = function (other, useVarCompleteName) {
+  protoOf(IntegerImpl).p13 = function (other, useVarCompleteName) {
     var tmp;
     if (other.iu()) {
       // Inline function 'it.unibo.tuprolog.core.impl.IntegerImpl.equalsToInteger' call
       var other_0 = other.castToInteger();
-      tmp = this.h18_1.li(other_0.c2()) === 0;
+      tmp = this.x18_1.li(other_0.c2()) === 0;
     } else {
       tmp = false;
     }
     return tmp;
   };
   protoOf(IntegerImpl).equalsUsingVarCompleteNames = function (other, useVarCompleteName) {
-    return this.c13(other, useVarCompleteName);
+    return this.p13(other, useVarCompleteName);
   };
-  protoOf(IntegerImpl).d13 = function () {
-    var tmp0 = this.k18_1;
+  protoOf(IntegerImpl).q13 = function () {
+    var tmp0 = this.a19_1;
     var tmp = KProperty1;
     // Inline function 'kotlin.getValue' call
     getPropertyCallableRef('hashCodeCache', 1, tmp, IntegerImpl$_get_hashCodeCache_$ref_760h0z(), null);
     return tmp0.c2();
   };
-  protoOf(IntegerImpl).l18 = function (other) {
-    return other.iu() ? this.h18_1.li(other.castToInteger().c2()) : protoOf(NumericImpl).compareValueTo.call(this, other);
+  protoOf(IntegerImpl).b19 = function (other) {
+    return other.iu() ? this.x18_1.li(other.castToInteger().c2()) : protoOf(NumericImpl).compareValueTo.call(this, other);
   };
   protoOf(IntegerImpl).compareValueTo = function (other) {
-    return this.l18(other);
+    return this.b19(other);
   };
-  protoOf(IntegerImpl).q12 = function (tags) {
-    return new IntegerImpl(this.h18_1, tags);
+  protoOf(IntegerImpl).d13 = function (tags) {
+    return new IntegerImpl(this.x18_1, tags);
   };
   protoOf(IntegerImpl).kt = function () {
     return this;
@@ -5692,11 +5831,11 @@
   protoOf(IntegerImpl).freshCopyFromScope = function (scope) {
     return this.lt(scope);
   };
-  protoOf(IntegerImpl).s12 = function (visitor) {
+  protoOf(IntegerImpl).f13 = function (visitor) {
     return visitor.visitInteger(this);
   };
   protoOf(IntegerImpl).accept = function (visitor) {
-    return this.s12(visitor);
+    return this.f13(visitor);
   };
   protoOf(IntegerImpl).oo = function () {
     return this.bu();
@@ -5716,12 +5855,12 @@
   function LazyConsWithExplicitLast$tail$delegate$lambda(this$0) {
     return function () {
       // Inline function 'kotlin.let' call
-      var it = this$0.u18_1.ro();
+      var it = this$0.k19_1.ro();
       var tmp;
       if (it.uo()) {
-        tmp = this$0.v18_1;
+        tmp = this$0.l19_1;
       } else {
-        tmp = new LazyConsWithExplicitLast(it, this$0.v18_1);
+        tmp = new LazyConsWithExplicitLast(it, this$0.l19_1);
       }
       return tmp;
     };
@@ -5736,7 +5875,7 @@
       var current = this$0;
       while (current.ut()) {
         if (current instanceof LazyConsWithExplicitLast) {
-          current = current.v18_1;
+          current = current.l19_1;
         } else {
           if (current.tt()) {
             current = current.castToList().fw();
@@ -5775,44 +5914,44 @@
     termination = termination === VOID ? Companion_getInstance_8().instance : termination;
     tags = tags === VOID ? emptyMap() : tags;
     AbstractCons.call(this, emptyList(), tags);
-    this.u18_1 = cursor;
-    this.v18_1 = termination;
+    this.k19_1 = cursor;
+    this.l19_1 = termination;
     var tmp = this;
-    tmp.w18_1 = lazy(LazyConsWithExplicitLast$tail$delegate$lambda(this));
+    tmp.m19_1 = lazy(LazyConsWithExplicitLast$tail$delegate$lambda(this));
     var tmp_0 = this;
-    tmp_0.x18_1 = lazy(LazyConsWithExplicitLast$last$delegate$lambda(this));
+    tmp_0.n19_1 = lazy(LazyConsWithExplicitLast$last$delegate$lambda(this));
     var tmp_1 = this;
     var tmp_2 = LazyConsWithExplicitLast$args$lambda(this);
-    tmp_1.y18_1 = new LazyTwoItemsList(tmp_2, LazyConsWithExplicitLast$args$lambda_0(this));
+    tmp_1.o19_1 = new LazyTwoItemsList(tmp_2, LazyConsWithExplicitLast$args$lambda_0(this));
   }
   protoOf(LazyConsWithExplicitLast).nv = function () {
-    return ensureNotNull(this.u18_1.so());
+    return ensureNotNull(this.k19_1.so());
   };
   protoOf(LazyConsWithExplicitLast).dw = function () {
-    var tmp0 = this.w18_1;
+    var tmp0 = this.m19_1;
     var tmp = KProperty1;
     // Inline function 'kotlin.getValue' call
     getPropertyCallableRef('tail', 1, tmp, LazyConsWithExplicitLast$_get_tail_$ref_vwm9sp(), null);
     return tmp0.c2();
   };
   protoOf(LazyConsWithExplicitLast).fw = function () {
-    var tmp0 = this.x18_1;
+    var tmp0 = this.n19_1;
     var tmp = KProperty1;
     // Inline function 'kotlin.getValue' call
     getPropertyCallableRef('last', 1, tmp, LazyConsWithExplicitLast$_get_last_$ref_4ku2ct(), null);
     return tmp0.c2();
   };
   protoOf(LazyConsWithExplicitLast).it = function () {
-    return this.y18_1;
+    return this.o19_1;
   };
-  protoOf(LazyConsWithExplicitLast).p12 = function (unifier) {
+  protoOf(LazyConsWithExplicitLast).c13 = function (unifier) {
     var tmp = this.ru();
     return new LazyConsWithImplicitLast(cursor_0(map(tmp, LazyConsWithExplicitLast$applyNonEmptyUnifier$lambda(unifier))), this.vq());
   };
-  protoOf(LazyConsWithExplicitLast).q12 = function (tags) {
-    return this.vq() === tags ? this : new LazyConsWithExplicitLast(this.u18_1, this.v18_1, tags);
+  protoOf(LazyConsWithExplicitLast).d13 = function (tags) {
+    return this.vq() === tags ? this : new LazyConsWithExplicitLast(this.k19_1, this.l19_1, tags);
   };
-  protoOf(LazyConsWithExplicitLast).n13 = function (unifier) {
+  protoOf(LazyConsWithExplicitLast).a14 = function (unifier) {
     return unifier.g();
   };
   protoOf(LazyConsWithExplicitLast).lt = function (scope) {
@@ -5842,7 +5981,7 @@
   };
   function LazyConsWithImplicitLast$head$delegate$lambda(this$0) {
     return function () {
-      return ensureNotNull(this$0.g19_1.so());
+      return ensureNotNull(this$0.w19_1.so());
     };
   }
   function LazyConsWithImplicitLast$_get_head_$ref_gh69tk() {
@@ -5853,7 +5992,7 @@
   function LazyConsWithImplicitLast$tail$delegate$lambda(this$0) {
     return function () {
       // Inline function 'kotlin.let' call
-      var it = this$0.g19_1.ro();
+      var it = this$0.w19_1.ro();
       return it.uo() ? Companion_getInstance_8().instance : it.ro().uo() ? ensureNotNull(it.so()) : new LazyConsWithImplicitLast(it);
     };
   }
@@ -5895,48 +6034,48 @@
   function LazyConsWithImplicitLast(cursor, tags) {
     tags = tags === VOID ? emptyMap() : tags;
     AbstractCons.call(this, emptyList(), tags);
-    this.g19_1 = cursor;
+    this.w19_1 = cursor;
     var tmp = this;
-    tmp.h19_1 = lazy(LazyConsWithImplicitLast$head$delegate$lambda(this));
+    tmp.x19_1 = lazy(LazyConsWithImplicitLast$head$delegate$lambda(this));
     var tmp_0 = this;
-    tmp_0.i19_1 = lazy(LazyConsWithImplicitLast$tail$delegate$lambda(this));
+    tmp_0.y19_1 = lazy(LazyConsWithImplicitLast$tail$delegate$lambda(this));
     var tmp_1 = this;
-    tmp_1.j19_1 = lazy(LazyConsWithImplicitLast$last$delegate$lambda(this));
+    tmp_1.z19_1 = lazy(LazyConsWithImplicitLast$last$delegate$lambda(this));
     var tmp_2 = this;
     var tmp_3 = LazyConsWithImplicitLast$args$lambda(this);
-    tmp_2.k19_1 = new LazyTwoItemsList(tmp_3, LazyConsWithImplicitLast$args$lambda_0(this));
+    tmp_2.a1a_1 = new LazyTwoItemsList(tmp_3, LazyConsWithImplicitLast$args$lambda_0(this));
   }
   protoOf(LazyConsWithImplicitLast).nv = function () {
-    var tmp0 = this.h19_1;
+    var tmp0 = this.x19_1;
     var tmp = KProperty1;
     // Inline function 'kotlin.getValue' call
     getPropertyCallableRef('head', 1, tmp, LazyConsWithImplicitLast$_get_head_$ref_gh69tk(), null);
     return tmp0.c2();
   };
   protoOf(LazyConsWithImplicitLast).dw = function () {
-    var tmp0 = this.i19_1;
+    var tmp0 = this.y19_1;
     var tmp = KProperty1;
     // Inline function 'kotlin.getValue' call
     getPropertyCallableRef('tail', 1, tmp, LazyConsWithImplicitLast$_get_tail_$ref_iufmx4(), null);
     return tmp0.c2();
   };
   protoOf(LazyConsWithImplicitLast).fw = function () {
-    var tmp0 = this.j19_1;
+    var tmp0 = this.z19_1;
     var tmp = KProperty1;
     // Inline function 'kotlin.getValue' call
     getPropertyCallableRef('last', 1, tmp, LazyConsWithImplicitLast$_get_last_$ref_hn0p8e(), null);
     return tmp0.c2();
   };
   protoOf(LazyConsWithImplicitLast).it = function () {
-    return this.k19_1;
+    return this.a1a_1;
   };
-  protoOf(LazyConsWithImplicitLast).p12 = function (unifier) {
-    return new LazyConsWithImplicitLast(this.g19_1.map(LazyConsWithImplicitLast$applyNonEmptyUnifier$lambda(unifier)), this.vq());
+  protoOf(LazyConsWithImplicitLast).c13 = function (unifier) {
+    return new LazyConsWithImplicitLast(this.w19_1.map(LazyConsWithImplicitLast$applyNonEmptyUnifier$lambda(unifier)), this.vq());
   };
-  protoOf(LazyConsWithImplicitLast).q12 = function (tags) {
-    return this.vq() === tags ? this : new LazyConsWithImplicitLast(this.g19_1, tags);
+  protoOf(LazyConsWithImplicitLast).d13 = function (tags) {
+    return this.vq() === tags ? this : new LazyConsWithImplicitLast(this.w19_1, tags);
   };
-  protoOf(LazyConsWithImplicitLast).n13 = function (unifier) {
+  protoOf(LazyConsWithImplicitLast).a14 = function (unifier) {
     return unifier.g();
   };
   protoOf(LazyConsWithImplicitLast).lt = function (scope) {
@@ -5965,40 +6104,40 @@
     return this.tu();
   };
   function ListUnfolder$listUnfolderVisitor$1(this$0) {
-    this.l19_1 = this$0;
+    this.b1a_1 = this$0;
   }
   protoOf(ListUnfolder$listUnfolderVisitor$1).jy = function (term) {
-    this.l19_1.m19_1 = term.dw();
+    this.b1a_1.c1a_1 = term.dw();
     return term;
   };
   protoOf(ListUnfolder$listUnfolderVisitor$1).visitCons = function (term) {
     return this.jy(term);
   };
   protoOf(ListUnfolder$listUnfolderVisitor$1).ky = function (term) {
-    this.l19_1.m19_1 = null;
+    this.b1a_1.c1a_1 = null;
     return term;
   };
   protoOf(ListUnfolder$listUnfolderVisitor$1).visitEmptyList = function (term) {
     return this.ky(term);
   };
   protoOf(ListUnfolder$listUnfolderVisitor$1).cv = function (term) {
-    this.l19_1.m19_1 = null;
+    this.b1a_1.c1a_1 = null;
     return term;
   };
   protoOf(ListUnfolder$listUnfolderVisitor$1).defaultValue = function (term) {
     return this.cv(term);
   };
   function ListUnfolder(list) {
-    this.m19_1 = list;
+    this.c1a_1 = list;
     var tmp = this;
-    tmp.n19_1 = new ListUnfolder$listUnfolderVisitor$1(this);
+    tmp.d1a_1 = new ListUnfolder$listUnfolderVisitor$1(this);
   }
   protoOf(ListUnfolder).p = function () {
-    return !(this.m19_1 == null);
+    return !(this.c1a_1 == null);
   };
   protoOf(ListUnfolder).q = function () {
-    var tmp0_safe_receiver = this.m19_1;
-    var tmp1_elvis_lhs = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.accept(this.n19_1);
+    var tmp0_safe_receiver = this.c1a_1;
+    var tmp1_elvis_lhs = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.accept(this.d1a_1);
     var tmp;
     if (tmp1_elvis_lhs == null) {
       throw NoSuchElementException_init_$Create$();
@@ -6010,17 +6149,17 @@
   function NumericImpl(tags) {
     TermImpl.call(this, tags);
   }
-  protoOf(NumericImpl).b13 = function (other) {
+  protoOf(NumericImpl).o13 = function (other) {
     return other.hu() && this.xx().ci(other.castToNumeric().xx()) === 0;
   };
   protoOf(NumericImpl).structurallyEquals = function (other) {
-    return this.b13(other);
+    return this.o13(other);
   };
-  protoOf(NumericImpl).s12 = function (visitor) {
+  protoOf(NumericImpl).f13 = function (visitor) {
     return visitor.visitNumeric(this);
   };
   protoOf(NumericImpl).accept = function (visitor) {
-    return this.s12(visitor);
+    return this.f13(visitor);
   };
   protoOf(NumericImpl).oo = function () {
     return this.bu();
@@ -6036,7 +6175,7 @@
   };
   function RealImpl$intValue$delegate$lambda(this$0) {
     return function () {
-      return this$0.p19_1.toBigInteger();
+      return this$0.f1a_1.toBigInteger();
     };
   }
   function RealImpl$_get_intValue_$ref_vz60o2() {
@@ -6046,38 +6185,38 @@
   }
   function RealImpl$hashCodeCache$delegate$lambda(this$0) {
     return function () {
-      return hashCode(this$0.p19_1.stripTrailingZeros());
+      return hashCode(this$0.f1a_1.stripTrailingZeros());
     };
   }
   function RealImpl$_get_hashCodeCache_$ref_gtsyxf() {
     return constructCallableReference(function (p0) {
-      return p0.d13();
+      return p0.q13();
     }, 1, 0, 16);
   }
   function RealImpl(value, tags) {
     tags = tags === VOID ? emptyMap() : tags;
     NumericImpl.call(this, tags);
-    this.p19_1 = value;
+    this.f1a_1 = value;
     var tmp = this;
-    tmp.q19_1 = lazy(RealImpl$intValue$delegate$lambda(this));
+    tmp.g1a_1 = lazy(RealImpl$intValue$delegate$lambda(this));
     var tmp_0 = this;
-    tmp_0.r19_1 = lazy(RealImpl$hashCodeCache$delegate$lambda(this));
+    tmp_0.h1a_1 = lazy(RealImpl$hashCodeCache$delegate$lambda(this));
   }
   protoOf(RealImpl).c2 = function () {
-    return this.p19_1;
+    return this.f1a_1;
   };
   protoOf(RealImpl).xx = function () {
-    return this.p19_1;
+    return this.f1a_1;
   };
   protoOf(RealImpl).px = function () {
-    var tmp0 = this.q19_1;
+    var tmp0 = this.g1a_1;
     var tmp = KProperty1;
     // Inline function 'kotlin.getValue' call
     getPropertyCallableRef('intValue', 1, tmp, RealImpl$_get_intValue_$ref_vz60o2(), null);
     return tmp0.c2();
   };
   protoOf(RealImpl).toString = function () {
-    return Companion_getInstance_15().toStringEnsuringDecimal(this.p19_1);
+    return Companion_getInstance_15().toStringEnsuringDecimal(this.f1a_1);
   };
   protoOf(RealImpl).equals = function (other) {
     if (this === other)
@@ -6108,31 +6247,31 @@
     if (real === null)
       return false;
     // Inline function 'it.unibo.tuprolog.core.impl.RealImpl.equalsToReal' call
-    return this.p19_1.ci(real.c2()) === 0;
+    return this.f1a_1.ci(real.c2()) === 0;
   };
-  protoOf(RealImpl).c13 = function (other, useVarCompleteName) {
+  protoOf(RealImpl).p13 = function (other, useVarCompleteName) {
     var tmp;
     if (other.ju()) {
       // Inline function 'it.unibo.tuprolog.core.impl.RealImpl.equalsToReal' call
       var other_0 = other.castToReal();
-      tmp = this.p19_1.ci(other_0.c2()) === 0;
+      tmp = this.f1a_1.ci(other_0.c2()) === 0;
     } else {
       tmp = false;
     }
     return tmp;
   };
   protoOf(RealImpl).equalsUsingVarCompleteNames = function (other, useVarCompleteName) {
-    return this.c13(other, useVarCompleteName);
+    return this.p13(other, useVarCompleteName);
   };
-  protoOf(RealImpl).d13 = function () {
-    var tmp0 = this.r19_1;
+  protoOf(RealImpl).q13 = function () {
+    var tmp0 = this.h1a_1;
     var tmp = KProperty1;
     // Inline function 'kotlin.getValue' call
     getPropertyCallableRef('hashCodeCache', 1, tmp, RealImpl$_get_hashCodeCache_$ref_gtsyxf(), null);
     return tmp0.c2();
   };
-  protoOf(RealImpl).q12 = function (tags) {
-    return new RealImpl(this.p19_1, tags);
+  protoOf(RealImpl).d13 = function (tags) {
+    return new RealImpl(this.f1a_1, tags);
   };
   protoOf(RealImpl).kt = function () {
     return this;
@@ -6146,11 +6285,11 @@
   protoOf(RealImpl).freshCopyFromScope = function (scope) {
     return this.lt(scope);
   };
-  protoOf(RealImpl).s12 = function (visitor) {
+  protoOf(RealImpl).f13 = function (visitor) {
     return visitor.visitReal(this);
   };
   protoOf(RealImpl).accept = function (visitor) {
-    return this.s12(visitor);
+    return this.f13(visitor);
   };
   protoOf(RealImpl).oo = function () {
     return this.bu();
@@ -6168,14 +6307,14 @@
     return this.ty();
   };
   function _get_fst__e68kkq($this) {
-    var tmp0 = $this.s19_1;
+    var tmp0 = $this.i1a_1;
     var tmp = KProperty1;
     // Inline function 'kotlin.getValue' call
     getPropertyCallableRef('fst', 1, tmp, RecursiveImpl$LazyTwoItemsList$_get_fst_$ref_v7w1tf(), null);
     return tmp0.c2();
   }
   function _get_snd__e6grbc($this) {
-    var tmp0 = $this.t19_1;
+    var tmp0 = $this.j1a_1;
     var tmp = KProperty1;
     // Inline function 'kotlin.getValue' call
     getPropertyCallableRef('snd', 1, tmp, RecursiveImpl$LazyTwoItemsList$_get_snd_$ref_llxhcl(), null);
@@ -6192,7 +6331,7 @@
     }, 1, 0, 18);
   }
   function RecursiveImpl$LazyTwoItemsList$iterator$slambda(this$0, resultContinuation) {
-    this.c1a_1 = this$0;
+    this.s1a_1 = this$0;
     CoroutineImpl.call(this, resultContinuation);
   }
   protoOf(RecursiveImpl$LazyTwoItemsList$iterator$slambda).lp = function ($this$iterator, $completion) {
@@ -6213,7 +6352,7 @@
           case 0:
             this.h8_1 = 3;
             this.g8_1 = 1;
-            suspendResult = this.d1a_1.nc(_get_fst__e68kkq(this.c1a_1), this);
+            suspendResult = this.t1a_1.nc(_get_fst__e68kkq(this.s1a_1), this);
             if (suspendResult === get_COROUTINE_SUSPENDED()) {
               return suspendResult;
             }
@@ -6221,7 +6360,7 @@
             continue $sm;
           case 1:
             this.g8_1 = 2;
-            suspendResult = this.d1a_1.nc(_get_snd__e6grbc(this.c1a_1), this);
+            suspendResult = this.t1a_1.nc(_get_snd__e6grbc(this.s1a_1), this);
             if (suspendResult === get_COROUTINE_SUSPENDED()) {
               return suspendResult;
             }
@@ -6244,8 +6383,8 @@
      while (true);
   };
   protoOf(RecursiveImpl$LazyTwoItemsList$iterator$slambda).mp = function ($this$iterator, completion) {
-    var i = new RecursiveImpl$LazyTwoItemsList$iterator$slambda(this.c1a_1, completion);
-    i.d1a_1 = $this$iterator;
+    var i = new RecursiveImpl$LazyTwoItemsList$iterator$slambda(this.s1a_1, completion);
+    i.t1a_1 = $this$iterator;
     return i;
   };
   function RecursiveImpl$LazyTwoItemsList$iterator$slambda_0(this$0, resultContinuation) {
@@ -6255,58 +6394,58 @@
     }, 1);
   }
   function RecursiveImpl$LazyTwoItemsList$listIterator$1($index, this$0) {
-    this.f1a_1 = $index;
-    this.g1a_1 = this$0;
-    this.e1a_1 = $index;
+    this.v1a_1 = $index;
+    this.w1a_1 = this$0;
+    this.u1a_1 = $index;
   }
   protoOf(RecursiveImpl$LazyTwoItemsList$listIterator$1).p = function () {
-    return this.e1a_1 < this.g1a_1.s();
+    return this.u1a_1 < this.w1a_1.s();
   };
   protoOf(RecursiveImpl$LazyTwoItemsList$listIterator$1).r3 = function () {
-    return this.e1a_1 > 0;
+    return this.u1a_1 > 0;
   };
   protoOf(RecursiveImpl$LazyTwoItemsList$listIterator$1).q = function () {
     var tmp;
     if (this.p()) {
-      var _unary__edvuaz = this.e1a_1;
-      this.e1a_1 = _unary__edvuaz + 1 | 0;
-      tmp = this.g1a_1.t(_unary__edvuaz);
+      var _unary__edvuaz = this.u1a_1;
+      this.u1a_1 = _unary__edvuaz + 1 | 0;
+      tmp = this.w1a_1.t(_unary__edvuaz);
     } else {
       throw NoSuchElementException_init_$Create$();
     }
     return tmp;
   };
   protoOf(RecursiveImpl$LazyTwoItemsList$listIterator$1).s3 = function () {
-    return this.f1a_1 + 1 | 0;
+    return this.v1a_1 + 1 | 0;
   };
   protoOf(RecursiveImpl$LazyTwoItemsList$listIterator$1).t3 = function () {
     var tmp;
     if (this.r3()) {
-      var _unary__edvuaz = this.e1a_1;
-      this.e1a_1 = _unary__edvuaz - 1 | 0;
-      tmp = this.g1a_1.t(_unary__edvuaz);
+      var _unary__edvuaz = this.u1a_1;
+      this.u1a_1 = _unary__edvuaz - 1 | 0;
+      tmp = this.w1a_1.t(_unary__edvuaz);
     } else {
       throw NoSuchElementException_init_$Create$();
     }
     return tmp;
   };
   protoOf(RecursiveImpl$LazyTwoItemsList$listIterator$1).u3 = function () {
-    return this.e1a_1 - 1 | 0;
+    return this.u1a_1 - 1 | 0;
   };
   function LazyTwoItemsList(firstGenerator, secondGenerator) {
-    this.s19_1 = lazy(firstGenerator);
-    this.t19_1 = lazy(secondGenerator);
+    this.i1a_1 = lazy(firstGenerator);
+    this.j1a_1 = lazy(secondGenerator);
   }
   protoOf(LazyTwoItemsList).s = function () {
     return 2;
   };
-  protoOf(LazyTwoItemsList).h1a = function (element) {
+  protoOf(LazyTwoItemsList).x1a = function (element) {
     return equals(_get_fst__e68kkq(this), element) || equals(_get_snd__e6grbc(this), element);
   };
   protoOf(LazyTwoItemsList).r = function (element) {
     if (!true)
       return false;
-    return this.h1a(element);
+    return this.x1a(element);
   };
   protoOf(LazyTwoItemsList).t = function (index) {
     var tmp;
@@ -6322,13 +6461,13 @@
     }
     return tmp;
   };
-  protoOf(LazyTwoItemsList).i1a = function (element) {
+  protoOf(LazyTwoItemsList).y1a = function (element) {
     return equals(element, _get_fst__e68kkq(this)) ? 0 : equals(element, _get_snd__e6grbc(this)) ? 1 : -1;
   };
   protoOf(LazyTwoItemsList).z = function (element) {
     if (!true)
       return -1;
-    return this.i1a(element);
+    return this.y1a(element);
   };
   protoOf(LazyTwoItemsList).g = function () {
     return false;
@@ -6381,10 +6520,10 @@
   function RecursiveImpl(functor, args, tags) {
     AbstractStruct.call(this, functor, args, tags);
     var tmp = this;
-    tmp.o12_1 = lazy(RecursiveImpl$unfoldedList$delegate$lambda(this));
+    tmp.b13_1 = lazy(RecursiveImpl$unfoldedList$delegate$lambda(this));
   }
   protoOf(RecursiveImpl).qu = function () {
-    var tmp0 = this.o12_1;
+    var tmp0 = this.b13_1;
     var tmp = KProperty1;
     // Inline function 'kotlin.getValue' call
     getPropertyCallableRef('unfoldedList', 1, tmp, RecursiveImpl$_get_unfoldedList_$ref_j3hyd1(), null);
@@ -6396,12 +6535,12 @@
     return copyToArray(this_0);
   };
   protoOf(RecursiveImpl).lu = function () {
-    return this.t12();
+    return this.g13();
   };
   protoOf(RecursiveImpl).uu = function () {
     return asIterable_0(this.xr());
   };
-  protoOf(RecursiveImpl).t12 = function () {
+  protoOf(RecursiveImpl).g13 = function () {
     var tmp0 = this.ru();
     var tmp$ret$0;
     $l$block: {
@@ -6418,7 +6557,7 @@
     }
     return tmp$ret$0;
   };
-  protoOf(RecursiveImpl).u12 = function () {
+  protoOf(RecursiveImpl).h13 = function () {
     return itemWiseHashCode_0(this.ru());
   };
   protoOf(RecursiveImpl).jt = function () {
@@ -6437,7 +6576,7 @@
   protoOf(RecursiveImpl).freshCopyFromScope = function (scope) {
     return this.lt(scope);
   };
-  protoOf(RecursiveImpl).v12 = function (other) {
+  protoOf(RecursiveImpl).i13 = function (other) {
     var tmp0_safe_receiver = other.asRecursive();
     var tmp;
     if (tmp0_safe_receiver == null) {
@@ -6451,7 +6590,7 @@
     var tmp1_elvis_lhs = tmp;
     return tmp1_elvis_lhs == null ? false : tmp1_elvis_lhs;
   };
-  protoOf(RecursiveImpl).w12 = function (other, useVarCompleteName) {
+  protoOf(RecursiveImpl).j13 = function (other, useVarCompleteName) {
     var tmp0_safe_receiver = other.asRecursive();
     var tmp;
     if (tmp0_safe_receiver == null) {
@@ -6465,11 +6604,11 @@
     var tmp1_elvis_lhs = tmp;
     return tmp1_elvis_lhs == null ? false : tmp1_elvis_lhs;
   };
-  protoOf(RecursiveImpl).s12 = function (visitor) {
+  protoOf(RecursiveImpl).f13 = function (visitor) {
     return visitor.visitCollection(this);
   };
   protoOf(RecursiveImpl).accept = function (visitor) {
-    return this.s12(visitor);
+    return this.f13(visitor);
   };
   protoOf(RecursiveImpl).oo = function () {
     return this.bu();
@@ -6486,16 +6625,16 @@
   function RuleImpl(head, body, tags) {
     tags = tags === VOID ? emptyMap() : tags;
     ClauseImpl.call(this, head, body, tags);
-    this.x17_1 = head;
-    this.y17_1 = body;
+    this.n18_1 = head;
+    this.o18_1 = body;
   }
   protoOf(RuleImpl).nv = function () {
-    return this.x17_1;
+    return this.n18_1;
   };
   protoOf(RuleImpl).ov = function () {
-    return this.y17_1;
+    return this.o18_1;
   };
-  protoOf(RuleImpl).q12 = function (tags) {
+  protoOf(RuleImpl).d13 = function (tags) {
     return new RuleImpl(this.nv(), this.ov(), tags);
   };
   protoOf(RuleImpl).kt = function () {
@@ -6516,11 +6655,11 @@
   protoOf(RuleImpl).dx = function () {
     return this.nv().bt();
   };
-  protoOf(RuleImpl).z17 = function (index) {
+  protoOf(RuleImpl).p18 = function (index) {
     return this.nv().get(index);
   };
   protoOf(RuleImpl).getHeadArg = function (index) {
-    return this.z17(index);
+    return this.p18(index);
   };
   protoOf(RuleImpl).ex = function (body) {
     return protoOf(ClauseImpl).ex.call(this, body).castToRule();
@@ -6618,11 +6757,11 @@
   protoOf(RuleImpl).appendBodyItem = function (argument) {
     return this.lx(argument);
   };
-  protoOf(RuleImpl).s12 = function (visitor) {
+  protoOf(RuleImpl).f13 = function (visitor) {
     return visitor.visitRule(this);
   };
   protoOf(RuleImpl).accept = function (visitor) {
-    return this.s12(visitor);
+    return this.f13(visitor);
   };
   protoOf(RuleImpl).oo = function () {
     return this.bu();
@@ -6642,67 +6781,67 @@
   function ScopeImpl$varOf$lambda(this$0, $name) {
     return function () {
       var tmp;
-      if (!this$0.j1a_1.d2($name)) {
-        var tmp0 = this$0.j1a_1;
+      if (!this$0.z1a_1.d2($name)) {
+        var tmp0 = this$0.z1a_1;
         var tmp2 = $name;
         // Inline function 'kotlin.collections.set' call
         var value = Companion_getInstance_25().of($name);
         tmp0.p4(tmp2, value);
         tmp = Unit_instance;
       }
-      return ensureNotNull(this$0.j1a_1.f2($name));
+      return ensureNotNull(this$0.z1a_1.f2($name));
     };
   }
   function ScopeImpl(_variables) {
-    this.j1a_1 = _variables;
+    this.z1a_1 = _variables;
   }
-  protoOf(ScopeImpl).k1a = function (variable) {
-    return this.j1a_1.d2(variable.k2());
+  protoOf(ScopeImpl).a1b = function (variable) {
+    return this.z1a_1.d2(variable.k2());
   };
   protoOf(ScopeImpl).containsVar = function (variable) {
-    return this.k1a(variable);
+    return this.a1b(variable);
   };
-  protoOf(ScopeImpl).l1a = function (variable) {
-    return this.j1a_1.d2(variable);
+  protoOf(ScopeImpl).b1b = function (variable) {
+    return this.z1a_1.d2(variable);
   };
   protoOf(ScopeImpl).contains = function (variable) {
-    return this.l1a(variable);
+    return this.b1b(variable);
   };
-  protoOf(ScopeImpl).m1a = function (variable) {
-    return this.j1a_1.f2(variable);
+  protoOf(ScopeImpl).c1b = function (variable) {
+    return this.z1a_1.f2(variable);
   };
   protoOf(ScopeImpl).get = function (variable) {
-    return this.m1a(variable);
+    return this.c1b(variable);
   };
   protoOf(ScopeImpl).jt = function () {
-    return toMap_0(this.j1a_1);
+    return toMap_0(this.z1a_1);
   };
-  protoOf(ScopeImpl).n1a = function (name) {
+  protoOf(ScopeImpl).d1b = function (name) {
     return synchronizedOnSelf(this, ScopeImpl$varOf$lambda(this, name));
   };
   protoOf(ScopeImpl).varOf = function (name) {
-    return this.n1a(name);
+    return this.d1b(name);
   };
-  protoOf(ScopeImpl).o1a = function (name) {
-    return this.n1a(toString_1(name));
+  protoOf(ScopeImpl).e1b = function (name) {
+    return this.d1b(toString_1(name));
   };
   protoOf(ScopeImpl).varOfChar = function (name) {
-    return this.o1a(name);
+    return this.e1b(name);
   };
-  protoOf(ScopeImpl).p1a = function (lambda) {
+  protoOf(ScopeImpl).f1b = function (lambda) {
     // Inline function 'kotlin.also' call
     lambda(this);
     return this;
   };
   protoOf(ScopeImpl).where = function (lambda) {
-    return this.p1a(lambda);
+    return this.f1b(lambda);
   };
-  protoOf(ScopeImpl).q1a = function (lambda) {
+  protoOf(ScopeImpl).g1b = function (lambda) {
     // Inline function 'kotlin.with' call
     return lambda(this);
   };
   protoOf(ScopeImpl).with = function (lambda) {
-    return this.q1a(lambda);
+    return this.g1b(lambda);
   };
   protoOf(ScopeImpl).equals = function (other) {
     if (this === other)
@@ -6711,60 +6850,60 @@
       return false;
     if (!(other instanceof ScopeImpl))
       THROW_CCE();
-    if (!equals(this.j1a_1, other.j1a_1))
+    if (!equals(this.z1a_1, other.z1a_1))
       return false;
     return true;
   };
   protoOf(ScopeImpl).hashCode = function () {
-    return hashCode(this.j1a_1);
+    return hashCode(this.z1a_1);
   };
   protoOf(ScopeImpl).toString = function () {
     return toString(this.jt());
   };
-  protoOf(ScopeImpl).r1a = function (value) {
+  protoOf(ScopeImpl).h1b = function (value) {
     return Companion_getInstance_23().of(value);
   };
   protoOf(ScopeImpl).truthOf = function (value) {
-    return this.r1a(value);
+    return this.h1b(value);
   };
-  protoOf(ScopeImpl).s1a = function (terms) {
+  protoOf(ScopeImpl).i1b = function (terms) {
     return Companion_instance_1.ofIterable(terms);
   };
   protoOf(ScopeImpl).blockOfIterable = function (terms) {
-    return this.s1a(terms);
+    return this.i1b(terms);
   };
-  protoOf(ScopeImpl).t1a = function (terms) {
+  protoOf(ScopeImpl).j1b = function (terms) {
     return Companion_instance_1.ofSequence(terms);
   };
   protoOf(ScopeImpl).blockOfSequence = function (terms) {
-    return this.t1a(terms);
+    return this.j1b(terms);
   };
-  protoOf(ScopeImpl).u1a = function (terms) {
+  protoOf(ScopeImpl).k1b = function (terms) {
     return Companion_instance_1.of(terms.slice());
   };
   protoOf(ScopeImpl).blockOf = function (terms) {
-    return this.u1a(terms);
+    return this.k1b(terms);
   };
-  protoOf(ScopeImpl).v1a = function (terms) {
+  protoOf(ScopeImpl).l1b = function (terms) {
     return Companion_instance_11.ofIterable(terms);
   };
   protoOf(ScopeImpl).logicListOfIterable = function (terms) {
-    return this.v1a(terms);
+    return this.l1b(terms);
   };
-  protoOf(ScopeImpl).w1a = function (terms) {
+  protoOf(ScopeImpl).m1b = function (terms) {
     return Companion_instance_11.ofSequence(terms);
   };
   protoOf(ScopeImpl).logicListOfSequence = function (terms) {
-    return this.w1a(terms);
+    return this.m1b(terms);
   };
   protoOf(ScopeImpl).vy = function () {
     return Companion_getInstance_8().invoke();
   };
-  protoOf(ScopeImpl).x1a = function (terms) {
+  protoOf(ScopeImpl).n1b = function (terms) {
     return Companion_instance_11.of(terms.slice());
   };
   protoOf(ScopeImpl).logicListOf = function (terms) {
-    return this.x1a(terms);
+    return this.n1b(terms);
   };
   protoOf(ScopeImpl).xy = function (terms, last) {
     return Companion_instance_11.from(terms.slice(), last);
@@ -6784,253 +6923,253 @@
   protoOf(ScopeImpl).logicListFromIterable = function (terms, last, $super) {
     return this.logicListFromIterable(terms, last, ($super == null ? true : $super instanceof ScopeImpl) ? $super : THROW_CCE());
   };
-  protoOf(ScopeImpl).y1a = function (terms) {
+  protoOf(ScopeImpl).o1b = function (terms) {
     return Companion_instance_23.ofList(toList_0(terms));
   };
   protoOf(ScopeImpl).tupleOfIterable = function (terms) {
-    return this.y1a(terms);
+    return this.o1b(terms);
   };
-  protoOf(ScopeImpl).z1a = function (terms) {
+  protoOf(ScopeImpl).p1b = function (terms) {
     return Companion_instance_23.ofList(toList_1(terms));
   };
   protoOf(ScopeImpl).tupleOfSequence = function (terms) {
-    return this.z1a(terms);
+    return this.p1b(terms);
   };
-  protoOf(ScopeImpl).a1b = function (terms) {
+  protoOf(ScopeImpl).q1b = function (terms) {
     return Companion_instance_23.ofList(toList(terms));
   };
   protoOf(ScopeImpl).tupleOf = function (terms) {
-    return this.a1b(terms);
+    return this.q1b(terms);
   };
-  protoOf(ScopeImpl).b1b = function (value) {
+  protoOf(ScopeImpl).r1b = function (value) {
     return Companion_getInstance_1().of(value);
   };
   protoOf(ScopeImpl).atomOf = function (value) {
-    return this.b1b(value);
+    return this.r1b(value);
   };
-  protoOf(ScopeImpl).c1b = function (value) {
+  protoOf(ScopeImpl).s1b = function (value) {
     return Companion_getInstance_1().of(toString_1(value));
   };
   protoOf(ScopeImpl).atomOfChar = function (value) {
-    return this.c1b(value);
+    return this.s1b(value);
   };
-  protoOf(ScopeImpl).d1b = function (functor, args) {
+  protoOf(ScopeImpl).t1b = function (functor, args) {
     return Companion_getInstance_18().of(functor, args.slice());
   };
   protoOf(ScopeImpl).structOf = function (functor, args) {
-    return this.d1b(functor, args);
+    return this.t1b(functor, args);
   };
-  protoOf(ScopeImpl).e1b = function (functor, args) {
+  protoOf(ScopeImpl).u1b = function (functor, args) {
     return Companion_getInstance_18().ofSequence(functor, args);
   };
   protoOf(ScopeImpl).structOfSequence = function (functor, args) {
-    return this.e1b(functor, args);
+    return this.u1b(functor, args);
   };
-  protoOf(ScopeImpl).f1b = function (functor, args) {
+  protoOf(ScopeImpl).v1b = function (functor, args) {
     return Companion_getInstance_18().ofIterable(functor, args);
   };
   protoOf(ScopeImpl).structOfIterable = function (functor, args) {
-    return this.f1b(functor, args);
+    return this.v1b(functor, args);
   };
-  protoOf(ScopeImpl).g1b = function (functor, args) {
+  protoOf(ScopeImpl).w1b = function (functor, args) {
     return Companion_getInstance_18().ofList(functor, args);
   };
   protoOf(ScopeImpl).structOfList = function (functor, args) {
-    return this.g1b(functor, args);
+    return this.w1b(functor, args);
   };
-  protoOf(ScopeImpl).h1b = function (head) {
+  protoOf(ScopeImpl).x1b = function (head) {
     return Companion_instance_8.of(head);
   };
   protoOf(ScopeImpl).factOf = function (head) {
-    return this.h1b(head);
+    return this.x1b(head);
   };
-  protoOf(ScopeImpl).i1b = function (head, body1, body) {
+  protoOf(ScopeImpl).y1b = function (head, body1, body) {
     return Companion_instance_15.of(head, arrayConcat([[body1], body]));
   };
   protoOf(ScopeImpl).ruleOf = function (head, body1, body) {
-    return this.i1b(head, body1, body);
+    return this.y1b(head, body1, body);
   };
-  protoOf(ScopeImpl).j1b = function (body1, body) {
+  protoOf(ScopeImpl).z1b = function (body1, body) {
     return Companion_instance_4.of(body1, body.slice());
   };
   protoOf(ScopeImpl).directiveOf = function (body1, body) {
-    return this.j1b(body1, body);
+    return this.z1b(body1, body);
   };
-  protoOf(ScopeImpl).k1b = function (head, body) {
+  protoOf(ScopeImpl).a1c = function (head, body) {
     return Companion_getInstance_3().pv(head, body.slice());
   };
   protoOf(ScopeImpl).clauseOf = function (head, body) {
-    return this.k1b(head, body);
+    return this.a1c(head, body);
   };
-  protoOf(ScopeImpl).l1b = function (head, tail) {
+  protoOf(ScopeImpl).b1c = function (head, tail) {
     return Companion_instance_3.of(head, tail);
   };
   protoOf(ScopeImpl).consOf = function (head, tail) {
-    return this.l1b(head, tail);
+    return this.b1c(head, tail);
   };
-  protoOf(ScopeImpl).m1b = function (name, arity) {
+  protoOf(ScopeImpl).c1c = function (name, arity) {
     return Companion_instance_9.of(name, arity);
   };
   protoOf(ScopeImpl).indicatorOf = function (name, arity) {
-    return this.m1b(name, arity);
+    return this.c1c(name, arity);
   };
-  protoOf(ScopeImpl).n1b = function (name, arity) {
+  protoOf(ScopeImpl).d1c = function (name, arity) {
     return Companion_instance_9.ofString(name, arity);
   };
   protoOf(ScopeImpl).indicatorOfStringInt = function (name, arity) {
-    return this.n1b(name, arity);
+    return this.d1c(name, arity);
   };
-  protoOf(ScopeImpl).o1b = function () {
+  protoOf(ScopeImpl).e1c = function () {
     return Companion_getInstance_25().anonymous();
   };
   protoOf(ScopeImpl).anonymous = function () {
-    return this.o1b();
+    return this.e1c();
   };
-  protoOf(ScopeImpl).p1b = function () {
-    return this.o1b();
+  protoOf(ScopeImpl).f1c = function () {
+    return this.e1c();
   };
   protoOf(ScopeImpl).whatever = function () {
-    return this.p1b();
+    return this.f1c();
   };
-  protoOf(ScopeImpl).q1b = function (value) {
+  protoOf(ScopeImpl).g1c = function (value) {
     return Companion_getInstance_14().ofBigDecimal(value);
   };
   protoOf(ScopeImpl).numOfBigDecimal = function (value) {
-    return this.q1b(value);
+    return this.g1c(value);
   };
-  protoOf(ScopeImpl).r1b = function (value) {
+  protoOf(ScopeImpl).h1c = function (value) {
     return Companion_getInstance_14().ofDouble(value);
   };
   protoOf(ScopeImpl).numOfDouble = function (value) {
-    return this.r1b(value);
+    return this.h1c(value);
   };
-  protoOf(ScopeImpl).s1b = function (value) {
+  protoOf(ScopeImpl).i1c = function (value) {
     return Companion_getInstance_14().ofFloat(value);
   };
   protoOf(ScopeImpl).numOfFloat = function (value) {
-    return this.s1b(value);
+    return this.i1c(value);
   };
-  protoOf(ScopeImpl).t1b = function (value) {
+  protoOf(ScopeImpl).j1c = function (value) {
     return Companion_getInstance_14().ofBigInteger(value);
   };
   protoOf(ScopeImpl).numOfBigInteger = function (value) {
-    return this.t1b(value);
+    return this.j1c(value);
   };
-  protoOf(ScopeImpl).u1b = function (value) {
+  protoOf(ScopeImpl).k1c = function (value) {
     return Companion_getInstance_14().ofInteger(value);
   };
   protoOf(ScopeImpl).numOfInt = function (value) {
-    return this.u1b(value);
+    return this.k1c(value);
   };
-  protoOf(ScopeImpl).v1b = function (value) {
+  protoOf(ScopeImpl).l1c = function (value) {
     return Companion_getInstance_14().ofLong(value);
   };
   protoOf(ScopeImpl).numOfLong = function (value) {
-    return this.v1b(value);
+    return this.l1c(value);
   };
-  protoOf(ScopeImpl).w1b = function (value) {
+  protoOf(ScopeImpl).m1c = function (value) {
     return Companion_getInstance_14().ofShort(value);
   };
   protoOf(ScopeImpl).numOfShort = function (value) {
-    return this.w1b(value);
+    return this.m1c(value);
   };
-  protoOf(ScopeImpl).x1b = function (value) {
+  protoOf(ScopeImpl).n1c = function (value) {
     return Companion_getInstance_14().ofByte(value);
   };
   protoOf(ScopeImpl).numOfByte = function (value) {
-    return this.x1b(value);
+    return this.n1c(value);
   };
-  protoOf(ScopeImpl).y1b = function (value) {
+  protoOf(ScopeImpl).o1c = function (value) {
     return Companion_getInstance_14().parse(value);
   };
   protoOf(ScopeImpl).parseNum = function (value) {
-    return this.y1b(value);
+    return this.o1c(value);
   };
-  protoOf(ScopeImpl).z1b = function (value) {
+  protoOf(ScopeImpl).p1c = function (value) {
     return Companion_getInstance_14().of(value);
   };
   protoOf(ScopeImpl).numOf = function (value) {
-    return this.z1b(value);
+    return this.p1c(value);
   };
-  protoOf(ScopeImpl).a1c = function (value) {
+  protoOf(ScopeImpl).q1c = function (value) {
     return Companion_getInstance_11().ofBigInteger(value);
   };
   protoOf(ScopeImpl).intOfBigInteger = function (value) {
-    return this.a1c(value);
+    return this.q1c(value);
   };
-  protoOf(ScopeImpl).b1c = function (value) {
+  protoOf(ScopeImpl).r1c = function (value) {
     return Companion_getInstance_11().ofInt(value);
   };
   protoOf(ScopeImpl).intOf = function (value) {
-    return this.b1c(value);
+    return this.r1c(value);
   };
-  protoOf(ScopeImpl).c1c = function (value) {
+  protoOf(ScopeImpl).s1c = function (value) {
     return Companion_getInstance_11().ofLong(value);
   };
   protoOf(ScopeImpl).intOfLong = function (value) {
-    return this.c1c(value);
+    return this.s1c(value);
   };
-  protoOf(ScopeImpl).d1c = function (value) {
+  protoOf(ScopeImpl).t1c = function (value) {
     return Companion_getInstance_11().ofShort(value);
   };
   protoOf(ScopeImpl).intOfShort = function (value) {
-    return this.d1c(value);
+    return this.t1c(value);
   };
-  protoOf(ScopeImpl).e1c = function (value) {
+  protoOf(ScopeImpl).u1c = function (value) {
     return Companion_getInstance_11().ofByte(value);
   };
   protoOf(ScopeImpl).intOfByte = function (value) {
-    return this.e1c(value);
+    return this.u1c(value);
   };
-  protoOf(ScopeImpl).f1c = function (value) {
+  protoOf(ScopeImpl).v1c = function (value) {
     return Companion_getInstance_11().parse(value);
   };
   protoOf(ScopeImpl).parseInt = function (value) {
-    return this.f1c(value);
+    return this.v1c(value);
   };
-  protoOf(ScopeImpl).g1c = function (value, radix) {
+  protoOf(ScopeImpl).w1c = function (value, radix) {
     return Companion_getInstance_11().parseRadix(value, radix);
   };
   protoOf(ScopeImpl).parseIntRadix = function (value, radix) {
-    return this.g1c(value, radix);
+    return this.w1c(value, radix);
   };
-  protoOf(ScopeImpl).h1c = function (value) {
+  protoOf(ScopeImpl).x1c = function (value) {
     return Companion_getInstance_15().ofBigDecimal(value);
   };
   protoOf(ScopeImpl).realOfBigDecimal = function (value) {
-    return this.h1c(value);
+    return this.x1c(value);
   };
-  protoOf(ScopeImpl).i1c = function (value) {
+  protoOf(ScopeImpl).y1c = function (value) {
     return Companion_getInstance_15().ofDouble(value);
   };
   protoOf(ScopeImpl).realOf = function (value) {
-    return this.i1c(value);
+    return this.y1c(value);
   };
-  protoOf(ScopeImpl).j1c = function (value) {
+  protoOf(ScopeImpl).z1c = function (value) {
     return Companion_getInstance_15().ofFloat(value);
   };
   protoOf(ScopeImpl).realOfFloat = function (value) {
-    return this.j1c(value);
+    return this.z1c(value);
   };
-  protoOf(ScopeImpl).k1c = function (value) {
+  protoOf(ScopeImpl).a1d = function (value) {
     return Companion_getInstance_15().parse(value);
   };
   protoOf(ScopeImpl).parseReal = function (value) {
-    return this.k1c(value);
+    return this.a1d(value);
   };
-  protoOf(ScopeImpl).l1c = function (assignments) {
+  protoOf(ScopeImpl).b1d = function (assignments) {
     return Companion_getInstance_19().unifierIterable(assignments);
   };
   protoOf(ScopeImpl).unifierOfIterable = function (assignments) {
-    return this.l1c(assignments);
+    return this.b1d(assignments);
   };
-  protoOf(ScopeImpl).m1c = function (assignments) {
-    return this.l1c(asIterable_0(assignments));
+  protoOf(ScopeImpl).c1d = function (assignments) {
+    return this.b1d(asIterable_0(assignments));
   };
   protoOf(ScopeImpl).unifierOfSequence = function (assignments) {
-    return this.m1c(assignments);
+    return this.c1d(assignments);
   };
-  protoOf(ScopeImpl).n1c = function (assignments) {
+  protoOf(ScopeImpl).d1d = function (assignments) {
     // Inline function 'kotlin.collections.map' call
     // Inline function 'kotlin.collections.mapTo' call
     var destination = ArrayList_init_$Create$(assignments.length);
@@ -7041,27 +7180,27 @@
       inductionVariable = inductionVariable + 1 | 0;
       var v = item.ac();
       var t = item.bc();
-      var tmp$ret$2 = to(this.n1a(v), t);
+      var tmp$ret$2 = to(this.d1b(v), t);
       destination.j(tmp$ret$2);
     }
-    return this.l1c(destination);
+    return this.b1d(destination);
   };
   protoOf(ScopeImpl).unifierOf = function (assignments) {
-    return this.n1c(assignments);
+    return this.d1d(assignments);
   };
-  protoOf(ScopeImpl).o1c = function (assignments) {
+  protoOf(ScopeImpl).e1d = function (assignments) {
     return Companion_getInstance_19().ofIterable(assignments);
   };
   protoOf(ScopeImpl).substitutionOfIterable = function (assignments) {
-    return this.o1c(assignments);
+    return this.e1d(assignments);
   };
-  protoOf(ScopeImpl).p1c = function (assignments) {
-    return this.o1c(asIterable_0(assignments));
+  protoOf(ScopeImpl).f1d = function (assignments) {
+    return this.e1d(asIterable_0(assignments));
   };
   protoOf(ScopeImpl).substitutionOfSequence = function (assignments) {
-    return this.p1c(assignments);
+    return this.f1d(assignments);
   };
-  protoOf(ScopeImpl).q1c = function (assignments) {
+  protoOf(ScopeImpl).g1d = function (assignments) {
     // Inline function 'kotlin.collections.map' call
     // Inline function 'kotlin.collections.mapTo' call
     var destination = ArrayList_init_$Create$(assignments.length);
@@ -7072,26 +7211,27 @@
       inductionVariable = inductionVariable + 1 | 0;
       var v = item.ac();
       var t = item.bc();
-      var tmp$ret$2 = to(this.n1a(v), t);
+      var tmp$ret$2 = to(this.d1b(v), t);
       destination.j(tmp$ret$2);
     }
-    return this.o1c(destination);
+    return this.e1d(destination);
   };
   protoOf(ScopeImpl).substitutionOf = function (assignments) {
-    return this.q1c(assignments);
+    return this.g1d(assignments);
   };
-  function SimpleTermFormatter(quoted, numberVars, ignoreOps) {
+  function SimpleTermFormatter(quoted, numberVars, ignoreOps, tagsOptions) {
     quoted = quoted === VOID ? true : quoted;
     numberVars = numberVars === VOID ? false : numberVars;
     ignoreOps = ignoreOps === VOID ? false : ignoreOps;
-    AbstractTermFormatter.call(this, quoted, numberVars, ignoreOps);
+    tagsOptions = tagsOptions === VOID ? new TagsFormattingOptions() : tagsOptions;
+    AbstractTermFormatter.call(this, quoted, numberVars, ignoreOps, tagsOptions);
   }
   protoOf(SimpleTermFormatter).format = function (value) {
-    return this.f11((!(value == null) ? isInterface(value, Term) : false) ? value : THROW_CCE());
+    return this.s11((!(value == null) ? isInterface(value, Term) : false) ? value : THROW_CCE());
   };
   function StructImpl$isGround$delegate$lambda(this$0) {
     return function () {
-      return this$0.t12();
+      return this$0.g13();
     };
   }
   function StructImpl$_get_isGround_$ref_i5zjyw() {
@@ -7102,26 +7242,26 @@
   function StructImpl(functor, args, tags) {
     tags = tags === VOID ? emptyMap() : tags;
     AbstractStruct.call(this, functor, args, tags);
-    this.v1c_1 = functor;
-    this.w1c_1 = args;
+    this.l1d_1 = functor;
+    this.m1d_1 = args;
     var tmp = this;
-    tmp.x1c_1 = lazy(StructImpl$isGround$delegate$lambda(this));
+    tmp.n1d_1 = lazy(StructImpl$isGround$delegate$lambda(this));
   }
   protoOf(StructImpl).ht = function () {
-    return this.v1c_1;
+    return this.l1d_1;
   };
   protoOf(StructImpl).it = function () {
-    return this.w1c_1;
+    return this.m1d_1;
   };
   protoOf(StructImpl).lu = function () {
-    var tmp0 = this.x1c_1;
+    var tmp0 = this.n1d_1;
     var tmp = KProperty1;
     // Inline function 'kotlin.getValue' call
     getPropertyCallableRef('isGround', 1, tmp, StructImpl$_get_isGround_$ref_i5zjyw(), null);
     return tmp0.c2();
   };
-  protoOf(StructImpl).q12 = function (tags) {
-    return new StructImpl(this.v1c_1, this.w1c_1, tags);
+  protoOf(StructImpl).d13 = function (tags) {
+    return new StructImpl(this.l1d_1, this.m1d_1, tags);
   };
   protoOf(StructImpl).oo = function () {
     return this.bu();
@@ -7132,31 +7272,32 @@
   protoOf(StructImpl).asStruct = function () {
     return this.xt();
   };
-  function TermFormatterWithAnonymousVariables(quoted, numberVars, ignoreOps) {
+  function TermFormatterWithAnonymousVariables(quoted, numberVars, ignoreOps, tagsOptions) {
     quoted = quoted === VOID ? true : quoted;
     numberVars = numberVars === VOID ? false : numberVars;
     ignoreOps = ignoreOps === VOID ? false : ignoreOps;
-    AbstractTermFormatter.call(this, quoted, numberVars, ignoreOps);
+    tagsOptions = tagsOptions === VOID ? new TagsFormattingOptions() : tagsOptions;
+    AbstractTermFormatter.call(this, quoted, numberVars, ignoreOps, tagsOptions);
   }
   protoOf(TermFormatterWithAnonymousVariables).qv = function (term) {
-    return '_' + term.s11();
+    return '_' + term.f12();
   };
   protoOf(TermFormatterWithAnonymousVariables).visitVar = function (term) {
     return this.qv(term);
   };
   protoOf(TermFormatterWithAnonymousVariables).format = function (value) {
-    return this.f11((!(value == null) ? isInterface(value, Term) : false) ? value : THROW_CCE());
+    return this.s11((!(value == null) ? isInterface(value, Term) : false) ? value : THROW_CCE());
   };
   function OperatorDecorations(prefix, suffix) {
-    this.b1d_1 = prefix;
-    this.c1d_1 = suffix;
+    this.s1d_1 = prefix;
+    this.t1d_1 = suffix;
   }
   protoOf(OperatorDecorations).toString = function () {
-    return 'OperatorDecorations(prefix=' + this.b1d_1 + ', suffix=' + this.c1d_1 + ')';
+    return 'OperatorDecorations(prefix=' + this.s1d_1 + ', suffix=' + this.t1d_1 + ')';
   };
   protoOf(OperatorDecorations).hashCode = function () {
-    var result = getStringHashCode(this.b1d_1);
-    result = imul(result, 31) + getStringHashCode(this.c1d_1) | 0;
+    var result = getStringHashCode(this.s1d_1);
+    result = imul(result, 31) + getStringHashCode(this.t1d_1) | 0;
     return result;
   };
   protoOf(OperatorDecorations).equals = function (other) {
@@ -7164,26 +7305,26 @@
       return true;
     if (!(other instanceof OperatorDecorations))
       return false;
-    if (!(this.b1d_1 === other.b1d_1))
+    if (!(this.s1d_1 === other.s1d_1))
       return false;
-    if (!(this.c1d_1 === other.c1d_1))
+    if (!(this.t1d_1 === other.t1d_1))
       return false;
     return true;
   };
   function _get_decorations__mnzyq($this, $receiver) {
-    var tmp0_elvis_lhs = $this.e1d_1.f2($receiver);
-    return tmp0_elvis_lhs == null ? $this.d1d_1 : tmp0_elvis_lhs;
+    var tmp0_elvis_lhs = $this.v1d_1.f2($receiver);
+    return tmp0_elvis_lhs == null ? $this.u1d_1 : tmp0_elvis_lhs;
   }
   function _get_prefix__wiwq7t($this, $receiver) {
-    return _get_decorations__mnzyq($this, $receiver).b1d_1;
+    return _get_decorations__mnzyq($this, $receiver).s1d_1;
   }
   function _get_suffix__6yo6oq($this, $receiver) {
-    return _get_decorations__mnzyq($this, $receiver).c1d_1;
+    return _get_decorations__mnzyq($this, $receiver).t1d_1;
   }
   function Companion_28() {
     Companion_instance_29 = this;
-    this.d1d_1 = new OperatorDecorations(' ', ' ');
-    this.e1d_1 = mapOf_0([to(',', new OperatorDecorations('', ' ')), to(';', new OperatorDecorations('', ' ')), to('\\+', new OperatorDecorations('', ' '))]);
+    this.u1d_1 = new OperatorDecorations(' ', ' ');
+    this.v1d_1 = mapOf_0([to(',', new OperatorDecorations('', ' ')), to(';', new OperatorDecorations('', ' ')), to('\\+', new OperatorDecorations('', ' '))]);
   }
   var Companion_instance_29;
   function Companion_getInstance_30() {
@@ -7191,25 +7332,34 @@
       new Companion_28();
     return Companion_instance_29;
   }
-  function TermFormatterWithPrettyExpressions_init_$Init$(delegate, operators, quoted, numberVars, ignoreOps, $this) {
+  function TermFormatterWithPrettyExpressions_init_$Init$(delegate, operators, quoted, numberVars, ignoreOps, tagsOptions, $this) {
     quoted = quoted === VOID ? true : quoted;
     numberVars = numberVars === VOID ? false : numberVars;
     ignoreOps = ignoreOps === VOID ? false : ignoreOps;
-    TermFormatterWithPrettyExpressions.call($this, 2147483647, delegate, toOperatorsIndex(operators), emptySet(), quoted, numberVars, ignoreOps);
+    tagsOptions = tagsOptions === VOID ? new TagsFormattingOptions() : tagsOptions;
+    TermFormatterWithPrettyExpressions.call($this, 2147483647, delegate, toOperatorsIndex(operators), emptySet(), quoted, numberVars, ignoreOps, tagsOptions);
     return $this;
   }
-  function TermFormatterWithPrettyExpressions_init_$Create$(delegate, operators, quoted, numberVars, ignoreOps) {
-    return TermFormatterWithPrettyExpressions_init_$Init$(delegate, operators, quoted, numberVars, ignoreOps, objectCreate(protoOf(TermFormatterWithPrettyExpressions)));
+  function TermFormatterWithPrettyExpressions_init_$Create$(delegate, operators, quoted, numberVars, ignoreOps, tagsOptions) {
+    return TermFormatterWithPrettyExpressions_init_$Init$(delegate, operators, quoted, numberVars, ignoreOps, tagsOptions, objectCreate(protoOf(TermFormatterWithPrettyExpressions)));
   }
   function wrapWithinParentheses($this, $receiver) {
     return '(' + $receiver + ')';
   }
   function addingParenthesesIfForced($this, struct, stringGenerator) {
     var string = stringGenerator(struct);
-    if ($this.l1d_1.r(struct.ht())) {
-      return wrapWithinParentheses($this, string);
+    var tags = $this.g14_1.j11(struct.vq());
+    var tmp;
+    if ($this.d1e_1.r(struct.ht())) {
+      tmp = true;
+    } else {
+      // Inline function 'kotlin.text.isNotEmpty' call
+      tmp = charSequenceLength(tags) > 0;
+    }
+    if (tmp) {
+      string = wrapWithinParentheses($this, string);
     }
-    return string;
+    return string + tags;
   }
   function visitExpression($this, struct) {
     var prefix = isPrefix($this, struct);
@@ -7226,16 +7376,16 @@
     }
     var lowerPriority = isLowerPriority($this, struct);
     if (!(lowerPriority == null)) {
-      return wrapWithinParentheses($this, struct.accept(childFormatter($this, lowerPriority.second)));
+      return $this.j14(wrapWithinParentheses($this, struct.accept(childFormatter($this, lowerPriority.second))), struct);
     }
     return protoOf(AbstractTermFormatter).iv.call($this, struct);
   }
   function childFormatter($this, priority, forceParentheses) {
     forceParentheses = forceParentheses === VOID ? emptySet() : forceParentheses;
-    return new TermFormatterWithPrettyExpressions(priority, $this.j1d_1, $this.k1d_1, forceParentheses, $this.q13_1, $this.r13_1, $this.s13_1);
+    return new TermFormatterWithPrettyExpressions(priority, $this.b1e_1, $this.c1e_1, forceParentheses, $this.d14_1, $this.e14_1, $this.f14_1, $this.g14_1);
   }
   function isOperator($this, $receiver) {
-    return $this.k1d_1.d2($receiver);
+    return $this.c1e_1.d2($receiver);
   }
   function getSpecifierAndIndex($this, $receiver, functor, priorityPredicate, specifierPredicate) {
     var tmp0_safe_receiver = $receiver.f2(functor);
@@ -7273,7 +7423,7 @@
     var tmp;
     if ($receiver.bt() === 1) {
       var tmp_0 = $receiver.ht();
-      tmp = getSpecifierAndIndexWithNonGreaterPriority($this, $this.k1d_1, tmp_0, $this.i1d_1, TermFormatterWithPrettyExpressions$isPrefix$lambda);
+      tmp = getSpecifierAndIndexWithNonGreaterPriority($this, $this.c1e_1, tmp_0, $this.a1e_1, TermFormatterWithPrettyExpressions$isPrefix$lambda);
     } else {
       tmp = null;
     }
@@ -7283,7 +7433,7 @@
     var tmp;
     if ($receiver.bt() === 1) {
       var tmp_0 = $receiver.ht();
-      tmp = getSpecifierAndIndexWithNonGreaterPriority($this, $this.k1d_1, tmp_0, $this.i1d_1, TermFormatterWithPrettyExpressions$isPostfix$lambda);
+      tmp = getSpecifierAndIndexWithNonGreaterPriority($this, $this.c1e_1, tmp_0, $this.a1e_1, TermFormatterWithPrettyExpressions$isPostfix$lambda);
     } else {
       tmp = null;
     }
@@ -7293,7 +7443,7 @@
     var tmp;
     if ($receiver.bt() === 2) {
       var tmp_0 = $receiver.ht();
-      tmp = getSpecifierAndIndexWithNonGreaterPriority($this, $this.k1d_1, tmp_0, $this.i1d_1, TermFormatterWithPrettyExpressions$isInfix$lambda);
+      tmp = getSpecifierAndIndexWithNonGreaterPriority($this, $this.c1e_1, tmp_0, $this.a1e_1, TermFormatterWithPrettyExpressions$isInfix$lambda);
     } else {
       tmp = null;
     }
@@ -7304,11 +7454,11 @@
     switch ($receiver.bt()) {
       case 1:
         var tmp_0 = $receiver.ht();
-        tmp = getSpecifierAndIndexWithGreaterPriority($this, $this.k1d_1, tmp_0, $this.i1d_1, TermFormatterWithPrettyExpressions$isLowerPriority$lambda);
+        tmp = getSpecifierAndIndexWithGreaterPriority($this, $this.c1e_1, tmp_0, $this.a1e_1, TermFormatterWithPrettyExpressions$isLowerPriority$lambda);
         break;
       case 2:
         var tmp_1 = $receiver.ht();
-        tmp = getSpecifierAndIndexWithGreaterPriority($this, $this.k1d_1, tmp_1, $this.i1d_1, TermFormatterWithPrettyExpressions$isLowerPriority$lambda_0);
+        tmp = getSpecifierAndIndexWithGreaterPriority($this, $this.c1e_1, tmp_1, $this.a1e_1, TermFormatterWithPrettyExpressions$isLowerPriority$lambda_0);
         break;
       default:
         tmp = null;
@@ -7316,9 +7466,17 @@
     }
     return tmp;
   }
-  function TermFormatterWithPrettyExpressions$visitTuple$lambda(this$0) {
+  function TermFormatterWithPrettyExpressions$visitTuple$lambda$lambda(this$0) {
     return function (it) {
-      return it.accept(this$0.u13());
+      return it.accept(this$0.i14());
+    };
+  }
+  function TermFormatterWithPrettyExpressions$visitTuple$lambda($term, this$0) {
+    return function ($this$addingParenthesesIfForced) {
+      var op = ',';
+      var tmp = $term.ru();
+      var tmp_0 = _get_prefix__wiwq7t(Companion_getInstance_30(), op) + op + _get_suffix__6yo6oq(Companion_getInstance_30(), op);
+      return joinToString_0(tmp, tmp_0, VOID, VOID, VOID, VOID, TermFormatterWithPrettyExpressions$visitTuple$lambda$lambda(this$0));
     };
   }
   function TermFormatterWithPrettyExpressions$visitExpression$lambda(this$0, $prefix) {
@@ -7343,7 +7501,7 @@
   }
   function TermFormatterWithPrettyExpressions$getSpecifierAndIndex$lambda_0(this$0) {
     return function (it) {
-      return !this$0.l1d_1.r(it.b2().i2_1);
+      return !this$0.d1e_1.r(it.b2().i2_1);
     };
   }
   function TermFormatterWithPrettyExpressions$getSpecifierAndIndex$lambda_1(it) {
@@ -7361,63 +7519,64 @@
     };
   }
   function TermFormatterWithPrettyExpressions$isPrefix$lambda($this$getSpecifierAndIndexWithNonGreaterPriority) {
-    return $this$getSpecifierAndIndexWithNonGreaterPriority.o1d();
+    return $this$getSpecifierAndIndexWithNonGreaterPriority.g1e();
   }
   function TermFormatterWithPrettyExpressions$isPostfix$lambda($this$getSpecifierAndIndexWithNonGreaterPriority) {
-    return $this$getSpecifierAndIndexWithNonGreaterPriority.p1d();
+    return $this$getSpecifierAndIndexWithNonGreaterPriority.h1e();
   }
   function TermFormatterWithPrettyExpressions$isInfix$lambda($this$getSpecifierAndIndexWithNonGreaterPriority) {
-    return $this$getSpecifierAndIndexWithNonGreaterPriority.q1d();
+    return $this$getSpecifierAndIndexWithNonGreaterPriority.i1e();
   }
   function TermFormatterWithPrettyExpressions$isLowerPriority$lambda($this$getSpecifierAndIndexWithGreaterPriority) {
-    return $this$getSpecifierAndIndexWithGreaterPriority.o1d() || $this$getSpecifierAndIndexWithGreaterPriority.p1d();
+    return $this$getSpecifierAndIndexWithGreaterPriority.g1e() || $this$getSpecifierAndIndexWithGreaterPriority.h1e();
   }
   function TermFormatterWithPrettyExpressions$isLowerPriority$lambda_0($this$getSpecifierAndIndexWithGreaterPriority) {
-    return $this$getSpecifierAndIndexWithGreaterPriority.q1d();
+    return $this$getSpecifierAndIndexWithGreaterPriority.i1e();
   }
-  function TermFormatterWithPrettyExpressions(priority, delegate, operators, forceParentheses, quoted, numberVars, ignoreOps) {
+  function TermFormatterWithPrettyExpressions(priority, delegate, operators, forceParentheses, quoted, numberVars, ignoreOps, tagsOptions) {
     Companion_getInstance_30();
     quoted = quoted === VOID ? true : quoted;
     numberVars = numberVars === VOID ? false : numberVars;
     ignoreOps = ignoreOps === VOID ? false : ignoreOps;
-    AbstractTermFormatter.call(this, quoted, numberVars, ignoreOps);
-    this.i1d_1 = priority;
-    this.j1d_1 = delegate;
-    this.k1d_1 = operators;
-    this.l1d_1 = forceParentheses;
+    tagsOptions = tagsOptions === VOID ? new TagsFormattingOptions() : tagsOptions;
+    AbstractTermFormatter.call(this, quoted, numberVars, ignoreOps, tagsOptions);
+    this.a1e_1 = priority;
+    this.b1e_1 = delegate;
+    this.c1e_1 = operators;
+    this.d1e_1 = forceParentheses;
   }
   protoOf(TermFormatterWithPrettyExpressions).qv = function (term) {
-    return term.accept(this.j1d_1);
+    return term.accept(this.b1e_1);
   };
   protoOf(TermFormatterWithPrettyExpressions).visitVar = function (term) {
     return this.qv(term);
   };
-  protoOf(TermFormatterWithPrettyExpressions).v13 = function (term) {
-    return term.accept(this.j1d_1);
+  protoOf(TermFormatterWithPrettyExpressions).k14 = function (term) {
+    return term.accept(this.b1e_1);
   };
   protoOf(TermFormatterWithPrettyExpressions).visitAtom = function (term) {
-    return this.v13(term);
+    return this.k14(term);
   };
-  protoOf(TermFormatterWithPrettyExpressions).r1d = function (term) {
-    return term.accept(this.j1d_1);
+  protoOf(TermFormatterWithPrettyExpressions).j1e = function (term) {
+    return term.accept(this.b1e_1);
   };
   protoOf(TermFormatterWithPrettyExpressions).visitInteger = function (term) {
-    return this.r1d(term);
+    return this.j1e(term);
   };
-  protoOf(TermFormatterWithPrettyExpressions).s1d = function (term) {
-    return term.accept(this.j1d_1);
+  protoOf(TermFormatterWithPrettyExpressions).k1e = function (term) {
+    return term.accept(this.b1e_1);
   };
   protoOf(TermFormatterWithPrettyExpressions).visitReal = function (term) {
-    return this.s1d(term);
+    return this.k1e(term);
   };
   protoOf(TermFormatterWithPrettyExpressions).gv = function (term) {
-    return term.accept(this.j1d_1);
+    return term.accept(this.b1e_1);
   };
   protoOf(TermFormatterWithPrettyExpressions).visitEmptyBlock = function (term) {
     return this.gv(term);
   };
   protoOf(TermFormatterWithPrettyExpressions).ky = function (term) {
-    return term.accept(this.j1d_1);
+    return term.accept(this.b1e_1);
   };
   protoOf(TermFormatterWithPrettyExpressions).visitEmptyList = function (term) {
     return this.ky(term);
@@ -7435,36 +7594,31 @@
     return this.iv(term);
   };
   protoOf(TermFormatterWithPrettyExpressions).wu = function (term) {
-    var op = ',';
-    var tmp = term.ru();
-    var string = joinToString(map(tmp, TermFormatterWithPrettyExpressions$visitTuple$lambda(this)), _get_prefix__wiwq7t(Companion_getInstance_30(), op) + op + _get_suffix__6yo6oq(Companion_getInstance_30(), op));
-    if (this.l1d_1.r(op)) {
-      return wrapWithinParentheses(this, string);
-    }
-    return string;
+    return addingParenthesesIfForced(this, term, TermFormatterWithPrettyExpressions$visitTuple$lambda(term, this));
   };
   protoOf(TermFormatterWithPrettyExpressions).visitTuple = function (term) {
     return this.wu(term);
   };
-  protoOf(TermFormatterWithPrettyExpressions).u13 = function () {
+  protoOf(TermFormatterWithPrettyExpressions).i14 = function () {
     return childFormatter(this, 2147483647, setOf([',', '|']));
   };
-  protoOf(TermFormatterWithPrettyExpressions).t13 = function () {
+  protoOf(TermFormatterWithPrettyExpressions).h14 = function () {
     return childFormatter(this, 2147483647, setOf_0(','));
   };
   protoOf(TermFormatterWithPrettyExpressions).format = function (value) {
-    return this.f11((!(value == null) ? isInterface(value, Term) : false) ? value : THROW_CCE());
+    return this.s11((!(value == null) ? isInterface(value, Term) : false) ? value : THROW_CCE());
   };
-  function TermFormatterWithPrettyVariables(quoted, numberVars, ignoreOps) {
+  function TermFormatterWithPrettyVariables(quoted, numberVars, ignoreOps, tagsOptions) {
     quoted = quoted === VOID ? true : quoted;
     numberVars = numberVars === VOID ? false : numberVars;
     ignoreOps = ignoreOps === VOID ? false : ignoreOps;
-    AbstractTermFormatterForVariables.call(this, quoted, numberVars, ignoreOps);
+    tagsOptions = tagsOptions === VOID ? new TagsFormattingOptions() : tagsOptions;
+    AbstractTermFormatterForVariables.call(this, quoted, numberVars, ignoreOps, tagsOptions);
   }
-  protoOf(TermFormatterWithPrettyVariables).g14 = function (variable, suffix) {
+  protoOf(TermFormatterWithPrettyVariables).w14 = function (variable, suffix) {
     var baseName = variable.k2() + suffix;
     var tmp;
-    if (variable.t11()) {
+    if (variable.g12()) {
       tmp = baseName;
     } else {
       tmp = Companion_getInstance_25().escapeName(baseName);
@@ -7472,20 +7626,20 @@
     return tmp;
   };
   protoOf(TermFormatterWithPrettyVariables).format = function (value) {
-    return this.f11((!(value == null) ? isInterface(value, Term) : false) ? value : THROW_CCE());
+    return this.s11((!(value == null) ? isInterface(value, Term) : false) ? value : THROW_CCE());
   };
   function TermImpl(tags) {
     tags = tags === VOID ? emptyMap() : tags;
-    this.r12_1 = tags;
+    this.e13_1 = tags;
   }
   protoOf(TermImpl).vq = function () {
-    return this.r12_1;
+    return this.e13_1;
   };
-  protoOf(TermImpl).l13 = function () {
+  protoOf(TermImpl).y13 = function () {
     return -1368133982;
   };
   protoOf(TermImpl).hashCode = function () {
-    return this.d13();
+    return this.q13();
   };
   protoOf(TermImpl).kt = function () {
     return this;
@@ -7502,7 +7656,7 @@
   protoOf(TermImpl).jz = function (tags) {
     var tmp;
     if (!equals(this.vq(), tags)) {
-      tmp = this.q12(tags);
+      tmp = this.d13(tags);
     } else {
       tmp = this;
     }
@@ -7511,14 +7665,14 @@
   protoOf(TermImpl).resetTags = function (tags) {
     return this.jz(tags);
   };
-  protoOf(TermImpl).m13 = function (substitution) {
+  protoOf(TermImpl).z13 = function (substitution) {
     var tmp;
     if (substitution.lz()) {
       var tmp_0;
-      if (this.n13(substitution.castToUnifier())) {
+      if (this.a14(substitution.castToUnifier())) {
         tmp_0 = this;
       } else {
-        tmp_0 = this.p12(substitution.castToUnifier());
+        tmp_0 = this.c13(substitution.castToUnifier());
       }
       tmp = tmp_0;
     } else {
@@ -7527,12 +7681,12 @@
     return tmp;
   };
   protoOf(TermImpl).applySubstitution = function (substitution) {
-    return this.m13(substitution);
+    return this.z13(substitution);
   };
-  protoOf(TermImpl).n13 = function (unifier) {
+  protoOf(TermImpl).a14 = function (unifier) {
     return unifier.g() || this.lu();
   };
-  protoOf(TermImpl).p12 = function (unifier) {
+  protoOf(TermImpl).c13 = function (unifier) {
     return this;
   };
   protoOf(TermImpl).oo = function () {
@@ -7544,16 +7698,16 @@
   function TruthImpl(value, isTrue, tags) {
     tags = tags === VOID ? emptyMap() : tags;
     AtomImpl.call(this, value, tags);
-    this.c1e_1 = isTrue;
+    this.v1e_1 = isTrue;
   }
   protoOf(TruthImpl).ft = function () {
-    return this.c1e_1;
+    return this.v1e_1;
   };
   protoOf(TruthImpl).toString = function () {
     return this.c2();
   };
-  protoOf(TruthImpl).q12 = function (tags) {
-    return new TruthImpl(this.c2(), this.c1e_1, tags);
+  protoOf(TruthImpl).d13 = function (tags) {
+    return new TruthImpl(this.c2(), this.v1e_1, tags);
   };
   protoOf(TruthImpl).kt = function () {
     return this;
@@ -7567,11 +7721,11 @@
   protoOf(TruthImpl).freshCopyFromScope = function (scope) {
     return this.lt(scope);
   };
-  protoOf(TruthImpl).s12 = function (visitor) {
+  protoOf(TruthImpl).f13 = function (visitor) {
     return visitor.visitTruth(this);
   };
   protoOf(TruthImpl).accept = function (visitor) {
-    return this.s12(visitor);
+    return this.f13(visitor);
   };
   protoOf(TruthImpl).oo = function () {
     return this.bu();
@@ -7589,19 +7743,19 @@
     return this.xt();
   };
   protoOf(TruthImpl).asTruth = function () {
-    return this.g11();
+    return this.t11();
   };
   function TupleImpl$unfoldedSequence$$inlined$Iterable$1(this$0) {
-    this.d1e_1 = this$0;
+    this.w1e_1 = this$0;
   }
   protoOf(TupleImpl$unfoldedSequence$$inlined$Iterable$1).m = function () {
-    return new TupleIterator(this.d1e_1);
+    return new TupleIterator(this.w1e_1);
   };
   function TupleImpl$unfold$$inlined$Iterable$1(this$0) {
-    this.e1e_1 = this$0;
+    this.x1e_1 = this$0;
   }
   protoOf(TupleImpl$unfold$$inlined$Iterable$1).m = function () {
-    return new TupleUnfolder(this.e1e_1);
+    return new TupleUnfolder(this.x1e_1);
   };
   function TupleImpl$freshCopy$lambda($scope) {
     return function (it) {
@@ -7611,22 +7765,22 @@
   function TupleImpl(left, right, tags) {
     tags = tags === VOID ? emptyMap() : tags;
     RecursiveImpl.call(this, ',', listOf([left, right]), tags);
-    this.k1e_1 = left;
-    this.l1e_1 = right;
-    this.m1e_1 = this.t12();
-    this.n1e_1 = ',';
+    this.d1f_1 = left;
+    this.e1f_1 = right;
+    this.f1f_1 = this.g13();
+    this.g1f_1 = ',';
   }
   protoOf(TupleImpl).bv = function () {
-    return this.k1e_1;
+    return this.d1f_1;
   };
   protoOf(TupleImpl).av = function () {
-    return this.l1e_1;
+    return this.e1f_1;
   };
   protoOf(TupleImpl).lu = function () {
-    return this.m1e_1;
+    return this.f1f_1;
   };
-  protoOf(TupleImpl).t12 = function () {
-    return this.k1e_1.lu() && this.l1e_1.lu();
+  protoOf(TupleImpl).g13 = function () {
+    return this.d1f_1.lu() && this.e1f_1.lu();
   };
   protoOf(TupleImpl).ru = function () {
     // Inline function 'kotlin.collections.Iterable' call
@@ -7636,22 +7790,22 @@
   protoOf(TupleImpl).s = function () {
     return this.qu().s();
   };
-  protoOf(TupleImpl).j12 = function () {
+  protoOf(TupleImpl).w12 = function () {
     // Inline function 'kotlin.collections.Iterable' call
     var tmp$ret$0 = new TupleImpl$unfold$$inlined$Iterable$1(this);
     return asSequence_0(tmp$ret$0);
   };
   protoOf(TupleImpl).unfold = function () {
-    return this.j12();
+    return this.w12();
   };
   protoOf(TupleImpl).ht = function () {
-    return this.n1e_1;
+    return this.g1f_1;
   };
   protoOf(TupleImpl).toString = function () {
-    return joinToString(this.ru(), ', ', '(', ')');
+    return joinToString_0(this.ru(), ', ', '(', ')');
   };
-  protoOf(TupleImpl).q12 = function (tags) {
-    return new TupleImpl(this.k1e_1, this.l1e_1, tags);
+  protoOf(TupleImpl).d13 = function (tags) {
+    return new TupleImpl(this.d1f_1, this.e1f_1, tags);
   };
   protoOf(TupleImpl).kt = function () {
     return protoOf(RecursiveImpl).kt.call(this).castToTuple();
@@ -7661,7 +7815,7 @@
   };
   protoOf(TupleImpl).lt = function (scope) {
     var tmp;
-    if (this.m1e_1) {
+    if (this.f1f_1) {
       tmp = this;
     } else {
       var tmp_0 = this.au();
@@ -7672,11 +7826,11 @@
   protoOf(TupleImpl).freshCopyFromScope = function (scope) {
     return this.lt(scope);
   };
-  protoOf(TupleImpl).s12 = function (visitor) {
+  protoOf(TupleImpl).f13 = function (visitor) {
     return visitor.visitTuple(this);
   };
   protoOf(TupleImpl).accept = function (visitor) {
-    return this.s12(visitor);
+    return this.f13(visitor);
   };
   protoOf(TupleImpl).oo = function () {
     return this.bu();
@@ -7691,7 +7845,7 @@
     return this.tu();
   };
   protoOf(TupleImpl).asTuple = function () {
-    return this.l11();
+    return this.y11();
   };
   protoOf(TupleImpl).y4 = function () {
     return this.y4();
@@ -7700,33 +7854,33 @@
     return this.pu();
   };
   function TupleUnfolder$tupleUnfolderVisitor$1(this$0) {
-    this.o1e_1 = this$0;
+    this.h1f_1 = this$0;
   }
   protoOf(TupleUnfolder$tupleUnfolderVisitor$1).wu = function (term) {
-    this.o1e_1.p1e_1 = term.av();
+    this.h1f_1.i1f_1 = term.av();
     return term;
   };
   protoOf(TupleUnfolder$tupleUnfolderVisitor$1).visitTuple = function (term) {
     return this.wu(term);
   };
   protoOf(TupleUnfolder$tupleUnfolderVisitor$1).cv = function (term) {
-    this.o1e_1.p1e_1 = null;
+    this.h1f_1.i1f_1 = null;
     return term;
   };
   protoOf(TupleUnfolder$tupleUnfolderVisitor$1).defaultValue = function (term) {
     return this.cv(term);
   };
   function TupleUnfolder(tuple) {
-    this.p1e_1 = tuple;
+    this.i1f_1 = tuple;
     var tmp = this;
-    tmp.q1e_1 = new TupleUnfolder$tupleUnfolderVisitor$1(this);
+    tmp.j1f_1 = new TupleUnfolder$tupleUnfolderVisitor$1(this);
   }
   protoOf(TupleUnfolder).p = function () {
-    return !(this.p1e_1 == null);
+    return !(this.i1f_1 == null);
   };
   protoOf(TupleUnfolder).q = function () {
-    var tmp0_safe_receiver = this.p1e_1;
-    var tmp1_elvis_lhs = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.accept(this.q1e_1);
+    var tmp0_safe_receiver = this.i1f_1;
+    var tmp1_elvis_lhs = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.accept(this.j1f_1);
     var tmp;
     if (tmp1_elvis_lhs == null) {
       throw NoSuchElementException_init_$Create$();
@@ -7736,11 +7890,11 @@
     return tmp;
   };
   function instanceId($this, name) {
-    return synchronizedOn($this.r1e_1, VarImpl$Companion$instanceId$lambda(name));
+    return synchronizedOn($this.k1f_1, VarImpl$Companion$instanceId$lambda(name));
   }
   function VarImpl$Companion$instanceId$lambda($name) {
     return function () {
-      var tmp0_safe_receiver = Companion_getInstance_31().r1e_1.f2($name);
+      var tmp0_safe_receiver = Companion_getInstance_31().k1f_1.f2($name);
       var tmp;
       if (tmp0_safe_receiver == null) {
         tmp = null;
@@ -7751,7 +7905,7 @@
       }
       var tmp1_elvis_lhs = tmp;
       var count = tmp1_elvis_lhs == null ? new Long(0, 0) : tmp1_elvis_lhs;
-      var tmp0 = Companion_getInstance_31().r1e_1;
+      var tmp0 = Companion_getInstance_31().k1f_1;
       // Inline function 'kotlin.collections.set' call
       var key = $name;
       tmp0.p4(key, count);
@@ -7762,7 +7916,7 @@
     Companion_instance_30 = this;
     var tmp = this;
     // Inline function 'kotlin.collections.mutableMapOf' call
-    tmp.r1e_1 = LinkedHashMap_init_$Create$();
+    tmp.k1f_1 = LinkedHashMap_init_$Create$();
   }
   var Companion_instance_30;
   function Companion_getInstance_31() {
@@ -7775,13 +7929,13 @@
     if (useVarCompleteName) {
       tmp = $this.b11() === other.b11();
     } else {
-      tmp = $this.t1e_1 === other.k2();
+      tmp = $this.m1f_1 === other.k2();
     }
     return tmp;
   }
   function VarImpl$completeName$delegate$lambda(this$0) {
     return function () {
-      return this$0.t1e_1 + '_' + this$0.u1e_1.toString();
+      return this$0.m1f_1 + '_' + this$0.n1f_1.toString();
     };
   }
   function VarImpl$_get_completeName_$ref_846h0t() {
@@ -7791,12 +7945,12 @@
   }
   function VarImpl$isNameWellFormed$delegate$lambda(this$0) {
     return function () {
-      return Terms_getInstance().es_1.xa(this$0.t1e_1);
+      return Terms_getInstance().es_1.xa(this$0.m1f_1);
     };
   }
   function VarImpl$_get_isNameWellFormed_$ref_ddmxe7() {
     return constructCallableReference(function (p0) {
-      return p0.t11();
+      return p0.g12();
     }, 1, 0, 22);
   }
   function VarImpl$hashCodeCache$delegate$lambda(this$0) {
@@ -7806,7 +7960,7 @@
   }
   function VarImpl$_get_hashCodeCache_$ref_pd8joc() {
     return constructCallableReference(function (p0) {
-      return p0.d13();
+      return p0.q13();
     }, 1, 0, 23);
   }
   function VarImpl(name, identifier, tags) {
@@ -7814,62 +7968,62 @@
     identifier = identifier === VOID ? instanceId(Companion_getInstance_31(), name) : identifier;
     tags = tags === VOID ? emptyMap() : tags;
     TermImpl.call(this, tags);
-    this.t1e_1 = name;
-    this.u1e_1 = identifier;
+    this.m1f_1 = name;
+    this.n1f_1 = identifier;
     var tmp = this;
-    tmp.v1e_1 = lazy(VarImpl$completeName$delegate$lambda(this));
-    this.w1e_1 = get_isAnonymous.call(this);
+    tmp.o1f_1 = lazy(VarImpl$completeName$delegate$lambda(this));
+    this.p1f_1 = get_isAnonymous.call(this);
     var tmp_0 = this;
-    tmp_0.x1e_1 = lazy(VarImpl$isNameWellFormed$delegate$lambda(this));
+    tmp_0.q1f_1 = lazy(VarImpl$isNameWellFormed$delegate$lambda(this));
     var tmp_1 = this;
-    tmp_1.y1e_1 = lazy(VarImpl$hashCodeCache$delegate$lambda(this));
+    tmp_1.r1f_1 = lazy(VarImpl$hashCodeCache$delegate$lambda(this));
   }
   protoOf(VarImpl).k2 = function () {
-    return this.t1e_1;
+    return this.m1f_1;
   };
   protoOf(VarImpl).b11 = function () {
-    var tmp0 = this.v1e_1;
+    var tmp0 = this.o1f_1;
     var tmp = KProperty1;
     // Inline function 'kotlin.getValue' call
     getPropertyCallableRef('completeName', 1, tmp, VarImpl$_get_completeName_$ref_846h0t(), null);
     return tmp0.c2();
   };
-  protoOf(VarImpl).r11 = function () {
-    return this.w1e_1;
+  protoOf(VarImpl).e12 = function () {
+    return this.p1f_1;
   };
-  protoOf(VarImpl).t11 = function () {
-    var tmp0 = this.x1e_1;
+  protoOf(VarImpl).g12 = function () {
+    var tmp0 = this.q1f_1;
     var tmp = KProperty1;
     // Inline function 'kotlin.getValue' call
     getPropertyCallableRef('isNameWellFormed', 1, tmp, VarImpl$_get_isNameWellFormed_$ref_ddmxe7(), null);
     return tmp0.c2();
   };
-  protoOf(VarImpl).b13 = function (other) {
+  protoOf(VarImpl).o13 = function (other) {
     return other.du();
   };
   protoOf(VarImpl).structurallyEquals = function (other) {
-    return this.b13(other);
+    return this.o13(other);
   };
-  protoOf(VarImpl).q12 = function (tags) {
-    return new VarImpl(this.t1e_1, this.u1e_1, tags);
+  protoOf(VarImpl).d13 = function (tags) {
+    return new VarImpl(this.m1f_1, this.n1f_1, tags);
   };
   protoOf(VarImpl).kt = function () {
-    return new VarImpl(this.t1e_1, VOID, this.vq());
+    return new VarImpl(this.m1f_1, VOID, this.vq());
   };
   protoOf(VarImpl).freshCopy = function () {
     return this.kt();
   };
   protoOf(VarImpl).lt = function (scope) {
-    return setTags(this.w1e_1 ? scope.anonymous() : scope.varOf(this.t1e_1), this.vq());
+    return setTags(this.p1f_1 ? scope.anonymous() : scope.varOf(this.m1f_1), this.vq());
   };
   protoOf(VarImpl).freshCopyFromScope = function (scope) {
     return this.lt(scope);
   };
   protoOf(VarImpl).toString = function () {
-    return this.t11() ? this.b11() : Companion_getInstance_25().escapeName(this.b11());
+    return this.g12() ? this.b11() : Companion_getInstance_25().escapeName(this.b11());
   };
-  protoOf(VarImpl).s11 = function () {
-    return this.u1e_1.toString();
+  protoOf(VarImpl).f12 = function () {
+    return this.n1f_1.toString();
   };
   protoOf(VarImpl).equals = function (other) {
     if (this === other)
@@ -7902,33 +8056,33 @@
     // Inline function 'it.unibo.tuprolog.core.impl.VarImpl.equalsByCompleteName' call
     return this.b11() === otherVar.b11();
   };
-  protoOf(VarImpl).c13 = function (other, useVarCompleteName) {
+  protoOf(VarImpl).p13 = function (other, useVarCompleteName) {
     return other.du() && equalsToVar(this, other.castToVar(), useVarCompleteName);
   };
   protoOf(VarImpl).equalsUsingVarCompleteNames = function (other, useVarCompleteName) {
-    return this.c13(other, useVarCompleteName);
+    return this.p13(other, useVarCompleteName);
   };
-  protoOf(VarImpl).d13 = function () {
-    var tmp0 = this.y1e_1;
+  protoOf(VarImpl).q13 = function () {
+    var tmp0 = this.r1f_1;
     var tmp = KProperty1;
     // Inline function 'kotlin.getValue' call
     getPropertyCallableRef('hashCodeCache', 1, tmp, VarImpl$_get_hashCodeCache_$ref_pd8joc(), null);
     return tmp0.c2();
   };
-  protoOf(VarImpl).n13 = function (unifier) {
+  protoOf(VarImpl).a14 = function (unifier) {
     // Inline function 'kotlin.collections.contains' call
     // Inline function 'kotlin.collections.containsKey' call
     return !(isInterface(unifier, KtMap) ? unifier : THROW_CCE()).d2(this);
   };
-  protoOf(VarImpl).p12 = function (unifier) {
+  protoOf(VarImpl).c13 = function (unifier) {
     var tmp0_elvis_lhs = unifier.f2(this);
     return tmp0_elvis_lhs == null ? this : tmp0_elvis_lhs;
   };
-  protoOf(VarImpl).s12 = function (visitor) {
+  protoOf(VarImpl).f13 = function (visitor) {
     return visitor.visitVar(this);
   };
   protoOf(VarImpl).accept = function (visitor) {
-    return this.s12(visitor);
+    return this.f13(visitor);
   };
   protoOf(VarImpl).oo = function () {
     return this.bu();
@@ -7937,210 +8091,210 @@
     return this.cu((!(other == null) ? isInterface(other, Term) : false) ? other : THROW_CCE());
   };
   protoOf(VarImpl).asVar = function () {
-    return this.u11();
+    return this.h12();
   };
   function VariablesProviderImpl(scope) {
-    this.z1e_1 = scope;
+    this.s1f_1 = scope;
   }
-  protoOf(VariablesProviderImpl).a1f = function (thisRef, property) {
+  protoOf(VariablesProviderImpl).t1f = function (thisRef, property) {
     return this.varOf(property.callableName);
   };
   protoOf(VariablesProviderImpl).getValue = function (thisRef, property) {
-    return this.a1f(thisRef, property);
+    return this.t1f(thisRef, property);
   };
   protoOf(VariablesProviderImpl).vy = function () {
-    return this.z1e_1.vy();
+    return this.s1f_1.vy();
   };
   protoOf(VariablesProviderImpl).containsVar = function (variable) {
-    return this.z1e_1.containsVar(variable);
+    return this.s1f_1.containsVar(variable);
   };
   protoOf(VariablesProviderImpl).contains = function (variable) {
-    return this.z1e_1.contains(variable);
+    return this.s1f_1.contains(variable);
   };
   protoOf(VariablesProviderImpl).get = function (variable) {
-    return this.z1e_1.get(variable);
+    return this.s1f_1.get(variable);
   };
   protoOf(VariablesProviderImpl).where = function (lambda) {
-    return this.z1e_1.where(lambda);
+    return this.s1f_1.where(lambda);
   };
   protoOf(VariablesProviderImpl).with = function (lambda) {
-    return this.z1e_1.with(lambda);
+    return this.s1f_1.with(lambda);
   };
   protoOf(VariablesProviderImpl).varOf = function (name) {
-    return this.z1e_1.varOf(name);
+    return this.s1f_1.varOf(name);
   };
   protoOf(VariablesProviderImpl).varOfChar = function (name) {
-    return this.z1e_1.varOfChar(name);
+    return this.s1f_1.varOfChar(name);
   };
   protoOf(VariablesProviderImpl).atomOf = function (value) {
-    return this.z1e_1.atomOf(value);
+    return this.s1f_1.atomOf(value);
   };
   protoOf(VariablesProviderImpl).atomOfChar = function (value) {
-    return this.z1e_1.atomOfChar(value);
+    return this.s1f_1.atomOfChar(value);
   };
   protoOf(VariablesProviderImpl).structOf = function (functor, args) {
-    return this.z1e_1.structOf(functor, args);
+    return this.s1f_1.structOf(functor, args);
   };
   protoOf(VariablesProviderImpl).structOfSequence = function (functor, args) {
-    return this.z1e_1.structOfSequence(functor, args);
+    return this.s1f_1.structOfSequence(functor, args);
   };
   protoOf(VariablesProviderImpl).structOfIterable = function (functor, args) {
-    return this.z1e_1.structOfIterable(functor, args);
+    return this.s1f_1.structOfIterable(functor, args);
   };
   protoOf(VariablesProviderImpl).structOfList = function (functor, args) {
-    return this.z1e_1.structOfList(functor, args);
+    return this.s1f_1.structOfList(functor, args);
   };
   protoOf(VariablesProviderImpl).tupleOf = function (terms) {
-    return this.z1e_1.tupleOf(terms);
+    return this.s1f_1.tupleOf(terms);
   };
   protoOf(VariablesProviderImpl).tupleOfIterable = function (terms) {
-    return this.z1e_1.tupleOfIterable(terms);
+    return this.s1f_1.tupleOfIterable(terms);
   };
   protoOf(VariablesProviderImpl).tupleOfSequence = function (terms) {
-    return this.z1e_1.tupleOfSequence(terms);
+    return this.s1f_1.tupleOfSequence(terms);
   };
   protoOf(VariablesProviderImpl).logicListOf = function (terms) {
-    return this.z1e_1.logicListOf(terms);
+    return this.s1f_1.logicListOf(terms);
   };
   protoOf(VariablesProviderImpl).logicListOfIterable = function (terms) {
-    return this.z1e_1.logicListOfIterable(terms);
+    return this.s1f_1.logicListOfIterable(terms);
   };
   protoOf(VariablesProviderImpl).logicListOfSequence = function (terms) {
-    return this.z1e_1.logicListOfSequence(terms);
+    return this.s1f_1.logicListOfSequence(terms);
   };
   protoOf(VariablesProviderImpl).xy = function (terms, last) {
-    return this.z1e_1.xy(terms, last);
+    return this.s1f_1.xy(terms, last);
   };
   protoOf(VariablesProviderImpl).yy = function (terms, last) {
-    return this.z1e_1.yy(terms, last);
+    return this.s1f_1.yy(terms, last);
   };
   protoOf(VariablesProviderImpl).zy = function (terms, last) {
-    return this.z1e_1.zy(terms, last);
+    return this.s1f_1.zy(terms, last);
   };
   protoOf(VariablesProviderImpl).blockOf = function (terms) {
-    return this.z1e_1.blockOf(terms);
+    return this.s1f_1.blockOf(terms);
   };
   protoOf(VariablesProviderImpl).blockOfIterable = function (terms) {
-    return this.z1e_1.blockOfIterable(terms);
+    return this.s1f_1.blockOfIterable(terms);
   };
   protoOf(VariablesProviderImpl).blockOfSequence = function (terms) {
-    return this.z1e_1.blockOfSequence(terms);
+    return this.s1f_1.blockOfSequence(terms);
   };
   protoOf(VariablesProviderImpl).factOf = function (head) {
-    return this.z1e_1.factOf(head);
+    return this.s1f_1.factOf(head);
   };
   protoOf(VariablesProviderImpl).ruleOf = function (head, body1, body) {
-    return this.z1e_1.ruleOf(head, body1, body);
+    return this.s1f_1.ruleOf(head, body1, body);
   };
   protoOf(VariablesProviderImpl).directiveOf = function (body1, body) {
-    return this.z1e_1.directiveOf(body1, body);
+    return this.s1f_1.directiveOf(body1, body);
   };
   protoOf(VariablesProviderImpl).clauseOf = function (head, body) {
-    return this.z1e_1.clauseOf(head, body);
+    return this.s1f_1.clauseOf(head, body);
   };
   protoOf(VariablesProviderImpl).consOf = function (head, tail) {
-    return this.z1e_1.consOf(head, tail);
+    return this.s1f_1.consOf(head, tail);
   };
   protoOf(VariablesProviderImpl).indicatorOf = function (name, arity) {
-    return this.z1e_1.indicatorOf(name, arity);
+    return this.s1f_1.indicatorOf(name, arity);
   };
   protoOf(VariablesProviderImpl).indicatorOfStringInt = function (name, arity) {
-    return this.z1e_1.indicatorOfStringInt(name, arity);
+    return this.s1f_1.indicatorOfStringInt(name, arity);
   };
   protoOf(VariablesProviderImpl).anonymous = function () {
-    return this.z1e_1.anonymous();
+    return this.s1f_1.anonymous();
   };
   protoOf(VariablesProviderImpl).whatever = function () {
-    return this.z1e_1.whatever();
+    return this.s1f_1.whatever();
   };
   protoOf(VariablesProviderImpl).numOfBigDecimal = function (value) {
-    return this.z1e_1.numOfBigDecimal(value);
+    return this.s1f_1.numOfBigDecimal(value);
   };
   protoOf(VariablesProviderImpl).numOfDouble = function (value) {
-    return this.z1e_1.numOfDouble(value);
+    return this.s1f_1.numOfDouble(value);
   };
   protoOf(VariablesProviderImpl).numOfFloat = function (value) {
-    return this.z1e_1.numOfFloat(value);
+    return this.s1f_1.numOfFloat(value);
   };
   protoOf(VariablesProviderImpl).numOfBigInteger = function (value) {
-    return this.z1e_1.numOfBigInteger(value);
+    return this.s1f_1.numOfBigInteger(value);
   };
   protoOf(VariablesProviderImpl).numOfInt = function (value) {
-    return this.z1e_1.numOfInt(value);
+    return this.s1f_1.numOfInt(value);
   };
   protoOf(VariablesProviderImpl).numOfLong = function (value) {
-    return this.z1e_1.numOfLong(value);
+    return this.s1f_1.numOfLong(value);
   };
   protoOf(VariablesProviderImpl).numOfShort = function (value) {
-    return this.z1e_1.numOfShort(value);
+    return this.s1f_1.numOfShort(value);
   };
   protoOf(VariablesProviderImpl).numOfByte = function (value) {
-    return this.z1e_1.numOfByte(value);
+    return this.s1f_1.numOfByte(value);
   };
   protoOf(VariablesProviderImpl).parseNum = function (value) {
-    return this.z1e_1.parseNum(value);
+    return this.s1f_1.parseNum(value);
   };
   protoOf(VariablesProviderImpl).numOf = function (value) {
-    return this.z1e_1.numOf(value);
+    return this.s1f_1.numOf(value);
   };
   protoOf(VariablesProviderImpl).intOfBigInteger = function (value) {
-    return this.z1e_1.intOfBigInteger(value);
+    return this.s1f_1.intOfBigInteger(value);
   };
   protoOf(VariablesProviderImpl).intOf = function (value) {
-    return this.z1e_1.intOf(value);
+    return this.s1f_1.intOf(value);
   };
   protoOf(VariablesProviderImpl).intOfLong = function (value) {
-    return this.z1e_1.intOfLong(value);
+    return this.s1f_1.intOfLong(value);
   };
   protoOf(VariablesProviderImpl).intOfShort = function (value) {
-    return this.z1e_1.intOfShort(value);
+    return this.s1f_1.intOfShort(value);
   };
   protoOf(VariablesProviderImpl).intOfByte = function (value) {
-    return this.z1e_1.intOfByte(value);
+    return this.s1f_1.intOfByte(value);
   };
   protoOf(VariablesProviderImpl).parseInt = function (value) {
-    return this.z1e_1.parseInt(value);
+    return this.s1f_1.parseInt(value);
   };
   protoOf(VariablesProviderImpl).parseIntRadix = function (value, radix) {
-    return this.z1e_1.parseIntRadix(value, radix);
+    return this.s1f_1.parseIntRadix(value, radix);
   };
   protoOf(VariablesProviderImpl).realOfBigDecimal = function (value) {
-    return this.z1e_1.realOfBigDecimal(value);
+    return this.s1f_1.realOfBigDecimal(value);
   };
   protoOf(VariablesProviderImpl).realOf = function (value) {
-    return this.z1e_1.realOf(value);
+    return this.s1f_1.realOf(value);
   };
   protoOf(VariablesProviderImpl).realOfFloat = function (value) {
-    return this.z1e_1.realOfFloat(value);
+    return this.s1f_1.realOfFloat(value);
   };
   protoOf(VariablesProviderImpl).parseReal = function (value) {
-    return this.z1e_1.parseReal(value);
+    return this.s1f_1.parseReal(value);
   };
   protoOf(VariablesProviderImpl).truthOf = function (value) {
-    return this.z1e_1.truthOf(value);
+    return this.s1f_1.truthOf(value);
   };
   protoOf(VariablesProviderImpl).unifierOf = function (assignments) {
-    return this.z1e_1.unifierOf(assignments);
+    return this.s1f_1.unifierOf(assignments);
   };
   protoOf(VariablesProviderImpl).unifierOfIterable = function (assignments) {
-    return this.z1e_1.unifierOfIterable(assignments);
+    return this.s1f_1.unifierOfIterable(assignments);
   };
   protoOf(VariablesProviderImpl).unifierOfSequence = function (assignments) {
-    return this.z1e_1.unifierOfSequence(assignments);
+    return this.s1f_1.unifierOfSequence(assignments);
   };
   protoOf(VariablesProviderImpl).substitutionOf = function (assignments) {
-    return this.z1e_1.substitutionOf(assignments);
+    return this.s1f_1.substitutionOf(assignments);
   };
   protoOf(VariablesProviderImpl).substitutionOfIterable = function (assignments) {
-    return this.z1e_1.substitutionOfIterable(assignments);
+    return this.s1f_1.substitutionOfIterable(assignments);
   };
   protoOf(VariablesProviderImpl).substitutionOfSequence = function (assignments) {
-    return this.z1e_1.substitutionOfSequence(assignments);
+    return this.s1f_1.substitutionOfSequence(assignments);
   };
   function Companion_30() {
     Companion_instance_31 = this;
-    this.b1f_1 = 'op';
-    this.c1f_1 = Companion_getInstance_18().of('op', [Companion_getInstance_25().of('P'), Companion_getInstance_25().of('A'), Companion_getInstance_25().of('F')]);
+    this.u1f_1 = 'op';
+    this.v1f_1 = Companion_getInstance_18().of('op', [Companion_getInstance_25().of('P'), Companion_getInstance_25().of('A'), Companion_getInstance_25().of('F')]);
   }
   protoOf(Companion_30).fromTerms = function (priority, specifier, functor) {
     return this.fromTerm(Companion_getInstance_18().of('op', [priority, specifier, functor]));
@@ -8233,31 +8387,31 @@
   }
   function Operator(functor, specifier, priority) {
     Companion_getInstance_32();
-    this.d1f_1 = functor;
-    this.e1f_1 = specifier;
-    this.f1f_1 = priority;
+    this.w1f_1 = functor;
+    this.x1f_1 = specifier;
+    this.y1f_1 = priority;
   }
-  protoOf(Operator).g1f = function (other) {
+  protoOf(Operator).z1f = function (other) {
     var tmp;
-    if (this.f1f_1 > other.f1f_1) {
+    if (this.y1f_1 > other.y1f_1) {
       tmp = 1;
-    } else if (this.f1f_1 < other.f1f_1) {
+    } else if (this.y1f_1 < other.y1f_1) {
       tmp = -1;
     } else {
       // Inline function 'kotlin.let' call
-      var specifierCompareTo = this.e1f_1.m2(other.e1f_1);
-      tmp = specifierCompareTo === 0 ? compareTo(this.d1f_1, other.d1f_1) : specifierCompareTo;
+      var specifierCompareTo = this.x1f_1.m2(other.x1f_1);
+      tmp = specifierCompareTo === 0 ? compareTo(this.w1f_1, other.w1f_1) : specifierCompareTo;
     }
     return tmp;
   };
   protoOf(Operator).y1 = function (other) {
-    return this.g1f(other instanceof Operator ? other : THROW_CCE());
+    return this.z1f(other instanceof Operator ? other : THROW_CCE());
   };
-  protoOf(Operator).h1f = function () {
-    return Companion_getInstance_18().of('op', [intToTerm(this.f1f_1), this.e1f_1.h1f(), stringToAtom(this.d1f_1)]);
+  protoOf(Operator).a1g = function () {
+    return Companion_getInstance_18().of('op', [intToTerm(this.y1f_1), this.x1f_1.a1g(), stringToAtom(this.w1f_1)]);
   };
   protoOf(Operator).toTerm = function () {
-    return this.h1f();
+    return this.a1g();
   };
   protoOf(Operator).equals = function (other) {
     if (this === other)
@@ -8266,19 +8420,19 @@
       return false;
     if (!(other instanceof Operator))
       THROW_CCE();
-    if (!(this.d1f_1 === other.d1f_1))
+    if (!(this.w1f_1 === other.w1f_1))
       return false;
-    if (!this.e1f_1.equals(other.e1f_1))
+    if (!this.x1f_1.equals(other.x1f_1))
       return false;
     return true;
   };
   protoOf(Operator).hashCode = function () {
-    var result = getStringHashCode(this.d1f_1);
-    result = imul(31, result) + this.e1f_1.hashCode() | 0;
+    var result = getStringHashCode(this.w1f_1);
+    result = imul(31, result) + this.x1f_1.hashCode() | 0;
     return result;
   };
   protoOf(Operator).toString = function () {
-    return 'Operator(' + this.f1f_1 + ', ' + toString(this.e1f_1) + ", '" + this.d1f_1 + "')";
+    return 'Operator(' + this.y1f_1 + ', ' + toString(this.x1f_1) + ", '" + this.w1f_1 + "')";
   };
   function OperatorSet$Companion$ARITHMETIC$lambda(it) {
     return new Operator(it, Specifier_FY_getInstance(), 200);
@@ -8329,7 +8483,7 @@
     return new Operator(it, Specifier_XFX_getInstance(), 1200);
   }
   function _get_operators__lk0kke($this) {
-    var tmp0 = $this.j1f_1;
+    var tmp0 = $this.c1g_1;
     var tmp = KProperty1;
     // Inline function 'kotlin.getValue' call
     getPropertyCallableRef('operators', 1, tmp, OperatorSet$_get_operators_$ref_odbydx(), null);
@@ -8392,28 +8546,28 @@
     this.STANDARD = new OperatorSet(plus_2(plus_2(plus_2(plus_2(asSequence_0(this.ARITHMETIC), asSequence_0(this.ARITHMETIC_COMPARISON)), asSequence_0(this.TERM_COMPARISON)), asSequence_0(this.CONTROL_FLOW)), asSequence_0(this.CLAUSES)));
     this.DEFAULT = this.STANDARD;
   }
-  protoOf(Companion_31).k1f = function () {
+  protoOf(Companion_31).d1g = function () {
     return this.EMPTY;
   };
-  protoOf(Companion_31).l1f = function () {
+  protoOf(Companion_31).e1g = function () {
     return this.ARITHMETIC;
   };
-  protoOf(Companion_31).m1f = function () {
+  protoOf(Companion_31).f1g = function () {
     return this.ARITHMETIC_COMPARISON;
   };
-  protoOf(Companion_31).n1f = function () {
+  protoOf(Companion_31).g1g = function () {
     return this.TERM_COMPARISON;
   };
-  protoOf(Companion_31).o1f = function () {
+  protoOf(Companion_31).h1g = function () {
     return this.CONTROL_FLOW;
   };
-  protoOf(Companion_31).p1f = function () {
+  protoOf(Companion_31).i1g = function () {
     return this.CLAUSES;
   };
-  protoOf(Companion_31).q1f = function () {
+  protoOf(Companion_31).j1g = function () {
     return this.STANDARD;
   };
-  protoOf(Companion_31).r1f = function () {
+  protoOf(Companion_31).k1g = function () {
     return this.DEFAULT;
   };
   var Companion_instance_32;
@@ -8434,9 +8588,9 @@
   }
   function OperatorSet(operators) {
     Companion_getInstance_33();
-    this.i1f_1 = toHashSet(operators);
+    this.b1g_1 = toHashSet(operators);
     var tmp = this;
-    tmp.j1f_1 = lazy(OperatorSet$operators$delegate$lambda(operators));
+    tmp.c1g_1 = lazy(OperatorSet$operators$delegate$lambda(operators));
   }
   protoOf(OperatorSet).plus = function (operator) {
     // Inline function 'kotlin.collections.toTypedArray' call
@@ -8473,27 +8627,27 @@
     return 'OperatorSet(' + toString(_get_operators__lk0kke(this)) + ')';
   };
   protoOf(OperatorSet).g = function () {
-    return this.i1f_1.g();
+    return this.b1g_1.g();
   };
-  protoOf(OperatorSet).s1f = function (element) {
-    return this.i1f_1.r(element);
+  protoOf(OperatorSet).l1g = function (element) {
+    return this.b1g_1.r(element);
   };
   protoOf(OperatorSet).r = function (element) {
     if (!(element instanceof Operator))
       return false;
-    return this.s1f(element instanceof Operator ? element : THROW_CCE());
+    return this.l1g(element instanceof Operator ? element : THROW_CCE());
   };
   protoOf(OperatorSet).m = function () {
-    return this.i1f_1.m();
+    return this.b1g_1.m();
   };
-  protoOf(OperatorSet).t1f = function (elements) {
-    return this.i1f_1.a2(elements);
+  protoOf(OperatorSet).m1g = function (elements) {
+    return this.b1g_1.a2(elements);
   };
   protoOf(OperatorSet).a2 = function (elements) {
-    return this.t1f(elements);
+    return this.m1g(elements);
   };
   protoOf(OperatorSet).s = function () {
-    return this.i1f_1.s();
+    return this.b1g_1.s();
   };
   function toOperatorsIndex(_this__u8e3s4) {
     // Inline function 'kotlin.collections.mutableMapOf' call
@@ -8503,17 +8657,17 @@
       var op = _iterator__ex2g4s.q();
       // Inline function 'kotlin.collections.contains' call
       // Inline function 'kotlin.collections.containsKey' call
-      var key = op.d1f_1;
+      var key = op.w1f_1;
       if ((isInterface(temp, KtMap) ? temp : THROW_CCE()).d2(key)) {
-        var opsWithFunctor = ensureNotNull(temp.f2(op.d1f_1));
-        var tmp2 = op.e1f_1;
+        var opsWithFunctor = ensureNotNull(temp.f2(op.w1f_1));
+        var tmp2 = op.x1f_1;
         // Inline function 'kotlin.collections.set' call
-        var value = op.f1f_1;
+        var value = op.y1f_1;
         opsWithFunctor.p4(tmp2, value);
       } else {
-        var tmp2_0 = op.d1f_1;
+        var tmp2_0 = op.w1f_1;
         // Inline function 'kotlin.collections.set' call
-        var value_0 = mutableMapOf([to(op.e1f_1, op.f1f_1)]);
+        var value_0 = mutableMapOf([to(op.x1f_1, op.y1f_1)]);
         temp.p4(tmp2_0, value_0);
       }
     }
@@ -8535,10 +8689,10 @@
   }
   function Companion_32() {
     Companion_instance_33 = this;
-    this.u1f_1 = setOf([Specifier_FX_getInstance(), Specifier_FY_getInstance()]);
-    this.v1f_1 = setOf([Specifier_YF_getInstance(), Specifier_XF_getInstance()]);
-    this.w1f_1 = setOf([Specifier_XFX_getInstance(), Specifier_YFX_getInstance(), Specifier_XFY_getInstance()]);
-    this.x1f_1 = plus_3(this.v1f_1, this.w1f_1);
+    this.n1g_1 = setOf([Specifier_FX_getInstance(), Specifier_FY_getInstance()]);
+    this.o1g_1 = setOf([Specifier_YF_getInstance(), Specifier_XF_getInstance()]);
+    this.p1g_1 = setOf([Specifier_XFX_getInstance(), Specifier_YFX_getInstance(), Specifier_XFY_getInstance()]);
+    this.q1g_1 = plus_3(this.o1g_1, this.p1g_1);
   }
   protoOf(Companion_32).fromAtom = function (atom) {
     try {
@@ -8610,20 +8764,20 @@
   function Specifier(name, ordinal) {
     Enum.call(this, name, ordinal);
   }
-  protoOf(Specifier).o1d = function () {
-    return Companion_getInstance_34().u1f_1.r(this);
+  protoOf(Specifier).g1e = function () {
+    return Companion_getInstance_34().n1g_1.r(this);
   };
-  protoOf(Specifier).q1d = function () {
-    return Companion_getInstance_34().w1f_1.r(this);
+  protoOf(Specifier).i1e = function () {
+    return Companion_getInstance_34().p1g_1.r(this);
   };
-  protoOf(Specifier).p1d = function () {
-    return Companion_getInstance_34().v1f_1.r(this);
+  protoOf(Specifier).h1e = function () {
+    return Companion_getInstance_34().o1g_1.r(this);
   };
-  protoOf(Specifier).h1f = function () {
+  protoOf(Specifier).a1g = function () {
     return _get_atomRepresentation__p7qnyl(this);
   };
   protoOf(Specifier).toTerm = function () {
-    return this.h1f();
+    return this.a1g();
   };
   function Specifier_XF_getInstance() {
     Specifier_initEntries();
@@ -8845,7 +8999,7 @@
   protoOf(TermImpl).apply = apply;
   protoOf(TermImpl).getSubstituted = getSubstituted;
   protoOf(TermImpl).lu = get_isGround;
-  defineProp(protoOf(TermImpl), 'termMark', protoOf(TermImpl).l13);
+  defineProp(protoOf(TermImpl), 'termMark', protoOf(TermImpl).y13);
   protoOf(AbstractStruct).nt = get_isStruct_0;
   protoOf(AbstractStruct).ct = get_isAtom_0;
   protoOf(AbstractStruct).tt = get_isList_0;
@@ -8878,7 +9032,7 @@
   protoOf(AbstractCons).hw = asList_0;
   protoOf(AbstractCons).bt = get_arity_2;
   protoOf(AbstractCons).s = get_size;
-  protoOf(AbstractTermFormatter).f11 = format;
+  protoOf(AbstractTermFormatter).s11 = format;
   protoOf(AbstractTermFormatter).visitTerm = visitTerm;
   protoOf(AbstractTermFormatter).visitVar = visitVar;
   protoOf(AbstractTermFormatter).visitConstant = visitConstant;
@@ -9024,9 +9178,9 @@
   protoOf(ScopeImpl).wy = get__;
   protoOf(TruthImpl).eu = get_isTruth_0;
   protoOf(TruthImpl).gt = get_isFail_2;
-  protoOf(TruthImpl).g11 = asTruth_0;
+  protoOf(TruthImpl).t11 = asTruth_0;
   protoOf(TupleImpl).st = get_isTuple_1;
-  protoOf(TupleImpl).l11 = asTuple_0;
+  protoOf(TupleImpl).y11 = asTuple_0;
   protoOf(TupleImpl).bt = get_arity_4;
   protoOf(TupleImpl).y4 = toArray_4;
   protoOf(TupleImpl).pu = toList_7;
@@ -9053,14 +9207,14 @@
   protoOf(TupleUnfolder$tupleUnfolderVisitor$1).visitFact = visitFact;
   protoOf(TupleUnfolder$tupleUnfolderVisitor$1).visitDirective = visitDirective;
   protoOf(VarImpl).du = get_isVar_0;
-  protoOf(VarImpl).u11 = asVar_0;
+  protoOf(VarImpl).h12 = asVar_0;
   protoOf(VarImpl).jt = get_variables_2;
   protoOf(VariablesProviderImpl).logicListFromFrom = logicListFromFrom;
   protoOf(VariablesProviderImpl).logicListFromIterable = logicListFromIterable;
   protoOf(VariablesProviderImpl).logicListFromSequence = logicListFromSequence;
-  defineProp(protoOf(Specifier), 'isPrefix', protoOf(Specifier).o1d);
-  defineProp(protoOf(Specifier), 'isInfix', protoOf(Specifier).q1d);
-  defineProp(protoOf(Specifier), 'isPostfix', protoOf(Specifier).p1d);
+  defineProp(protoOf(Specifier), 'isPrefix', protoOf(Specifier).g1e);
+  defineProp(protoOf(Specifier), 'isInfix', protoOf(Specifier).i1e);
+  defineProp(protoOf(Specifier), 'isPostfix', protoOf(Specifier).h1e);
   //endregion
   //region block: init
   Companion_instance_1 = new Companion_0();