@tuprolog/2p-full 0.31.21 → 0.32.0

package/2p-parser-core.js

@@ -1,8 +1,8 @@
 (function (root, 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-ir.js', './2p-core.js', './2p-parser-js.js', './kt-math.js'], factory);
+    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-ir.js'), require('./2p-core.js'), require('./2p-parser-js.js'), require('./kt-math.js'));
+    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') {
       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'.");
@@ -16,8 +16,8 @@
     if (typeof this['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-js-ir'] === 'undefined') {
-      throw new Error("Error loading module '2p-parser-core'. Its dependency 'kotlin-kotlin-stdlib-js-ir' was not found. Please, check whether 'kotlin-kotlin-stdlib-js-ir' is loaded prior to '2p-parser-core'.");
+    if (typeof this['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') {
       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'.");
@@ -28,7 +28,7 @@
     if (typeof this['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-js-ir'], this['2p-core'], this['2p-parser-js'], this['kt-math']);
+    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']);
   }
 }(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) {
   'use strict';
@@ -44,362 +44,286 @@
   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.$_$.gc;
-  var captureStack = kotlin_kotlin.$_$.o5;
-  var protoOf = kotlin_kotlin.$_$.s6;
-  var classMeta = kotlin_kotlin.$_$.t5;
-  var setMetadataFor = kotlin_kotlin.$_$.t6;
+  var VOID = kotlin_kotlin.$_$.d;
+  var captureStack = kotlin_kotlin.$_$.q5;
+  var protoOf = kotlin_kotlin.$_$.u6;
+  var classMeta = kotlin_kotlin.$_$.v5;
+  var setMetadataFor = kotlin_kotlin.$_$.v6;
   var TuPrologException = kotlin_it_unibo_tuprolog_core.$_$.l1;
   var TuPrologException_init_$Init$ = kotlin_it_unibo_tuprolog_core.$_$.m;
-  var ensureNotNull = kotlin_kotlin.$_$.wb;
-  var replace = kotlin_kotlin.$_$.fa;
-  var _Char___init__impl__6a9atx = kotlin_kotlin.$_$.h1;
-  var Char = kotlin_kotlin.$_$.fb;
+  var ensureNotNull = kotlin_kotlin.$_$.yb;
+  var replace = kotlin_kotlin.$_$.ha;
+  var _Char___init__impl__6a9atx = kotlin_kotlin.$_$.k1;
+  var Char = kotlin_kotlin.$_$.hb;
+  var toString = kotlin_kotlin.$_$.o1;
+  var Struct = kotlin_it_unibo_tuprolog_core.$_$.z1;
+  var isInterface = kotlin_kotlin.$_$.j6;
+  var Numeric = kotlin_it_unibo_tuprolog_core.$_$.w1;
+  var Atom = kotlin_it_unibo_tuprolog_core.$_$.o1;
   var Companion_getInstance = kotlin_it_unibo_tuprolog_core.$_$.q;
-  var Companion_getInstance_0 = kotlin_it_unibo_tuprolog_core.$_$.c1;
+  var Companion_instance = kotlin_it_unibo_tuprolog_core.$_$.c1;
   var OperatorSet_init_$Create$ = kotlin_it_unibo_tuprolog_core.$_$.n;
-  var objectMeta = kotlin_kotlin.$_$.r6;
-  var Struct = kotlin_it_unibo_tuprolog_core.$_$.z1;
-  var isInterface = kotlin_kotlin.$_$.g6;
+  var objectMeta = kotlin_kotlin.$_$.t6;
   var getKClass = kotlin_kotlin.$_$.c;
-  var Unit_getInstance = kotlin_kotlin.$_$.v1;
   var Constant = kotlin_it_unibo_tuprolog_core.$_$.q1;
   var Var = kotlin_it_unibo_tuprolog_core.$_$.b3;
-  var Atom = kotlin_it_unibo_tuprolog_core.$_$.o1;
-  var Numeric = kotlin_it_unibo_tuprolog_core.$_$.w1;
   var Integer = kotlin_it_unibo_tuprolog_core.$_$.u1;
   var Real = kotlin_it_unibo_tuprolog_core.$_$.x1;
   var Clause = kotlin_it_unibo_tuprolog_core.$_$.p1;
   var Rule = kotlin_it_unibo_tuprolog_core.$_$.y1;
   var Fact = kotlin_it_unibo_tuprolog_core.$_$.s1;
   var Directive = kotlin_it_unibo_tuprolog_core.$_$.r1;
-  var interfaceMeta = kotlin_kotlin.$_$.c6;
-  var Companion_getInstance_1 = kotlin_it_unibo_tuprolog_core.$_$.v;
-  var THROW_CCE = kotlin_kotlin.$_$.tb;
-  var contains = kotlin_kotlin.$_$.p2;
-  var Companion_getInstance_2 = kotlin_it_unibo_tuprolog_core.$_$.r;
-  var map = kotlin_kotlin.$_$.o8;
+  var interfaceMeta = kotlin_kotlin.$_$.f6;
+  var Companion_instance_0 = kotlin_it_unibo_tuprolog_core.$_$.v;
+  var Unit_instance = kotlin_kotlin.$_$.y1;
+  var THROW_CCE = kotlin_kotlin.$_$.vb;
+  var contains = kotlin_kotlin.$_$.s2;
+  var Companion_getInstance_0 = kotlin_it_unibo_tuprolog_core.$_$.r;
+  var map = kotlin_kotlin.$_$.q8;
   var Operator = kotlin_it_unibo_tuprolog_core.$_$.n1;
   var List = kotlin_it_unibo_tuprolog_core.$_$.v1;
-  var toString = kotlin_kotlin.$_$.x6;
-  var coerceAtLeast = kotlin_kotlin.$_$.i7;
+  var toString_0 = kotlin_kotlin.$_$.z6;
+  var coerceAtLeast = kotlin_kotlin.$_$.k7;
   var isRecognitionException = kotlin_it_unibo_tuprolog_parser_js.$_$.b;
   var isParseCancellationException = kotlin_it_unibo_tuprolog_parser_js.$_$.a;
-  var generateSequence = kotlin_kotlin.$_$.h8;
-  var takeWhile = kotlin_kotlin.$_$.x8;
-  var to = kotlin_kotlin.$_$.fc;
-  var Companion_getInstance_3 = kotlin_io_github_gciatto_kt_math.$_$.e;
-  var charSequenceGet = kotlin_kotlin.$_$.r5;
-  var Char__toInt_impl_vasixd = kotlin_kotlin.$_$.k1;
-  var contains_0 = kotlin_kotlin.$_$.k9;
-  var plus = kotlin_kotlin.$_$.ac;
-  var ArrayList_init_$Create$ = kotlin_kotlin.$_$.e;
-  var IllegalStateException_init_$Create$ = kotlin_kotlin.$_$.v;
-  var listOf = kotlin_kotlin.$_$.o3;
-  var asList = kotlin_kotlin.$_$.g2;
-  var plus_0 = kotlin_kotlin.$_$.h4;
-  var collectionSizeOrDefault = kotlin_kotlin.$_$.n2;
-  var toList = kotlin_kotlin.$_$.v4;
-  var flatMap = kotlin_kotlin.$_$.f8;
-  var asSequence = kotlin_kotlin.$_$.k2;
-  var toList_0 = kotlin_kotlin.$_$.b9;
-  var sequenceOf = kotlin_kotlin.$_$.u8;
-  var asSequence_0 = kotlin_kotlin.$_$.l2;
-  var plus_1 = kotlin_kotlin.$_$.s8;
-  var IllegalArgumentException_init_$Create$ = kotlin_kotlin.$_$.t;
+  var generateSequence = kotlin_kotlin.$_$.j8;
+  var takeWhile = kotlin_kotlin.$_$.z8;
+  var to = kotlin_kotlin.$_$.hc;
+  var Companion_getInstance_1 = kotlin_io_github_gciatto_kt_math.$_$.e;
+  var charSequenceGet = kotlin_kotlin.$_$.t5;
+  var Char__toInt_impl_vasixd = kotlin_kotlin.$_$.n1;
+  var contains_0 = kotlin_kotlin.$_$.m9;
+  var plus = kotlin_kotlin.$_$.cc;
+  var ArrayList_init_$Create$ = kotlin_kotlin.$_$.f;
+  var IllegalStateException_init_$Create$ = kotlin_kotlin.$_$.y;
+  var listOf = kotlin_kotlin.$_$.r3;
+  var asList = kotlin_kotlin.$_$.j2;
+  var plus_0 = kotlin_kotlin.$_$.k4;
+  var collectionSizeOrDefault = kotlin_kotlin.$_$.q2;
+  var toList = kotlin_kotlin.$_$.x4;
+  var flatMap = kotlin_kotlin.$_$.h8;
+  var asSequence = kotlin_kotlin.$_$.n2;
+  var toList_0 = kotlin_kotlin.$_$.d9;
+  var sequenceOf = kotlin_kotlin.$_$.w8;
+  var asSequence_0 = kotlin_kotlin.$_$.o2;
+  var plus_1 = kotlin_kotlin.$_$.u8;
+  var IllegalArgumentException_init_$Create$ = kotlin_kotlin.$_$.v;
   var Term = kotlin_it_unibo_tuprolog_core.$_$.y2;
-  var Companion_getInstance_4 = kotlin_it_unibo_tuprolog_core.$_$.x;
-  var Companion_getInstance_5 = kotlin_it_unibo_tuprolog_core.$_$.a1;
-  var NumberFormatException = kotlin_kotlin.$_$.qb;
+  var Companion_getInstance_2 = kotlin_it_unibo_tuprolog_core.$_$.x;
+  var Companion_getInstance_3 = kotlin_it_unibo_tuprolog_core.$_$.a1;
+  var NumberFormatException = kotlin_kotlin.$_$.sb;
   //endregion
   //region block: pre-declaration
   setMetadataFor(ParseException, 'ParseException', classMeta, TuPrologException);
   setMetadataFor(InvalidTermTypeException, 'InvalidTermTypeException', classMeta, ParseException);
   setMetadataFor(Companion, 'Companion', objectMeta);
   function parseTerm(input) {
-    return this.parseTermWithOperators(input, this.x3g());
+    return this.parseTermWithOperators(input, this.a3i());
   }
   function parseStructWithOperators(input, operators) {
-    var tmp$ret$2;
     // Inline function 'it.unibo.tuprolog.core.parsing.Companion.parseAs' call
-    var tmp1_parseAs = Companion_getInstance_6();
-    var tmp$ret$1;
     // Inline function 'kotlin.let' call
-    var tmp0_let = this.parseTermWithOperators(input, operators);
     // Inline function 'kotlin.contracts.contract' call
-    var tmp$ret$0;
     // Inline function 'it.unibo.tuprolog.core.parsing.Companion.parseAs.<anonymous>' call
-    var tmp0_elvis_lhs = isInterface(tmp0_let, Struct) ? tmp0_let : null;
+    var it = this.parseTermWithOperators(input, operators);
+    var tmp0_elvis_lhs = isInterface(it, Struct) ? it : null;
     var tmp;
     if (tmp0_elvis_lhs == null) {
-      throw new InvalidTermTypeException(input, tmp0_let, getKClass(Struct));
+      throw new InvalidTermTypeException(input, it, getKClass(Struct));
     } else {
       tmp = tmp0_elvis_lhs;
     }
-    tmp$ret$0 = tmp;
-    tmp$ret$1 = tmp$ret$0;
-    tmp$ret$2 = tmp$ret$1;
-    return tmp$ret$2;
+    return tmp;
   }
   function parseStruct(input) {
-    return this.parseStructWithOperators(input, this.x3g());
+    return this.parseStructWithOperators(input, this.a3i());
   }
   function parseConstantWithOperators(input, operators) {
-    var tmp$ret$2;
     // Inline function 'it.unibo.tuprolog.core.parsing.Companion.parseAs' call
-    var tmp1_parseAs = Companion_getInstance_6();
-    var tmp$ret$1;
     // Inline function 'kotlin.let' call
-    var tmp0_let = this.parseTermWithOperators(input, operators);
     // Inline function 'kotlin.contracts.contract' call
-    var tmp$ret$0;
     // Inline function 'it.unibo.tuprolog.core.parsing.Companion.parseAs.<anonymous>' call
-    var tmp0_elvis_lhs = isInterface(tmp0_let, Constant) ? tmp0_let : null;
+    var it = this.parseTermWithOperators(input, operators);
+    var tmp0_elvis_lhs = isInterface(it, Constant) ? it : null;
     var tmp;
     if (tmp0_elvis_lhs == null) {
-      throw new InvalidTermTypeException(input, tmp0_let, getKClass(Constant));
+      throw new InvalidTermTypeException(input, it, getKClass(Constant));
     } else {
       tmp = tmp0_elvis_lhs;
     }
-    tmp$ret$0 = tmp;
-    tmp$ret$1 = tmp$ret$0;
-    tmp$ret$2 = tmp$ret$1;
-    return tmp$ret$2;
+    return tmp;
   }
   function parseConstant(input) {
-    return this.parseConstantWithOperators(input, this.x3g());
+    return this.parseConstantWithOperators(input, this.a3i());
   }
   function parseVarWithOperators(input, operators) {
-    var tmp$ret$2;
     // Inline function 'it.unibo.tuprolog.core.parsing.Companion.parseAs' call
-    var tmp1_parseAs = Companion_getInstance_6();
-    var tmp$ret$1;
     // Inline function 'kotlin.let' call
-    var tmp0_let = this.parseTermWithOperators(input, operators);
     // Inline function 'kotlin.contracts.contract' call
-    var tmp$ret$0;
     // Inline function 'it.unibo.tuprolog.core.parsing.Companion.parseAs.<anonymous>' call
-    var tmp0_elvis_lhs = isInterface(tmp0_let, Var) ? tmp0_let : null;
+    var it = this.parseTermWithOperators(input, operators);
+    var tmp0_elvis_lhs = isInterface(it, Var) ? it : null;
     var tmp;
     if (tmp0_elvis_lhs == null) {
-      throw new InvalidTermTypeException(input, tmp0_let, getKClass(Var));
+      throw new InvalidTermTypeException(input, it, getKClass(Var));
     } else {
       tmp = tmp0_elvis_lhs;
     }
-    tmp$ret$0 = tmp;
-    tmp$ret$1 = tmp$ret$0;
-    tmp$ret$2 = tmp$ret$1;
-    return tmp$ret$2;
+    return tmp;
   }
   function parseVar(input) {
-    return this.parseVarWithOperators(input, this.x3g());
+    return this.parseVarWithOperators(input, this.a3i());
   }
   function parseAtomWithOperators(input, operators) {
-    var tmp$ret$2;
     // Inline function 'it.unibo.tuprolog.core.parsing.Companion.parseAs' call
-    var tmp1_parseAs = Companion_getInstance_6();
-    var tmp$ret$1;
     // Inline function 'kotlin.let' call
-    var tmp0_let = this.parseTermWithOperators(input, operators);
     // Inline function 'kotlin.contracts.contract' call
-    var tmp$ret$0;
     // Inline function 'it.unibo.tuprolog.core.parsing.Companion.parseAs.<anonymous>' call
-    var tmp0_elvis_lhs = isInterface(tmp0_let, Atom) ? tmp0_let : null;
+    var it = this.parseTermWithOperators(input, operators);
+    var tmp0_elvis_lhs = isInterface(it, Atom) ? it : null;
     var tmp;
     if (tmp0_elvis_lhs == null) {
-      throw new InvalidTermTypeException(input, tmp0_let, getKClass(Atom));
+      throw new InvalidTermTypeException(input, it, getKClass(Atom));
     } else {
       tmp = tmp0_elvis_lhs;
     }
-    tmp$ret$0 = tmp;
-    tmp$ret$1 = tmp$ret$0;
-    tmp$ret$2 = tmp$ret$1;
-    return tmp$ret$2;
+    return tmp;
   }
   function parseAtom(input) {
-    return this.parseAtomWithOperators(input, this.x3g());
+    return this.parseAtomWithOperators(input, this.a3i());
   }
   function parseNumericWithOperators(input, operators) {
-    var tmp$ret$2;
     // Inline function 'it.unibo.tuprolog.core.parsing.Companion.parseAs' call
-    var tmp1_parseAs = Companion_getInstance_6();
-    var tmp$ret$1;
     // Inline function 'kotlin.let' call
-    var tmp0_let = this.parseTermWithOperators(input, operators);
     // Inline function 'kotlin.contracts.contract' call
-    var tmp$ret$0;
     // Inline function 'it.unibo.tuprolog.core.parsing.Companion.parseAs.<anonymous>' call
-    var tmp0_elvis_lhs = isInterface(tmp0_let, Numeric) ? tmp0_let : null;
+    var it = this.parseTermWithOperators(input, operators);
+    var tmp0_elvis_lhs = isInterface(it, Numeric) ? it : null;
     var tmp;
     if (tmp0_elvis_lhs == null) {
-      throw new InvalidTermTypeException(input, tmp0_let, getKClass(Numeric));
+      throw new InvalidTermTypeException(input, it, getKClass(Numeric));
     } else {
       tmp = tmp0_elvis_lhs;
     }
-    tmp$ret$0 = tmp;
-    tmp$ret$1 = tmp$ret$0;
-    tmp$ret$2 = tmp$ret$1;
-    return tmp$ret$2;
+    return tmp;
   }
   function parseNumeric(input) {
-    return this.parseNumericWithOperators(input, this.x3g());
+    return this.parseNumericWithOperators(input, this.a3i());
   }
   function parseIntegerWithOperators(input, operators) {
-    var tmp$ret$2;
     // Inline function 'it.unibo.tuprolog.core.parsing.Companion.parseAs' call
-    var tmp1_parseAs = Companion_getInstance_6();
-    var tmp$ret$1;
     // Inline function 'kotlin.let' call
-    var tmp0_let = this.parseTermWithOperators(input, operators);
     // Inline function 'kotlin.contracts.contract' call
-    var tmp$ret$0;
     // Inline function 'it.unibo.tuprolog.core.parsing.Companion.parseAs.<anonymous>' call
-    var tmp0_elvis_lhs = isInterface(tmp0_let, Integer) ? tmp0_let : null;
+    var it = this.parseTermWithOperators(input, operators);
+    var tmp0_elvis_lhs = isInterface(it, Integer) ? it : null;
     var tmp;
     if (tmp0_elvis_lhs == null) {
-      throw new InvalidTermTypeException(input, tmp0_let, getKClass(Integer));
+      throw new InvalidTermTypeException(input, it, getKClass(Integer));
     } else {
       tmp = tmp0_elvis_lhs;
     }
-    tmp$ret$0 = tmp;
-    tmp$ret$1 = tmp$ret$0;
-    tmp$ret$2 = tmp$ret$1;
-    return tmp$ret$2;
+    return tmp;
   }
   function parseInteger(input) {
-    return this.parseIntegerWithOperators(input, this.x3g());
+    return this.parseIntegerWithOperators(input, this.a3i());
   }
   function parseRealWithOperators(input, operators) {
-    var tmp$ret$2;
     // Inline function 'it.unibo.tuprolog.core.parsing.Companion.parseAs' call
-    var tmp1_parseAs = Companion_getInstance_6();
-    var tmp$ret$1;
     // Inline function 'kotlin.let' call
-    var tmp0_let = this.parseTermWithOperators(input, operators);
     // Inline function 'kotlin.contracts.contract' call
-    var tmp$ret$0;
     // Inline function 'it.unibo.tuprolog.core.parsing.Companion.parseAs.<anonymous>' call
-    var tmp0_elvis_lhs = isInterface(tmp0_let, Real) ? tmp0_let : null;
+    var it = this.parseTermWithOperators(input, operators);
+    var tmp0_elvis_lhs = isInterface(it, Real) ? it : null;
     var tmp;
     if (tmp0_elvis_lhs == null) {
-      throw new InvalidTermTypeException(input, tmp0_let, getKClass(Real));
+      throw new InvalidTermTypeException(input, it, getKClass(Real));
     } else {
       tmp = tmp0_elvis_lhs;
     }
-    tmp$ret$0 = tmp;
-    tmp$ret$1 = tmp$ret$0;
-    tmp$ret$2 = tmp$ret$1;
-    return tmp$ret$2;
+    return tmp;
   }
   function parseReal(input) {
-    return this.parseRealWithOperators(input, this.x3g());
+    return this.parseRealWithOperators(input, this.a3i());
   }
   function parseClauseWithOperators(input, operators) {
-    var tmp$ret$2;
     // Inline function 'it.unibo.tuprolog.core.parsing.Companion.parseAs' call
-    var tmp1_parseAs = Companion_getInstance_6();
-    var tmp$ret$1;
     // Inline function 'kotlin.let' call
-    var tmp0_let = this.parseTermWithOperators(input, operators);
     // Inline function 'kotlin.contracts.contract' call
-    var tmp$ret$0;
     // Inline function 'it.unibo.tuprolog.core.parsing.Companion.parseAs.<anonymous>' call
-    var tmp0_elvis_lhs = isInterface(tmp0_let, Clause) ? tmp0_let : null;
+    var it = this.parseTermWithOperators(input, operators);
+    var tmp0_elvis_lhs = isInterface(it, Clause) ? it : null;
     var tmp;
     if (tmp0_elvis_lhs == null) {
-      throw new InvalidTermTypeException(input, tmp0_let, getKClass(Clause));
+      throw new InvalidTermTypeException(input, it, getKClass(Clause));
     } else {
       tmp = tmp0_elvis_lhs;
     }
-    tmp$ret$0 = tmp;
-    tmp$ret$1 = tmp$ret$0;
-    tmp$ret$2 = tmp$ret$1;
-    return tmp$ret$2;
+    return tmp;
   }
   function parseClause(input) {
-    return this.parseClauseWithOperators(input, this.x3g());
+    return this.parseClauseWithOperators(input, this.a3i());
   }
   function parseRuleWithOperators(input, operators) {
-    var tmp$ret$2;
     // Inline function 'it.unibo.tuprolog.core.parsing.Companion.parseAs' call
-    var tmp1_parseAs = Companion_getInstance_6();
-    var tmp$ret$1;
     // Inline function 'kotlin.let' call
-    var tmp0_let = this.parseTermWithOperators(input, operators);
     // Inline function 'kotlin.contracts.contract' call
-    var tmp$ret$0;
     // Inline function 'it.unibo.tuprolog.core.parsing.Companion.parseAs.<anonymous>' call
-    var tmp0_elvis_lhs = isInterface(tmp0_let, Rule) ? tmp0_let : null;
+    var it = this.parseTermWithOperators(input, operators);
+    var tmp0_elvis_lhs = isInterface(it, Rule) ? it : null;
     var tmp;
     if (tmp0_elvis_lhs == null) {
-      throw new InvalidTermTypeException(input, tmp0_let, getKClass(Rule));
+      throw new InvalidTermTypeException(input, it, getKClass(Rule));
     } else {
       tmp = tmp0_elvis_lhs;
     }
-    tmp$ret$0 = tmp;
-    tmp$ret$1 = tmp$ret$0;
-    tmp$ret$2 = tmp$ret$1;
-    return tmp$ret$2;
+    return tmp;
   }
   function parseRule(input) {
-    return this.parseRuleWithOperators(input, this.x3g());
+    return this.parseRuleWithOperators(input, this.a3i());
   }
   function parseFactWithOperators(input, operators) {
-    var tmp$ret$2;
     // Inline function 'it.unibo.tuprolog.core.parsing.Companion.parseAs' call
-    var tmp1_parseAs = Companion_getInstance_6();
-    var tmp$ret$1;
     // Inline function 'kotlin.let' call
-    var tmp0_let = this.parseTermWithOperators(input, operators);
     // Inline function 'kotlin.contracts.contract' call
-    var tmp$ret$0;
     // Inline function 'it.unibo.tuprolog.core.parsing.Companion.parseAs.<anonymous>' call
-    var tmp0_elvis_lhs = isInterface(tmp0_let, Fact) ? tmp0_let : null;
+    var it = this.parseTermWithOperators(input, operators);
+    var tmp0_elvis_lhs = isInterface(it, Fact) ? it : null;
     var tmp;
     if (tmp0_elvis_lhs == null) {
-      throw new InvalidTermTypeException(input, tmp0_let, getKClass(Fact));
+      throw new InvalidTermTypeException(input, it, getKClass(Fact));
     } else {
       tmp = tmp0_elvis_lhs;
     }
-    tmp$ret$0 = tmp;
-    tmp$ret$1 = tmp$ret$0;
-    tmp$ret$2 = tmp$ret$1;
-    return tmp$ret$2;
+    return tmp;
   }
   function parseFact(input) {
-    return this.parseFactWithOperators(input, this.x3g());
+    return this.parseFactWithOperators(input, this.a3i());
   }
   function parseDirectiveWithOperators(input, operators) {
-    var tmp$ret$2;
     // Inline function 'it.unibo.tuprolog.core.parsing.Companion.parseAs' call
-    var tmp1_parseAs = Companion_getInstance_6();
-    var tmp$ret$1;
     // Inline function 'kotlin.let' call
-    var tmp0_let = this.parseTermWithOperators(input, operators);
     // Inline function 'kotlin.contracts.contract' call
-    var tmp$ret$0;
     // Inline function 'it.unibo.tuprolog.core.parsing.Companion.parseAs.<anonymous>' call
-    var tmp0_elvis_lhs = isInterface(tmp0_let, Directive) ? tmp0_let : null;
+    var it = this.parseTermWithOperators(input, operators);
+    var tmp0_elvis_lhs = isInterface(it, Directive) ? it : null;
     var tmp;
     if (tmp0_elvis_lhs == null) {
-      throw new InvalidTermTypeException(input, tmp0_let, getKClass(Directive));
+      throw new InvalidTermTypeException(input, it, getKClass(Directive));
     } else {
       tmp = tmp0_elvis_lhs;
     }
-    tmp$ret$0 = tmp;
-    tmp$ret$1 = tmp$ret$0;
-    tmp$ret$2 = tmp$ret$1;
-    return tmp$ret$2;
+    return tmp;
   }
   function parseDirective(input) {
-    return this.parseDirectiveWithOperators(input, this.x3g());
+    return this.parseDirectiveWithOperators(input, this.a3i());
   }
   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);
+  setMetadataFor(PrologVisitor, 'PrologVisitor', classMeta, PrologParserVisitor, VOID, PrologVisitor);
   setMetadataFor(TermParserImpl, 'TermParserImpl', classMeta, VOID, [TermParser]);
   //endregion
   function InvalidTermTypeException(input, term, type, offendingSymbol, line, column, message, throwable) {
@@ -413,12 +337,12 @@
     offendingSymbol = tmp;
     line = line === VOID ? 1 : line;
     column = column === VOID ? 1 : column;
-    message = message === VOID ? 'Expected ' + type.md() + ', got: ' + offendingSymbol : message;
+    message = message === VOID ? 'Expected ' + type.s6() + ', got: ' + offendingSymbol : message;
     throwable = throwable === VOID ? null : throwable;
     ParseException.call(this, input, offendingSymbol, line, column, message, throwable);
     captureStack(this, InvalidTermTypeException);
-    this.g3g_1 = term;
-    this.h3g_1 = type;
+    this.j3h_1 = term;
+    this.k3h_1 = type;
   }
   function ParseException(input, offendingSymbol, line, column, message, throwable) {
     TuPrologException_init_$Init$(message, throwable, this);
@@ -429,82 +353,114 @@
     this.column = column;
     this.clauseIndex = -1;
   }
-  protoOf(ParseException).i3g = function (_set____db54di) {
+  protoOf(ParseException).l3h = function (_set____db54di) {
     this.input = _set____db54di;
   };
-  protoOf(ParseException).j3g = function () {
+  protoOf(ParseException).m3h = function () {
     return this.input;
   };
-  protoOf(ParseException).k3g = function (_set____db54di) {
+  protoOf(ParseException).n3h = function (_set____db54di) {
     this.offendingSymbol = _set____db54di;
   };
-  protoOf(ParseException).l3g = function () {
+  protoOf(ParseException).o3h = function () {
     return this.offendingSymbol;
   };
-  protoOf(ParseException).m3g = function (_set____db54di) {
+  protoOf(ParseException).p3h = function (_set____db54di) {
     this.line = _set____db54di;
   };
-  protoOf(ParseException).n3g = function () {
+  protoOf(ParseException).q3h = function () {
     return this.line;
   };
-  protoOf(ParseException).o3g = function (_set____db54di) {
+  protoOf(ParseException).r3h = function (_set____db54di) {
     this.column = _set____db54di;
   };
-  protoOf(ParseException).p3g = function () {
+  protoOf(ParseException).s3h = function () {
     return this.column;
   };
-  protoOf(ParseException).q3g = function (_set____db54di) {
+  protoOf(ParseException).t3h = function (_set____db54di) {
     this.clauseIndex = _set____db54di;
   };
-  protoOf(ParseException).r3g = function () {
+  protoOf(ParseException).u3h = function () {
     return this.clauseIndex;
   };
   protoOf(ParseException).toString = function () {
-    return "ParseException{message='" + replace(ensureNotNull(this.message), '\\n', '\\\\n') + new Char(_Char___init__impl__6a9atx(39)) + ', line=' + this.line + ', column=' + this.column + ", offendingSymbol='" + this.offendingSymbol + new Char(_Char___init__impl__6a9atx(39)) + new Char(_Char___init__impl__6a9atx(125));
+    return "ParseException{message='" + replace(ensureNotNull(this.message), '\\n', '\\\\n') + new Char(_Char___init__impl__6a9atx(39)) + ', line=' + this.line + ', column=' + this.column + ", offendingSymbol='" + this.offendingSymbol + new Char(_Char___init__impl__6a9atx(39)) + toString(_Char___init__impl__6a9atx(125));
   };
+  function get_isOpDirective(_this__u8e3s4) {
+    var tmp;
+    var tmp_0;
+    var tmp_1;
+    var tmp_2;
+    var tmp_3;
+    if (isInterface(_this__u8e3s4, Struct)) {
+      tmp_3 = _this__u8e3s4.kw() === 3;
+    } else {
+      tmp_3 = false;
+    }
+    if (tmp_3) {
+      tmp_2 = _this__u8e3s4.qw() === 'op';
+    } else {
+      tmp_2 = false;
+    }
+    if (tmp_2) {
+      tmp_1 = _this__u8e3s4.ux();
+    } else {
+      tmp_1 = false;
+    }
+    if (tmp_1) {
+      var tmp_4 = _this__u8e3s4.get(0);
+      tmp_0 = isInterface(tmp_4, Numeric);
+    } else {
+      tmp_0 = false;
+    }
+    if (tmp_0) {
+      var tmp_5 = _this__u8e3s4.get(1);
+      tmp = isInterface(tmp_5, Atom);
+    } else {
+      tmp = false;
+    }
+    return tmp;
+  }
   function Companion() {
-    Companion_instance = this;
   }
-  protoOf(Companion).s3g = function (scope) {
-    return this.t3g(Companion_getInstance().EMPTY, scope);
+  protoOf(Companion).v3h = function (scope) {
+    return this.w3h(Companion_getInstance().EMPTY, scope);
   };
   protoOf(Companion).withNoOperator = function (scope, $super) {
-    scope = scope === VOID ? Companion_getInstance_0().empty() : scope;
-    return $super === VOID ? this.s3g(scope) : $super.s3g.call(this, scope);
+    scope = scope === VOID ? Companion_instance.empty() : scope;
+    return $super === VOID ? this.v3h(scope) : $super.v3h.call(this, scope);
   };
-  protoOf(Companion).u3g = function (scope) {
-    return this.t3g(Companion_getInstance().STANDARD, scope);
+  protoOf(Companion).x3h = function (scope) {
+    return this.w3h(Companion_getInstance().STANDARD, scope);
   };
   protoOf(Companion).withStandardOperators = function (scope, $super) {
-    scope = scope === VOID ? Companion_getInstance_0().empty() : scope;
-    return $super === VOID ? this.u3g(scope) : $super.u3g.call(this, scope);
+    scope = scope === VOID ? Companion_instance.empty() : scope;
+    return $super === VOID ? this.x3h(scope) : $super.x3h.call(this, scope);
   };
-  protoOf(Companion).v3g = function (scope) {
-    return this.t3g(Companion_getInstance().DEFAULT, scope);
+  protoOf(Companion).y3h = function (scope) {
+    return this.w3h(Companion_getInstance().DEFAULT, scope);
   };
   protoOf(Companion).withDefaultOperators = function (scope, $super) {
-    scope = scope === VOID ? Companion_getInstance_0().empty() : scope;
-    return $super === VOID ? this.v3g(scope) : $super.v3g.call(this, scope);
+    scope = scope === VOID ? Companion_instance.empty() : scope;
+    return $super === VOID ? this.y3h(scope) : $super.y3h.call(this, scope);
   };
-  protoOf(Companion).t3g = function (operators, scope) {
+  protoOf(Companion).w3h = function (operators, scope) {
     return termParserWithOperators(operators, scope);
   };
   protoOf(Companion).withOperatorSet = function (operators, scope, $super) {
-    scope = scope === VOID ? Companion_getInstance_0().empty() : scope;
-    return $super === VOID ? this.t3g(operators, scope) : $super.t3g.call(this, operators, scope);
+    scope = scope === VOID ? Companion_instance.empty() : scope;
+    return $super === VOID ? this.w3h(operators, scope) : $super.w3h.call(this, operators, scope);
   };
-  protoOf(Companion).w3g = function (operators, scope) {
-    return this.t3g(OperatorSet_init_$Create$(operators.slice()), scope);
+  protoOf(Companion).z3h = function (operators, scope) {
+    return this.w3h(OperatorSet_init_$Create$(operators.slice()), scope);
   };
   protoOf(Companion).withOperators = function (operators, scope, $super) {
-    scope = scope === VOID ? Companion_getInstance_0().empty() : scope;
-    return $super === VOID ? this.w3g(operators, scope) : $super.w3g.call(this, operators, scope);
+    scope = scope === VOID ? Companion_instance.empty() : scope;
+    return $super === VOID ? this.z3h(operators, scope) : $super.z3h.call(this, operators, scope);
   };
-  var Companion_instance;
-  function Companion_getInstance_6() {
-    if (Companion_instance == null)
-      new Companion();
-    return Companion_instance;
+  var Companion_instance_1;
+  function Companion_getInstance_4() {
+    return Companion_instance_1;
   }
   function TermParser() {
   }
@@ -512,13 +468,12 @@
     source = source === VOID ? null : source;
     line = line === VOID ? 0 : line;
     column = column === VOID ? 0 : column;
-    var tmp0_subject = _this__u8e3s4;
     var tmp;
-    if (isInterface(tmp0_subject, Clause)) {
+    if (isInterface(_this__u8e3s4, Clause)) {
       tmp = _this__u8e3s4;
     } else {
-      if (isInterface(tmp0_subject, Struct)) {
-        tmp = Companion_getInstance_1().of(_this__u8e3s4);
+      if (isInterface(_this__u8e3s4, Struct)) {
+        tmp = Companion_instance_0.of(_this__u8e3s4);
       } else {
         throw new InvalidTermTypeException(source, _this__u8e3s4, getKClass(Clause), VOID, line, column);
       }
@@ -532,43 +487,39 @@
     return get_defaultParser().parseStruct(input);
   }
   function get_defaultParser() {
-    return Companion_getInstance_6().withDefaultOperators();
+    return Companion_instance_1.withDefaultOperators();
   }
   function toAssociativity(_this__u8e3s4) {
     return _this__u8e3s4.toString();
   }
   function DynamicOpListener$Companion$of$lambda($this$$receiver, it) {
-    return Unit_getInstance();
+    return Unit_instance;
   }
   function onOperatorDefined($this, operator) {
-    $this.y3g_1.addOperator(operator.q1h_1, toAssociativity(operator.r1h_1), operator.s1h_1);
-    $this.z3g_1($this.y3g_1, operator);
+    $this.b3i_1.addOperator(operator.p1i_1, toAssociativity(operator.q1i_1), operator.r1i_1);
+    $this.c3i_1($this.b3i_1, operator);
   }
   function Companion_0() {
-    Companion_instance_0 = this;
   }
-  protoOf(Companion_0).a3h = function (parser) {
+  protoOf(Companion_0).d3i = function (parser) {
     return new DynamicOpListener(parser, DynamicOpListener$Companion$of$lambda);
   };
-  var Companion_instance_0;
-  function Companion_getInstance_7() {
-    if (Companion_instance_0 == null)
-      new Companion_0();
-    return Companion_instance_0;
+  var Companion_instance_2;
+  function Companion_getInstance_5() {
+    return Companion_instance_2;
   }
   function DynamicOpListener$exitClause$lambda(it) {
     return isInterface(it, Atom) ? it : THROW_CCE();
   }
   function DynamicOpListener(parser, operatorDefinedCallback) {
-    Companion_getInstance_7();
     PrologParserListener.call(this);
-    this.y3g_1 = parser;
-    this.z3g_1 = operatorDefinedCallback;
+    this.b3i_1 = parser;
+    this.c3i_1 = operatorDefinedCallback;
   }
-  protoOf(DynamicOpListener).b3h = function (ctx) {
+  protoOf(DynamicOpListener).e3i = function (ctx) {
     var expr = ctx.expression();
     if (ctx.exception != null) {
-      return Unit_getInstance();
+      return Unit_instance;
     }
     var tmp;
     var tmp_0;
@@ -587,67 +538,28 @@
     if (tmp) {
       var tmp_1 = ctx.accept(new PrologVisitor());
       var directive = isInterface(tmp_1, Directive) ? tmp_1 : THROW_CCE();
-      var op = directive.tx();
-      var tmp_2;
-      var tmp_3;
-      var tmp_4;
-      var tmp_5;
-      var tmp_6;
-      if (isInterface(op, Struct)) {
-        tmp_6 = op.qv() === 3;
-      } else {
-        tmp_6 = false;
-      }
-      if (tmp_6) {
-        tmp_5 = op.wv() === 'op';
-      } else {
-        tmp_5 = false;
-      }
-      if (tmp_5) {
-        var tmp_7 = op.get(0);
-        tmp_4 = isInterface(tmp_7, Numeric);
-      } else {
-        tmp_4 = false;
-      }
-      if (tmp_4) {
-        var tmp_8 = op.get(1);
-        tmp_3 = isInterface(tmp_8, Atom);
-      } else {
-        tmp_3 = false;
-      }
-      if (tmp_3) {
-        tmp_2 = op.rw();
-      } else {
-        tmp_2 = false;
-      }
-      if (tmp_2) {
-        var tmp$ret$1;
+      var op = directive.xy();
+      if (get_isOpDirective(op)) {
         // Inline function 'kotlin.math.min' call
-        var tmp$ret$0;
         // Inline function 'kotlin.math.max' call
-        var tmp_9 = op.get(0);
-        var tmp0_max = (isInterface(tmp_9, Numeric) ? tmp_9 : THROW_CCE()).az().toInt();
-        tmp$ret$0 = Math.max(0, tmp0_max);
-        var tmp1_min = tmp$ret$0;
-        tmp$ret$1 = Math.min(1200, tmp1_min);
-        var priority = tmp$ret$1;
-        var specifier = Companion_getInstance_2().fromTerm(op.get(1));
+        var tmp_2 = (isInterface(op, Struct) ? op : THROW_CCE()).get(0);
+        var b = (isInterface(tmp_2, Numeric) ? tmp_2 : THROW_CCE()).y10().toInt();
+        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.b1(), specifier, priority));
+          onOperatorDefined(this, new Operator(operator.r2(), specifier, priority));
         } else {
           if (isInterface(operator, List)) {
             var tmp$ret$3;
             $l$block: {
               // Inline function 'kotlin.sequences.all' call
-              var tmp2_all = operator.au();
-              var tmp0_iterator = tmp2_all.j();
-              while (tmp0_iterator.m()) {
-                var element = tmp0_iterator.n();
-                var tmp$ret$2;
+              var tmp0_iterator = operator.uu().r();
+              while (tmp0_iterator.s()) {
+                var element = tmp0_iterator.u();
                 // Inline function 'it.unibo.tuprolog.core.parsing.DynamicOpListener.exitClause.<anonymous>' call
-                tmp$ret$2 = isInterface(element, Atom);
-                if (!tmp$ret$2) {
+                if (!isInterface(element, Atom)) {
                   tmp$ret$3 = false;
                   break $l$block;
                 }
@@ -655,11 +567,11 @@
               tmp$ret$3 = true;
             }
             if (tmp$ret$3) {
-              var tmp_10 = operator.au();
-              var tmp2_iterator = map(tmp_10, DynamicOpListener$exitClause$lambda).j();
-              while (tmp2_iterator.m()) {
-                var it = tmp2_iterator.n();
-                onOperatorDefined(this, new Operator(it.b1(), specifier, priority));
+              var tmp_3 = operator.uu();
+              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));
               }
             }
           }
@@ -668,7 +580,7 @@
     }
   };
   protoOf(DynamicOpListener).exitClause = function (ctx) {
-    return this.b3h(ctx);
+    return this.e3i(ctx);
   };
   function parseException(token, message) {
     return new ParseException(null, token.text, token.line, token.column, message, null);
@@ -678,7 +590,7 @@
     if (obj instanceof Token) {
       tmp = obj.text;
     } else {
-      tmp = toString(obj);
+      tmp = toString_0(obj);
     }
     return tmp;
   }
@@ -688,7 +600,7 @@
   function parseExpression($this, parserAndErrorStrategy, source) {
     var mark = -1;
     var index = -1;
-    var parser = parserAndErrorStrategy.k4_1;
+    var parser = parserAndErrorStrategy.ye_1;
     var tmp;
     try {
       mark = parser.getTokenStream().mark();
@@ -696,23 +608,21 @@
       tmp = parser.singletonExpression();
     } catch ($p) {
       var tmp_0;
-      {
-        var e = $p;
-        var tmp_1;
-        if (isParseCancellationException(e) ? parser._interp.predictionMode === PredictionMode.SLL : false) {
-          parser.getTokenStream().seek(index);
-          parser._interp.predictionMode = PredictionMode.LL;
-          parser._errHandler = parserAndErrorStrategy.l4_1;
-          parser.addErrorListener(newErrorListener($this, source));
-          tmp_1 = parseExpression($this, parserAndErrorStrategy, source);
-        } else if (e.clause !== null ? isRecognitionException(e.cause) : false) {
-          var tmp_2 = e.cause;
-          throw tmp_2 instanceof RecognitionException ? tmp_2 : THROW_CCE();
-        } else {
-          throw e instanceof Error ? e : THROW_CCE();
-        }
-        tmp_0 = tmp_1;
+      var e = $p;
+      var tmp_1;
+      if (isParseCancellationException(e) ? parser._interp.predictionMode === PredictionMode.SLL : false) {
+        parser.getTokenStream().seek(index);
+        parser._interp.predictionMode = PredictionMode.LL;
+        parser._errHandler = parserAndErrorStrategy.ze_1;
+        parser.addErrorListener(newErrorListener($this, source));
+        tmp_1 = parseExpression($this, parserAndErrorStrategy, source);
+      } else if (e.clause !== null ? isRecognitionException(e.cause) : false) {
+        var tmp_2 = e.cause;
+        throw tmp_2 instanceof RecognitionException ? tmp_2 : THROW_CCE();
+      } else {
+        throw e instanceof Error ? e : THROW_CCE();
       }
+      tmp_0 = tmp_1;
       tmp = tmp_0;
     }
     finally {
@@ -723,7 +633,7 @@
   function parseClause_0($this, parserAndErrorStrategy, source) {
     var mark = -1;
     var index = -1;
-    var parser = parserAndErrorStrategy.k4_1;
+    var parser = parserAndErrorStrategy.ye_1;
     var tmp;
     try {
       mark = parser.getTokenStream().mark();
@@ -731,23 +641,21 @@
       tmp = parser.optClause();
     } catch ($p) {
       var tmp_0;
-      {
-        var e = $p;
-        var tmp_1;
-        if (isParseCancellationException(e) ? parser._interp.predictionMode === PredictionMode.SLL : false) {
-          parser.getTokenStream().seek(index);
-          parser._interp.predictionMode = PredictionMode.LL;
-          parser._errHandler = parserAndErrorStrategy.l4_1;
-          parser.addErrorListener(newErrorListener($this, source));
-          tmp_1 = parseClause_0($this, parserAndErrorStrategy, source);
-        } else if (e.clause !== null ? isRecognitionException(e.cause) : false) {
-          var tmp_2 = e.cause;
-          throw tmp_2 instanceof RecognitionException ? tmp_2 : THROW_CCE();
-        } else {
-          throw e instanceof Error ? e : THROW_CCE();
-        }
-        tmp_0 = tmp_1;
+      var e = $p;
+      var tmp_1;
+      if (isParseCancellationException(e) ? parser._interp.predictionMode === PredictionMode.SLL : false) {
+        parser.getTokenStream().seek(index);
+        parser._interp.predictionMode = PredictionMode.LL;
+        parser._errHandler = parserAndErrorStrategy.ze_1;
+        parser.addErrorListener(newErrorListener($this, source));
+        tmp_1 = parseClause_0($this, parserAndErrorStrategy, source);
+      } else if (e.clause !== null ? isRecognitionException(e.cause) : false) {
+        var tmp_2 = e.cause;
+        throw tmp_2 instanceof RecognitionException ? tmp_2 : THROW_CCE();
+      } else {
+        throw e instanceof Error ? e : THROW_CCE();
       }
+      tmp_0 = tmp_1;
       tmp = tmp_0;
     }
     finally {
@@ -762,13 +670,13 @@
     return map(tmp_1, PrologParserFactory$parseClauses$lambda_2);
   }
   function PrologParserFactory$newErrorListener$1($whileParsing) {
-    this.c3h_1 = $whileParsing;
+    this.f3i_1 = $whileParsing;
   }
   protoOf(PrologParserFactory$newErrorListener$1).syntaxError = function (recognizer, offendingSymbol, line, column, msg, e) {
     if (recognizer instanceof PrologParser) {
       recognizer.removeParseListeners();
     }
-    throw new ParseException(this.c3h_1, symbolToString(this, offendingSymbol), line, column + 1 | 0, msg, e);
+    throw new ParseException(this.f3i_1, symbolToString(this, offendingSymbol), line, column + 1 | 0, msg, e);
   };
   function PrologParserFactory$parseClauses$lambda(it) {
     return it + 1 | 0;
@@ -777,7 +685,7 @@
     return function (it) {
       var tmp;
       try {
-        tmp = parseClause_0(PrologParserFactory_getInstance(), $parser, $source);
+        tmp = parseClause_0(PrologParserFactory_instance, $parser, $source);
       } catch ($p) {
         var tmp_0;
         if ($p instanceof ParseException) {
@@ -787,7 +695,6 @@
         } else {
           throw $p;
         }
-        tmp = tmp_0;
       }
       return tmp;
     };
@@ -799,17 +706,16 @@
     return it.clause();
   }
   function PrologParserFactory() {
-    PrologParserFactory_instance = this;
   }
-  protoOf(PrologParserFactory).d3h = function (string, withOperators) {
-    var parser = this.e3h(string, withOperators);
+  protoOf(PrologParserFactory).g3i = function (string, withOperators) {
+    var parser = this.h3i(string, withOperators);
     return parseExpression(this, parser, string);
   };
-  protoOf(PrologParserFactory).f3h = function (source, withOperators) {
-    var parser = this.e3h(source, withOperators);
+  protoOf(PrologParserFactory).i3i = function (source, withOperators) {
+    var parser = this.h3i(source, withOperators);
     return parseClauses(this, parser, source);
   };
-  protoOf(PrologParserFactory).e3h = function (source, operators) {
+  protoOf(PrologParserFactory).h3i = function (source, operators) {
     var stream = new InputStream(source);
     var lexer = new PrologLexer(stream);
     lexer.removeErrorListeners();
@@ -819,23 +725,21 @@
     var originalErrorStrategy = parser._errHandler;
     parser._errHandler = new BailErrorStrategy();
     parser._interp.predictionMode = PredictionMode.SLL;
-    return to(this.g3h(parser, operators), originalErrorStrategy);
+    return to(this.j3i(parser, operators), originalErrorStrategy);
   };
-  protoOf(PrologParserFactory).g3h = function (prologParser, operators) {
+  protoOf(PrologParserFactory).j3i = function (prologParser, operators) {
     // Inline function 'kotlin.collections.forEach' call
-    var tmp0_iterator = operators.j();
-    while (tmp0_iterator.m()) {
-      var element = tmp0_iterator.n();
+    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.q1h_1, toAssociativity(element.r1h_1), element.s1h_1);
+      prologParser.addOperator(element.p1i_1, toAssociativity(element.q1i_1), element.r1i_1);
     }
-    prologParser.addParseListener(Companion_getInstance_7().a3h(prologParser));
+    prologParser.addParseListener(Companion_instance_2.d3i(prologParser));
     return prologParser;
   };
   var PrologParserFactory_instance;
   function PrologParserFactory_getInstance() {
-    if (PrologParserFactory_instance == null)
-      new PrologParserFactory();
     return PrologParserFactory_instance;
   }
   function parseInteger_0($this, ctx) {
@@ -844,65 +748,44 @@
     var clean;
     if (ctx.isBin) {
       base = 2;
-      var tmp$ret$1;
       // Inline function 'kotlin.text.substring' call
-      var tmp$ret$0;
       // Inline function 'kotlin.js.asDynamic' call
-      tmp$ret$0 = str;
-      tmp$ret$1 = tmp$ret$0.substring(2);
-      clean = tmp$ret$1;
+      clean = str.substring(2);
     } else if (ctx.isOct) {
       base = 8;
-      var tmp$ret$3;
       // Inline function 'kotlin.text.substring' call
-      var tmp$ret$2;
       // Inline function 'kotlin.js.asDynamic' call
-      tmp$ret$2 = str;
-      tmp$ret$3 = tmp$ret$2.substring(2);
-      clean = tmp$ret$3;
+      clean = str.substring(2);
     } else if (ctx.isHex) {
       base = 16;
-      var tmp$ret$5;
       // Inline function 'kotlin.text.substring' call
-      var tmp$ret$4;
       // Inline function 'kotlin.js.asDynamic' call
-      tmp$ret$4 = str;
-      tmp$ret$5 = tmp$ret$4.substring(2);
-      clean = tmp$ret$5;
+      clean = str.substring(2);
     } else if (ctx.isChar) {
-      var tmp$ret$7;
       // Inline function 'kotlin.text.substring' call
-      var tmp$ret$6;
       // Inline function 'kotlin.js.asDynamic' call
-      tmp$ret$6 = str;
-      tmp$ret$7 = tmp$ret$6.substring(2);
-      clean = tmp$ret$7;
+      clean = str.substring(2);
       if (!(clean.length === 1)) {
         throw parseException(ctx.value, 'Invalid character literal: ' + ctx.value.text);
       }
-      var tmp$ret$10;
       // Inline function 'kotlin.with' call
-      var tmp = Companion_getInstance_3();
-      var tmp$ret$8;
+      var tmp = Companion_getInstance_1();
       // Inline function 'kotlin.code' call
-      var tmp0__get_code__88qj9g = charSequenceGet(clean, 0);
-      tmp$ret$8 = Char__toInt_impl_vasixd(tmp0__get_code__88qj9g);
-      var tmp1_with = tmp.of(tmp$ret$8);
+      var this_0 = charSequenceGet(clean, 0);
+      var tmp$ret$8 = Char__toInt_impl_vasixd(this_0);
       // Inline function 'kotlin.contracts.contract' call
-      var tmp$ret$9;
       // Inline function 'it.unibo.tuprolog.core.parsing.PrologVisitor.parseInteger.<anonymous>' call
+      var $this$with = tmp.of(tmp$ret$8);
       var tmp_0;
       var tmp0_safe_receiver = ctx.sign;
       var tmp1_safe_receiver = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.text;
       var tmp2_elvis_lhs = tmp1_safe_receiver == null ? null : contains_0(tmp1_safe_receiver, '-');
       if (tmp2_elvis_lhs == null ? false : tmp2_elvis_lhs) {
-        tmp_0 = tmp1_with.unaryMinus();
+        tmp_0 = $this$with.unaryMinus();
       } else {
-        tmp_0 = tmp1_with;
+        tmp_0 = $this$with;
       }
-      tmp$ret$9 = tmp_0;
-      tmp$ret$10 = tmp$ret$9;
-      return tmp$ret$10;
+      return tmp_0;
     } else {
       base = 10;
       clean = str;
@@ -911,72 +794,59 @@
       var tmp0_safe_receiver_0 = ctx.sign;
       clean = plus(tmp0_safe_receiver_0 == null ? null : tmp0_safe_receiver_0.text, clean);
     }
-    return Companion_getInstance_3().parseWithRadix(clean, base);
+    return Companion_getInstance_1().parseWithRadix(clean, base);
   }
   function visitPostfixExpression($this, ctx) {
     var tmp0_safe_receiver = ctx.left;
     var tmp = ensureNotNull(tmp0_safe_receiver == null ? null : tmp0_safe_receiver.accept($this));
-    var tmp$ret$2;
     // Inline function 'kotlin.collections.map' call
-    var tmp1_map = ctx.operators;
-    var tmp$ret$1;
+    var this_0 = ctx.operators;
     // Inline function 'kotlin.collections.mapTo' call
-    var tmp0_mapTo = ArrayList_init_$Create$(tmp1_map.length);
-    var indexedObject = tmp1_map;
+    var destination = ArrayList_init_$Create$(this_0.length);
     var inductionVariable = 0;
-    var last = indexedObject.length;
+    var last = this_0.length;
     while (inductionVariable < last) {
-      var item = indexedObject[inductionVariable];
+      var item = this_0[inductionVariable];
       inductionVariable = inductionVariable + 1 | 0;
-      var tmp$ret$0;
       // Inline function 'it.unibo.tuprolog.core.parsing.PrologVisitor.visitPostfixExpression.<anonymous>' call
-      tmp$ret$0 = item.symbol.text;
-      tmp0_mapTo.g(tmp$ret$0);
+      var tmp$ret$0 = item.symbol.text;
+      destination.o(tmp$ret$0);
     }
-    tmp$ret$1 = tmp0_mapTo;
-    tmp$ret$2 = tmp$ret$1;
-    return postfix($this, tmp, tmp$ret$2);
+    return postfix($this, tmp, destination);
   }
   function postfix($this, term, ops) {
-    var operator = ops.j();
-    var result = $this.h3h_1.structOf(operator.n(), [term]);
-    while (operator.m()) {
-      result = $this.h3h_1.structOf(operator.n(), [result]);
+    var operator = ops.r();
+    var result = $this.k3i_1.structOf(operator.u(), [term]);
+    while (operator.s()) {
+      result = $this.k3i_1.structOf(operator.u(), [result]);
     }
     return result;
   }
   function visitPrefixExpression($this, ctx) {
     var tmp = ctx.right[0].accept($this);
-    var tmp$ret$2;
     // Inline function 'kotlin.collections.map' call
-    var tmp1_map = ctx.operators;
-    var tmp$ret$1;
+    var this_0 = ctx.operators;
     // Inline function 'kotlin.collections.mapTo' call
-    var tmp0_mapTo = ArrayList_init_$Create$(tmp1_map.length);
-    var indexedObject = tmp1_map;
+    var destination = ArrayList_init_$Create$(this_0.length);
     var inductionVariable = 0;
-    var last = indexedObject.length;
+    var last = this_0.length;
     while (inductionVariable < last) {
-      var item = indexedObject[inductionVariable];
+      var item = this_0[inductionVariable];
       inductionVariable = inductionVariable + 1 | 0;
-      var tmp$ret$0;
       // Inline function 'it.unibo.tuprolog.core.parsing.PrologVisitor.visitPrefixExpression.<anonymous>' call
-      tmp$ret$0 = item.symbol.text;
-      tmp0_mapTo.g(tmp$ret$0);
+      var tmp$ret$0 = item.symbol.text;
+      destination.o(tmp$ret$0);
     }
-    tmp$ret$1 = tmp0_mapTo;
-    tmp$ret$2 = tmp$ret$1;
-    return prefix($this, tmp, tmp$ret$2);
+    return prefix($this, tmp, destination);
   }
   function prefix($this, term, ops) {
-    var i = ops.p() - 1 | 0;
+    var i = ops.l() - 1 | 0;
     var tmp0 = i;
     i = tmp0 - 1 | 0;
-    var result = $this.h3h_1.structOf(ops.o(tmp0), [term]);
+    var result = $this.k3i_1.structOf(ops.c1(tmp0), [term]);
     while (i >= 0) {
-      result = $this.h3h_1.structOf(ops.o(i), [result]);
-      var tmp1 = i;
-      i = tmp1 - 1 | 0;
+      result = $this.k3i_1.structOf(ops.c1(i), [result]);
+      i = i - 1 | 0;
     }
     return result;
   }
@@ -990,131 +860,109 @@
     } else if (tmp0_subject === Associativity.XFX) {
       tmp = visitInfixNonAssociativeExpression($this, ctx);
     } else {
-      throw IllegalStateException_init_$Create$();
+      var message = 'Non-infix associativity ' + ctx.associativity + ' in infix expression';
+      throw IllegalStateException_init_$Create$(toString_0(message));
     }
     return tmp;
   }
   function visitInfixNonAssociativeExpression($this, ctx) {
-    var tmp$ret$2;
     // Inline function 'kotlin.collections.map' call
-    var tmp1_map = plus_0(listOf(ensureNotNull(ctx.left)), asList(ctx.right));
-    var tmp$ret$1;
+    var this_0 = plus_0(listOf(ensureNotNull(ctx.left)), asList(ctx.right));
     // Inline function 'kotlin.collections.mapTo' call
-    var tmp0_mapTo = ArrayList_init_$Create$(collectionSizeOrDefault(tmp1_map, 10));
-    var tmp0_iterator = tmp1_map.j();
-    while (tmp0_iterator.m()) {
-      var item = tmp0_iterator.n();
-      var tmp$ret$0;
+    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
-      tmp$ret$0 = item.accept($this);
-      tmp0_mapTo.g(tmp$ret$0);
+      var tmp$ret$0 = item.accept($this);
+      destination.o(tmp$ret$0);
     }
-    tmp$ret$1 = tmp0_mapTo;
-    tmp$ret$2 = tmp$ret$1;
-    var operands = tmp$ret$2;
-    var tmp$ret$5;
+    var operands = destination;
     // Inline function 'kotlin.collections.map' call
-    var tmp3_map = ctx.operators;
-    var tmp$ret$4;
+    var this_1 = ctx.operators;
     // Inline function 'kotlin.collections.mapTo' call
-    var tmp2_mapTo = ArrayList_init_$Create$(tmp3_map.length);
-    var indexedObject = tmp3_map;
+    var destination_0 = ArrayList_init_$Create$(this_1.length);
     var inductionVariable = 0;
-    var last = indexedObject.length;
+    var last = this_1.length;
     while (inductionVariable < last) {
-      var item_0 = indexedObject[inductionVariable];
+      var item_0 = this_1[inductionVariable];
       inductionVariable = inductionVariable + 1 | 0;
-      var tmp$ret$3;
       // Inline function 'it.unibo.tuprolog.core.parsing.PrologVisitor.visitInfixNonAssociativeExpression.<anonymous>' call
-      tmp$ret$3 = item_0.symbol.text;
-      tmp2_mapTo.g(tmp$ret$3);
+      var tmp$ret$3 = item_0.symbol.text;
+      destination_0.o(tmp$ret$3);
     }
-    tmp$ret$4 = tmp2_mapTo;
-    tmp$ret$5 = tmp$ret$4;
-    var operators = tmp$ret$5;
+    var operators = destination_0;
     return infixNonAssociative($this, operands, operators);
   }
   function infixNonAssociative($this, terms, ops) {
-    return $this.h3h_1.structOf(ops.o(0), [terms.o(0), terms.o(1)]);
+    return $this.k3i_1.structOf(ops.c1(0), [terms.c1(0), terms.c1(1)]);
   }
   function handleOuters($this, expression, outers) {
     var result = expression;
-    var tmp0_iterator = outers.j();
-    while (tmp0_iterator.m()) {
-      var o = tmp0_iterator.n();
+    var tmp0_iterator = outers.r();
+    while (tmp0_iterator.s()) {
+      var o = tmp0_iterator.u();
       var tmp = listOf(result);
-      var tmp$ret$2;
       // Inline function 'kotlin.collections.map' call
-      var tmp1_map = o.right;
-      var tmp$ret$1;
+      var this_0 = o.right;
       // Inline function 'kotlin.collections.mapTo' call
-      var tmp0_mapTo = ArrayList_init_$Create$(tmp1_map.length);
-      var indexedObject = tmp1_map;
+      var destination = ArrayList_init_$Create$(this_0.length);
       var inductionVariable = 0;
-      var last = indexedObject.length;
+      var last = this_0.length;
       while (inductionVariable < last) {
-        var item = indexedObject[inductionVariable];
+        var item = this_0[inductionVariable];
         inductionVariable = inductionVariable + 1 | 0;
-        var tmp$ret$0;
         // Inline function 'it.unibo.tuprolog.core.parsing.PrologVisitor.handleOuters.<anonymous>' call
-        tmp$ret$0 = item.accept($this);
-        tmp0_mapTo.g(tmp$ret$0);
+        var tmp$ret$0 = item.accept($this);
+        destination.o(tmp$ret$0);
       }
-      tmp$ret$1 = tmp0_mapTo;
-      tmp$ret$2 = tmp$ret$1;
-      var operands = plus_0(tmp, tmp$ret$2);
-      var tmp$ret$5;
+      var operands = plus_0(tmp, destination);
       // Inline function 'kotlin.collections.map' call
-      var tmp3_map = o.operators;
-      var tmp$ret$4;
+      var this_1 = o.operators;
       // Inline function 'kotlin.collections.mapTo' call
-      var tmp2_mapTo = ArrayList_init_$Create$(tmp3_map.length);
-      var indexedObject_0 = tmp3_map;
+      var destination_0 = ArrayList_init_$Create$(this_1.length);
       var inductionVariable_0 = 0;
-      var last_0 = indexedObject_0.length;
+      var last_0 = this_1.length;
       while (inductionVariable_0 < last_0) {
-        var item_0 = indexedObject_0[inductionVariable_0];
+        var item_0 = this_1[inductionVariable_0];
         inductionVariable_0 = inductionVariable_0 + 1 | 0;
-        var tmp$ret$3;
         // Inline function 'it.unibo.tuprolog.core.parsing.PrologVisitor.handleOuters.<anonymous>' call
-        tmp$ret$3 = item_0.symbol.text;
-        tmp2_mapTo.g(tmp$ret$3);
+        var tmp$ret$3 = item_0.symbol.text;
+        destination_0.o(tmp$ret$3);
       }
-      tmp$ret$4 = tmp2_mapTo;
-      tmp$ret$5 = tmp$ret$4;
-      var operators = tmp$ret$5;
-      var tmp1_subject = o.associativity;
+      var operators = destination_0;
+      var associativity = o.associativity;
       var tmp_0;
-      if (tmp1_subject === Associativity.XFY) {
+      if (associativity === Associativity.XFY) {
         tmp_0 = infixRight($this, operands, operators);
-      } else if (tmp1_subject === Associativity.XF ? true : tmp1_subject === Associativity.YF) {
+      } else if (associativity === Associativity.XF ? true : associativity === Associativity.YF) {
         tmp_0 = postfix($this, result, operators);
-      } else if (tmp1_subject === Associativity.XFX) {
+      } else if (associativity === Associativity.XFX) {
         tmp_0 = infixNonAssociative($this, operands, operators);
-      } else if (tmp1_subject === Associativity.YFX) {
+      } else if (associativity === Associativity.YFX) {
         tmp_0 = infixLeft($this, operands, operators);
-      } else if (tmp1_subject === Associativity.FX ? true : tmp1_subject === Associativity.FY) {
+      } else if (associativity === Associativity.FX ? true : associativity === Associativity.FY) {
         tmp_0 = prefix($this, result, operators);
       } else {
-        throw IllegalStateException_init_$Create$();
+        var message = 'Invalid associativity: ' + associativity;
+        throw IllegalStateException_init_$Create$(toString_0(message));
       }
       result = tmp_0;
     }
     return result;
   }
   function infixRight($this, terms, ops) {
-    var i = terms.p() - 1 | 0;
-    var j = ops.p() - 1 | 0;
+    var i = terms.l() - 1 | 0;
+    var j = ops.l() - 1 | 0;
     var tmp0 = j;
     j = tmp0 - 1 | 0;
-    var result = $this.h3h_1.structOf(ops.o(tmp0), [terms.o(i - 1 | 0), terms.o(i)]);
+    var result = $this.k3i_1.structOf(ops.c1(tmp0), [terms.c1(i - 1 | 0), terms.c1(i)]);
     i = i - 2 | 0;
     while (i >= 0) {
       var tmp1 = j;
       j = tmp1 - 1 | 0;
-      result = $this.h3h_1.structOf(ops.o(tmp1), [terms.o(i), result]);
-      var tmp2 = i;
-      i = tmp2 - 1 | 0;
+      result = $this.k3i_1.structOf(ops.c1(tmp1), [terms.c1(i), result]);
+      i = i - 1 | 0;
     }
     return result;
   }
@@ -1123,62 +971,50 @@
     var j = 0;
     var tmp0 = j;
     j = tmp0 + 1 | 0;
-    var tmp = ops.o(tmp0);
+    var tmp = ops.c1(tmp0);
     var tmp1 = i;
     i = tmp1 + 1 | 0;
-    var tmp_0 = terms.o(tmp1);
+    var tmp_0 = terms.c1(tmp1);
     var tmp2 = i;
     i = tmp2 + 1 | 0;
-    var result = $this.h3h_1.structOf(tmp, [tmp_0, terms.o(tmp2)]);
-    while (i < terms.p()) {
+    var result = $this.k3i_1.structOf(tmp, [tmp_0, terms.c1(tmp2)]);
+    while (i < terms.l()) {
       var tmp3 = j;
       j = tmp3 + 1 | 0;
-      result = $this.h3h_1.structOf(ops.o(tmp3), [result, terms.o(i)]);
-      var tmp4 = i;
-      i = tmp4 + 1 | 0;
+      result = $this.k3i_1.structOf(ops.c1(tmp3), [result, terms.c1(i)]);
+      i = i + 1 | 0;
     }
     return result;
   }
   function listOfOperands($this, ctx) {
-    var tmp$ret$2;
     // Inline function 'kotlin.collections.map' call
-    var tmp1_map = plus_0(listOf(ctx.left), toList(ctx.right));
-    var tmp$ret$1;
+    var this_0 = plus_0(listOf(ctx.left), toList(ctx.right));
     // Inline function 'kotlin.collections.mapTo' call
-    var tmp0_mapTo = ArrayList_init_$Create$(collectionSizeOrDefault(tmp1_map, 10));
-    var tmp0_iterator = tmp1_map.j();
-    while (tmp0_iterator.m()) {
-      var item = tmp0_iterator.n();
-      var tmp$ret$0;
+    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
-      tmp$ret$0 = ensureNotNull(item).accept($this);
-      tmp0_mapTo.g(tmp$ret$0);
+      var tmp$ret$0 = ensureNotNull(item).accept($this);
+      destination.o(tmp$ret$0);
     }
-    tmp$ret$1 = tmp0_mapTo;
-    tmp$ret$2 = tmp$ret$1;
-    return tmp$ret$2;
+    return destination;
   }
   function listOfOperators($this, ctx) {
-    var tmp$ret$2;
     // Inline function 'kotlin.collections.map' call
-    var tmp1_map = ctx.operators;
-    var tmp$ret$1;
+    var this_0 = ctx.operators;
     // Inline function 'kotlin.collections.mapTo' call
-    var tmp0_mapTo = ArrayList_init_$Create$(tmp1_map.length);
-    var indexedObject = tmp1_map;
+    var destination = ArrayList_init_$Create$(this_0.length);
     var inductionVariable = 0;
-    var last = indexedObject.length;
+    var last = this_0.length;
     while (inductionVariable < last) {
-      var item = indexedObject[inductionVariable];
+      var item = this_0[inductionVariable];
       inductionVariable = inductionVariable + 1 | 0;
-      var tmp$ret$0;
       // Inline function 'it.unibo.tuprolog.core.parsing.PrologVisitor.listOfOperators.<anonymous>' call
-      tmp$ret$0 = item.symbol.text;
-      tmp0_mapTo.g(tmp$ret$0);
+      var tmp$ret$0 = item.symbol.text;
+      destination.o(tmp$ret$0);
     }
-    tmp$ret$1 = tmp0_mapTo;
-    tmp$ret$2 = tmp$ret$1;
-    return tmp$ret$2;
+    return destination;
   }
   function visitInfixRightAssociativeExpression($this, ctx) {
     return infixRight($this, listOfOperands($this, ctx), listOfOperators($this, ctx));
@@ -1187,10 +1023,8 @@
     return infixLeft($this, listOfOperands($this, ctx), listOfOperators($this, ctx));
   }
   function flatten($this, outers) {
-    var tmp$ret$0;
     // Inline function 'kotlin.sequences.asSequence' call
-    tmp$ret$0 = outers;
-    var tmp = tmp$ret$0;
+    var tmp = outers;
     return flatMap(tmp, PrologVisitor$flatten$lambda($this));
   }
   function flatten_0($this, outers) {
@@ -1198,7 +1032,7 @@
   }
   function PrologVisitor$visitExpression$ref($boundThis) {
     var l = function (p0) {
-      return $boundThis.i3h(p0);
+      return $boundThis.l3i(p0);
     };
     l.callableName = 'visitExpression';
     return l;
@@ -1209,32 +1043,32 @@
     };
   }
   function PrologVisitor(scope) {
-    scope = scope === VOID ? Companion_getInstance_0().empty() : scope;
+    scope = scope === VOID ? Companion_instance.empty() : scope;
     PrologParserVisitor.call(this);
-    this.h3h_1 = scope;
+    this.k3i_1 = scope;
   }
-  protoOf(PrologVisitor).j3h = function (ctx) {
-    return this.k3h(ctx.term());
+  protoOf(PrologVisitor).m3i = function (ctx) {
+    return this.n3i(ctx.term());
   };
   protoOf(PrologVisitor).visitSingletonTerm = function (ctx) {
-    return this.j3h(ctx);
+    return this.m3i(ctx);
   };
-  protoOf(PrologVisitor).l3h = function (ctx) {
-    return this.i3h(ctx.expression());
+  protoOf(PrologVisitor).o3i = function (ctx) {
+    return this.l3i(ctx.expression());
   };
   protoOf(PrologVisitor).visitSingletonExpression = function (ctx) {
-    return this.l3h(ctx);
+    return this.o3i(ctx);
   };
-  protoOf(PrologVisitor).m3h = function (ctx) {
+  protoOf(PrologVisitor).p3i = function (ctx) {
     return termToClause(ctx.expression().accept(this), null, ensureNotNull(ctx.start).line, ensureNotNull(ctx.start).column);
   };
   protoOf(PrologVisitor).visitClause = function (ctx) {
-    return this.m3h(ctx);
+    return this.p3i(ctx);
   };
-  protoOf(PrologVisitor).i3h = function (ctx) {
+  protoOf(PrologVisitor).l3i = function (ctx) {
     var tmp;
     if (ctx.isTerm) {
-      tmp = this.k3h(ensureNotNull(ctx.left));
+      tmp = this.n3i(ensureNotNull(ctx.left));
     } else if (contains(Associativity.INFIX, ctx.associativity)) {
       tmp = visitInfixExpression(this, ctx);
     } else if (contains(Associativity.POSTFIX, ctx.associativity)) {
@@ -1247,12 +1081,12 @@
     return handleOuters(this, tmp, flatten_0(this, asList(ctx.outers)));
   };
   protoOf(PrologVisitor).visitExpression = function (ctx) {
-    return this.i3h(ctx);
+    return this.l3i(ctx);
   };
-  protoOf(PrologVisitor).k3h = function (ctx) {
+  protoOf(PrologVisitor).n3i = function (ctx) {
     var tmp;
     if (ctx.isExpr) {
-      tmp = this.i3h(ctx.expression());
+      tmp = this.l3i(ctx.expression());
     } else {
       var tmp_0 = ctx.children[0].accept(this);
       tmp = (!(tmp_0 == null) ? isInterface(tmp_0, Term) : false) ? tmp_0 : THROW_CCE();
@@ -1260,23 +1094,23 @@
     return tmp;
   };
   protoOf(PrologVisitor).visitTerm = function (ctx) {
-    return this.k3h(ctx);
+    return this.n3i(ctx);
   };
-  protoOf(PrologVisitor).n3h = function (ctx) {
+  protoOf(PrologVisitor).q3i = function (ctx) {
     var value = parseInteger_0(this, ctx);
-    return Companion_getInstance_4().ofBigInteger(value);
+    return Companion_getInstance_2().ofBigInteger(value);
   };
   protoOf(PrologVisitor).visitInteger = function (ctx) {
-    return this.n3h(ctx);
+    return this.q3i(ctx);
   };
-  protoOf(PrologVisitor).o3h = function (ctx) {
+  protoOf(PrologVisitor).r3i = 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.o3h(ctx);
+    return this.r3i(ctx);
   };
-  protoOf(PrologVisitor).p3h = function (ctx) {
+  protoOf(PrologVisitor).s3i = function (ctx) {
     var raw = ctx.value.text;
     if (!(ctx.sign == null)) {
       var tmp0_safe_receiver = ctx.sign;
@@ -1284,7 +1118,7 @@
     }
     var tmp;
     try {
-      tmp = Companion_getInstance_5().parse(raw);
+      tmp = Companion_getInstance_3().parse(raw);
     } catch ($p) {
       var tmp_0;
       if ($p instanceof NumberFormatException) {
@@ -1293,118 +1127,108 @@
       } else {
         throw $p;
       }
-      tmp = tmp_0;
     }
     return tmp;
   };
   protoOf(PrologVisitor).visitReal = function (ctx) {
-    return this.p3h(ctx);
+    return this.s3i(ctx);
   };
-  protoOf(PrologVisitor).q3h = function (ctx) {
+  protoOf(PrologVisitor).t3i = function (ctx) {
     var tmp;
     if (ctx.isAnonymous) {
-      tmp = this.h3h_1.anonymous();
+      tmp = this.k3i_1.anonymous();
     } else {
-      tmp = this.h3h_1.varOf(ctx.value.text);
+      tmp = this.k3i_1.varOf(ctx.value.text);
     }
     return tmp;
   };
   protoOf(PrologVisitor).visitVariable = function (ctx) {
-    return this.q3h(ctx);
+    return this.t3i(ctx);
   };
-  protoOf(PrologVisitor).r3h = function (ctx) {
+  protoOf(PrologVisitor).u3i = function (ctx) {
+    var tmp;
     if (ctx.isList) {
-      return this.h3h_1.listOf([]);
+      tmp = this.k3i_1.listOf([]);
     } else if (ctx.isBlock) {
-      return this.h3h_1.setOf([]);
-    }
-    var tmp;
-    if (ctx.arity === 0) {
-      tmp = this.h3h_1.atomOf(ctx.functor.text);
+      tmp = this.k3i_1.setOf([]);
+    } else if (ctx.arity === 0) {
+      tmp = this.k3i_1.atomOf(ctx.functor.text);
     } else {
       var tmp_0 = ctx.functor.text;
       var tmp_1 = asSequence_0(ctx.args);
-      tmp = this.h3h_1.structOfSequence(tmp_0, map(tmp_1, PrologVisitor$visitExpression$ref(this)));
+      tmp = this.k3i_1.structOfSequence(tmp_0, map(tmp_1, PrologVisitor$visitExpression$ref(this)));
     }
     return tmp;
   };
   protoOf(PrologVisitor).visitStructure = function (ctx) {
-    return this.r3h(ctx);
+    return this.u3i(ctx);
   };
-  protoOf(PrologVisitor).s3h = function (ctx) {
-    var tmp$ret$1;
+  protoOf(PrologVisitor).v3i = function (ctx) {
     // Inline function 'kotlin.collections.map' call
-    var tmp1_map = ctx.items;
-    var tmp$ret$0;
+    var this_0 = ctx.items;
     // Inline function 'kotlin.collections.mapTo' call
-    var tmp0_mapTo = ArrayList_init_$Create$(tmp1_map.length);
-    var indexedObject = tmp1_map;
+    var destination = ArrayList_init_$Create$(this_0.length);
     var inductionVariable = 0;
-    var last = indexedObject.length;
+    var last = this_0.length;
     while (inductionVariable < last) {
-      var item = indexedObject[inductionVariable];
+      var item = this_0[inductionVariable];
       inductionVariable = inductionVariable + 1 | 0;
-      tmp0_mapTo.g(this.i3h(item));
+      var tmp$ret$0 = this.l3i(item);
+      destination.o(tmp$ret$0);
     }
-    tmp$ret$0 = tmp0_mapTo;
-    tmp$ret$1 = tmp$ret$0;
-    var terms = tmp$ret$1;
+    var terms = destination;
     var tmp;
     if (ctx.hasTail) {
       var tmp0_safe_receiver = ctx.tail;
-      tmp = this.h3h_1.o10(terms, tmp0_safe_receiver == null ? null : tmp0_safe_receiver.accept(this));
+      tmp = this.k3i_1.h12(terms, tmp0_safe_receiver == null ? null : tmp0_safe_receiver.accept(this));
     } else {
-      tmp = this.h3h_1.listOfIterable(terms);
+      tmp = this.k3i_1.listOfIterable(terms);
     }
     return tmp;
   };
   protoOf(PrologVisitor).visitList = function (ctx) {
-    return this.s3h(ctx);
+    return this.v3i(ctx);
   };
-  protoOf(PrologVisitor).t3h = function (ctx) {
+  protoOf(PrologVisitor).w3i = function (ctx) {
     var tmp;
     if (ctx.length === 1) {
-      tmp = this.h3h_1.setOf([ctx.items[0].accept(this)]);
+      tmp = this.k3i_1.setOf([ctx.items[0].accept(this)]);
     } else {
-      var tmp$ret$1;
       // Inline function 'kotlin.collections.map' call
-      var tmp1_map = ctx.items;
-      var tmp$ret$0;
+      var this_0 = ctx.items;
       // Inline function 'kotlin.collections.mapTo' call
-      var tmp0_mapTo = ArrayList_init_$Create$(tmp1_map.length);
-      var indexedObject = tmp1_map;
+      var destination = ArrayList_init_$Create$(this_0.length);
       var inductionVariable = 0;
-      var last = indexedObject.length;
+      var last = this_0.length;
       while (inductionVariable < last) {
-        var item = indexedObject[inductionVariable];
+        var item = this_0[inductionVariable];
         inductionVariable = inductionVariable + 1 | 0;
-        tmp0_mapTo.g(this.i3h(item));
+        var tmp$ret$0 = this.l3i(item);
+        destination.o(tmp$ret$0);
       }
-      tmp$ret$0 = tmp0_mapTo;
-      tmp$ret$1 = tmp$ret$0;
-      tmp = this.h3h_1.setOfIterable(tmp$ret$1);
+      tmp = this.k3i_1.setOfIterable(destination);
     }
     return tmp;
   };
   protoOf(PrologVisitor).visitBlock = function (ctx) {
-    return this.t3h(ctx);
+    return this.w3i(ctx);
   };
   function termParserWithOperators(operators, scope) {
-    scope = scope === VOID ? Companion_getInstance_0().empty() : scope;
+    scope = scope === VOID ? Companion_instance.empty() : scope;
     return new TermParserImpl(scope, operators);
   }
   function TermParserImpl(scope, defaultOperatorSet) {
-    this.u3h_1 = scope;
-    this.v3h_1 = defaultOperatorSet;
+    this.x3i_1 = scope;
+    this.y3i_1 = defaultOperatorSet;
   }
-  protoOf(TermParserImpl).x3g = function () {
-    return this.v3h_1;
+  protoOf(TermParserImpl).a3i = function () {
+    return this.y3i_1;
   };
-  protoOf(TermParserImpl).w3h = function (input, operators) {
-    return PrologParserFactory_getInstance().d3h(input, operators).accept(new PrologVisitor(this.u3h_1));
+  protoOf(TermParserImpl).z3i = function (input, operators) {
+    return PrologParserFactory_instance.g3i(input, operators).accept(new PrologVisitor(this.x3i_1));
   };
   protoOf(TermParserImpl).parseTermWithOperators = function (input, operators) {
-    return this.w3h(input, operators);
+    return this.z3i(input, operators);
   };
   //region block: post-declaration
   protoOf(TermParserImpl).parseTerm = parseTerm;
@@ -1431,9 +1255,14 @@
   protoOf(TermParserImpl).parseDirectiveWithOperators = parseDirectiveWithOperators;
   protoOf(TermParserImpl).parseDirective = parseDirective;
   //endregion
+  //region block: init
+  Companion_instance_1 = new Companion();
+  Companion_instance_2 = new Companion_0();
+  PrologParserFactory_instance = new PrologParserFactory();
+  //endregion
   //region block: exports
   _.$_$ = _.$_$ || {};
-  _.$_$.a = PrologParserFactory_getInstance;
+  _.$_$.a = PrologParserFactory_instance;
   _.$_$.b = ParseException;
   _.$_$.c = PrologVisitor;
   _.$_$.d = parseStruct_0;