@tuprolog/arg2p 0.10.2 → 0.11.2

package/2p-parser-core.js

@@ -1,36 +1,36 @@
-(function (root, factory) {
+(function (factory) {
   if (typeof define === 'function' && define.amd)
     define(['exports', '@tuprolog/parser-utils', 'antlr4', 'antlr4/src/antlr4/error', 'antlr4/src/antlr4/atn', './kotlin-kotlin-stdlib.js', './2p-core.js', './2p-parser-js.js', './kt-math.js'], factory);
   else if (typeof exports === 'object')
     factory(module.exports, require('@tuprolog/parser-utils'), require('antlr4'), require('antlr4/src/antlr4/error'), require('antlr4/src/antlr4/atn'), require('./kotlin-kotlin-stdlib.js'), require('./2p-core.js'), require('./2p-parser-js.js'), require('./kt-math.js'));
   else {
-    if (typeof this['@tuprolog/parser-utils'] === 'undefined') {
+    if (typeof globalThis['@tuprolog/parser-utils'] === 'undefined') {
       throw new Error("Error loading module '2p-parser-core'. Its dependency '@tuprolog/parser-utils' was not found. Please, check whether '@tuprolog/parser-utils' is loaded prior to '2p-parser-core'.");
     }
     if (typeof antlr4 === 'undefined') {
       throw new Error("Error loading module '2p-parser-core'. Its dependency 'antlr4' was not found. Please, check whether 'antlr4' is loaded prior to '2p-parser-core'.");
     }
-    if (typeof this['antlr4/src/antlr4/error'] === 'undefined') {
+    if (typeof globalThis['antlr4/src/antlr4/error'] === 'undefined') {
       throw new Error("Error loading module '2p-parser-core'. Its dependency 'antlr4/src/antlr4/error' was not found. Please, check whether 'antlr4/src/antlr4/error' is loaded prior to '2p-parser-core'.");
     }
-    if (typeof this['antlr4/src/antlr4/atn'] === 'undefined') {
+    if (typeof globalThis['antlr4/src/antlr4/atn'] === 'undefined') {
       throw new Error("Error loading module '2p-parser-core'. Its dependency 'antlr4/src/antlr4/atn' was not found. Please, check whether 'antlr4/src/antlr4/atn' is loaded prior to '2p-parser-core'.");
     }
-    if (typeof this['kotlin-kotlin-stdlib'] === 'undefined') {
+    if (typeof globalThis['kotlin-kotlin-stdlib'] === 'undefined') {
       throw new Error("Error loading module '2p-parser-core'. Its dependency 'kotlin-kotlin-stdlib' was not found. Please, check whether 'kotlin-kotlin-stdlib' is loaded prior to '2p-parser-core'.");
     }
-    if (typeof this['2p-core'] === 'undefined') {
+    if (typeof globalThis['2p-core'] === 'undefined') {
       throw new Error("Error loading module '2p-parser-core'. Its dependency '2p-core' was not found. Please, check whether '2p-core' is loaded prior to '2p-parser-core'.");
     }
-    if (typeof this['2p-parser-js'] === 'undefined') {
+    if (typeof globalThis['2p-parser-js'] === 'undefined') {
       throw new Error("Error loading module '2p-parser-core'. Its dependency '2p-parser-js' was not found. Please, check whether '2p-parser-js' is loaded prior to '2p-parser-core'.");
     }
-    if (typeof this['kt-math'] === 'undefined') {
+    if (typeof globalThis['kt-math'] === 'undefined') {
       throw new Error("Error loading module '2p-parser-core'. Its dependency 'kt-math' was not found. Please, check whether 'kt-math' is loaded prior to '2p-parser-core'.");
     }
-    root['2p-parser-core'] = factory(typeof this['2p-parser-core'] === 'undefined' ? {} : this['2p-parser-core'], this['@tuprolog/parser-utils'], antlr4, this['antlr4/src/antlr4/error'], this['antlr4/src/antlr4/atn'], this['kotlin-kotlin-stdlib'], this['2p-core'], this['2p-parser-js'], this['kt-math']);
+    globalThis['2p-parser-core'] = factory(typeof globalThis['2p-parser-core'] === 'undefined' ? {} : globalThis['2p-parser-core'], globalThis['@tuprolog/parser-utils'], antlr4, globalThis['antlr4/src/antlr4/error'], globalThis['antlr4/src/antlr4/atn'], globalThis['kotlin-kotlin-stdlib'], globalThis['2p-core'], globalThis['2p-parser-js'], globalThis['kt-math']);
   }
-}(this, function (_, $module$_tuprolog_parser_utils_xy31vy, $module$antlr4, $module$antlr4_src_antlr4_error_s9pni7, $module$antlr4_src_antlr4_atn_66gh9q, kotlin_kotlin, kotlin_it_unibo_tuprolog_core, kotlin_it_unibo_tuprolog_parser_js, kotlin_io_github_gciatto_kt_math) {
+}(function (_, $module$_tuprolog_parser_utils_xy31vy, $module$antlr4, $module$antlr4_src_antlr4_error_s9pni7, $module$antlr4_src_antlr4_atn_66gh9q, kotlin_kotlin, kotlin_it_unibo_tuprolog_core, kotlin_it_unibo_tuprolog_parser_js, kotlin_io_github_gciatto_kt_math) {
   'use strict';
   //region block: imports
   var PrologParserListener = $module$_tuprolog_parser_utils_xy31vy.PrologParserListener;
@@ -44,27 +44,26 @@
   var CommonTokenStream = $module$antlr4.CommonTokenStream;
   var BailErrorStrategy = $module$antlr4_src_antlr4_error_s9pni7.BailErrorStrategy;
   var PrologParserVisitor = $module$_tuprolog_parser_utils_xy31vy.PrologParserVisitor;
-  var VOID = kotlin_kotlin.$_$.d;
-  var captureStack = kotlin_kotlin.$_$.a5;
-  var protoOf = kotlin_kotlin.$_$.b6;
-  var classMeta = kotlin_kotlin.$_$.f5;
-  var setMetadataFor = kotlin_kotlin.$_$.c6;
+  var VOID = kotlin_kotlin.$_$.b;
+  var captureStack = kotlin_kotlin.$_$.j5;
+  var protoOf = kotlin_kotlin.$_$.m6;
+  var initMetadataForClass = kotlin_kotlin.$_$.x5;
   var TuPrologException = kotlin_it_unibo_tuprolog_core.$_$.c1;
   var TuPrologException_init_$Init$ = kotlin_it_unibo_tuprolog_core.$_$.e;
-  var ensureNotNull = kotlin_kotlin.$_$.ca;
-  var replace = kotlin_kotlin.$_$.z8;
-  var _Char___init__impl__6a9atx = kotlin_kotlin.$_$.f1;
-  var Char = kotlin_kotlin.$_$.m9;
-  var toString = kotlin_kotlin.$_$.j1;
+  var ensureNotNull = kotlin_kotlin.$_$.pa;
+  var replace = kotlin_kotlin.$_$.k9;
+  var _Char___init__impl__6a9atx = kotlin_kotlin.$_$.d1;
+  var Char = kotlin_kotlin.$_$.z9;
+  var toString = kotlin_kotlin.$_$.h1;
   var Struct = kotlin_it_unibo_tuprolog_core.$_$.s1;
-  var isInterface = kotlin_kotlin.$_$.r5;
+  var isInterface = kotlin_kotlin.$_$.e6;
   var Numeric = kotlin_it_unibo_tuprolog_core.$_$.o1;
   var Atom = kotlin_it_unibo_tuprolog_core.$_$.f1;
   var Companion_getInstance = kotlin_it_unibo_tuprolog_core.$_$.i;
   var Companion_instance = kotlin_it_unibo_tuprolog_core.$_$.t;
   var OperatorSet_init_$Create$ = kotlin_it_unibo_tuprolog_core.$_$.f;
-  var objectMeta = kotlin_kotlin.$_$.a6;
-  var getKClass = kotlin_kotlin.$_$.c;
+  var initMetadataForCompanion = kotlin_kotlin.$_$.y5;
+  var getKClass = kotlin_kotlin.$_$.e7;
   var Constant = kotlin_it_unibo_tuprolog_core.$_$.h1;
   var Var = kotlin_it_unibo_tuprolog_core.$_$.t2;
   var Integer = kotlin_it_unibo_tuprolog_core.$_$.m1;
@@ -73,58 +72,58 @@
   var Rule = kotlin_it_unibo_tuprolog_core.$_$.q1;
   var Fact = kotlin_it_unibo_tuprolog_core.$_$.k1;
   var Directive = kotlin_it_unibo_tuprolog_core.$_$.j1;
-  var interfaceMeta = kotlin_kotlin.$_$.o5;
+  var initMetadataForInterface = kotlin_kotlin.$_$.z5;
   var Companion_instance_0 = kotlin_it_unibo_tuprolog_core.$_$.m;
-  var Unit_instance = kotlin_kotlin.$_$.s1;
-  var THROW_CCE = kotlin_kotlin.$_$.y9;
-  var contains = kotlin_kotlin.$_$.l2;
+  var toString_0 = kotlin_kotlin.$_$.p6;
+  var Unit_instance = kotlin_kotlin.$_$.k1;
+  var THROW_CCE = kotlin_kotlin.$_$.la;
+  var contains = kotlin_kotlin.$_$.d2;
   var Companion_getInstance_0 = kotlin_it_unibo_tuprolog_core.$_$.j;
-  var map = kotlin_kotlin.$_$.v7;
+  var map = kotlin_kotlin.$_$.f8;
   var Operator = kotlin_it_unibo_tuprolog_core.$_$.e1;
   var List = kotlin_it_unibo_tuprolog_core.$_$.n1;
-  var toString_0 = kotlin_kotlin.$_$.g6;
-  var coerceAtLeast = kotlin_kotlin.$_$.s6;
+  var coerceAtLeast = kotlin_kotlin.$_$.a7;
   var isRecognitionException = kotlin_it_unibo_tuprolog_parser_js.$_$.b;
   var isParseCancellationException = kotlin_it_unibo_tuprolog_parser_js.$_$.a;
-  var generateSequence = kotlin_kotlin.$_$.p7;
-  var takeWhile = kotlin_kotlin.$_$.f8;
-  var to = kotlin_kotlin.$_$.la;
+  var generateSequence = kotlin_kotlin.$_$.z7;
+  var takeWhile = kotlin_kotlin.$_$.q8;
+  var to = kotlin_kotlin.$_$.ya;
+  var initMetadataForObject = kotlin_kotlin.$_$.b6;
+  var substring = kotlin_kotlin.$_$.p9;
   var Companion_getInstance_1 = kotlin_io_github_gciatto_kt_math.$_$.e;
-  var charSequenceGet = kotlin_kotlin.$_$.d5;
-  var Char__toInt_impl_vasixd = kotlin_kotlin.$_$.i1;
-  var contains_0 = kotlin_kotlin.$_$.r8;
-  var plus = kotlin_kotlin.$_$.ga;
-  var ArrayList_init_$Create$ = kotlin_kotlin.$_$.e;
-  var IllegalStateException_init_$Create$ = kotlin_kotlin.$_$.v;
-  var listOf = kotlin_kotlin.$_$.j3;
-  var asList = kotlin_kotlin.$_$.d2;
-  var plus_0 = kotlin_kotlin.$_$.d4;
-  var collectionSizeOrDefault = kotlin_kotlin.$_$.j2;
-  var toList = kotlin_kotlin.$_$.m4;
-  var flatMap = kotlin_kotlin.$_$.m7;
-  var asSequence = kotlin_kotlin.$_$.h2;
-  var toList_0 = kotlin_kotlin.$_$.j8;
-  var sequenceOf = kotlin_kotlin.$_$.b8;
-  var asSequence_0 = kotlin_kotlin.$_$.i2;
-  var plus_1 = kotlin_kotlin.$_$.z7;
-  var IllegalArgumentException_init_$Create$ = kotlin_kotlin.$_$.s;
+  var charCodeAt = kotlin_kotlin.$_$.m5;
+  var Char__toInt_impl_vasixd = kotlin_kotlin.$_$.g1;
+  var contains_0 = kotlin_kotlin.$_$.c9;
+  var plus = kotlin_kotlin.$_$.ta;
+  var ArrayList_init_$Create$ = kotlin_kotlin.$_$.c;
+  var IllegalStateException_init_$Create$ = kotlin_kotlin.$_$.t;
+  var listOf = kotlin_kotlin.$_$.b3;
+  var asList = kotlin_kotlin.$_$.v1;
+  var plus_0 = kotlin_kotlin.$_$.v3;
+  var collectionSizeOrDefault = kotlin_kotlin.$_$.b2;
+  var toList = kotlin_kotlin.$_$.e4;
+  var flatMap = kotlin_kotlin.$_$.w7;
+  var asSequence = kotlin_kotlin.$_$.z1;
+  var toList_0 = kotlin_kotlin.$_$.u8;
+  var sequenceOf = kotlin_kotlin.$_$.m8;
+  var asSequence_0 = kotlin_kotlin.$_$.a2;
+  var plus_1 = kotlin_kotlin.$_$.j8;
+  var IllegalArgumentException_init_$Create$ = kotlin_kotlin.$_$.q;
   var Term = kotlin_it_unibo_tuprolog_core.$_$.r2;
   var Companion_getInstance_2 = kotlin_it_unibo_tuprolog_core.$_$.o;
   var Companion_getInstance_3 = kotlin_it_unibo_tuprolog_core.$_$.r;
-  var NumberFormatException = kotlin_kotlin.$_$.v9;
+  var NumberFormatException = kotlin_kotlin.$_$.ia;
   //endregion
   //region block: pre-declaration
-  setMetadataFor(ParseException, 'ParseException', classMeta, TuPrologException);
-  setMetadataFor(InvalidTermTypeException, 'InvalidTermTypeException', classMeta, ParseException);
-  setMetadataFor(Companion, 'Companion', objectMeta);
+  initMetadataForClass(ParseException, 'ParseException', VOID, TuPrologException);
+  initMetadataForClass(InvalidTermTypeException, 'InvalidTermTypeException', VOID, ParseException);
+  initMetadataForCompanion(Companion);
   function parseTerm(input) {
-    return this.parseTermWithOperators(input, this.h39());
+    return this.parseTermWithOperators(input, this.t37());
   }
   function parseStructWithOperators(input, operators) {
     // Inline function 'it.unibo.tuprolog.core.parsing.Companion.parseAs' call
     // Inline function 'kotlin.let' call
-    // Inline function 'kotlin.contracts.contract' call
-    // Inline function 'it.unibo.tuprolog.core.parsing.Companion.parseAs.<anonymous>' call
     var it = this.parseTermWithOperators(input, operators);
     var tmp0_elvis_lhs = isInterface(it, Struct) ? it : null;
     var tmp;
@@ -136,13 +135,11 @@
     return tmp;
   }
   function parseStruct(input) {
-    return this.parseStructWithOperators(input, this.h39());
+    return this.parseStructWithOperators(input, this.t37());
   }
   function parseConstantWithOperators(input, operators) {
     // Inline function 'it.unibo.tuprolog.core.parsing.Companion.parseAs' call
     // Inline function 'kotlin.let' call
-    // Inline function 'kotlin.contracts.contract' call
-    // Inline function 'it.unibo.tuprolog.core.parsing.Companion.parseAs.<anonymous>' call
     var it = this.parseTermWithOperators(input, operators);
     var tmp0_elvis_lhs = isInterface(it, Constant) ? it : null;
     var tmp;
@@ -154,13 +151,11 @@
     return tmp;
   }
   function parseConstant(input) {
-    return this.parseConstantWithOperators(input, this.h39());
+    return this.parseConstantWithOperators(input, this.t37());
   }
   function parseVarWithOperators(input, operators) {
     // Inline function 'it.unibo.tuprolog.core.parsing.Companion.parseAs' call
     // Inline function 'kotlin.let' call
-    // Inline function 'kotlin.contracts.contract' call
-    // Inline function 'it.unibo.tuprolog.core.parsing.Companion.parseAs.<anonymous>' call
     var it = this.parseTermWithOperators(input, operators);
     var tmp0_elvis_lhs = isInterface(it, Var) ? it : null;
     var tmp;
@@ -172,13 +167,11 @@
     return tmp;
   }
   function parseVar(input) {
-    return this.parseVarWithOperators(input, this.h39());
+    return this.parseVarWithOperators(input, this.t37());
   }
   function parseAtomWithOperators(input, operators) {
     // Inline function 'it.unibo.tuprolog.core.parsing.Companion.parseAs' call
     // Inline function 'kotlin.let' call
-    // Inline function 'kotlin.contracts.contract' call
-    // Inline function 'it.unibo.tuprolog.core.parsing.Companion.parseAs.<anonymous>' call
     var it = this.parseTermWithOperators(input, operators);
     var tmp0_elvis_lhs = isInterface(it, Atom) ? it : null;
     var tmp;
@@ -190,13 +183,11 @@
     return tmp;
   }
   function parseAtom(input) {
-    return this.parseAtomWithOperators(input, this.h39());
+    return this.parseAtomWithOperators(input, this.t37());
   }
   function parseNumericWithOperators(input, operators) {
     // Inline function 'it.unibo.tuprolog.core.parsing.Companion.parseAs' call
     // Inline function 'kotlin.let' call
-    // Inline function 'kotlin.contracts.contract' call
-    // Inline function 'it.unibo.tuprolog.core.parsing.Companion.parseAs.<anonymous>' call
     var it = this.parseTermWithOperators(input, operators);
     var tmp0_elvis_lhs = isInterface(it, Numeric) ? it : null;
     var tmp;
@@ -208,13 +199,11 @@
     return tmp;
   }
   function parseNumeric(input) {
-    return this.parseNumericWithOperators(input, this.h39());
+    return this.parseNumericWithOperators(input, this.t37());
   }
   function parseIntegerWithOperators(input, operators) {
     // Inline function 'it.unibo.tuprolog.core.parsing.Companion.parseAs' call
     // Inline function 'kotlin.let' call
-    // Inline function 'kotlin.contracts.contract' call
-    // Inline function 'it.unibo.tuprolog.core.parsing.Companion.parseAs.<anonymous>' call
     var it = this.parseTermWithOperators(input, operators);
     var tmp0_elvis_lhs = isInterface(it, Integer) ? it : null;
     var tmp;
@@ -226,13 +215,11 @@
     return tmp;
   }
   function parseInteger(input) {
-    return this.parseIntegerWithOperators(input, this.h39());
+    return this.parseIntegerWithOperators(input, this.t37());
   }
   function parseRealWithOperators(input, operators) {
     // Inline function 'it.unibo.tuprolog.core.parsing.Companion.parseAs' call
     // Inline function 'kotlin.let' call
-    // Inline function 'kotlin.contracts.contract' call
-    // Inline function 'it.unibo.tuprolog.core.parsing.Companion.parseAs.<anonymous>' call
     var it = this.parseTermWithOperators(input, operators);
     var tmp0_elvis_lhs = isInterface(it, Real) ? it : null;
     var tmp;
@@ -244,13 +231,11 @@
     return tmp;
   }
   function parseReal(input) {
-    return this.parseRealWithOperators(input, this.h39());
+    return this.parseRealWithOperators(input, this.t37());
   }
   function parseClauseWithOperators(input, operators) {
     // Inline function 'it.unibo.tuprolog.core.parsing.Companion.parseAs' call
     // Inline function 'kotlin.let' call
-    // Inline function 'kotlin.contracts.contract' call
-    // Inline function 'it.unibo.tuprolog.core.parsing.Companion.parseAs.<anonymous>' call
     var it = this.parseTermWithOperators(input, operators);
     var tmp0_elvis_lhs = isInterface(it, Clause) ? it : null;
     var tmp;
@@ -262,13 +247,11 @@
     return tmp;
   }
   function parseClause(input) {
-    return this.parseClauseWithOperators(input, this.h39());
+    return this.parseClauseWithOperators(input, this.t37());
   }
   function parseRuleWithOperators(input, operators) {
     // Inline function 'it.unibo.tuprolog.core.parsing.Companion.parseAs' call
     // Inline function 'kotlin.let' call
-    // Inline function 'kotlin.contracts.contract' call
-    // Inline function 'it.unibo.tuprolog.core.parsing.Companion.parseAs.<anonymous>' call
     var it = this.parseTermWithOperators(input, operators);
     var tmp0_elvis_lhs = isInterface(it, Rule) ? it : null;
     var tmp;
@@ -280,13 +263,11 @@
     return tmp;
   }
   function parseRule(input) {
-    return this.parseRuleWithOperators(input, this.h39());
+    return this.parseRuleWithOperators(input, this.t37());
   }
   function parseFactWithOperators(input, operators) {
     // Inline function 'it.unibo.tuprolog.core.parsing.Companion.parseAs' call
     // Inline function 'kotlin.let' call
-    // Inline function 'kotlin.contracts.contract' call
-    // Inline function 'it.unibo.tuprolog.core.parsing.Companion.parseAs.<anonymous>' call
     var it = this.parseTermWithOperators(input, operators);
     var tmp0_elvis_lhs = isInterface(it, Fact) ? it : null;
     var tmp;
@@ -298,13 +279,11 @@
     return tmp;
   }
   function parseFact(input) {
-    return this.parseFactWithOperators(input, this.h39());
+    return this.parseFactWithOperators(input, this.t37());
   }
   function parseDirectiveWithOperators(input, operators) {
     // Inline function 'it.unibo.tuprolog.core.parsing.Companion.parseAs' call
     // Inline function 'kotlin.let' call
-    // Inline function 'kotlin.contracts.contract' call
-    // Inline function 'it.unibo.tuprolog.core.parsing.Companion.parseAs.<anonymous>' call
     var it = this.parseTermWithOperators(input, operators);
     var tmp0_elvis_lhs = isInterface(it, Directive) ? it : null;
     var tmp;
@@ -316,15 +295,15 @@
     return tmp;
   }
   function parseDirective(input) {
-    return this.parseDirectiveWithOperators(input, this.h39());
-  }
-  setMetadataFor(TermParser, 'TermParser', interfaceMeta);
-  setMetadataFor(Companion_0, 'Companion', objectMeta);
-  setMetadataFor(DynamicOpListener, 'DynamicOpListener', classMeta, PrologParserListener);
-  setMetadataFor(PrologParserFactory$newErrorListener$1, VOID, classMeta);
-  setMetadataFor(PrologParserFactory, 'PrologParserFactory', objectMeta);
-  setMetadataFor(PrologVisitor, 'PrologVisitor', classMeta, PrologParserVisitor, VOID, PrologVisitor);
-  setMetadataFor(TermParserImpl, 'TermParserImpl', classMeta, VOID, [TermParser]);
+    return this.parseDirectiveWithOperators(input, this.t37());
+  }
+  initMetadataForInterface(TermParser, 'TermParser');
+  initMetadataForCompanion(Companion_0);
+  initMetadataForClass(DynamicOpListener, 'DynamicOpListener', VOID, PrologParserListener);
+  initMetadataForClass(PrologParserFactory$newErrorListener$1);
+  initMetadataForObject(PrologParserFactory, 'PrologParserFactory');
+  initMetadataForClass(PrologVisitor, 'PrologVisitor', PrologVisitor, PrologParserVisitor);
+  initMetadataForClass(TermParserImpl, 'TermParserImpl', VOID, VOID, [TermParser]);
   //endregion
   function InvalidTermTypeException(input, term, type, offendingSymbol, line, column, message, throwable) {
     var tmp;
@@ -337,12 +316,12 @@
     offendingSymbol = tmp;
     line = line === VOID ? 1 : line;
     column = column === VOID ? 1 : column;
-    message = message === VOID ? 'Expected ' + type.o6() + ', got: ' + offendingSymbol : message;
+    message = message === VOID ? 'Expected ' + type.b9() + ', got: ' + offendingSymbol : message;
     throwable = throwable === VOID ? null : throwable;
     ParseException.call(this, input, offendingSymbol, line, column, message, throwable);
     captureStack(this, InvalidTermTypeException);
-    this.q38_1 = term;
-    this.r38_1 = type;
+    this.c37_1 = term;
+    this.d37_1 = type;
   }
   function ParseException(input, offendingSymbol, line, column, message, throwable) {
     TuPrologException_init_$Init$(message, throwable, this);
@@ -353,34 +332,34 @@
     this.column = column;
     this.clauseIndex = -1;
   }
-  protoOf(ParseException).s38 = function (_set____db54di) {
+  protoOf(ParseException).e37 = function (_set____db54di) {
     this.input = _set____db54di;
   };
-  protoOf(ParseException).t38 = function () {
+  protoOf(ParseException).f37 = function () {
     return this.input;
   };
-  protoOf(ParseException).u38 = function (_set____db54di) {
+  protoOf(ParseException).g37 = function (_set____db54di) {
     this.offendingSymbol = _set____db54di;
   };
-  protoOf(ParseException).v38 = function () {
+  protoOf(ParseException).h37 = function () {
     return this.offendingSymbol;
   };
-  protoOf(ParseException).w38 = function (_set____db54di) {
+  protoOf(ParseException).i37 = function (_set____db54di) {
     this.line = _set____db54di;
   };
-  protoOf(ParseException).x38 = function () {
+  protoOf(ParseException).j37 = function () {
     return this.line;
   };
-  protoOf(ParseException).y38 = function (_set____db54di) {
+  protoOf(ParseException).k37 = function (_set____db54di) {
     this.column = _set____db54di;
   };
-  protoOf(ParseException).z38 = function () {
+  protoOf(ParseException).l37 = function () {
     return this.column;
   };
-  protoOf(ParseException).a39 = function (_set____db54di) {
+  protoOf(ParseException).m37 = function (_set____db54di) {
     this.clauseIndex = _set____db54di;
   };
-  protoOf(ParseException).b39 = function () {
+  protoOf(ParseException).n37 = function () {
     return this.clauseIndex;
   };
   protoOf(ParseException).toString = function () {
@@ -393,17 +372,17 @@
     var tmp_2;
     var tmp_3;
     if (isInterface(_this__u8e3s4, Struct)) {
-      tmp_3 = _this__u8e3s4.zu() === 3;
+      tmp_3 = _this__u8e3s4.bu() === 3;
     } else {
       tmp_3 = false;
     }
     if (tmp_3) {
-      tmp_2 = _this__u8e3s4.fv() === 'op';
+      tmp_2 = _this__u8e3s4.hu() === 'op';
     } else {
       tmp_2 = false;
     }
     if (tmp_2) {
-      tmp_1 = _this__u8e3s4.jw();
+      tmp_1 = _this__u8e3s4.lv();
     } else {
       tmp_1 = false;
     }
@@ -423,40 +402,40 @@
   }
   function Companion() {
   }
-  protoOf(Companion).c39 = function (scope) {
-    return this.d39(Companion_getInstance().EMPTY, scope);
+  protoOf(Companion).o37 = function (scope) {
+    return this.p37(Companion_getInstance().EMPTY, scope);
   };
   protoOf(Companion).withNoOperator = function (scope, $super) {
     scope = scope === VOID ? Companion_instance.empty() : scope;
-    return $super === VOID ? this.c39(scope) : $super.c39.call(this, scope);
+    return $super === VOID ? this.o37(scope) : $super.o37.call(this, scope);
   };
-  protoOf(Companion).e39 = function (scope) {
-    return this.d39(Companion_getInstance().STANDARD, scope);
+  protoOf(Companion).q37 = function (scope) {
+    return this.p37(Companion_getInstance().STANDARD, scope);
   };
   protoOf(Companion).withStandardOperators = function (scope, $super) {
     scope = scope === VOID ? Companion_instance.empty() : scope;
-    return $super === VOID ? this.e39(scope) : $super.e39.call(this, scope);
+    return $super === VOID ? this.q37(scope) : $super.q37.call(this, scope);
   };
-  protoOf(Companion).f39 = function (scope) {
-    return this.d39(Companion_getInstance().DEFAULT, scope);
+  protoOf(Companion).r37 = function (scope) {
+    return this.p37(Companion_getInstance().DEFAULT, scope);
   };
   protoOf(Companion).withDefaultOperators = function (scope, $super) {
     scope = scope === VOID ? Companion_instance.empty() : scope;
-    return $super === VOID ? this.f39(scope) : $super.f39.call(this, scope);
+    return $super === VOID ? this.r37(scope) : $super.r37.call(this, scope);
   };
-  protoOf(Companion).d39 = function (operators, scope) {
+  protoOf(Companion).p37 = function (operators, scope) {
     return termParserWithOperators(operators, scope);
   };
   protoOf(Companion).withOperatorSet = function (operators, scope, $super) {
     scope = scope === VOID ? Companion_instance.empty() : scope;
-    return $super === VOID ? this.d39(operators, scope) : $super.d39.call(this, operators, scope);
+    return $super === VOID ? this.p37(operators, scope) : $super.p37.call(this, operators, scope);
   };
-  protoOf(Companion).g39 = function (operators, scope) {
-    return this.d39(OperatorSet_init_$Create$(operators.slice()), scope);
+  protoOf(Companion).s37 = function (operators, scope) {
+    return this.p37(OperatorSet_init_$Create$(operators.slice()), scope);
   };
   protoOf(Companion).withOperators = function (operators, scope, $super) {
     scope = scope === VOID ? Companion_instance.empty() : scope;
-    return $super === VOID ? this.g39(operators, scope) : $super.g39.call(this, operators, scope);
+    return $super === VOID ? this.s37(operators, scope) : $super.s37.call(this, operators, scope);
   };
   var Companion_instance_1;
   function Companion_getInstance_4() {
@@ -496,18 +475,18 @@
     return get_defaultParser().parseClause(input);
   }
   function toAssociativity(_this__u8e3s4) {
-    return _this__u8e3s4.toString();
+    return toString_0(_this__u8e3s4);
   }
-  function DynamicOpListener$Companion$of$lambda($this$$receiver, it) {
+  function DynamicOpListener$Companion$of$lambda($this$DynamicOpListener, it) {
     return Unit_instance;
   }
   function onOperatorDefined($this, operator) {
-    $this.i39_1.addOperator(operator.g1h_1, toAssociativity(operator.h1h_1), operator.i1h_1);
-    $this.j39_1($this.i39_1, operator);
+    $this.u37_1.addOperator(operator.h1g_1, toAssociativity(operator.i1g_1), operator.j1g_1);
+    $this.v37_1($this.u37_1, operator);
   }
   function Companion_0() {
   }
-  protoOf(Companion_0).k39 = function (parser) {
+  protoOf(Companion_0).w37 = function (parser) {
     return new DynamicOpListener(parser, DynamicOpListener$Companion$of$lambda);
   };
   var Companion_instance_2;
@@ -519,10 +498,10 @@
   }
   function DynamicOpListener(parser, operatorDefinedCallback) {
     PrologParserListener.call(this);
-    this.i39_1 = parser;
-    this.j39_1 = operatorDefinedCallback;
+    this.u37_1 = parser;
+    this.v37_1 = operatorDefinedCallback;
   }
-  protoOf(DynamicOpListener).l39 = function (ctx) {
+  protoOf(DynamicOpListener).x37 = function (ctx) {
     var expr = ctx.expression();
     if (ctx.exception != null) {
       return Unit_instance;
@@ -544,27 +523,27 @@
     if (tmp) {
       var tmp_1 = ctx.accept(new PrologVisitor());
       var directive = isInterface(tmp_1, Directive) ? tmp_1 : THROW_CCE();
-      var op = directive.mx();
+      var op = directive.ow();
       if (get_isOpDirective(op)) {
-        // Inline function 'kotlin.math.min' call
-        // Inline function 'kotlin.math.max' call
         var tmp_2 = (isInterface(op, Struct) ? op : THROW_CCE()).get(0);
-        var b = (isInterface(tmp_2, Numeric) ? tmp_2 : THROW_CCE()).nz().toInt();
+        // Inline function 'kotlin.math.max' call
+        var b = (isInterface(tmp_2, Numeric) ? tmp_2 : THROW_CCE()).py().toInt();
+        // Inline function 'kotlin.math.min' call
         var b_0 = Math.max(0, b);
         var priority = Math.min(1200, b_0);
         var specifier = Companion_getInstance_0().fromTerm(op.get(1));
         var operator = op.get(2);
         if (isInterface(operator, Atom)) {
-          onOperatorDefined(this, new Operator(operator.r2(), specifier, priority));
+          onOperatorDefined(this, new Operator(operator.e2(), specifier, priority));
         } else {
           if (isInterface(operator, List)) {
+            var tmp0 = operator.xs();
             var tmp$ret$3;
             $l$block: {
               // Inline function 'kotlin.sequences.all' call
-              var tmp0_iterator = operator.vt().r();
-              while (tmp0_iterator.s()) {
-                var element = tmp0_iterator.u();
-                // Inline function 'it.unibo.tuprolog.core.parsing.DynamicOpListener.exitClause.<anonymous>' call
+              var _iterator__ex2g4s = tmp0.p();
+              while (_iterator__ex2g4s.s()) {
+                var element = _iterator__ex2g4s.t();
                 if (!isInterface(element, Atom)) {
                   tmp$ret$3 = false;
                   break $l$block;
@@ -573,11 +552,11 @@
               tmp$ret$3 = true;
             }
             if (tmp$ret$3) {
-              var tmp_3 = operator.vt();
-              var tmp2_iterator = map(tmp_3, DynamicOpListener$exitClause$lambda).r();
-              while (tmp2_iterator.s()) {
-                var it = tmp2_iterator.u();
-                onOperatorDefined(this, new Operator(it.r2(), specifier, priority));
+              var tmp_3 = operator.xs();
+              var _iterator__ex2g4s_0 = map(tmp_3, DynamicOpListener$exitClause$lambda).p();
+              while (_iterator__ex2g4s_0.s()) {
+                var it = _iterator__ex2g4s_0.t();
+                onOperatorDefined(this, new Operator(it.e2(), specifier, priority));
               }
             }
           }
@@ -586,7 +565,7 @@
     }
   };
   protoOf(DynamicOpListener).exitClause = function (ctx) {
-    return this.l39(ctx);
+    return this.x37(ctx);
   };
   function parseException(token, message) {
     return new ParseException(null, token.text, token.line, token.column, message, null);
@@ -606,7 +585,7 @@
   function parseExpression($this, parserAndErrorStrategy, source) {
     var mark = -1;
     var index = -1;
-    var parser = parserAndErrorStrategy.qd_1;
+    var parser = parserAndErrorStrategy.fc_1;
     var tmp;
     try {
       mark = parser.getTokenStream().mark();
@@ -616,13 +595,13 @@
       var tmp_0;
       var e = $p;
       var tmp_1;
-      if (isParseCancellationException(e) ? parser._interp.predictionMode === PredictionMode.SLL : false) {
+      if (isParseCancellationException(e) && parser._interp.predictionMode === PredictionMode.SLL) {
         parser.getTokenStream().seek(index);
         parser._interp.predictionMode = PredictionMode.LL;
-        parser._errHandler = parserAndErrorStrategy.rd_1;
+        parser._errHandler = parserAndErrorStrategy.gc_1;
         parser.addErrorListener(newErrorListener($this, source));
         tmp_1 = parseExpression($this, parserAndErrorStrategy, source);
-      } else if (e.clause !== null ? isRecognitionException(e.cause) : false) {
+      } else if (e.clause !== null && isRecognitionException(e.cause)) {
         var tmp_2 = e.cause;
         throw tmp_2 instanceof RecognitionException ? tmp_2 : THROW_CCE();
       } else {
@@ -639,7 +618,7 @@
   function parseClause_1($this, parserAndErrorStrategy, source) {
     var mark = -1;
     var index = -1;
-    var parser = parserAndErrorStrategy.qd_1;
+    var parser = parserAndErrorStrategy.fc_1;
     var tmp;
     try {
       mark = parser.getTokenStream().mark();
@@ -649,13 +628,13 @@
       var tmp_0;
       var e = $p;
       var tmp_1;
-      if (isParseCancellationException(e) ? parser._interp.predictionMode === PredictionMode.SLL : false) {
+      if (isParseCancellationException(e) && parser._interp.predictionMode === PredictionMode.SLL) {
         parser.getTokenStream().seek(index);
         parser._interp.predictionMode = PredictionMode.LL;
-        parser._errHandler = parserAndErrorStrategy.rd_1;
+        parser._errHandler = parserAndErrorStrategy.gc_1;
         parser.addErrorListener(newErrorListener($this, source));
         tmp_1 = parseClause_1($this, parserAndErrorStrategy, source);
-      } else if (e.clause !== null ? isRecognitionException(e.cause) : false) {
+      } else if (e.clause !== null && isRecognitionException(e.cause)) {
         var tmp_2 = e.cause;
         throw tmp_2 instanceof RecognitionException ? tmp_2 : THROW_CCE();
       } else {
@@ -676,13 +655,13 @@
     return map(tmp_1, PrologParserFactory$parseClauses$lambda_2);
   }
   function PrologParserFactory$newErrorListener$1($whileParsing) {
-    this.m39_1 = $whileParsing;
+    this.y37_1 = $whileParsing;
   }
   protoOf(PrologParserFactory$newErrorListener$1).syntaxError = function (recognizer, offendingSymbol, line, column, msg, e) {
     if (recognizer instanceof PrologParser) {
       recognizer.removeParseListeners();
     }
-    throw new ParseException(this.m39_1, symbolToString(this, offendingSymbol), line, column + 1 | 0, msg, e);
+    throw new ParseException(this.y37_1, symbolToString(this, offendingSymbol), line, column + 1 | 0, msg, e);
   };
   function PrologParserFactory$parseClauses$lambda(it) {
     return it + 1 | 0;
@@ -713,15 +692,15 @@
   }
   function PrologParserFactory() {
   }
-  protoOf(PrologParserFactory).n39 = function (string, withOperators) {
-    var parser = this.o39(string, withOperators);
+  protoOf(PrologParserFactory).z37 = function (string, withOperators) {
+    var parser = this.a38(string, withOperators);
     return parseExpression(this, parser, string);
   };
-  protoOf(PrologParserFactory).p39 = function (source, withOperators) {
-    var parser = this.o39(source, withOperators);
+  protoOf(PrologParserFactory).b38 = function (source, withOperators) {
+    var parser = this.a38(source, withOperators);
     return parseClauses(this, parser, source);
   };
-  protoOf(PrologParserFactory).o39 = function (source, operators) {
+  protoOf(PrologParserFactory).a38 = function (source, operators) {
     var stream = new InputStream(source);
     var lexer = new PrologLexer(stream);
     lexer.removeErrorListeners();
@@ -731,17 +710,16 @@
     var originalErrorStrategy = parser._errHandler;
     parser._errHandler = new BailErrorStrategy();
     parser._interp.predictionMode = PredictionMode.SLL;
-    return to(this.q39(parser, operators), originalErrorStrategy);
+    return to(this.c38(parser, operators), originalErrorStrategy);
   };
-  protoOf(PrologParserFactory).q39 = function (prologParser, operators) {
+  protoOf(PrologParserFactory).c38 = function (prologParser, operators) {
     // Inline function 'kotlin.collections.forEach' call
-    var tmp0_iterator = operators.r();
-    while (tmp0_iterator.s()) {
-      var element = tmp0_iterator.u();
-      // Inline function 'it.unibo.tuprolog.core.parsing.PrologParserFactory.addOperators.<anonymous>' call
-      prologParser.addOperator(element.g1h_1, toAssociativity(element.h1h_1), element.i1h_1);
+    var _iterator__ex2g4s = operators.p();
+    while (_iterator__ex2g4s.s()) {
+      var element = _iterator__ex2g4s.t();
+      prologParser.addOperator(element.h1g_1, toAssociativity(element.i1g_1), element.j1g_1);
     }
-    prologParser.addParseListener(Companion_instance_2.k39(prologParser));
+    prologParser.addParseListener(Companion_instance_2.w37(prologParser));
     return prologParser;
   };
   var PrologParserFactory_instance;
@@ -754,34 +732,24 @@
     var clean;
     if (ctx.isBin) {
       base = 2;
-      // Inline function 'kotlin.text.substring' call
-      // Inline function 'kotlin.js.asDynamic' call
-      clean = str.substring(2);
+      clean = substring(str, 2);
     } else if (ctx.isOct) {
       base = 8;
-      // Inline function 'kotlin.text.substring' call
-      // Inline function 'kotlin.js.asDynamic' call
-      clean = str.substring(2);
+      clean = substring(str, 2);
     } else if (ctx.isHex) {
       base = 16;
-      // Inline function 'kotlin.text.substring' call
-      // Inline function 'kotlin.js.asDynamic' call
-      clean = str.substring(2);
+      clean = substring(str, 2);
     } else if (ctx.isChar) {
-      // Inline function 'kotlin.text.substring' call
-      // Inline function 'kotlin.js.asDynamic' call
-      clean = str.substring(2);
+      clean = substring(str, 2);
       if (!(clean.length === 1)) {
         throw parseException(ctx.value, 'Invalid character literal: ' + ctx.value.text);
       }
-      // Inline function 'kotlin.with' call
       var tmp = Companion_getInstance_1();
       // Inline function 'kotlin.code' call
-      var this_0 = charSequenceGet(clean, 0);
-      var tmp$ret$8 = Char__toInt_impl_vasixd(this_0);
-      // Inline function 'kotlin.contracts.contract' call
-      // Inline function 'it.unibo.tuprolog.core.parsing.PrologVisitor.parseInteger.<anonymous>' call
-      var $this$with = tmp.of(tmp$ret$8);
+      var this_0 = charCodeAt(clean, 0);
+      var tmp$ret$0 = Char__toInt_impl_vasixd(this_0);
+      // Inline function 'kotlin.with' call
+      var $this$with = tmp.of(tmp$ret$0);
       var tmp_0;
       var tmp0_safe_receiver = ctx.sign;
       var tmp1_safe_receiver = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.text;
@@ -814,17 +782,16 @@
     while (inductionVariable < last) {
       var item = this_0[inductionVariable];
       inductionVariable = inductionVariable + 1 | 0;
-      // Inline function 'it.unibo.tuprolog.core.parsing.PrologVisitor.visitPostfixExpression.<anonymous>' call
       var tmp$ret$0 = item.symbol.text;
-      destination.o(tmp$ret$0);
+      destination.m(tmp$ret$0);
     }
     return postfix($this, tmp, destination);
   }
   function postfix($this, term, ops) {
-    var operator = ops.r();
-    var result = $this.r39_1.structOf(operator.u(), [term]);
+    var operator = ops.p();
+    var result = $this.d38_1.structOf(operator.t(), [term]);
     while (operator.s()) {
-      result = $this.r39_1.structOf(operator.u(), [result]);
+      result = $this.d38_1.structOf(operator.t(), [result]);
     }
     return result;
   }
@@ -839,19 +806,18 @@
     while (inductionVariable < last) {
       var item = this_0[inductionVariable];
       inductionVariable = inductionVariable + 1 | 0;
-      // Inline function 'it.unibo.tuprolog.core.parsing.PrologVisitor.visitPrefixExpression.<anonymous>' call
       var tmp$ret$0 = item.symbol.text;
-      destination.o(tmp$ret$0);
+      destination.m(tmp$ret$0);
     }
     return prefix($this, tmp, destination);
   }
   function prefix($this, term, ops) {
-    var i = ops.l() - 1 | 0;
-    var tmp0 = i;
-    i = tmp0 - 1 | 0;
-    var result = $this.r39_1.structOf(ops.d1(tmp0), [term]);
+    var i = ops.v() - 1 | 0;
+    var _unary__edvuaz = i;
+    i = _unary__edvuaz - 1 | 0;
+    var result = $this.d38_1.structOf(ops.w(_unary__edvuaz), [term]);
     while (i >= 0) {
-      result = $this.r39_1.structOf(ops.d1(i), [result]);
+      result = $this.d38_1.structOf(ops.w(i), [result]);
       i = i - 1 | 0;
     }
     return result;
@@ -876,12 +842,11 @@
     var this_0 = plus_0(listOf(ensureNotNull(ctx.left)), asList(ctx.right));
     // Inline function 'kotlin.collections.mapTo' call
     var destination = ArrayList_init_$Create$(collectionSizeOrDefault(this_0, 10));
-    var tmp0_iterator = this_0.r();
-    while (tmp0_iterator.s()) {
-      var item = tmp0_iterator.u();
-      // Inline function 'it.unibo.tuprolog.core.parsing.PrologVisitor.visitInfixNonAssociativeExpression.<anonymous>' call
+    var _iterator__ex2g4s = this_0.p();
+    while (_iterator__ex2g4s.s()) {
+      var item = _iterator__ex2g4s.t();
       var tmp$ret$0 = item.accept($this);
-      destination.o(tmp$ret$0);
+      destination.m(tmp$ret$0);
     }
     var operands = destination;
     // Inline function 'kotlin.collections.map' call
@@ -893,21 +858,20 @@
     while (inductionVariable < last) {
       var item_0 = this_1[inductionVariable];
       inductionVariable = inductionVariable + 1 | 0;
-      // Inline function 'it.unibo.tuprolog.core.parsing.PrologVisitor.visitInfixNonAssociativeExpression.<anonymous>' call
       var tmp$ret$3 = item_0.symbol.text;
-      destination_0.o(tmp$ret$3);
+      destination_0.m(tmp$ret$3);
     }
     var operators = destination_0;
     return infixNonAssociative($this, operands, operators);
   }
   function infixNonAssociative($this, terms, ops) {
-    return $this.r39_1.structOf(ops.d1(0), [terms.d1(0), terms.d1(1)]);
+    return $this.d38_1.structOf(ops.w(0), [terms.w(0), terms.w(1)]);
   }
   function handleOuters($this, expression, outers) {
     var result = expression;
-    var tmp0_iterator = outers.r();
-    while (tmp0_iterator.s()) {
-      var o = tmp0_iterator.u();
+    var _iterator__ex2g4s = outers.p();
+    while (_iterator__ex2g4s.s()) {
+      var o = _iterator__ex2g4s.t();
       var tmp = listOf(result);
       // Inline function 'kotlin.collections.map' call
       var this_0 = o.right;
@@ -918,9 +882,8 @@
       while (inductionVariable < last) {
         var item = this_0[inductionVariable];
         inductionVariable = inductionVariable + 1 | 0;
-        // Inline function 'it.unibo.tuprolog.core.parsing.PrologVisitor.handleOuters.<anonymous>' call
         var tmp$ret$0 = item.accept($this);
-        destination.o(tmp$ret$0);
+        destination.m(tmp$ret$0);
       }
       var operands = plus_0(tmp, destination);
       // Inline function 'kotlin.collections.map' call
@@ -932,22 +895,21 @@
       while (inductionVariable_0 < last_0) {
         var item_0 = this_1[inductionVariable_0];
         inductionVariable_0 = inductionVariable_0 + 1 | 0;
-        // Inline function 'it.unibo.tuprolog.core.parsing.PrologVisitor.handleOuters.<anonymous>' call
         var tmp$ret$3 = item_0.symbol.text;
-        destination_0.o(tmp$ret$3);
+        destination_0.m(tmp$ret$3);
       }
       var operators = destination_0;
       var associativity = o.associativity;
       var tmp_0;
       if (associativity === Associativity.XFY) {
         tmp_0 = infixRight($this, operands, operators);
-      } else if (associativity === Associativity.XF ? true : associativity === Associativity.YF) {
+      } else if (associativity === Associativity.XF || associativity === Associativity.YF) {
         tmp_0 = postfix($this, result, operators);
       } else if (associativity === Associativity.XFX) {
         tmp_0 = infixNonAssociative($this, operands, operators);
       } else if (associativity === Associativity.YFX) {
         tmp_0 = infixLeft($this, operands, operators);
-      } else if (associativity === Associativity.FX ? true : associativity === Associativity.FY) {
+      } else if (associativity === Associativity.FX || associativity === Associativity.FY) {
         tmp_0 = prefix($this, result, operators);
       } else {
         var message = 'Invalid associativity: ' + associativity;
@@ -958,16 +920,16 @@
     return result;
   }
   function infixRight($this, terms, ops) {
-    var i = terms.l() - 1 | 0;
-    var j = ops.l() - 1 | 0;
-    var tmp0 = j;
-    j = tmp0 - 1 | 0;
-    var result = $this.r39_1.structOf(ops.d1(tmp0), [terms.d1(i - 1 | 0), terms.d1(i)]);
+    var i = terms.v() - 1 | 0;
+    var j = ops.v() - 1 | 0;
+    var _unary__edvuaz = j;
+    j = _unary__edvuaz - 1 | 0;
+    var result = $this.d38_1.structOf(ops.w(_unary__edvuaz), [terms.w(i - 1 | 0), terms.w(i)]);
     i = i - 2 | 0;
     while (i >= 0) {
-      var tmp1 = j;
-      j = tmp1 - 1 | 0;
-      result = $this.r39_1.structOf(ops.d1(tmp1), [terms.d1(i), result]);
+      var _unary__edvuaz_0 = j;
+      j = _unary__edvuaz_0 - 1 | 0;
+      result = $this.d38_1.structOf(ops.w(_unary__edvuaz_0), [terms.w(i), result]);
       i = i - 1 | 0;
     }
     return result;
@@ -975,19 +937,19 @@
   function infixLeft($this, terms, ops) {
     var i = 0;
     var j = 0;
-    var tmp0 = j;
-    j = tmp0 + 1 | 0;
-    var tmp = ops.d1(tmp0);
-    var tmp1 = i;
-    i = tmp1 + 1 | 0;
-    var tmp_0 = terms.d1(tmp1);
-    var tmp2 = i;
-    i = tmp2 + 1 | 0;
-    var result = $this.r39_1.structOf(tmp, [tmp_0, terms.d1(tmp2)]);
-    while (i < terms.l()) {
-      var tmp3 = j;
-      j = tmp3 + 1 | 0;
-      result = $this.r39_1.structOf(ops.d1(tmp3), [result, terms.d1(i)]);
+    var _unary__edvuaz = j;
+    j = _unary__edvuaz + 1 | 0;
+    var tmp = ops.w(_unary__edvuaz);
+    var _unary__edvuaz_0 = i;
+    i = _unary__edvuaz_0 + 1 | 0;
+    var tmp_0 = terms.w(_unary__edvuaz_0);
+    var _unary__edvuaz_1 = i;
+    i = _unary__edvuaz_1 + 1 | 0;
+    var result = $this.d38_1.structOf(tmp, [tmp_0, terms.w(_unary__edvuaz_1)]);
+    while (i < terms.v()) {
+      var _unary__edvuaz_2 = j;
+      j = _unary__edvuaz_2 + 1 | 0;
+      result = $this.d38_1.structOf(ops.w(_unary__edvuaz_2), [result, terms.w(i)]);
       i = i + 1 | 0;
     }
     return result;
@@ -997,12 +959,11 @@
     var this_0 = plus_0(listOf(ctx.left), toList(ctx.right));
     // Inline function 'kotlin.collections.mapTo' call
     var destination = ArrayList_init_$Create$(collectionSizeOrDefault(this_0, 10));
-    var tmp0_iterator = this_0.r();
-    while (tmp0_iterator.s()) {
-      var item = tmp0_iterator.u();
-      // Inline function 'it.unibo.tuprolog.core.parsing.PrologVisitor.listOfOperands.<anonymous>' call
+    var _iterator__ex2g4s = this_0.p();
+    while (_iterator__ex2g4s.s()) {
+      var item = _iterator__ex2g4s.t();
       var tmp$ret$0 = ensureNotNull(item).accept($this);
-      destination.o(tmp$ret$0);
+      destination.m(tmp$ret$0);
     }
     return destination;
   }
@@ -1016,9 +977,8 @@
     while (inductionVariable < last) {
       var item = this_0[inductionVariable];
       inductionVariable = inductionVariable + 1 | 0;
-      // Inline function 'it.unibo.tuprolog.core.parsing.PrologVisitor.listOfOperators.<anonymous>' call
       var tmp$ret$0 = item.symbol.text;
-      destination.o(tmp$ret$0);
+      destination.m(tmp$ret$0);
     }
     return destination;
   }
@@ -1036,45 +996,45 @@
   function flatten_0($this, outers) {
     return toList_0(flatten($this, asSequence(outers)));
   }
-  function PrologVisitor$visitExpression$ref($boundThis) {
-    var l = function (p0) {
-      return $boundThis.s39(p0);
+  function PrologVisitor$visitExpression$ref(p0) {
+    var l = function (_this__u8e3s4) {
+      return p0.e38(_this__u8e3s4);
     };
     l.callableName = 'visitExpression';
     return l;
   }
   function PrologVisitor$flatten$lambda(this$0) {
     return function (it) {
-      return plus_1(sequenceOf([it]), flatten(this$0, asSequence_0(it.outers)));
+      return plus_1(sequenceOf(it), flatten(this$0, asSequence_0(it.outers)));
     };
   }
   function PrologVisitor(scope) {
     scope = scope === VOID ? Companion_instance.empty() : scope;
     PrologParserVisitor.call(this);
-    this.r39_1 = scope;
+    this.d38_1 = scope;
   }
-  protoOf(PrologVisitor).t39 = function (ctx) {
-    return this.u39(ctx.term());
+  protoOf(PrologVisitor).f38 = function (ctx) {
+    return this.g38(ctx.term());
   };
   protoOf(PrologVisitor).visitSingletonTerm = function (ctx) {
-    return this.t39(ctx);
+    return this.f38(ctx);
   };
-  protoOf(PrologVisitor).v39 = function (ctx) {
-    return this.s39(ctx.expression());
+  protoOf(PrologVisitor).h38 = function (ctx) {
+    return this.e38(ctx.expression());
   };
   protoOf(PrologVisitor).visitSingletonExpression = function (ctx) {
-    return this.v39(ctx);
+    return this.h38(ctx);
   };
-  protoOf(PrologVisitor).w39 = function (ctx) {
+  protoOf(PrologVisitor).i38 = function (ctx) {
     return termToClause(ctx.expression().accept(this), null, ensureNotNull(ctx.start).line, ensureNotNull(ctx.start).column);
   };
   protoOf(PrologVisitor).visitClause = function (ctx) {
-    return this.w39(ctx);
+    return this.i38(ctx);
   };
-  protoOf(PrologVisitor).s39 = function (ctx) {
+  protoOf(PrologVisitor).e38 = function (ctx) {
     var tmp;
     if (ctx.isTerm) {
-      tmp = this.u39(ensureNotNull(ctx.left));
+      tmp = this.g38(ensureNotNull(ctx.left));
     } else if (contains(Associativity.INFIX, ctx.associativity)) {
       tmp = visitInfixExpression(this, ctx);
     } else if (contains(Associativity.POSTFIX, ctx.associativity)) {
@@ -1082,17 +1042,17 @@
     } else if (contains(Associativity.PREFIX, ctx.associativity)) {
       tmp = visitPrefixExpression(this, ctx);
     } else {
-      throw IllegalArgumentException_init_$Create$('Associativity unknown: ' + ctx.associativity + ' INFIX=' + Associativity.INFIX + ' PREFIX=' + Associativity.PREFIX + ' POSTFIX=' + Associativity.POSTFIX);
+      throw IllegalArgumentException_init_$Create$('Associativity unknown: ' + ctx.associativity + ' INFIX=' + toString_0(Associativity.INFIX) + ' PREFIX=' + toString_0(Associativity.PREFIX) + ' POSTFIX=' + toString_0(Associativity.POSTFIX));
     }
     return handleOuters(this, tmp, flatten_0(this, asList(ctx.outers)));
   };
   protoOf(PrologVisitor).visitExpression = function (ctx) {
-    return this.s39(ctx);
+    return this.e38(ctx);
   };
-  protoOf(PrologVisitor).u39 = function (ctx) {
+  protoOf(PrologVisitor).g38 = function (ctx) {
     var tmp;
     if (ctx.isExpr) {
-      tmp = this.s39(ctx.expression());
+      tmp = this.e38(ctx.expression());
     } else {
       var tmp_0 = ctx.children[0].accept(this);
       tmp = (!(tmp_0 == null) ? isInterface(tmp_0, Term) : false) ? tmp_0 : THROW_CCE();
@@ -1100,23 +1060,23 @@
     return tmp;
   };
   protoOf(PrologVisitor).visitTerm = function (ctx) {
-    return this.u39(ctx);
+    return this.g38(ctx);
   };
-  protoOf(PrologVisitor).x39 = function (ctx) {
+  protoOf(PrologVisitor).j38 = function (ctx) {
     var value = parseInteger_0(this, ctx);
     return Companion_getInstance_2().ofBigInteger(value);
   };
   protoOf(PrologVisitor).visitInteger = function (ctx) {
-    return this.x39(ctx);
+    return this.j38(ctx);
   };
-  protoOf(PrologVisitor).y39 = function (ctx) {
+  protoOf(PrologVisitor).k38 = function (ctx) {
     var tmp = ctx.children[0].accept(this);
     return (!(tmp == null) ? isInterface(tmp, Term) : false) ? tmp : THROW_CCE();
   };
   protoOf(PrologVisitor).visitNumber = function (ctx) {
-    return this.y39(ctx);
+    return this.k38(ctx);
   };
-  protoOf(PrologVisitor).z39 = function (ctx) {
+  protoOf(PrologVisitor).l38 = function (ctx) {
     var raw = ctx.value.text;
     if (!(ctx.sign == null)) {
       var tmp0_safe_receiver = ctx.sign;
@@ -1137,39 +1097,39 @@
     return tmp;
   };
   protoOf(PrologVisitor).visitReal = function (ctx) {
-    return this.z39(ctx);
+    return this.l38(ctx);
   };
-  protoOf(PrologVisitor).a3a = function (ctx) {
+  protoOf(PrologVisitor).m38 = function (ctx) {
     var tmp;
     if (ctx.isAnonymous) {
-      tmp = this.r39_1.anonymous();
+      tmp = this.d38_1.anonymous();
     } else {
-      tmp = this.r39_1.varOf(ctx.value.text);
+      tmp = this.d38_1.varOf(ctx.value.text);
     }
     return tmp;
   };
   protoOf(PrologVisitor).visitVariable = function (ctx) {
-    return this.a3a(ctx);
+    return this.m38(ctx);
   };
-  protoOf(PrologVisitor).b3a = function (ctx) {
+  protoOf(PrologVisitor).n38 = function (ctx) {
     var tmp;
     if (ctx.isList) {
-      tmp = this.r39_1.logicListOf([]);
+      tmp = this.d38_1.logicListOf([]);
     } else if (ctx.isBlock) {
-      tmp = this.r39_1.blockOf([]);
+      tmp = this.d38_1.blockOf([]);
     } else if (ctx.arity === 0) {
-      tmp = this.r39_1.atomOf(ctx.functor.text);
+      tmp = this.d38_1.atomOf(ctx.functor.text);
     } else {
       var tmp_0 = ctx.functor.text;
       var tmp_1 = asSequence_0(ctx.args);
-      tmp = this.r39_1.structOfSequence(tmp_0, map(tmp_1, PrologVisitor$visitExpression$ref(this)));
+      tmp = this.d38_1.structOfSequence(tmp_0, map(tmp_1, PrologVisitor$visitExpression$ref(this)));
     }
     return tmp;
   };
   protoOf(PrologVisitor).visitStructure = function (ctx) {
-    return this.b3a(ctx);
+    return this.n38(ctx);
   };
-  protoOf(PrologVisitor).c3a = function (ctx) {
+  protoOf(PrologVisitor).o38 = function (ctx) {
     // Inline function 'kotlin.collections.map' call
     var this_0 = ctx.items;
     // Inline function 'kotlin.collections.mapTo' call
@@ -1179,26 +1139,26 @@
     while (inductionVariable < last) {
       var item = this_0[inductionVariable];
       inductionVariable = inductionVariable + 1 | 0;
-      var tmp$ret$0 = this.s39(item);
-      destination.o(tmp$ret$0);
+      var tmp$ret$0 = this.e38(item);
+      destination.m(tmp$ret$0);
     }
     var terms = destination;
     var tmp;
     if (ctx.hasTail) {
       var tmp0_safe_receiver = ctx.tail;
-      tmp = this.r39_1.w10(terms, tmp0_safe_receiver == null ? null : tmp0_safe_receiver.accept(this));
+      tmp = this.d38_1.yz(terms, tmp0_safe_receiver == null ? null : tmp0_safe_receiver.accept(this));
     } else {
-      tmp = this.r39_1.logicListOfIterable(terms);
+      tmp = this.d38_1.logicListOfIterable(terms);
     }
     return tmp;
   };
   protoOf(PrologVisitor).visitList = function (ctx) {
-    return this.c3a(ctx);
+    return this.o38(ctx);
   };
-  protoOf(PrologVisitor).d3a = function (ctx) {
+  protoOf(PrologVisitor).p38 = function (ctx) {
     var tmp;
     if (ctx.length === 1) {
-      tmp = this.r39_1.blockOf([ctx.items[0].accept(this)]);
+      tmp = this.d38_1.blockOf([ctx.items[0].accept(this)]);
     } else {
       // Inline function 'kotlin.collections.map' call
       var this_0 = ctx.items;
@@ -1209,32 +1169,32 @@
       while (inductionVariable < last) {
         var item = this_0[inductionVariable];
         inductionVariable = inductionVariable + 1 | 0;
-        var tmp$ret$0 = this.s39(item);
-        destination.o(tmp$ret$0);
+        var tmp$ret$0 = this.e38(item);
+        destination.m(tmp$ret$0);
       }
-      tmp = this.r39_1.blockOfIterable(destination);
+      tmp = this.d38_1.blockOfIterable(destination);
     }
     return tmp;
   };
   protoOf(PrologVisitor).visitBlock = function (ctx) {
-    return this.d3a(ctx);
+    return this.p38(ctx);
   };
   function termParserWithOperators(operators, scope) {
     scope = scope === VOID ? Companion_instance.empty() : scope;
     return new TermParserImpl(scope, operators);
   }
   function TermParserImpl(scope, defaultOperatorSet) {
-    this.e3a_1 = scope;
-    this.f3a_1 = defaultOperatorSet;
+    this.q38_1 = scope;
+    this.r38_1 = defaultOperatorSet;
   }
-  protoOf(TermParserImpl).h39 = function () {
-    return this.f3a_1;
+  protoOf(TermParserImpl).t37 = function () {
+    return this.r38_1;
   };
-  protoOf(TermParserImpl).g3a = function (input, operators) {
-    return PrologParserFactory_instance.n39(input, operators).accept(new PrologVisitor(this.e3a_1));
+  protoOf(TermParserImpl).s38 = function (input, operators) {
+    return PrologParserFactory_instance.z37(input, operators).accept(new PrologVisitor(this.q38_1));
   };
   protoOf(TermParserImpl).parseTermWithOperators = function (input, operators) {
-    return this.g3a(input, operators);
+    return this.s38(input, operators);
   };
   //region block: post-declaration
   protoOf(TermParserImpl).parseTerm = parseTerm;